Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topDown | OPTIMUM | 1391 | 1393.04 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo |
MD5SUM | 3100ea9ba7746ae86daacced189e255b |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 109 |
Best CPU time to get the best result obtained on this benchmark | 0.015996 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c run usual solver 0.00/0.06 o 11025 0.00/0.06 c fallback to adder encoding 5.12/5.20 o 10975 5.12/5.20 c fallback to adder encoding 9.05/9.13 o 10974 9.05/9.13 c fallback to adder encoding 15.97/16.05 o 10973 15.97/16.05 c fallback to adder encoding 21.26/21.38 o 10969 21.26/21.38 c fallback to adder encoding 24.75/24.82 o 10963 24.75/24.82 c fallback to adder encoding 28.05/28.17 o 10775 28.05/28.17 c fallback to adder encoding 32.96/33.09 o 10773 32.96/33.09 c fallback to adder encoding 37.16/37.28 o 10765 37.16/37.28 c fallback to adder encoding 39.14/39.22 o 10763 39.14/39.22 c fallback to adder encoding 42.43/42.52 o 10762 42.43/42.52 c fallback to adder encoding 44.16/44.28 o 10761 44.16/44.28 c fallback to adder encoding 48.04/48.12 o 5652 48.04/48.12 c fallback to adder encoding 50.93/51.02 o 5649 50.93/51.02 c fallback to adder encoding 54.76/54.87 o 5645 54.76/54.87 c fallback to adder encoding 56.97/57.09 o 5640 56.97/57.09 c fallback to adder encoding 59.55/59.62 o 5637 59.55/59.62 c fallback to adder encoding 62.25/62.38 o 5398 62.25/62.38 c fallback to adder encoding 65.08/65.15 o 5395 65.08/65.15 c fallback to adder encoding 68.53/68.60 o 5381 68.53/68.60 c fallback to adder encoding 71.58/71.65 o 5380 71.58/71.65 c fallback to adder encoding 77.35/77.43 o 5379 77.35/77.43 c fallback to adder encoding 79.26/79.35 o 4946 79.26/79.35 c fallback to adder encoding 83.45/83.52 o 4937 83.45/83.52 c fallback to adder encoding 87.89/87.90 o 4922 87.89/87.90 c fallback to adder encoding 90.07/90.16 o 4921 90.07/90.16 c fallback to adder encoding 94.92/95.00 o 4916 94.92/95.00 c fallback to adder encoding 98.05/98.17 o 4913 98.05/98.17 c fallback to adder encoding 100.75/100.84 o 4892 100.75/100.84 c fallback to adder encoding 103.86/103.94 o 4891 103.86/103.94 c fallback to adder encoding 108.56/108.68 o 4890 108.56/108.68 c fallback to adder encoding 110.97/111.03 o 4863 110.97/111.03 c fallback to adder encoding 113.94/114.03 o 4858 113.94/114.03 c fallback to adder encoding 116.62/116.71 o 4857 116.62/116.71 c fallback to adder encoding 121.23/121.31 o 4856 121.23/121.31 c fallback to adder encoding 123.85/123.95 o 4855 123.85/123.95 c fallback to adder encoding 127.35/127.43 o 4854 127.35/127.43 c fallback to adder encoding 129.95/130.08 o 4852 129.95/130.08 c fallback to adder encoding 132.94/133.09 o 4851 132.94/133.09 c fallback to adder encoding 135.92/136.00 o 4847 135.92/136.00 c fallback to adder encoding 140.35/140.45 o 4831 140.35/140.45 c fallback to adder encoding 143.35/143.44 o 4812 143.35/143.44 c fallback to adder encoding 145.04/145.15 o 4804 145.04/145.15 c fallback to adder encoding 150.76/150.80 o 4799 150.76/150.80 c fallback to adder encoding 155.12/155.21 o 4795 155.12/155.21 c fallback to adder encoding 160.84/160.93 o 4790 160.84/160.93 c fallback to adder encoding 164.52/164.62 o 4786 164.52/164.62 c fallback to adder encoding 168.64/168.78 o 4773 168.64/168.78 c fallback to adder encoding 172.35/172.45 o 4770 172.35/172.45 c fallback to adder encoding 175.15/175.20 o 4765 175.15/175.20 c fallback to adder encoding 179.65/179.78 o 4762 179.65/179.78 c fallback to adder encoding 184.69/184.81 o 4758 184.69/184.81 c fallback to adder encoding 190.06/190.22 o 4754 190.06/190.22 c fallback to adder encoding 193.04/193.22 o 4753 193.04/193.22 c fallback to adder encoding 196.67/196.87 o 4752 196.67/196.87 c fallback to adder encoding 199.23/199.41 o 4674 199.23/199.41 c fallback to adder encoding 202.23/202.41 o 4673 202.23/202.41 c fallback to adder encoding 205.17/205.36 o 4672 205.17/205.36 c fallback to adder encoding 209.53/209.71 o 4661 209.53/209.71 c fallback to adder encoding 214.04/214.22 o 4658 214.04/214.22 c fallback to adder encoding 217.15/217.32 o 4621 217.15/217.32 c fallback to adder encoding 221.42/221.69 o 4618 221.42/221.69 c fallback to adder encoding 226.42/226.70 o 4613 226.42/226.70 c fallback to adder encoding 229.91/230.18 o 4609 229.91/230.18 c fallback to adder encoding 232.32/232.55 o 4608 232.32/232.55 c fallback to adder encoding 236.00/236.27 o 4599 236.00/236.27 c fallback to adder encoding 241.20/241.46 o 4589 241.20/241.46 c fallback to adder encoding 244.48/244.74 o 4575 244.48/244.74 c fallback to adder encoding 248.49/248.79 o 4538 248.49/248.79 c fallback to adder encoding 252.96/253.23 o 4459 252.96/253.23 c fallback to adder encoding 257.86/258.12 o 4457 257.86/258.12 c fallback to adder encoding 261.35/261.63 o 4453 261.35/261.63 c fallback to adder encoding 266.17/266.48 o 4341 266.17/266.48 c fallback to adder encoding 269.28/269.55 o 4340 269.28/269.55 c fallback to adder encoding 272.14/272.46 o 4336 272.14/272.46 c fallback to adder encoding 275.82/276.12 o 4335 275.82/276.12 c fallback to adder encoding 279.91/280.25 o 4334 279.91/280.25 c fallback to adder encoding 284.41/284.79 o 4330 284.41/284.79 c fallback to adder encoding 288.32/288.63 o 4327 288.32/288.63 c fallback to adder encoding 291.71/292.06 o 4324 291.71/292.06 c fallback to adder encoding 295.32/295.64 o 4098 295.32/295.64 c fallback to adder encoding 299.83/300.10 o 4097 299.83/300.10 c fallback to adder encoding 303.10/303.43 o 4096 303.10/303.43 c fallback to adder encoding 305.31/305.70 o 4086 305.31/305.70 c fallback to adder encoding 307.71/308.04 o 4081 307.71/308.04 c fallback to adder encoding 310.87/311.22 o 4080 310.87/311.22 c fallback to adder encoding 312.98/313.36 o 4075 312.98/313.36 c fallback to adder encoding 318.28/318.68 o 4073 318.28/318.68 c fallback to adder encoding 321.90/322.23 o 4065 321.90/322.23 c fallback to adder encoding 325.08/325.42 o 4064 325.08/325.42 c fallback to adder encoding 327.26/327.60 o 4063 327.26/327.60 c fallback to adder encoding 329.80/330.18 o 4058 329.80/330.18 c fallback to adder encoding 332.58/332.99 o 4054 332.58/332.99 c fallback to adder encoding 334.68/335.08 o 4029 334.68/335.08 c fallback to adder encoding 338.06/338.41 o 4020 338.06/338.41 c fallback to adder encoding 341.67/342.03 o 3991 341.67/342.03 c fallback to adder encoding 344.88/345.25 o 3735 344.88/345.25 c fallback to adder encoding 347.78/348.13 o 3733 347.78/348.13 c fallback to adder encoding 351.18/351.59 o 3729 351.18/351.59 c fallback to adder encoding 354.16/354.51 o 3728 354.16/354.51 c fallback to adder encoding 357.19/357.59 o 3725 357.19/357.59 c fallback to adder encoding 360.88/361.29 o 3611 360.88/361.29 c fallback to adder encoding 365.69/366.03 o 3603 365.69/366.03 c fallback to adder encoding 370.29/370.69 o 3602 370.29/370.69 c fallback to adder encoding 373.14/373.53 o 3590 373.14/373.53 c fallback to adder encoding 377.62/378.08 o 3556 377.62/378.08 c fallback to adder encoding 380.13/380.55 o 3555 380.13/380.55 c fallback to adder encoding 382.93/383.33 o 3552 382.93/383.33 c fallback to adder encoding 384.73/385.17 o 3143 384.73/385.17 c fallback to adder encoding 389.32/389.73 o 3139 389.32/389.73 c fallback to adder encoding 393.93/394.39 o 3137 393.93/394.39 c fallback to adder encoding 396.71/397.17 o 3106 396.71/397.17 c fallback to adder encoding 399.27/399.71 o 3085 399.27/399.71 c fallback to adder encoding 402.57/403.08 o 3084 402.57/403.08 c fallback to adder encoding 404.88/405.36 o 3082 404.88/405.36 c fallback to adder encoding 407.50/407.90 o 3078 407.50/407.90 c fallback to adder encoding 409.56/410.01 o 3076 409.56/410.01 c fallback to adder encoding 413.88/414.35 o 3075 413.88/414.35 c fallback to adder encoding 415.96/416.41 o 3074 415.96/416.41 c fallback to adder encoding 421.77/422.25 o 3073 421.77/422.25 c fallback to adder encoding 423.49/423.92 o 3025 423.49/423.92 c fallback to adder encoding 425.96/426.43 o 3024 425.96/426.43 c fallback to adder encoding 431.46/431.90 o 2987 431.46/431.90 c fallback to adder encoding 435.92/436.41 o 2979 435.92/436.41 c fallback to adder encoding 440.08/440.64 o 2976 440.08/440.64 c fallback to adder encoding 443.61/444.22 o 2971 443.61/444.22 c fallback to adder encoding 445.43/446.03 o 2962 445.43/446.03 c fallback to adder encoding 448.73/449.35 o 2910 448.73/449.35 c fallback to adder encoding 451.31/451.91 o 2893 451.31/451.91 c fallback to adder encoding 454.62/455.28 o 2881 454.62/455.28 c fallback to adder encoding 458.02/458.62 o 2880 458.02/458.62 c fallback to adder encoding 462.53/463.13 o 2874 462.53/463.13 c fallback to adder encoding 464.91/465.56 o 2867 464.91/465.56 c fallback to adder encoding 470.99/471.61 o 2862 470.99/471.61 c fallback to adder encoding 473.79/474.41 o 2857 473.79/474.41 c fallback to adder encoding 476.72/477.34 o 2836 476.72/477.34 c fallback to adder encoding 479.72/480.35 o 2833 479.72/480.35 c fallback to adder encoding 483.22/483.85 o 2831 483.22/483.85 c fallback to adder encoding 485.61/486.29 o 2830 485.61/486.29 c fallback to adder encoding 489.70/490.31 o 2829 489.70/490.31 c fallback to adder encoding 493.30/493.96 o 2827 493.30/493.96 c fallback to adder encoding 495.63/496.28 o 2822 495.63/496.28 c fallback to adder encoding 501.16/501.84 o 2817 501.16/501.84 c fallback to adder encoding 504.14/504.83 o 2816 504.14/504.83 c fallback to adder encoding 508.82/509.51 o 2814 508.82/509.51 c fallback to adder encoding 515.54/516.23 o 2808 515.54/516.23 c fallback to adder encoding 518.92/519.61 o 2807 518.92/519.61 c fallback to adder encoding 521.21/521.90 o 2803 521.21/521.90 c fallback to adder encoding 523.52/524.37 o 2801 523.52/524.37 c fallback to adder encoding 526.72/527.56 o 2799 526.72/527.56 c fallback to adder encoding 529.57/530.40 o 2796 529.57/530.40 c fallback to adder encoding 533.11/533.95 o 2775 533.11/533.95 c fallback to adder encoding 535.00/535.82 o 2770 535.00/535.82 c fallback to adder encoding 537.60/538.45 o 2754 537.60/538.45 c fallback to adder encoding 541.51/542.35 o 2753 541.51/542.35 c fallback to adder encoding 546.49/547.37 o 2752 546.49/547.37 c fallback to adder encoding 550.10/550.99 o 2749 550.10/550.99 c fallback to adder encoding 552.50/553.36 o 2719 552.50/553.36 c fallback to adder encoding 556.10/556.96 o 2712 556.10/556.96 c fallback to adder encoding 559.78/560.62 o 2711 559.78/560.62 c fallback to adder encoding 564.78/565.62 o 2710 564.78/565.62 c fallback to adder encoding 571.59/572.49 o 2705 571.59/572.49 c fallback to adder encoding 574.09/574.92 o 2704 574.09/574.92 c fallback to adder encoding 576.59/577.48 o 2695 576.59/577.48 c fallback to adder encoding 580.69/581.54 o 2694 580.69/581.54 c fallback to adder encoding 582.69/583.54 o 2664 582.69/583.54 c fallback to adder encoding 586.30/587.15 o 2658 586.30/587.15 c fallback to adder encoding 589.10/589.90 o 2631 589.10/589.90 c fallback to adder encoding 592.48/593.38 o 2629 592.48/593.38 c fallback to adder encoding 596.49/597.36 o 2612 596.49/597.36 c fallback to adder encoding 599.08/599.99 o 2609 599.08/599.99 c fallback to adder encoding 603.21/604.04 o 2603 603.21/604.04 c fallback to adder encoding 606.69/607.53 o 2598 606.69/607.53 c fallback to adder encoding 609.75/610.62 o 2595 609.75/610.62 c fallback to adder encoding 614.05/614.91 o 2575 614.05/614.91 c fallback to adder encoding 616.14/617.05 o 2566 616.14/617.05 c fallback to adder encoding 617.83/618.72 o 2561 617.83/618.72 c fallback to adder encoding 619.34/620.23 o 2560 619.34/620.23 c fallback to adder encoding 621.74/622.62 o 2544 621.74/622.62 c fallback to adder encoding 624.74/625.63 o 2542 624.74/625.63 c fallback to adder encoding 627.94/628.82 o 2537 627.94/628.82 c fallback to adder encoding 630.84/631.75 o 2532 630.84/631.75 c fallback to adder encoding 633.44/634.36 o 2531 633.44/634.36 c fallback to adder encoding 637.15/638.02 o 2526 637.15/638.02 c fallback to adder encoding 640.23/641.14 o 2524 640.23/641.14 c fallback to adder encoding 642.51/643.46 o 2520 642.51/643.46 c fallback to adder encoding 645.10/646.01 o 2519 645.10/646.01 c fallback to adder encoding 647.40/648.31 o 2518 647.40/648.31 c fallback to adder encoding 653.01/653.95 o 2515 653.01/653.95 c fallback to adder encoding 655.99/656.90 o 2482 655.99/656.90 c fallback to adder encoding 657.88/658.80 o 2481 657.88/658.80 c fallback to adder encoding 661.51/662.43 o 2479 661.51/662.43 c fallback to adder encoding 667.53/668.44 o 2475 667.53/668.44 c fallback to adder encoding 671.33/672.26 o 2467 671.33/672.26 c fallback to adder encoding 673.43/674.32 o 2464 673.43/674.32 c fallback to adder encoding 676.92/677.80 o 2456 676.92/677.80 c fallback to adder encoding 679.40/680.32 o 2453 679.40/680.32 c fallback to adder encoding 681.92/682.87 o 2450 681.92/682.87 c fallback to adder encoding 683.62/684.58 o 2437 683.62/684.58 c fallback to adder encoding 685.37/686.34 o 2432 685.37/686.34 c fallback to adder encoding 687.98/688.93 o 2425 687.98/688.93 c fallback to adder encoding 692.37/693.33 o 2423 692.37/693.33 c fallback to adder encoding 695.14/696.11 o 2403 695.14/696.11 c fallback to adder encoding 698.67/699.62 o 2401 698.67/699.62 c fallback to adder encoding 701.36/702.39 o 2389 701.36/702.39 c fallback to adder encoding 705.16/706.14 o 2238 705.16/706.14 c fallback to adder encoding 711.14/712.11 o 2233 711.14/712.11 c fallback to adder encoding 714.86/715.88 o 2230 714.86/715.88 c fallback to adder encoding 717.13/718.19 o 2229 717.13/718.19 c fallback to adder encoding 720.51/721.57 o 2227 720.51/721.57 c fallback to adder encoding 727.22/728.27 o 2224 727.22/728.27 c fallback to adder encoding 732.62/733.67 o 2221 732.62/733.67 c fallback to adder encoding 734.82/735.83 o 2164 734.82/735.83 c fallback to adder encoding 737.91/738.92 o 2160 737.91/738.92 c fallback to adder encoding 741.92/742.94 o 2152 741.92/742.94 c fallback to adder encoding 746.73/747.76 o 2150 746.73/747.76 c fallback to adder encoding 749.68/750.70 o 2146 749.68/750.70 c fallback to adder encoding 754.06/755.13 o 2141 754.06/755.13 c fallback to adder encoding 759.19/760.25 o 2139 759.19/760.25 c fallback to adder encoding 762.06/763.16 o 2137 762.06/763.16 c fallback to adder encoding 765.76/766.83 o 2131 765.76/766.83 c fallback to adder encoding 770.15/771.21 o 2126 770.15/771.21 c fallback to adder encoding 772.97/774.04 o 2121 772.97/774.04 c fallback to adder encoding 776.37/777.46 o 2116 776.37/777.46 c fallback to adder encoding 779.16/780.22 o 2115 779.16/780.22 c fallback to adder encoding 786.36/787.49 o 2114 786.36/787.49 c fallback to adder encoding 790.46/791.57 o 2113 790.46/791.57 c fallback to adder encoding 793.55/794.62 o 2112 793.55/794.62 c fallback to adder encoding 796.81/797.92 o 2107 796.81/797.92 c fallback to adder encoding 801.44/802.55 o 2103 801.44/802.55 c fallback to adder encoding 804.42/805.58 o 2102 804.42/805.58 c fallback to adder encoding 807.19/808.37 o 2066 807.19/808.37 c fallback to adder encoding 809.40/810.56 o 2064 809.40/810.56 c fallback to adder encoding 812.90/814.04 o 2063 812.90/814.04 c fallback to adder encoding 814.78/815.92 o 2062 814.78/815.92 c fallback to adder encoding 818.59/819.76 o 2057 818.59/819.76 c fallback to adder encoding 821.50/822.63 o 2053 821.50/822.63 c fallback to adder encoding 824.09/825.28 o 2048 824.09/825.28 c fallback to adder encoding 826.00/827.13 o 2044 826.00/827.13 c fallback to adder encoding 827.09/828.21 o 2024 827.09/828.21 c fallback to adder encoding 829.41/830.54 o 2020 829.41/830.54 c fallback to adder encoding 832.06/833.26 o 2019 832.06/833.26 c fallback to adder encoding 833.46/834.60 o 2011 833.46/834.60 c fallback to adder encoding 836.64/837.85 o 2007 836.64/837.85 c fallback to adder encoding 840.85/842.05 o 2003 840.85/842.05 c fallback to adder encoding 843.96/845.18 o 2000 843.96/845.18 c fallback to adder encoding 847.45/848.63 o 1998 847.45/848.63 c fallback to adder encoding 849.05/850.26 o 1997 849.05/850.26 c fallback to adder encoding 851.45/852.66 o 1996 851.45/852.66 c fallback to adder encoding 853.65/854.83 o 1992 853.65/854.83 c fallback to adder encoding 855.76/856.99 o 1990 855.76/856.99 c fallback to adder encoding 857.24/858.45 o 1971 857.24/858.45 c fallback to adder encoding 859.26/860.44 o 1969 859.26/860.44 c fallback to adder encoding 864.55/865.74 o 1966 864.55/865.74 c fallback to adder encoding 867.45/868.69 o 1960 867.45/868.69 c fallback to adder encoding 872.05/873.26 o 1955 872.05/873.26 c fallback to adder encoding 875.65/876.89 o 1951 875.65/876.89 c fallback to adder encoding 879.12/880.41 o 1948 879.12/880.41 c fallback to adder encoding 881.25/882.58 o 1945 881.25/882.58 c fallback to adder encoding 885.16/886.40 o 1939 885.16/886.40 c fallback to adder encoding 886.92/888.20 o 1870 886.92/888.20 c fallback to adder encoding 890.34/891.62 o 1864 890.34/891.62 c fallback to adder encoding 891.71/893.04 o 1858 891.71/893.04 c fallback to adder encoding 896.21/897.55 o 1857 896.21/897.55 c fallback to adder encoding 898.69/900.00 o 1856 898.69/900.00 c fallback to adder encoding 901.11/902.48 o 1853 901.11/902.48 c fallback to adder encoding 904.58/905.93 o 1852 904.58/905.93 c fallback to adder encoding 907.38/908.77 o 1850 907.38/908.77 c fallback to adder encoding 909.07/910.50 o 1848 909.07/910.50 c fallback to adder encoding 911.87/913.25 o 1843 911.87/913.25 c fallback to adder encoding 914.14/915.55 o 1840 914.14/915.55 c fallback to adder encoding 918.54/919.98 o 1838 918.54/919.98 c fallback to adder encoding 921.13/922.52 o 1826 921.13/922.52 c fallback to adder encoding 923.33/924.77 o 1824 923.33/924.77 c fallback to adder encoding 926.34/927.74 o 1823 926.34/927.74 c fallback to adder encoding 930.23/931.66 o 1818 930.23/931.66 c fallback to adder encoding 934.04/935.47 o 1811 934.04/935.47 c fallback to adder encoding 937.61/939.05 o 1808 937.61/939.05 c fallback to adder encoding 939.86/941.37 o 1807 939.86/941.37 c fallback to adder encoding 941.86/943.39 o 1802 941.86/943.39 c fallback to adder encoding 944.74/946.21 o 1801 944.74/946.21 c fallback to adder encoding 947.12/948.60 o 1795 947.12/948.60 c fallback to adder encoding 948.26/949.78 o 1792 948.26/949.78 c fallback to adder encoding 950.24/951.71 o 1781 950.24/951.71 c fallback to adder encoding 952.55/954.09 o 1780 952.55/954.09 c fallback to adder encoding 956.07/957.54 o 1776 956.07/957.54 c fallback to adder encoding 959.86/961.35 o 1765 959.86/961.35 c fallback to adder encoding 964.56/966.00 o 1764 964.56/966.00 c fallback to adder encoding 967.57/969.06 o 1762 967.57/969.06 c fallback to adder encoding 970.15/971.68 o 1760 970.15/971.68 c fallback to adder encoding 973.15/974.66 o 1754 973.15/974.66 c fallback to adder encoding 975.12/976.62 o 1750 975.12/976.62 c fallback to adder encoding 978.63/980.20 o 1747 978.63/980.20 c fallback to adder encoding 980.13/981.66 o 1743 980.13/981.66 c fallback to adder encoding 982.22/983.72 o 1741 982.22/983.72 c fallback to adder encoding 984.73/986.28 o 1738 984.73/986.28 c fallback to adder encoding 988.33/989.86 o 1735 988.33/989.86 c fallback to adder encoding 991.73/993.25 o 1732 991.73/993.25 c fallback to adder encoding 995.02/996.57 o 1728 995.02/996.57 c fallback to adder encoding 997.43/998.95 o 1724 997.43/998.95 c fallback to adder encoding 999.13/1000.66 o 1722 999.13/1000.66 c fallback to adder encoding 1001.42/1002.99 o 1718 1001.42/1002.99 c fallback to adder encoding 1003.92/1005.45 o 1715 1003.92/1005.45 c fallback to adder encoding 1007.93/1009.44 o 1707 1007.93/1009.44 c fallback to adder encoding 1011.81/1013.38 o 1704 1011.81/1013.38 c fallback to adder encoding 1014.33/1015.84 o 1703 1014.33/1015.84 c fallback to adder encoding 1016.62/1018.12 o 1698 1016.62/1018.12 c fallback to adder encoding 1019.13/1020.60 o 1697 1019.13/1020.60 c fallback to adder encoding 1021.69/1023.20 o 1696 1021.69/1023.20 c fallback to adder encoding 1025.33/1026.83 o 1694 1025.33/1026.83 c fallback to adder encoding 1029.44/1030.90 o 1690 1029.44/1030.90 c fallback to adder encoding 1031.82/1033.40 o 1679 1031.82/1033.40 c fallback to adder encoding 1035.72/1037.29 o 1674 1035.72/1037.29 c fallback to adder encoding 1038.81/1040.38 o 1672 1038.81/1040.38 c fallback to adder encoding 1040.52/1042.03 o 1671 1040.52/1042.03 c fallback to adder encoding 1043.01/1044.56 o 1668 1043.01/1044.56 c fallback to adder encoding 1045.13/1046.69 o 1667 1045.13/1046.69 c fallback to adder encoding 1047.82/1049.34 o 1665 1047.82/1049.34 c fallback to adder encoding 1050.31/1051.89 o 1664 1050.31/1051.89 c fallback to adder encoding 1052.32/1053.86 o 1654 1052.32/1053.86 c fallback to adder encoding 1054.73/1056.27 o 1645 1054.73/1056.27 c fallback to adder encoding 1057.23/1058.70 o 1644 1057.23/1058.70 c fallback to adder encoding 1060.12/1061.66 o 1642 1060.12/1061.66 c fallback to adder encoding 1063.28/1064.81 o 1639 1063.28/1064.81 c fallback to adder encoding 1066.27/1067.89 o 1638 1066.27/1067.89 c fallback to adder encoding 1068.35/1069.91 o 1633 1068.35/1069.91 c fallback to adder encoding 1072.56/1074.11 o 1632 1072.56/1074.11 c fallback to adder encoding 1074.86/1076.43 o 1622 1074.86/1076.43 c fallback to adder encoding 1078.25/1079.80 o 1595 1078.25/1079.80 c fallback to adder encoding 1079.67/1081.27 o 1594 1079.67/1081.27 c fallback to adder encoding 1082.17/1083.79 o 1593 1082.17/1083.79 c fallback to adder encoding 1084.96/1086.58 o 1590 1084.96/1086.58 c fallback to adder encoding 1089.07/1090.66 o 1589 1089.07/1090.66 c fallback to adder encoding 1090.97/1092.58 o 1588 1090.97/1092.58 c fallback to adder encoding 1093.94/1095.51 o 1587 1093.94/1095.51 c fallback to adder encoding 1096.18/1097.73 o 1563 1096.18/1097.73 c fallback to adder encoding 1100.37/1101.97 o 1557 1100.37/1101.97 c fallback to adder encoding 1105.08/1106.70 o 1553 1105.08/1106.70 c fallback to adder encoding 1108.15/1109.71 o 1552 1108.15/1109.71 c fallback to adder encoding 1109.87/1111.44 o 1551 1109.87/1111.44 c fallback to adder encoding 1112.04/1113.60 o 1550 1112.04/1113.60 c fallback to adder encoding 1114.77/1116.33 o 1545 1114.77/1116.33 c fallback to adder encoding 1117.78/1119.34 o 1540 1117.78/1119.34 c fallback to adder encoding 1120.45/1122.08 o 1536 1120.45/1122.08 c fallback to adder encoding 1121.95/1123.52 o 1534 1121.95/1123.52 c fallback to adder encoding 1124.23/1125.80 o 1533 1124.23/1125.80 c fallback to adder encoding 1126.57/1128.13 o 1531 1126.57/1128.13 c fallback to adder encoding 1128.75/1130.35 o 1528 1128.75/1130.35 c fallback to adder encoding 1130.86/1132.49 o 1470 1130.86/1132.49 c fallback to adder encoding 1133.85/1135.49 o 1466 1133.85/1135.49 c fallback to adder encoding 1136.37/1137.97 o 1465 1136.37/1137.97 c fallback to adder encoding 1139.13/1140.70 o 1448 1139.13/1140.70 c fallback to adder encoding 1141.40/1143.03 o 1446 1141.40/1143.03 c fallback to adder encoding 1143.71/1145.34 o 1440 1143.71/1145.34 c fallback to adder encoding 1147.00/1148.69 o 1439 1147.00/1148.69 c fallback to adder encoding 1148.20/1149.82 o 1438 1148.20/1149.82 c fallback to adder encoding 1150.62/1152.24 o 1434 1150.62/1152.24 c fallback to adder encoding 1155.29/1156.92 o 1429 1155.29/1156.92 c fallback to adder encoding 1157.91/1159.54 o 1428 1157.91/1159.54 c fallback to adder encoding 1160.50/1162.14 o 1426 1160.50/1162.14 c fallback to adder encoding 1162.10/1163.70 o 1425 1162.10/1163.70 c fallback to adder encoding 1164.91/1166.56 o 1424 1164.91/1166.56 c fallback to adder encoding 1167.90/1169.52 o 1423 1167.90/1169.52 c fallback to adder encoding 1170.79/1172.46 o 1420 1170.79/1172.46 c fallback to adder encoding 1172.38/1174.01 o 1419 1172.38/1174.01 c fallback to adder encoding 1175.29/1176.98 o 1415 1175.29/1176.98 c fallback to adder encoding 1176.60/1178.28 o 1410 1176.60/1178.28 c fallback to adder encoding 1181.60/1183.27 o 1409 1181.60/1183.27 c fallback to adder encoding 1184.68/1186.31 o 1408 1184.68/1186.31 c fallback to adder encoding 1186.69/1188.32 o 1403 1186.69/1188.32 c fallback to adder encoding 1189.29/1190.96 o 1400 1189.29/1190.96 c fallback to adder encoding 1191.20/1192.80 o 1399 1191.20/1192.80 c fallback to adder encoding 1194.29/1195.92 o 1396 1194.29/1195.92 c fallback to adder encoding 1195.99/1197.66 o 1392 1195.99/1197.66 c fallback to adder encoding 1198.89/1200.59 o 1390 1198.89/1200.59 c fallback to adder encoding 1201.06/1202.75 o 1387 1201.06/1202.75 c fallback to adder encoding 1204.14/1205.85 o 1384 1204.14/1205.85 c fallback to adder encoding 1206.54/1208.24 o 1379 1206.54/1208.24 c fallback to adder encoding 1210.23/1211.94 o 1378 1210.23/1211.94 c fallback to adder encoding 1212.53/1214.29 o 1375 1212.53/1214.29 c fallback to adder encoding 1214.05/1215.74 o 1372 1214.05/1215.74 c fallback to adder encoding 1216.13/1217.86 o 1370 1216.13/1217.86 c fallback to adder encoding 1218.53/1220.25 o 1369 1218.53/1220.25 c fallback to adder encoding 1221.22/1222.96 o 1368 1221.22/1222.96 c fallback to adder encoding 1226.39/1228.14 o 1341 1226.39/1228.14 c fallback to adder encoding 1229.46/1231.20 o 1340 1229.46/1231.20 c fallback to adder encoding 1235.18/1236.93 o 1331 1235.18/1236.93 c fallback to adder encoding 1238.77/1240.52 o 1330 1238.77/1240.52 c fallback to adder encoding 1243.37/1245.12 o 1329 1243.37/1245.12 c fallback to adder encoding 1246.17/1247.92 o 1022 1246.17/1247.92 c fallback to adder encoding 1247.76/1249.51 o 1020 1247.76/1249.51 c fallback to adder encoding 1249.98/1251.74 o 1018 1249.98/1251.74 c fallback to adder encoding 1251.57/1253.35 o 1016 1251.57/1253.35 c fallback to adder encoding 1253.47/1255.22 o 1013 1253.47/1255.22 c fallback to adder encoding 1255.58/1257.37 o 1012 1255.58/1257.37 c fallback to adder encoding 1257.56/1259.39 o 1009 1257.56/1259.39 c fallback to adder encoding 1258.79/1260.56 o 1008 1258.79/1260.56 c fallback to adder encoding 1260.96/1262.73 o 1005 1260.96/1262.73 c fallback to adder encoding 1262.27/1264.04 o 996 1262.27/1264.04 c fallback to adder encoding 1263.93/1265.71 o 994 1263.93/1265.71 c fallback to adder encoding 1266.21/1268.07 o 992 1266.21/1268.07 c fallback to adder encoding 1268.92/1270.78 o 990 1268.92/1270.78 c fallback to adder encoding 1270.38/1272.23 o 987 1270.38/1272.23 c fallback to adder encoding 1272.08/1273.97 o 986 1272.08/1273.97 c fallback to adder encoding 1274.37/1276.24 o 985 1274.37/1276.24 c fallback to adder encoding 1275.97/1277.85 o 982 1275.97/1277.85 c fallback to adder encoding 1277.78/1279.62 o 981 1277.78/1279.62 c fallback to adder encoding 1279.69/1281.53 o 977 1279.69/1281.53 c fallback to adder encoding 1281.45/1283.38 o 976 1281.45/1283.38 c fallback to adder encoding 1282.84/1284.72 o 972 1282.84/1284.72 c fallback to adder encoding 1283.94/1285.83 o 968 1283.94/1285.83 c fallback to adder encoding 1286.14/1288.00 o 960 1286.14/1288.00 c fallback to adder encoding 1287.53/1289.42 o 943 1287.53/1289.42 c fallback to adder encoding 1288.86/1290.70 o 910 1288.86/1290.70 c fallback to adder encoding 1290.74/1292.62 o 908 1290.74/1292.62 c fallback to adder encoding 1293.45/1295.35 o 907 1293.45/1295.35 c fallback to adder encoding 1295.13/1297.02 o 905 1295.13/1297.02 c fallback to adder encoding 1296.94/1298.90 o 899 1296.94/1298.90 c fallback to adder encoding 1298.71/1300.60 o 896 1298.71/1300.60 c fallback to adder encoding 1300.10/1302.04 o 895 1300.10/1302.04 c fallback to adder encoding 1301.20/1303.15 o 862 1301.20/1303.15 c fallback to adder encoding 1303.29/1305.21 o 859 1303.29/1305.21 c fallback to adder encoding 1304.20/1306.17 o 830 1304.20/1306.17 c fallback to adder encoding 1305.61/1307.57 o 829 1305.61/1307.57 c fallback to adder encoding 1307.70/1309.61 o 824 1307.70/1309.61 c fallback to adder encoding 1308.80/1310.72 o 821 1308.80/1310.72 c fallback to adder encoding 1309.69/1311.68 o 819 1309.69/1311.68 c fallback to adder encoding 1311.87/1313.82 o 816 1311.87/1313.82 c fallback to adder encoding 1313.57/1315.58 o 814 1313.57/1315.58 c fallback to adder encoding 1314.98/1316.91 o 810 1314.98/1316.91 c fallback to adder encoding 1316.36/1318.39 o 806 1316.36/1318.39 c fallback to adder encoding 1317.96/1319.98 o 805 1317.96/1319.98 c fallback to adder encoding 1319.95/1321.97 o 795 1319.95/1321.97 c fallback to adder encoding 1321.46/1323.49 o 793 1321.46/1323.49 c fallback to adder encoding 1322.86/1324.85 o 792 1322.86/1324.85 c fallback to adder encoding 1324.05/1326.06 o 791 1324.05/1326.06 c fallback to adder encoding 1324.85/1326.80 o 784 1324.85/1326.80 c fallback to adder encoding 1326.36/1328.32 o 783 1326.36/1328.32 c fallback to adder encoding 1327.45/1329.46 o 780 1327.45/1329.46 c fallback to adder encoding 1328.95/1330.95 o 777 1328.95/1330.95 c fallback to adder encoding 1330.57/1332.56 o 773 1330.57/1332.56 c fallback to adder encoding 1332.15/1334.19 o 772 1332.15/1334.19 c fallback to adder encoding 1333.87/1335.82 o 769 1333.87/1335.82 c fallback to adder encoding 1335.56/1337.52 o 768 1335.56/1337.52 c fallback to adder encoding 1336.06/1338.08 o 765 1336.06/1338.08 c fallback to adder encoding 1338.15/1340.11 o 764 1338.15/1340.11 c fallback to adder encoding 1339.06/1341.05 o 760 1339.06/1341.05 c fallback to adder encoding 1339.18/1341.98 o 755 1339.18/1341.98 c fallback to adder encoding 1341.27/1343.28 o 735 1341.27/1343.28 c fallback to adder encoding 1342.55/1344.51 o 719 1342.55/1344.51 c fallback to adder encoding 1344.36/1346.37 o 714 1344.36/1346.37 c fallback to adder encoding 1344.49/1347.34 o 710 1344.49/1347.34 c fallback to adder encoding 1347.05/1349.05 o 706 1347.05/1349.05 c fallback to adder encoding 1348.37/1350.33 o 704 1348.37/1350.33 c fallback to adder encoding 1349.25/1351.20 o 703 1349.25/1351.20 c fallback to adder encoding 1350.25/1352.20 o 680 1350.25/1352.20 c fallback to adder encoding 1351.16/1353.17 o 673 1351.16/1353.17 c fallback to adder encoding 1352.17/1354.14 o 671 1352.17/1354.14 c fallback to adder encoding 1353.36/1355.33 o 665 1353.36/1355.33 c fallback to adder encoding 1354.46/1356.43 o 664 1354.46/1356.43 c fallback to adder encoding 1356.26/1358.22 o 663 1356.26/1358.22 c fallback to adder encoding 1357.16/1359.13 o 654 1357.16/1359.13 c fallback to adder encoding 1357.87/1359.83 o 650 1357.87/1359.83 c fallback to adder encoding 1359.05/1361.07 o 647 1359.05/1361.07 c fallback to adder encoding 1359.96/1361.93 o 642 1359.96/1361.93 c fallback to adder encoding 1361.35/1363.39 o 641 1361.35/1363.39 c fallback to adder encoding 1362.22/1364.28 o 638 1362.22/1364.28 c fallback to adder encoding 1362.33/1364.95 o 632 1362.33/1364.95 c fallback to adder encoding 1364.11/1366.18 o 630 1364.11/1366.18 c fallback to adder encoding 1364.24/1366.99 o 626 1364.24/1366.99 c fallback to adder encoding 1365.72/1367.74 o 621 1365.72/1367.74 c fallback to adder encoding 1366.71/1368.76 o 616 1366.71/1368.76 c fallback to adder encoding 1367.88/1369.91 o 615 1367.88/1369.91 c fallback to adder encoding 1367.95/1370.54 o 610 1367.95/1370.54 c fallback to adder encoding 1369.18/1371.28 o 609 1369.18/1371.28 c fallback to adder encoding 1369.78/1371.86 o 608 1369.78/1371.86 c fallback to adder encoding 1370.79/1372.82 o 579 1370.79/1372.82 c fallback to adder encoding 1371.47/1373.50 o 576 1371.47/1373.50 c fallback to adder encoding 1372.28/1374.35 o 567 1372.28/1374.35 c fallback to adder encoding 1372.90/1374.92 o 564 1372.90/1374.92 c fallback to adder encoding 1373.68/1375.73 o 563 1373.68/1375.73 c fallback to adder encoding 1374.48/1376.50 o 553 1374.48/1376.50 c fallback to adder encoding 1374.53/1377.15 o 548 1374.53/1377.15 c fallback to adder encoding 1375.78/1377.87 o 546 1375.78/1377.87 c fallback to adder encoding 1375.90/1378.29 o 538 1375.90/1378.29 c fallback to adder encoding 1376.31/1378.75 o 534 1376.31/1378.75 c fallback to adder encoding 1377.49/1379.56 o 533 1377.49/1379.56 c fallback to adder encoding 1377.54/1380.16 o 528 1377.54/1380.16 c fallback to adder encoding 1378.74/1380.81 o 522 1378.74/1380.81 c fallback to adder encoding 1378.78/1381.27 o 520 1378.78/1381.27 c fallback to adder encoding 1380.05/1382.11 o 517 1380.05/1382.11 c fallback to adder encoding 1380.65/1382.73 o 512 1380.65/1382.73 c fallback to adder encoding 1380.71/1383.09 o 495 1380.71/1383.09 c fallback to adder encoding 1381.08/1383.39 o 492 1381.08/1383.39 c fallback to adder encoding 1381.73/1383.86 o 490 1381.73/1383.86 c fallback to adder encoding 1381.82/1384.19 o 488 1381.82/1384.19 c fallback to adder encoding 1382.65/1384.72 o 487 1382.65/1384.72 c fallback to adder encoding 1383.03/1385.17 o 481 1383.03/1385.17 c fallback to adder encoding 1383.45/1385.52 o 465 1383.45/1385.52 c fallback to adder encoding 1383.50/1385.86 o 445 1383.50/1385.86 c fallback to adder encoding 1384.14/1386.27 o 444 1384.14/1386.27 c fallback to adder encoding 1384.24/1386.58 o 440 1384.24/1386.58 c fallback to adder encoding 1384.83/1386.90 o 430 1384.83/1386.90 c fallback to adder encoding 1385.14/1387.21 o 421 1385.14/1387.21 c fallback to adder encoding 1385.18/1387.53 o 417 1385.18/1387.53 c fallback to adder encoding 1385.51/1387.89 o 409 1385.51/1387.89 c fallback to adder encoding 1386.14/1388.21 o 408 1386.14/1388.21 c fallback to adder encoding 1386.19/1388.59 o 404 1386.19/1388.59 c fallback to adder encoding 1386.57/1388.92 o 403 1386.57/1388.92 c fallback to adder encoding 1386.89/1389.25 o 400 1386.89/1389.25 c fallback to adder encoding 1387.55/1389.63 o 399 1387.55/1389.63 c fallback to adder encoding 1387.60/1389.94 o 396 1387.60/1389.94 c fallback to adder encoding 1388.14/1390.21 o 395 1388.14/1390.21 c fallback to adder encoding 1388.44/1390.58 o 393 1388.44/1390.58 c fallback to adder encoding 1388.56/1390.83 o 389 1388.56/1390.83 c fallback to adder encoding 1388.80/1391.15 o 384 1388.80/1391.15 c fallback to adder encoding 1389.11/1391.42 o 374 1389.11/1391.42 c fallback to adder encoding 1389.54/1391.61 o 367 1389.54/1391.61 c fallback to adder encoding 1389.57/1391.84 o 359 1389.57/1391.84 c fallback to adder encoding 1390.04/1392.11 o 357 1390.04/1392.11 c fallback to adder encoding 1390.07/1392.33 o 333 1390.07/1392.33 c fallback to adder encoding 1390.54/1392.61 o 324 1390.77/1393.00 o 109 1390.77/1393.03 c display solution 1390.77/1393.03 s OPTIMUM FOUND 1390.77/1393.03 v x1 -x2 x3 -x4 x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 x27 -x28 -x29 x30 x31 -x32 -x33 x34 -x35 x36 -x37 x38 x39 -x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 -x61 x62 x63 -x64 x65 -x66 -x67 x68 x69 -x70 -x71 x72 -x73 x74 -x75 x76 x77 -x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 -x87 x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 x107 -x108 -x109 x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 -x145 x146 x147 -x148 x149 -x150 x151 -x152 -x153 x154 -x155 x156 x157 -x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 -x171 x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180 -x181 x182 -x183 x184 -x185 x186 x187 -x188 -x189 x190 x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200
OK 109
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715118-1338226130/watcher-3715118-1338226130 -o /tmp/evaluation-result-3715118-1338226130/solver-3715118-1338226130 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715118-1338226130.wbo 186059117 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.02 2.00 3/179 30389 /proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [startup+0.0704019 s] /proc/loadavg: 2.04 2.02 2.00 3/179 30389 /proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100285 s] /proc/loadavg: 2.04 2.02 2.00 3/179 30389 /proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300298 s] /proc/loadavg: 2.04 2.02 2.00 3/179 30389 /proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700256 s] /proc/loadavg: 2.04 2.02 2.00 3/179 30389 /proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50039 s] /proc/loadavg: 2.04 2.02 2.00 3/183 30403 /proc/meminfo: memFree=31245884/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11308 CPUtime=0.12 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 2779 5612 0 0 8 1 2 1 20 0 1 0 288737383 11579392 2046 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30390/statm: 2827 2046 165 439 0 2384 0 [pid=30402] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30402/stat : 30402 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288737397 9367552 267 33554432000 4194304 5064252 140733454469824 140733454468736 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30402/statm: 2287 267 226 213 0 72 0 [pid=30403] ppid=30402 vsize=18732 CPUtime=1.35 cores=1,3,5,7 /proc/30403/stat : 30403 (glucose) R 30402 30389 12121 0 -1 4202496 4236 0 0 0 134 1 0 0 20 0 1 0 288737398 19181568 4033 33554432000 4194304 5208918 140733867101104 140733867098952 4229427 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30403/statm: 4683 4033 105 248 0 4432 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 48336 [startup+3.10041 s] /proc/loadavg: 2.04 2.02 2.00 3/183 30410 /proc/meminfo: memFree=31245332/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11308 CPUtime=0.12 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 2779 5612 0 0 8 1 2 1 20 0 1 0 288737383 11579392 2046 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30390/statm: 2827 2046 165 439 0 2384 0 [pid=30402] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30402/stat : 30402 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288737397 9367552 267 33554432000 4194304 5064252 140733454469824 140733454468736 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30402/statm: 2287 267 226 213 0 72 0 [pid=30403] ppid=30402 vsize=21940 CPUtime=2.94 cores=1,3,5,7 /proc/30403/stat : 30403 (glucose) R 30402 30389 12121 0 -1 4202496 4684 0 0 0 293 1 0 0 20 0 1 0 288737398 22466560 4467 33554432000 4194304 5208918 140733867101104 140733867099064 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30403/statm: 5485 4467 105 248 0 5234 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 51544 [startup+6.30034 s] /proc/loadavg: 2.04 2.02 2.00 3/183 30424 /proc/meminfo: memFree=31239060/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=19496 CPUtime=5.26 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 4937 14141 0 0 15 2 503 6 20 0 1 0 288737383 19963904 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30390/statm: 4874 3866 166 439 0 4431 0 [pid=30423] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30423/stat : 30423 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288737912 9367552 267 33554432000 4194304 5064252 140734690799248 140734690798160 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30423/statm: 2287 267 226 213 0 72 0 [pid=30424] ppid=30423 vsize=18340 CPUtime=0.99 cores=1,3,5,7 /proc/30424/stat : 30424 (glucose) R 30423 30389 12121 0 -1 4202496 3599 0 0 0 99 0 0 0 20 0 1 0 288737912 18780160 3911 33554432000 4194304 5208918 140733418535168 140733418533016 4205761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30424/statm: 4585 3911 105 248 0 4334 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 56132 [startup+12.7004 s] /proc/loadavg: 2.04 2.02 2.00 3/183 30452 /proc/meminfo: memFree=31237140/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=19496 CPUtime=9.19 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 7094 21828 0 0 23 3 883 10 20 0 1 0 288737383 19963904 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30390/statm: 4874 3866 166 439 0 4431 0 [pid=30442] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30442/stat : 30442 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288738305 9367552 266 33554432000 4194304 5064252 140733533215984 140733533214896 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30442/statm: 2287 266 226 213 0 72 0 [pid=30443] ppid=30442 vsize=19420 CPUtime=3.47 cores=1,3,5,7 /proc/30443/stat : 30443 (glucose) R 30442 30389 12121 0 -1 4202496 4685 0 0 0 346 1 0 0 20 0 1 0 288738305 19886080 4195 33554432000 4194304 5208918 140737220425168 140737220423128 4211176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30443/statm: 4855 4195 105 248 0 4604 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 57212 [startup+25.5004 s] /proc/loadavg: 2.03 2.02 2.00 3/183 30508 /proc/meminfo: memFree=31240080/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=19496 CPUtime=24.88 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 13565 46601 0 0 44 7 2415 22 20 0 1 0 288737383 19963904 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30390/statm: 4874 3866 166 439 0 4431 0 [pid=30507] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30507/stat : 30507 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288739874 9367552 266 33554432000 4194304 5064252 140735695699136 140735695698048 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30507/statm: 2287 266 226 213 0 72 0 [pid=30508] ppid=30507 vsize=18168 CPUtime=0.58 cores=1,3,5,7 /proc/30508/stat : 30508 (glucose) R 30507 30389 12121 0 -1 4202496 3666 0 0 0 58 0 0 0 20 0 1 0 288739874 18604032 4025 33554432000 4194304 5208918 140733646611472 140733646610872 4211122 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30508/statm: 4542 4025 104 248 0 4291 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 55960 [startup+51.1003 s] /proc/loadavg: 2.02 2.01 2.00 3/183 30630 /proc/meminfo: memFree=31247544/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=19444 CPUtime=51.08 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 30821 110450 0 0 101 17 4933 57 20 0 1 0 288737383 19910656 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30390/statm: 4861 3866 166 439 0 4418 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28592 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/184 30904 /proc/meminfo: memFree=31241232/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=19444 CPUtime=100.89 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 63176 222033 0 0 201 34 9738 116 20 0 1 0 288737383 19910656 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30390/statm: 4861 3866 166 439 0 4418 0 [pid=30896] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30896/stat : 30896 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288747475 9367552 266 33554432000 4194304 5064252 140733239710640 140733239709552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30896/statm: 2287 266 226 213 0 72 0 [pid=30897] ppid=30896 vsize=17700 CPUtime=1.37 cores=1,3,5,7 /proc/30897/stat : 30897 (glucose) R 30896 30389 12121 0 -1 4202496 3469 0 0 0 137 0 0 0 20 0 1 0 288747475 18124800 3911 33554432000 4194304 5208918 140736282187504 140736282185256 4205681 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30897/statm: 4425 3911 105 248 0 4174 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 55440 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 31233 /proc/meminfo: memFree=31241984/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=19444 CPUtime=160.96 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 99845 349020 0 0 315 53 15545 183 20 0 1 0 288737383 19910656 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30390/statm: 4861 3866 166 439 0 4418 0 [pid=31226] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31226/stat : 31226 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 288753484 9367552 267 33554432000 4194304 5064252 140733208785968 140733208784880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/31226/statm: 2287 267 226 213 0 72 0 [pid=31229] ppid=31226 vsize=17756 CPUtime=1.28 cores=1,3,5,7 /proc/31229/stat : 31229 (glucose) R 31226 30389 12121 0 -1 4202496 3753 0 0 0 127 1 0 0 20 0 1 0 288753485 18182144 3643 33554432000 4194304 5208918 140733376558464 140733376556216 4205263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/31229/statm: 4439 3643 104 248 0 4188 0 Current children cumulated CPU time (s) 162.24 ################ # More data... # ################ [startup+1122.3 s] /proc/loadavg: 1.94 1.96 1.98 3/183 3690 /proc/meminfo: memFree=31072084/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1120.62 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 612401 2572192 0 0 2086 275 108415 1286 20 0 1 0 288737383 11522048 2363 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2363 166 439 0 2370 0 Current children cumulated CPU time (s) 1120.62 Current children cumulated vsize (KiB) 20400 [startup+1182.3 s] /proc/loadavg: 1.92 1.95 1.97 3/183 3858 /proc/meminfo: memFree=31078712/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1176.76 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 650144 2732904 0 0 2214 290 113805 1367 20 0 1 0 288737383 11522048 2363 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2363 166 439 0 2370 0 [pid=3857] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3857/stat : 3857 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288855217 9367552 266 33554432000 4194304 5064252 140737095912208 140737095911120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3857/statm: 2287 266 226 213 0 72 0 [pid=3858] ppid=3857 vsize=18368 CPUtime=3.94 cores=1,3,5,7 /proc/3858/stat : 3858 (glucose) R 3857 30389 12121 0 -1 4202496 4214 0 0 0 394 0 0 0 20 0 1 0 288855218 18808832 3688 33554432000 4194304 5208918 140733605481936 140733605479608 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/3858/statm: 4592 3688 105 248 0 4341 0 Current children cumulated CPU time (s) 1180.7 Current children cumulated vsize (KiB) 47916 [startup+1242.3 s] /proc/loadavg: 1.97 1.96 1.97 3/183 4005 /proc/meminfo: memFree=31085424/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1238.86 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 684605 2882711 0 0 2330 303 119815 1438 20 0 1 0 288737383 11522048 2363 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2363 166 439 0 2370 0 [pid=4004] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4004/stat : 4004 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288861441 9367552 267 33554432000 4194304 5064252 140737303242896 140737303241808 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/4004/statm: 2287 267 226 213 0 72 0 [pid=4005] ppid=4004 vsize=15588 CPUtime=1.7 cores=1,3,5,7 /proc/4005/stat : 4005 (glucose) R 4004 30389 12121 0 -1 4202496 3267 0 0 0 170 0 0 0 20 0 1 0 288861441 15962112 3282 33554432000 4194304 5208918 140737162288048 140737162285800 4211605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/4005/statm: 3897 3282 105 248 0 3646 0 Current children cumulated CPU time (s) 1240.56 Current children cumulated vsize (KiB) 45136 [startup+1302.3 s] /proc/loadavg: 1.99 1.96 1.97 3/184 4226 /proc/meminfo: memFree=31090836/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1300.21 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 737117 3095567 0 0 2486 321 125674 1540 20 0 1 0 288737383 11522048 2372 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2372 166 439 0 2370 0 Current children cumulated CPU time (s) 1300.21 Current children cumulated vsize (KiB) 20400 [startup+1362.3 s] /proc/loadavg: 1.95 1.95 1.97 3/183 4541 /proc/meminfo: memFree=31081040/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1360.03 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 809105 3369371 0 0 2659 345 131344 1655 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2392 166 439 0 2370 0 Current children cumulated CPU time (s) 1360.03 Current children cumulated vsize (KiB) 20400 Solver just ended. Dumping a history of the last processes samples [startup+1369.61 s] /proc/loadavg: 2.04 1.97 1.97 3/183 4597 /proc/meminfo: memFree=31072460/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1366.79 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 817159 3410958 0 0 2680 348 131981 1670 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2392 166 439 0 2370 0 [pid=4596] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4596/stat : 4596 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288874263 9367552 266 33554432000 4194304 5064252 140735104039808 140735104038720 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/4596/statm: 2287 266 226 213 0 72 0 [pid=4597] ppid=4596 vsize=10480 CPUtime=0.8 cores=1,3,5,7 /proc/4597/stat : 4597 (glucose) R 4596 30389 12121 0 -1 4202496 2524 0 0 0 80 0 0 0 20 0 1 0 288874263 10731520 2054 33554432000 4194304 5208918 140736237993520 140736237991368 4229456 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/4597/statm: 2620 2054 105 248 0 2369 0 Current children cumulated CPU time (s) 1367.59 Current children cumulated vsize (KiB) 40028 [startup+1382.4 s] /proc/loadavg: 2.03 1.97 1.97 3/183 4723 /proc/meminfo: memFree=31094792/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1380.1 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 837594 3516767 0 0 2732 355 133213 1710 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2392 166 439 0 2370 0 Current children cumulated CPU time (s) 1380.1 Current children cumulated vsize (KiB) 20400 [startup+1388.8 s] /proc/loadavg: 2.03 1.97 1.97 4/183 4837 /proc/meminfo: memFree=31090008/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1386.57 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 853659 3602095 0 0 2766 360 133790 1741 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2392 166 439 0 2370 0 Current children cumulated CPU time (s) 1386.57 Current children cumulated vsize (KiB) 20400 [startup+1390.4 s] /proc/loadavg: 2.03 1.97 1.97 3/183 4884 /proc/meminfo: memFree=31083124/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1388.18 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 858152 3626951 0 0 2775 361 133933 1749 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2392 166 439 0 2370 0 [pid=4883] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4883/stat : 4883 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288876407 9367552 266 33554432000 4194304 5064252 140733403184528 140733403183440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/4883/statm: 2287 266 226 213 0 72 0 [pid=4884] ppid=4883 vsize=6632 CPUtime=0.16 cores=1,3,5,7 /proc/4884/stat : 4884 (glucose) R 4883 30389 12121 0 -1 4202496 1787 0 0 0 16 0 0 0 20 0 1 0 288876407 6791168 1363 33554432000 4194304 5208918 140734334932448 140733403183464 4210976 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/4884/statm: 1658 1363 104 248 0 1407 0 Current children cumulated CPU time (s) 1388.34 Current children cumulated vsize (KiB) 36180 [startup+1392 s] /proc/loadavg: 2.03 1.97 1.97 3/183 4912 /proc/meminfo: memFree=31083488/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1389.81 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 862166 3655642 0 0 2785 363 134075 1758 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2392 166 439 0 2370 0 Current children cumulated CPU time (s) 1389.81 Current children cumulated vsize (KiB) 20400 [startup+1392.8 s] /proc/loadavg: 2.03 1.97 1.97 3/182 4941 /proc/meminfo: memFree=31086152/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1390.62 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 865002 3669037 0 0 2793 364 134142 1763 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2392 166 439 0 2370 0 Current children cumulated CPU time (s) 1390.62 Current children cumulated vsize (KiB) 20400 [startup+1393 s] /proc/loadavg: 2.03 1.97 1.97 3/182 4941 /proc/meminfo: memFree=31086152/32873844 swapFree=7632/7632 [pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30389/statm: 2287 275 233 213 0 72 0 [pid=30390] ppid=30389 vsize=11252 CPUtime=1390.77 cores=1,3,5,7 /proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 865010 3676128 0 0 2793 364 134156 1764 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0 /proc/30390/statm: 2813 2392 166 439 0 2370 0 Current children cumulated CPU time (s) 1390.77 Current children cumulated vsize (KiB) 20400 Child status: 0 Real time (s): 1393.04 CPU time (s): 1391 CPU user time (s): 1369.63 CPU system time (s): 21.3648 CPU usage (%): 99.8535 Max. virtual memory (cumulated for all children) (KiB): 64488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1369.63 system time used= 21.3648 maximum resident set size= 30916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4550051 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3662880 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19536 involuntary context switches= 7336 runsolver used 3.18152 second user time and 8.06377 second system time The end
Begin job on node141 at 2012-05-28 19:28:50 IDJOB=3715118 IDBENCH=79419 IDSOLVER=2296 FILE ID=node141/3715118-1338226130 RUNJOBID= node141-1338210956-15179 PBS_JOBID= 14624602 Free space on /tmp= 71516 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh13_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715118-1338226130/watcher-3715118-1338226130 -o /tmp/evaluation-result-3715118-1338226130/solver-3715118-1338226130 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715118-1338226130.wbo 186059117 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3100ea9ba7746ae86daacced189e255b RANDOM SEED=186059117 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31275584 kB Buffers: 311056 kB Cached: 412336 kB SwapCached: 220 kB Active: 280900 kB Inactive: 477448 kB Active(anon): 25048 kB Inactive(anon): 11292 kB Active(file): 255852 kB Inactive(file): 466156 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108636 kB Dirty: 11856 kB Writeback: 0 kB AnonPages: 41224 kB Mapped: 11700 kB Shmem: 172 kB Slab: 700076 kB SReclaimable: 141404 kB SUnreclaim: 558672 kB KernelStack: 1456 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 150852 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71508 MiB End job on node141 at 2012-05-28 19:52:04