Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown | OPTIMUM | 1319.56 | 1322.49 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo |
| MD5SUM | 066a913179e37120802f974ea952f3b3 |
| 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 | 16 |
| Best CPU time to get the best result obtained on this benchmark | 0.016996 |
| 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 | 1000 |
| Number of soft constraints | 900 |
| Number of constraints which are clauses | 900 |
| 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 | 444855 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 444854 |
| 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.02 c run usual solver 0.00/0.06 o 5652 0.00/0.06 c fallback to adder encoding 3.76/3.85 o 5647 3.76/3.85 c fallback to adder encoding 7.56/7.63 o 5632 7.56/7.63 c fallback to adder encoding 10.86/10.94 o 5628 10.86/10.94 c fallback to adder encoding 14.93/15.01 o 5627 14.93/15.01 c fallback to adder encoding 18.16/18.27 o 5610 18.16/18.27 c fallback to adder encoding 21.22/21.30 o 5605 21.22/21.30 c fallback to adder encoding 23.46/23.57 o 5600 23.46/23.57 c fallback to adder encoding 26.73/26.81 o 5593 26.73/26.81 c fallback to adder encoding 29.57/29.62 o 5580 29.57/29.62 c fallback to adder encoding 33.36/33.40 o 5568 33.36/33.40 c fallback to adder encoding 35.76/35.80 o 5566 35.76/35.80 c fallback to adder encoding 40.26/40.35 o 5562 40.26/40.35 c fallback to adder encoding 43.54/43.63 o 5561 43.54/43.63 c fallback to adder encoding 46.64/46.73 o 5423 46.64/46.73 c fallback to adder encoding 50.89/51.06 o 5406 50.89/51.06 c fallback to adder encoding 55.96/56.12 o 5397 55.96/56.12 c fallback to adder encoding 60.24/60.44 o 5396 60.24/60.44 c fallback to adder encoding 62.43/62.63 o 5395 62.43/62.63 c fallback to adder encoding 68.22/68.44 o 5392 68.22/68.44 c fallback to adder encoding 72.03/72.24 o 5389 72.03/72.24 c fallback to adder encoding 77.71/77.92 o 5386 77.71/77.92 c fallback to adder encoding 82.11/82.33 o 5383 82.11/82.33 c fallback to adder encoding 85.52/85.75 o 5376 85.52/85.75 c fallback to adder encoding 88.61/88.88 o 5375 88.61/88.88 c fallback to adder encoding 91.61/91.87 o 5369 91.61/91.87 c fallback to adder encoding 94.33/94.55 o 5365 94.33/94.55 c fallback to adder encoding 97.82/98.04 o 5348 97.82/98.04 c fallback to adder encoding 102.12/102.39 o 5346 102.12/102.39 c fallback to adder encoding 104.91/105.18 o 5264 104.91/105.18 c fallback to adder encoding 110.19/110.41 o 5261 110.19/110.41 c fallback to adder encoding 113.58/113.81 o 5150 113.58/113.81 c fallback to adder encoding 117.89/118.12 o 5146 117.89/118.12 c fallback to adder encoding 120.61/120.84 o 5141 120.61/120.84 c fallback to adder encoding 124.52/124.74 o 5140 124.52/124.74 c fallback to adder encoding 127.62/127.84 o 5139 127.62/127.84 c fallback to adder encoding 130.82/131.05 o 5120 130.82/131.05 c fallback to adder encoding 133.92/134.17 o 5119 133.92/134.17 c fallback to adder encoding 138.21/138.47 o 5106 138.21/138.47 c fallback to adder encoding 142.19/142.41 o 5104 142.19/142.41 c fallback to adder encoding 147.89/148.11 o 5099 147.89/148.11 c fallback to adder encoding 150.00/150.28 o 5094 150.00/150.28 c fallback to adder encoding 153.63/153.80 o 5092 153.63/153.80 c fallback to adder encoding 157.31/157.59 o 5091 157.31/157.59 c fallback to adder encoding 160.63/160.85 o 4139 160.63/160.85 c fallback to adder encoding 163.11/163.37 o 4138 163.11/163.37 c fallback to adder encoding 167.82/168.05 o 4133 167.82/168.05 c fallback to adder encoding 172.43/172.64 o 4130 172.43/172.64 c fallback to adder encoding 175.71/175.98 o 4117 175.71/175.98 c fallback to adder encoding 180.29/180.56 o 4110 180.29/180.56 c fallback to adder encoding 183.49/183.72 o 4105 183.49/183.72 c fallback to adder encoding 188.12/188.39 o 4103 188.12/188.39 c fallback to adder encoding 189.91/190.18 o 4100 189.91/190.18 c fallback to adder encoding 192.50/192.73 o 4099 192.50/192.73 c fallback to adder encoding 195.30/195.53 o 4098 195.30/195.53 c fallback to adder encoding 199.51/199.85 o 4096 199.51/199.85 c fallback to adder encoding 202.88/203.28 o 4075 202.88/203.28 c fallback to adder encoding 205.79/206.16 o 4074 205.79/206.16 c fallback to adder encoding 208.09/208.45 o 4073 208.09/208.45 c fallback to adder encoding 210.57/210.91 o 4056 210.57/210.91 c fallback to adder encoding 213.27/213.60 o 4055 213.27/213.60 c fallback to adder encoding 215.20/215.54 o 4047 215.20/215.54 c fallback to adder encoding 217.06/217.42 o 4044 217.06/217.42 c fallback to adder encoding 219.38/219.73 o 3709 219.38/219.73 c fallback to adder encoding 222.75/223.10 o 3687 222.75/223.10 c fallback to adder encoding 228.80/229.14 o 3672 228.80/229.14 c fallback to adder encoding 232.19/232.59 o 3671 232.19/232.59 c fallback to adder encoding 235.69/236.05 o 3669 235.69/236.05 c fallback to adder encoding 238.88/239.30 o 3666 238.88/239.30 c fallback to adder encoding 244.10/244.44 o 3651 244.10/244.44 c fallback to adder encoding 245.89/246.24 o 3629 245.89/246.24 c fallback to adder encoding 249.49/249.85 o 3627 249.49/249.85 c fallback to adder encoding 252.37/252.72 o 3626 252.37/252.72 c fallback to adder encoding 254.56/254.91 o 3552 254.56/254.91 c fallback to adder encoding 257.48/257.87 o 3549 257.48/257.87 c fallback to adder encoding 261.18/261.53 o 3544 261.18/261.53 c fallback to adder encoding 264.88/265.29 o 3431 264.88/265.29 c fallback to adder encoding 267.78/268.13 o 3393 267.78/268.13 c fallback to adder encoding 270.08/270.50 o 3264 270.08/270.50 c fallback to adder encoding 273.36/273.73 o 3257 273.36/273.73 c fallback to adder encoding 276.06/276.45 o 3256 276.06/276.45 c fallback to adder encoding 278.96/279.39 o 3251 278.96/279.39 c fallback to adder encoding 281.25/281.63 o 3247 281.25/281.63 c fallback to adder encoding 284.46/284.89 o 3236 284.46/284.89 c fallback to adder encoding 288.43/288.81 o 3233 288.43/288.81 c fallback to adder encoding 292.63/293.04 o 3232 292.63/293.04 c fallback to adder encoding 295.60/296.03 o 3227 295.60/296.03 c fallback to adder encoding 298.89/299.30 o 3226 298.89/299.30 c fallback to adder encoding 301.31/301.79 o 3222 301.31/301.79 c fallback to adder encoding 303.28/303.72 o 3221 303.28/303.72 c fallback to adder encoding 306.41/306.86 o 3201 306.41/306.86 c fallback to adder encoding 312.88/313.32 o 3200 312.88/313.32 c fallback to adder encoding 315.81/316.24 o 3197 315.81/316.24 c fallback to adder encoding 318.60/319.07 o 3191 318.60/319.07 c fallback to adder encoding 321.11/321.57 o 3179 321.11/321.57 c fallback to adder encoding 323.60/324.06 o 3174 323.60/324.06 c fallback to adder encoding 326.65/327.10 o 3164 326.65/327.10 c fallback to adder encoding 330.87/331.31 o 3158 330.87/331.31 c fallback to adder encoding 334.10/334.63 o 3155 334.10/334.63 c fallback to adder encoding 337.69/338.23 o 3141 337.69/338.23 c fallback to adder encoding 340.19/340.77 o 3138 340.19/340.77 c fallback to adder encoding 343.72/344.25 o 3137 343.72/344.25 c fallback to adder encoding 346.60/347.14 o 3136 346.60/347.14 c fallback to adder encoding 350.31/350.89 o 3134 350.31/350.89 c fallback to adder encoding 353.28/353.88 o 3124 353.28/353.88 c fallback to adder encoding 357.89/358.47 o 3122 357.89/358.47 c fallback to adder encoding 362.19/362.78 o 3121 362.19/362.78 c fallback to adder encoding 365.19/365.82 o 3120 365.19/365.82 c fallback to adder encoding 368.70/369.38 o 3103 368.70/369.38 c fallback to adder encoding 371.78/372.41 o 3102 371.78/372.41 c fallback to adder encoding 374.20/374.89 o 3088 374.20/374.89 c fallback to adder encoding 378.87/379.51 o 3085 378.87/379.51 c fallback to adder encoding 384.18/384.87 o 3078 384.18/384.87 c fallback to adder encoding 387.40/388.07 o 3077 387.40/388.07 c fallback to adder encoding 390.48/391.17 o 3072 390.48/391.17 c fallback to adder encoding 392.77/393.48 o 3067 392.77/393.48 c fallback to adder encoding 395.98/396.66 o 3066 395.98/396.66 c fallback to adder encoding 398.29/398.99 o 3050 398.29/398.99 c fallback to adder encoding 402.07/402.75 o 3022 402.07/402.75 c fallback to adder encoding 404.35/405.01 o 3017 404.35/405.01 c fallback to adder encoding 406.28/406.99 o 3008 406.28/406.99 c fallback to adder encoding 408.84/409.50 o 3002 408.84/409.50 c fallback to adder encoding 410.68/411.35 o 3001 410.68/411.35 c fallback to adder encoding 411.56/412.22 o 2987 411.56/412.22 c fallback to adder encoding 416.76/417.43 o 2986 416.76/417.43 c fallback to adder encoding 419.37/420.06 o 2982 419.37/420.06 c fallback to adder encoding 423.87/424.56 o 2979 423.87/424.56 c fallback to adder encoding 426.25/426.91 o 2977 426.25/426.91 c fallback to adder encoding 430.05/430.77 o 2969 430.05/430.77 c fallback to adder encoding 432.05/432.78 o 2967 432.05/432.78 c fallback to adder encoding 435.34/436.01 o 2962 435.34/436.01 c fallback to adder encoding 438.96/439.65 o 2961 438.96/439.65 c fallback to adder encoding 443.84/444.59 o 2957 443.84/444.59 c fallback to adder encoding 447.15/447.84 o 2956 447.15/447.84 c fallback to adder encoding 448.63/449.32 o 2952 448.63/449.32 c fallback to adder encoding 453.22/453.93 o 2948 453.22/453.93 c fallback to adder encoding 455.74/456.44 o 2947 455.74/456.44 c fallback to adder encoding 459.04/459.75 o 2931 459.04/459.75 c fallback to adder encoding 463.01/463.72 o 2930 463.01/463.72 c fallback to adder encoding 465.80/466.50 o 2929 465.80/466.50 c fallback to adder encoding 467.69/468.40 o 2927 467.69/468.40 c fallback to adder encoding 471.93/472.68 o 2926 471.93/472.68 c fallback to adder encoding 475.13/475.86 o 2917 475.13/475.86 c fallback to adder encoding 480.19/480.91 o 2916 480.19/480.91 c fallback to adder encoding 483.42/484.14 o 2915 483.42/484.14 c fallback to adder encoding 486.02/486.75 o 2914 486.02/486.75 c fallback to adder encoding 489.82/490.56 o 2913 489.82/490.56 c fallback to adder encoding 493.20/493.93 o 2912 493.20/493.93 c fallback to adder encoding 496.71/497.49 o 2909 496.71/497.49 c fallback to adder encoding 500.20/500.99 o 2904 500.20/500.99 c fallback to adder encoding 503.48/504.21 o 2901 503.48/504.21 c fallback to adder encoding 507.40/508.16 o 2886 507.40/508.16 c fallback to adder encoding 511.90/512.67 o 2881 511.90/512.67 c fallback to adder encoding 515.10/515.88 o 2876 515.10/515.88 c fallback to adder encoding 518.57/519.31 o 2875 518.57/519.31 c fallback to adder encoding 523.80/524.54 o 2872 523.80/524.54 c fallback to adder encoding 525.29/526.08 o 2864 525.29/526.08 c fallback to adder encoding 528.29/529.02 o 2860 528.29/529.02 c fallback to adder encoding 530.59/531.34 o 2859 530.59/531.34 c fallback to adder encoding 533.98/534.77 o 2858 533.98/534.77 c fallback to adder encoding 538.58/539.38 o 2854 538.58/539.38 c fallback to adder encoding 541.06/541.83 o 2851 541.06/541.83 c fallback to adder encoding 543.95/544.71 o 2848 543.95/544.71 c fallback to adder encoding 545.57/546.38 o 2841 545.57/546.38 c fallback to adder encoding 549.81/550.68 o 2824 549.81/550.68 c fallback to adder encoding 551.98/552.81 o 2823 551.98/552.81 c fallback to adder encoding 555.91/556.73 o 2722 555.91/556.73 c fallback to adder encoding 558.76/559.60 o 2721 558.76/559.60 c fallback to adder encoding 564.10/564.97 o 2720 564.10/564.97 c fallback to adder encoding 566.99/567.89 o 2703 566.99/567.89 c fallback to adder encoding 570.98/571.85 o 2702 570.98/571.85 c fallback to adder encoding 573.89/574.79 o 2693 573.89/574.79 c fallback to adder encoding 580.88/581.76 o 2690 580.88/581.76 c fallback to adder encoding 584.30/585.20 o 2689 584.30/585.20 c fallback to adder encoding 587.20/588.13 o 2688 587.20/588.13 c fallback to adder encoding 591.07/592.04 o 2667 591.07/592.04 c fallback to adder encoding 595.17/596.14 o 2662 595.17/596.14 c fallback to adder encoding 598.35/599.39 o 2661 598.35/599.39 c fallback to adder encoding 600.85/601.89 o 2659 600.85/601.89 c fallback to adder encoding 607.54/608.58 o 2656 607.54/608.58 c fallback to adder encoding 610.15/611.15 o 2642 610.15/611.15 c fallback to adder encoding 612.75/613.75 o 2641 612.75/613.75 c fallback to adder encoding 615.14/616.18 o 2640 615.14/616.18 c fallback to adder encoding 616.64/617.60 o 2625 616.64/617.60 c fallback to adder encoding 622.11/623.11 o 2605 622.11/623.11 c fallback to adder encoding 628.24/629.26 o 2602 628.24/629.26 c fallback to adder encoding 631.81/632.82 o 2596 631.81/632.82 c fallback to adder encoding 633.83/634.83 o 2585 633.83/634.83 c fallback to adder encoding 636.03/637.06 o 2584 636.03/637.06 c fallback to adder encoding 638.32/639.37 o 2582 638.32/639.37 c fallback to adder encoding 640.61/641.68 o 2581 640.61/641.68 c fallback to adder encoding 643.12/644.15 o 2580 643.12/644.15 c fallback to adder encoding 645.14/646.15 o 2562 645.14/646.15 c fallback to adder encoding 648.31/649.32 o 2561 648.31/649.32 c fallback to adder encoding 653.12/654.16 o 2560 653.12/654.16 c fallback to adder encoding 655.39/656.40 o 2559 655.39/656.40 c fallback to adder encoding 659.22/660.29 o 2543 659.22/660.29 c fallback to adder encoding 662.61/663.69 o 2537 662.61/663.69 c fallback to adder encoding 666.62/667.67 o 2534 666.62/667.67 c fallback to adder encoding 670.21/671.27 o 2530 670.21/671.27 c fallback to adder encoding 675.61/676.65 o 2529 675.61/676.65 c fallback to adder encoding 678.83/679.80 o 2498 678.83/679.80 c fallback to adder encoding 681.09/682.11 o 2497 681.09/682.11 c fallback to adder encoding 684.72/685.70 o 2496 684.72/685.70 c fallback to adder encoding 687.90/688.97 o 2483 687.90/688.97 c fallback to adder encoding 689.30/690.32 o 2468 689.30/690.32 c fallback to adder encoding 692.10/693.18 o 2467 692.10/693.18 c fallback to adder encoding 697.07/698.10 o 2462 697.07/698.10 c fallback to adder encoding 700.08/701.15 o 2455 700.08/701.15 c fallback to adder encoding 703.39/704.45 o 2454 703.39/704.45 c fallback to adder encoding 708.29/709.35 o 2448 708.29/709.35 c fallback to adder encoding 712.58/713.65 o 2443 712.58/713.65 c fallback to adder encoding 717.48/718.50 o 2438 717.48/718.50 c fallback to adder encoding 722.16/723.27 o 2434 722.16/723.27 c fallback to adder encoding 725.86/727.00 o 2433 725.86/727.00 c fallback to adder encoding 728.73/729.80 o 2432 728.73/729.80 c fallback to adder encoding 731.22/732.35 o 2411 731.22/732.35 c fallback to adder encoding 734.45/735.68 o 2410 734.45/735.68 c fallback to adder encoding 737.73/738.92 o 2409 737.73/738.92 c fallback to adder encoding 740.24/741.43 o 2408 740.24/741.43 c fallback to adder encoding 743.82/745.02 o 2407 743.82/745.02 c fallback to adder encoding 747.13/748.39 o 2406 747.13/748.39 c fallback to adder encoding 750.83/752.06 o 2402 750.83/752.06 c fallback to adder encoding 755.01/756.21 o 2400 755.01/756.21 c fallback to adder encoding 758.11/759.37 o 2397 758.11/759.37 c fallback to adder encoding 760.81/762.02 o 2396 760.81/762.02 c fallback to adder encoding 765.41/766.63 o 2387 765.41/766.63 c fallback to adder encoding 768.72/769.94 o 2375 768.72/769.94 c fallback to adder encoding 772.21/773.45 o 2374 772.21/773.45 c fallback to adder encoding 775.42/776.64 o 2372 775.42/776.64 c fallback to adder encoding 777.70/778.93 o 2368 777.70/778.93 c fallback to adder encoding 780.56/781.80 o 2365 780.56/781.80 c fallback to adder encoding 784.39/785.67 o 2364 784.39/785.67 c fallback to adder encoding 789.74/791.05 o 2363 789.74/791.05 c fallback to adder encoding 792.64/793.98 o 2362 792.64/793.98 c fallback to adder encoding 795.94/797.22 o 2243 795.94/797.22 c fallback to adder encoding 799.44/800.71 o 2241 799.44/800.71 c fallback to adder encoding 802.84/804.18 o 2236 802.84/804.18 c fallback to adder encoding 806.22/807.53 o 2223 806.22/807.53 c fallback to adder encoding 813.24/814.57 o 2220 813.24/814.57 c fallback to adder encoding 816.90/818.22 o 2217 816.90/818.22 c fallback to adder encoding 819.69/821.00 o 2214 819.69/821.00 c fallback to adder encoding 822.73/824.05 o 2207 822.73/824.05 c fallback to adder encoding 826.13/827.48 o 2197 826.13/827.48 c fallback to adder encoding 833.23/834.58 o 2188 833.23/834.58 c fallback to adder encoding 836.77/838.15 o 2178 836.77/838.15 c fallback to adder encoding 839.90/841.37 o 2177 839.90/841.37 c fallback to adder encoding 844.10/845.57 o 2176 844.10/845.57 c fallback to adder encoding 848.09/849.53 o 2175 848.09/849.53 c fallback to adder encoding 851.07/852.52 o 2147 851.07/852.52 c fallback to adder encoding 854.19/855.63 o 2137 854.19/855.63 c fallback to adder encoding 857.68/859.12 o 2128 857.68/859.12 c fallback to adder encoding 860.29/861.75 o 2126 860.29/861.75 c fallback to adder encoding 863.69/865.19 o 2125 863.69/865.19 c fallback to adder encoding 866.99/868.49 o 2117 866.99/868.49 c fallback to adder encoding 869.86/871.32 o 2112 869.86/871.32 c fallback to adder encoding 872.99/874.47 o 2111 872.99/874.47 c fallback to adder encoding 876.79/878.29 o 2106 876.79/878.29 c fallback to adder encoding 879.27/880.75 o 2071 879.27/880.75 c fallback to adder encoding 882.68/884.15 o 2068 882.68/884.15 c fallback to adder encoding 888.17/889.65 o 2067 888.17/889.65 c fallback to adder encoding 891.85/893.32 o 2065 891.85/893.32 c fallback to adder encoding 895.28/896.75 o 2060 895.28/896.75 c fallback to adder encoding 898.38/899.85 o 2052 898.38/899.85 c fallback to adder encoding 901.16/902.64 o 2050 901.16/902.64 c fallback to adder encoding 904.36/905.85 o 2049 904.36/905.85 c fallback to adder encoding 907.57/909.07 o 2048 907.57/909.07 c fallback to adder encoding 911.84/913.31 o 2035 911.84/913.31 c fallback to adder encoding 915.36/916.84 o 2019 915.36/916.84 c fallback to adder encoding 920.35/921.86 o 1995 920.35/921.86 c fallback to adder encoding 922.74/924.29 o 1993 922.74/924.29 c fallback to adder encoding 925.44/926.92 o 1985 925.44/926.92 c fallback to adder encoding 928.05/929.54 o 1981 928.05/929.54 c fallback to adder encoding 932.01/933.50 o 1967 932.01/933.50 c fallback to adder encoding 936.75/938.23 o 1962 936.75/938.23 c fallback to adder encoding 937.93/939.50 o 1961 937.93/939.50 c fallback to adder encoding 939.60/941.10 o 1956 939.60/941.10 c fallback to adder encoding 941.92/943.42 o 1935 941.92/943.42 c fallback to adder encoding 945.99/947.50 o 1921 945.99/947.50 c fallback to adder encoding 948.98/950.53 o 1844 948.98/950.53 c fallback to adder encoding 951.18/952.79 o 1833 951.18/952.79 c fallback to adder encoding 955.36/956.97 o 1816 955.36/956.97 c fallback to adder encoding 961.04/962.63 o 1815 961.04/962.63 c fallback to adder encoding 964.15/965.73 o 1799 964.15/965.73 c fallback to adder encoding 966.74/968.34 o 1793 966.74/968.34 c fallback to adder encoding 969.54/971.13 o 1773 969.54/971.13 c fallback to adder encoding 972.93/974.51 o 1768 972.93/974.51 c fallback to adder encoding 976.32/977.94 o 1763 976.32/977.94 c fallback to adder encoding 979.32/980.95 o 1757 979.32/980.95 c fallback to adder encoding 981.93/983.54 o 1748 981.93/983.54 c fallback to adder encoding 985.21/986.86 o 1747 985.21/986.86 c fallback to adder encoding 987.43/989.04 o 1743 987.43/989.04 c fallback to adder encoding 990.91/992.53 o 1742 990.91/992.53 c fallback to adder encoding 994.62/996.25 o 1741 994.62/996.25 c fallback to adder encoding 996.59/998.22 o 1730 996.59/998.22 c fallback to adder encoding 998.32/999.94 o 1729 998.32/999.94 c fallback to adder encoding 1001.78/1003.46 o 1666 1001.78/1003.46 c fallback to adder encoding 1006.88/1008.54 o 1665 1006.88/1008.54 c fallback to adder encoding 1011.10/1012.74 o 1664 1011.10/1012.74 c fallback to adder encoding 1013.47/1015.18 o 1649 1013.47/1015.18 c fallback to adder encoding 1016.69/1018.35 o 1643 1016.69/1018.35 c fallback to adder encoding 1019.97/1021.62 o 1642 1019.97/1021.62 c fallback to adder encoding 1023.49/1025.14 o 1584 1023.49/1025.14 c fallback to adder encoding 1026.67/1028.39 o 1569 1026.67/1028.39 c fallback to adder encoding 1029.68/1031.39 o 1567 1029.68/1031.39 c fallback to adder encoding 1032.17/1033.82 o 1566 1032.17/1033.82 c fallback to adder encoding 1035.37/1037.05 o 1547 1035.37/1037.05 c fallback to adder encoding 1037.76/1039.48 o 1542 1037.76/1039.48 c fallback to adder encoding 1040.22/1041.99 o 1539 1040.22/1041.99 c fallback to adder encoding 1041.24/1043.06 o 1538 1041.24/1043.06 c fallback to adder encoding 1045.14/1047.06 o 1537 1045.14/1047.06 c fallback to adder encoding 1047.80/1049.75 o 1536 1047.80/1049.75 c fallback to adder encoding 1049.59/1051.59 o 1533 1049.59/1051.59 c fallback to adder encoding 1052.21/1054.14 o 1524 1052.21/1054.14 c fallback to adder encoding 1056.30/1058.23 o 1523 1056.30/1058.23 c fallback to adder encoding 1058.91/1060.89 o 1522 1058.91/1060.89 c fallback to adder encoding 1062.11/1064.00 o 1521 1062.11/1064.00 c fallback to adder encoding 1065.47/1067.49 o 1504 1065.47/1067.49 c fallback to adder encoding 1068.69/1070.66 o 1493 1068.69/1070.66 c fallback to adder encoding 1070.88/1072.89 o 1434 1070.88/1072.89 c fallback to adder encoding 1073.60/1075.55 o 1433 1073.60/1075.55 c fallback to adder encoding 1076.40/1078.30 o 1424 1076.40/1078.30 c fallback to adder encoding 1078.87/1080.87 o 1423 1078.87/1080.87 c fallback to adder encoding 1081.49/1083.49 o 1420 1081.49/1083.49 c fallback to adder encoding 1086.48/1088.46 o 1419 1086.48/1088.46 c fallback to adder encoding 1088.78/1090.74 o 1418 1088.78/1090.74 c fallback to adder encoding 1091.66/1093.62 o 1415 1091.66/1093.62 c fallback to adder encoding 1094.17/1096.18 o 1410 1094.17/1096.18 c fallback to adder encoding 1097.57/1099.53 o 1409 1097.57/1099.53 c fallback to adder encoding 1099.45/1101.47 o 1408 1099.45/1101.47 c fallback to adder encoding 1101.16/1103.18 o 1372 1101.16/1103.18 c fallback to adder encoding 1102.96/1104.93 o 1349 1102.96/1104.93 c fallback to adder encoding 1105.94/1107.95 o 1326 1105.94/1107.95 c fallback to adder encoding 1108.75/1110.77 o 1317 1108.75/1110.77 c fallback to adder encoding 1111.54/1113.54 o 1316 1111.54/1113.54 c fallback to adder encoding 1115.24/1117.23 o 1293 1115.24/1117.23 c fallback to adder encoding 1117.20/1119.20 o 1292 1117.20/1119.20 c fallback to adder encoding 1120.81/1122.82 o 1288 1120.81/1122.82 c fallback to adder encoding 1124.51/1126.52 o 1285 1124.51/1126.52 c fallback to adder encoding 1127.63/1129.62 o 1284 1127.63/1129.62 c fallback to adder encoding 1132.71/1134.72 o 1283 1132.71/1134.72 c fallback to adder encoding 1136.22/1138.29 o 1282 1136.22/1138.29 c fallback to adder encoding 1138.66/1140.73 o 1280 1138.66/1140.73 c fallback to adder encoding 1141.83/1143.92 o 1277 1141.83/1143.92 c fallback to adder encoding 1143.82/1145.93 o 1276 1143.82/1145.93 c fallback to adder encoding 1145.99/1148.12 o 1275 1145.99/1148.12 c fallback to adder encoding 1149.39/1151.51 o 1242 1149.39/1151.51 c fallback to adder encoding 1152.21/1154.35 o 1239 1152.21/1154.35 c fallback to adder encoding 1155.70/1157.82 o 1238 1155.70/1157.82 c fallback to adder encoding 1158.41/1160.54 o 1215 1158.41/1160.54 c fallback to adder encoding 1161.50/1163.68 o 1212 1161.50/1163.68 c fallback to adder encoding 1164.89/1167.07 o 1211 1164.89/1167.07 c fallback to adder encoding 1166.70/1168.88 o 1204 1166.70/1168.88 c fallback to adder encoding 1170.09/1172.22 o 1183 1170.09/1172.22 c fallback to adder encoding 1174.09/1176.26 o 1175 1174.09/1176.26 c fallback to adder encoding 1177.71/1179.80 o 1169 1177.71/1179.80 c fallback to adder encoding 1180.05/1182.21 o 1168 1180.05/1182.21 c fallback to adder encoding 1183.48/1185.64 o 1162 1183.48/1185.64 c fallback to adder encoding 1187.86/1190.10 o 1161 1187.86/1190.10 c fallback to adder encoding 1192.16/1194.39 o 1146 1192.16/1194.39 c fallback to adder encoding 1193.55/1195.78 o 1132 1193.55/1195.78 c fallback to adder encoding 1196.44/1198.69 o 1117 1196.44/1198.69 c fallback to adder encoding 1198.64/1200.98 o 1105 1198.64/1200.98 c fallback to adder encoding 1201.62/1203.95 o 1094 1201.62/1203.95 c fallback to adder encoding 1203.62/1205.97 o 1088 1203.62/1205.97 c fallback to adder encoding 1207.03/1209.39 o 1087 1207.03/1209.39 c fallback to adder encoding 1209.84/1212.12 o 1086 1209.84/1212.12 c fallback to adder encoding 1212.74/1215.08 o 1077 1212.74/1215.08 c fallback to adder encoding 1215.34/1217.67 o 1069 1215.34/1217.67 c fallback to adder encoding 1218.35/1220.68 o 1059 1218.35/1220.68 c fallback to adder encoding 1220.49/1222.89 o 1056 1220.49/1222.89 c fallback to adder encoding 1223.00/1225.33 o 1050 1223.00/1225.33 c fallback to adder encoding 1225.20/1227.58 o 1049 1225.20/1227.58 c fallback to adder encoding 1227.08/1229.42 o 1048 1227.08/1229.42 c fallback to adder encoding 1228.77/1231.10 o 1047 1228.77/1231.10 c fallback to adder encoding 1232.22/1234.50 o 1046 1232.22/1234.50 c fallback to adder encoding 1235.19/1237.59 o 1038 1235.19/1237.59 c fallback to adder encoding 1238.57/1240.91 o 1037 1238.57/1240.91 c fallback to adder encoding 1240.70/1243.05 o 1034 1240.70/1243.05 c fallback to adder encoding 1243.09/1245.44 o 1033 1243.09/1245.44 c fallback to adder encoding 1245.28/1247.63 o 1024 1245.28/1247.63 c fallback to adder encoding 1245.39/1248.07 o 1022 1245.39/1248.07 c fallback to adder encoding 1247.79/1250.20 o 1016 1247.79/1250.20 c fallback to adder encoding 1249.68/1252.12 o 1015 1249.68/1252.12 c fallback to adder encoding 1249.78/1252.47 o 1008 1249.78/1252.47 c fallback to adder encoding 1251.66/1254.11 o 1004 1251.66/1254.11 c fallback to adder encoding 1253.18/1255.65 o 988 1253.18/1255.65 c fallback to adder encoding 1255.39/1257.83 o 985 1255.39/1257.83 c fallback to adder encoding 1257.49/1259.97 o 982 1257.49/1259.97 c fallback to adder encoding 1259.17/1261.62 o 973 1259.17/1261.62 c fallback to adder encoding 1261.44/1263.96 o 968 1261.44/1263.96 c fallback to adder encoding 1262.64/1265.16 o 967 1262.64/1265.16 c fallback to adder encoding 1264.52/1267.00 o 965 1264.52/1267.00 c fallback to adder encoding 1266.75/1269.25 o 962 1266.75/1269.25 c fallback to adder encoding 1268.34/1270.84 o 961 1268.34/1270.84 c fallback to adder encoding 1270.84/1273.37 o 960 1270.84/1273.37 c fallback to adder encoding 1272.23/1274.78 o 943 1272.23/1274.78 c fallback to adder encoding 1273.43/1276.00 o 937 1273.43/1276.00 c fallback to adder encoding 1276.43/1278.92 o 935 1276.43/1278.92 c fallback to adder encoding 1278.23/1280.75 o 896 1278.23/1280.75 c fallback to adder encoding 1279.65/1282.13 o 891 1279.65/1282.13 c fallback to adder encoding 1281.25/1283.78 o 890 1281.25/1283.78 c fallback to adder encoding 1282.73/1285.25 o 886 1282.73/1285.25 c fallback to adder encoding 1283.93/1286.47 o 880 1283.93/1286.47 c fallback to adder encoding 1286.54/1289.09 o 879 1286.54/1289.09 c fallback to adder encoding 1287.83/1290.50 o 771 1287.83/1290.50 c fallback to adder encoding 1289.03/1291.65 o 757 1289.03/1291.65 c fallback to adder encoding 1290.22/1292.80 o 755 1290.22/1292.80 c fallback to adder encoding 1291.51/1294.14 o 754 1291.51/1294.14 c fallback to adder encoding 1292.56/1295.27 o 753 1292.56/1295.27 c fallback to adder encoding 1293.66/1296.38 o 749 1293.66/1296.38 c fallback to adder encoding 1294.53/1297.21 o 732 1294.53/1297.21 c fallback to adder encoding 1295.54/1298.23 o 728 1295.54/1298.23 c fallback to adder encoding 1296.66/1299.32 o 727 1296.66/1299.32 c fallback to adder encoding 1297.55/1300.21 o 709 1297.55/1300.21 c fallback to adder encoding 1298.44/1301.10 o 706 1298.44/1301.10 c fallback to adder encoding 1299.15/1301.86 o 705 1299.15/1301.86 c fallback to adder encoding 1300.56/1303.29 o 680 1300.56/1303.29 c fallback to adder encoding 1301.70/1304.42 o 667 1301.70/1304.42 c fallback to adder encoding 1303.06/1305.81 o 658 1303.06/1305.81 c fallback to adder encoding 1303.85/1306.61 o 657 1303.85/1306.61 c fallback to adder encoding 1304.36/1307.11 o 559 1304.36/1307.11 c fallback to adder encoding 1305.36/1308.18 o 558 1305.36/1308.18 c fallback to adder encoding 1305.49/1308.90 o 553 1305.49/1308.90 c fallback to adder encoding 1306.85/1309.65 o 548 1306.85/1309.65 c fallback to adder encoding 1307.38/1310.27 o 546 1307.38/1310.27 c fallback to adder encoding 1308.28/1311.13 o 545 1308.28/1311.13 c fallback to adder encoding 1308.36/1311.57 o 512 1308.36/1311.57 c fallback to adder encoding 1309.07/1311.90 o 505 1309.07/1311.90 c fallback to adder encoding 1309.57/1312.42 o 503 1309.57/1312.42 c fallback to adder encoding 1309.65/1312.78 o 502 1309.65/1312.78 c fallback to adder encoding 1310.00/1313.22 o 480 1310.00/1313.22 c fallback to adder encoding 1310.76/1313.63 o 475 1310.76/1313.63 c fallback to adder encoding 1311.28/1314.12 o 472 1311.28/1314.12 c fallback to adder encoding 1311.82/1314.71 o 459 1311.82/1314.71 c fallback to adder encoding 1312.19/1315.10 o 458 1312.19/1315.10 c fallback to adder encoding 1312.24/1315.38 o 330 1312.24/1315.38 c fallback to adder encoding 1312.59/1315.60 o 329 1312.59/1315.60 c fallback to adder encoding 1312.73/1315.87 o 324 1312.73/1315.87 c fallback to adder encoding 1312.99/1316.08 o 321 1312.99/1316.08 c fallback to adder encoding 1313.50/1316.40 o 320 1313.50/1316.40 c fallback to adder encoding 1313.53/1316.56 o 319 1313.53/1316.56 c fallback to adder encoding 1313.80/1316.74 o 313 1313.80/1316.74 c fallback to adder encoding 1313.87/1316.94 o 302 1314.30/1317.36 o 300 1314.80/1317.78 o 294 1315.09/1318.14 o 293 1315.45/1318.50 o 280 1315.90/1318.82 o 277 1316.12/1319.13 o 263 1316.41/1319.42 o 247 1316.80/1319.76 o 246 1317.03/1320.01 o 243 1317.17/1320.24 o 232 1317.40/1320.46 o 227 1317.61/1320.67 o 224 1317.81/1320.86 o 218 1318.04/1321.05 o 207 1318.19/1321.23 o 200 1318.43/1321.40 o 197 1318.54/1321.56 o 177 1318.63/1321.69 o 176 1318.80/1321.81 o 167 1318.92/1321.93 o 166 1319.03/1322.04 o 151 1319.14/1322.13 o 135 1319.22/1322.21 o 130 1319.22/1322.28 o 120 1319.34/1322.35 o 104 1319.42/1322.40 o 88 1319.42/1322.45 o 64 1319.42/1322.47 o 16 1319.42/1322.49 c display solution 1319.42/1322.49 s OPTIMUM FOUND 1319.42/1322.49 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 16
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-3715137-1338225892/watcher-3715137-1338225892 -o /tmp/evaluation-result-3715137-1338225892/solver-3715137-1338225892 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715137-1338225892.wbo 431957109 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.14 2.03 2.01 3/179 10376 /proc/meminfo: memFree=30342576/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [startup+0.0627561 s] /proc/loadavg: 2.14 2.03 2.01 3/179 10376 /proc/meminfo: memFree=30342576/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.10025 s] /proc/loadavg: 2.14 2.03 2.01 3/179 10376 /proc/meminfo: memFree=30342576/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300256 s] /proc/loadavg: 2.14 2.03 2.01 3/179 10376 /proc/meminfo: memFree=30342576/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700191 s] /proc/loadavg: 2.14 2.03 2.01 3/179 10376 /proc/meminfo: memFree=30342576/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50033 s] /proc/loadavg: 2.14 2.03 2.01 3/183 10390 /proc/meminfo: memFree=30316816/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11344 CPUtime=0.12 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 2916 5141 0 0 8 1 2 1 20 0 1 0 288713609 11616256 1699 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/10377/statm: 2836 1699 166 439 0 2393 0 [pid=10389] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10389/stat : 10389 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288713624 9367552 266 33554432000 4194304 5064252 140734178110736 140734178109648 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/10389/statm: 2287 266 226 213 0 72 0 [pid=10390] ppid=10389 vsize=18404 CPUtime=1.34 cores=1,3,5,7 /proc/10390/stat : 10390 (glucose) R 10389 10376 26619 0 -1 4202496 4111 0 0 0 133 1 0 0 20 0 1 0 288713624 18845696 3830 33554432000 4194304 5208918 140736526204272 140736526202024 4229361 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/10390/statm: 4601 3830 105 248 0 4350 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 48044 [startup+3.10035 s] /proc/loadavg: 2.13 2.03 2.01 3/183 10390 /proc/meminfo: memFree=30316072/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11344 CPUtime=0.12 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 2916 5141 0 0 8 1 2 1 20 0 1 0 288713609 11616256 1699 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/10377/statm: 2836 1699 166 439 0 2393 0 [pid=10389] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10389/stat : 10389 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288713624 9367552 266 33554432000 4194304 5064252 140734178110736 140734178109648 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/10389/statm: 2287 266 226 213 0 72 0 [pid=10390] ppid=10389 vsize=18868 CPUtime=2.94 cores=1,3,5,7 /proc/10390/stat : 10390 (glucose) R 10389 10376 26619 0 -1 4202496 4422 0 0 0 293 1 0 0 20 0 1 0 288713624 19320832 4135 33554432000 4194304 5208918 140736526204272 140736526200648 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/10390/statm: 4717 4135 105 248 0 4466 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 48508 [startup+6.30036 s] /proc/loadavg: 2.13 2.03 2.01 3/183 10397 /proc/meminfo: memFree=30307512/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=19532 CPUtime=3.91 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 4990 13292 0 0 15 2 370 4 20 0 1 0 288713609 20000768 3795 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/10377/statm: 4883 3795 166 439 0 4440 0 [pid=10396] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10396/stat : 10396 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288714003 9367552 267 33554432000 4194304 5064252 140734868174432 140734868173344 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/10396/statm: 2287 267 226 213 0 72 0 [pid=10397] ppid=10396 vsize=18956 CPUtime=2.34 cores=1,3,5,7 /proc/10397/stat : 10397 (glucose) R 10396 10376 26619 0 -1 4202496 4428 0 0 0 234 0 0 0 20 0 1 0 288714003 19410944 4151 33554432000 4194304 5208918 140734140867648 140734140865400 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/10397/statm: 4739 4151 105 248 0 4488 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 56784 [startup+12.7004 s] /proc/loadavg: 2.11 2.03 2.01 3/183 10411 /proc/meminfo: memFree=30307144/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=19532 CPUtime=10.99 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 9138 28794 0 0 30 4 1053 12 20 0 1 0 288713609 20000768 3795 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/10377/statm: 4883 3795 166 439 0 4440 0 [pid=10410] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10410/stat : 10410 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288714711 9367552 267 33554432000 4194304 5064252 140736008161808 140736008160720 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/10410/statm: 2287 267 226 213 0 72 0 [pid=10411] ppid=10410 vsize=18856 CPUtime=1.66 cores=1,3,5,7 /proc/10411/stat : 10411 (glucose) R 10410 10376 26619 0 -1 4202496 4242 0 0 0 166 0 0 0 20 0 1 0 288714711 19308544 3965 33554432000 4194304 5208918 140733746073664 140733746071512 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/10411/statm: 4714 3965 105 248 0 4463 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 56684 [startup+25.5004 s] /proc/loadavg: 2.09 2.03 2.00 3/183 10439 /proc/meminfo: memFree=30315528/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=19532 CPUtime=23.63 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 17434 60388 0 0 59 9 2268 27 20 0 1 0 288713609 20000768 3795 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/10377/statm: 4883 3795 166 439 0 4440 0 [pid=10438] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10438/stat : 10438 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288715975 9367552 266 33554432000 4194304 5064252 140733510388912 140733510387824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/10438/statm: 2287 266 226 213 0 72 0 [pid=10439] ppid=10438 vsize=18940 CPUtime=1.82 cores=1,3,5,7 /proc/10439/stat : 10439 (glucose) R 10438 10376 26619 0 -1 4202496 4413 0 0 0 182 0 0 0 20 0 1 0 288715975 19394560 4136 33554432000 4194304 5208918 140735117289984 140735117287944 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/10439/statm: 4735 4136 105 248 0 4484 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 56768 [startup+51.1003 s] /proc/loadavg: 2.12 2.04 2.01 3/183 10495 /proc/meminfo: memFree=30313544/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=50.97 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) R 10376 10376 26619 0 -1 4202496 33493 123870 0 0 111 18 4906 62 20 0 1 0 288713609 11612160 2242 33554432000 4194304 5990268 140733345007536 140733344999512 5043460 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10377/statm: 2835 2248 166 439 0 2392 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 20488 [startup+102.307 s] /proc/loadavg: 2.12 2.06 2.01 3/183 10600 /proc/meminfo: memFree=30303892/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=19532 CPUtime=97.95 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 58914 219662 0 0 200 34 9448 113 20 0 1 0 288713609 20000768 3795 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/10377/statm: 4883 3795 166 439 0 4440 0 [pid=10599] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10599/stat : 10599 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288723422 9367552 267 33554432000 4194304 5064252 140733401921008 140733401919920 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/10599/statm: 2287 267 226 213 0 72 0 [pid=10600] ppid=10599 vsize=22000 CPUtime=4.17 cores=1,3,5,7 /proc/10600/stat : 10600 (glucose) R 10599 10376 26619 0 -1 4202496 4710 0 0 0 416 1 0 0 20 0 1 0 288723422 22528000 4896 33554432000 4194304 5208918 140737147103296 140737147101448 4211182 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/10600/statm: 5500 4896 105 248 0 5249 0 Current children cumulated CPU time (s) 102.12 Current children cumulated vsize (KiB) 59828 [startup+162.3 s] /proc/loadavg: 2.04 2.05 2.01 3/183 10792 /proc/meminfo: memFree=30328984/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=19532 CPUtime=160.76 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 94172 351683 0 0 323 55 15517 181 20 0 1 0 288713609 20000768 3795 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/10377/statm: 4883 3795 166 439 0 4440 0 [pid=10791] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10791/stat : 10791 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288729702 9367552 267 33554432000 4194304 5064252 140734983491712 140734983490624 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/10791/statm: 2287 267 226 213 0 72 0 [pid=10792] ppid=10791 vsize=18592 CPUtime=1.35 cores=1,3,5,7 /proc/10792/stat : 10792 (glucose) R 10791 10376 26619 0 -1 4202496 3776 0 0 0 134 1 0 0 20 0 1 0 288729703 19038208 4057 33554432000 4194304 5208918 140736499401088 140736499398920 4229335 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/10792/statm: 4648 4057 104 248 0 4397 0 Current children cumulated CPU time (s) 162.11 ################ # More data... # ################ /proc/10377/statm: 2835 2448 166 439 0 2392 0 [pid=14834] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14834/stat : 14834 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288825536 9367552 267 33554432000 4194304 5064252 140736534570928 140736534569840 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14834/statm: 2287 267 226 213 0 72 0 [pid=14835] ppid=14834 vsize=16732 CPUtime=3.01 cores=1,3,5,7 /proc/14835/stat : 14835 (glucose) R 14834 10376 26619 0 -1 4202496 4443 0 0 0 300 1 0 0 20 0 1 0 288825536 17133568 3634 33554432000 4194304 5208918 140733449867424 140733449865176 4211570 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/14835/statm: 4183 3634 105 248 0 3932 0 Current children cumulated CPU time (s) 1120.32 Current children cumulated vsize (KiB) 46368 [startup+1182.3 s] /proc/loadavg: 2.03 2.00 1.99 3/183 15060 /proc/meminfo: memFree=30339888/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1180.16 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 439584 2802406 0 0 2295 274 114046 1401 20 0 1 0 288713609 11612160 2448 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 16 0 0 /proc/10377/statm: 2835 2448 166 439 0 2392 0 Current children cumulated CPU time (s) 1180.16 Current children cumulated vsize (KiB) 20488 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 1.99 3/183 15277 /proc/meminfo: memFree=30339764/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1238.68 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 452604 2956473 0 0 2418 286 119683 1481 20 0 1 0 288713609 11612160 2448 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0 /proc/10377/statm: 2835 2448 166 439 0 2392 0 [pid=15276] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15276/stat : 15276 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288837707 9367552 266 33554432000 4194304 5064252 140734274052816 140734274051728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/15276/statm: 2287 266 226 213 0 72 0 [pid=15277] ppid=15276 vsize=16516 CPUtime=1.3 cores=1,3,5,7 /proc/15277/stat : 15277 (glucose) R 15276 10376 26619 0 -1 4202496 4101 0 0 0 130 0 0 0 20 0 1 0 288837707 16912384 3398 33554432000 4194304 5208918 140733273961200 140733273959048 4214032 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15277/statm: 4129 3398 105 248 0 3878 0 Current children cumulated CPU time (s) 1239.98 Current children cumulated vsize (KiB) 46152 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.99 3/183 15615 /proc/meminfo: memFree=30346092/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1299.27 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 473718 3214198 0 0 2608 305 125412 1602 20 0 1 0 288713609 11612160 2452 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0 /proc/10377/statm: 2835 2452 166 439 0 2392 0 [pid=15614] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15614/stat : 15614 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288843799 9367552 267 33554432000 4194304 5064252 140734927868896 140734927867808 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/15614/statm: 2287 267 226 213 0 72 0 [pid=15615] ppid=15614 vsize=11228 CPUtime=0.39 cores=1,3,5,7 /proc/15615/stat : 15615 (glucose) R 15614 10376 26619 0 -1 4202496 2896 0 0 0 39 0 0 0 20 0 1 0 288843799 11497472 2264 33554432000 4194304 5208918 140735767311168 140734927867832 4228975 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15615/statm: 2807 2264 104 248 0 2556 0 Current children cumulated CPU time (s) 1299.66 Current children cumulated vsize (KiB) 40864 Solver just ended. Dumping a history of the last processes samples [startup+1305.5 s] /proc/loadavg: 2.00 2.00 1.99 3/183 15629 /proc/meminfo: memFree=30337032/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1301.74 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 474794 3226589 0 0 2615 306 125647 1606 20 0 1 0 288713609 11612160 2452 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0 /proc/10377/statm: 2835 2452 166 439 0 2392 0 [pid=15628] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15628/stat : 15628 (satsolver.sh) S 10377 10376 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288844055 9367552 267 33554432000 4194304 5064252 140737002479504 140737002478416 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/15628/statm: 2287 267 226 213 0 72 0 [pid=15629] ppid=15628 vsize=11204 CPUtime=1.02 cores=1,3,5,7 /proc/15629/stat : 15629 (glucose) R 15628 10376 26619 0 -1 4202496 2979 0 0 0 102 0 0 0 20 0 1 0 288844055 11472896 2399 33554432000 4194304 5208918 140737316995040 140737316993192 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15629/statm: 2801 2399 104 248 0 2550 0 Current children cumulated CPU time (s) 1302.76 Current children cumulated vsize (KiB) 40840 [startup+1311.9 s] /proc/loadavg: 2.00 2.00 1.99 3/183 15685 /proc/meminfo: memFree=30341296/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1309.07 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 479629 3280775 0 0 2642 309 126330 1626 20 0 1 0 288713609 11612160 2452 33554432000 4194304 5990268 140733345007536 140733344998448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0 /proc/10377/statm: 2835 2452 166 439 0 2392 0 Current children cumulated CPU time (s) 1309.07 Current children cumulated vsize (KiB) 20488 [startup+1318.3 s] /proc/loadavg: 2.00 2.00 1.99 3/183 15835 /proc/meminfo: memFree=30349524/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1315.3 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 489807 3391520 0 0 2689 315 126843 1683 20 0 1 0 288713609 11612160 2452 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0 /proc/10377/statm: 2835 2452 166 439 0 2392 0 Current children cumulated CPU time (s) 1315.3 Current children cumulated vsize (KiB) 20488 [startup+1319.9 s] /proc/loadavg: 2.00 2.00 1.99 3/184 15891 /proc/meminfo: memFree=30353188/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1316.93 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 492500 3442794 0 0 2706 317 126947 1723 20 0 1 0 288713609 11612160 2452 33554432000 4194304 5990268 140733345007536 140733344998448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0 /proc/10377/statm: 2835 2452 166 439 0 2392 0 [pid=15889] ppid=10377 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15889/stat : 15889 (cp2_post.sh) S 10377 10376 26619 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 288845599 9367552 266 33554432000 4194304 5064252 140733747222688 140733747220976 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15889/statm: 2287 266 225 213 0 72 0 [pid=15890] ppid=15889 vsize=4004 CPUtime=0 cores=1,3,5,7 /proc/15890/stat : 15890 (cat) R 15889 10376 26619 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 288845599 4100096 121 33554432000 4194304 4236627 140733788009040 140733788008136 239237678560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15890/statm: 1001 121 96 11 0 67 0 [pid=15891] ppid=15889 vsize=6356 CPUtime=0 cores=1,3,5,7 /proc/15891/stat : 15891 (coprocessor) R 15889 10376 26619 0 -1 4202496 695 0 0 0 0 0 0 0 20 0 1 0 288845599 6508544 1085 33554432000 4194304 6586260 140735084902912 140733747221000 4967814 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/15891/statm: 1589 1085 148 584 0 1001 0 Current children cumulated CPU time (s) 1316.93 Current children cumulated vsize (KiB) 39996 [startup+1321.5 s] /proc/loadavg: 2.00 2.00 1.99 3/183 15926 /proc/meminfo: memFree=30350884/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1318.54 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 496788 3500090 0 0 2724 320 127045 1765 20 0 1 0 288713609 11612160 2452 33554432000 4194304 5990268 140733345007536 140733344998448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0 /proc/10377/statm: 2835 2452 166 439 0 2392 0 Current children cumulated CPU time (s) 1318.54 Current children cumulated vsize (KiB) 20488 [startup+1321.9 s] /proc/loadavg: 2.00 2.00 1.99 3/183 15926 /proc/meminfo: memFree=30350884/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1318.92 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 498393 3518471 0 0 2728 320 127068 1776 20 0 1 0 288713609 11612160 2452 33554432000 4194304 5990268 140733345007536 140733344998448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0 /proc/10377/statm: 2835 2452 166 439 0 2392 0 Current children cumulated CPU time (s) 1318.92 Current children cumulated vsize (KiB) 20488 [startup+1322.3 s] /proc/loadavg: 1.92 1.98 1.99 3/183 15982 /proc/meminfo: memFree=30351672/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1319.34 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 500774 3541566 0 0 2733 321 127092 1788 20 0 1 0 288713609 11612160 2452 33554432000 4194304 5990268 140733345007536 140733344998960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0 /proc/10377/statm: 2835 2452 166 439 0 2392 0 Current children cumulated CPU time (s) 1319.34 Current children cumulated vsize (KiB) 20488 [startup+1322.4 s] /proc/loadavg: 1.92 1.98 1.99 3/183 15982 /proc/meminfo: memFree=30351672/32873844 swapFree=7388/7388 [pid=10376] ppid=10374 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10376/stat : 10376 (npSolver-wbo-It) S 10374 10376 26619 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288713609 9367552 274 33554432000 4194304 5064252 140734258582416 140734258581328 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10376/statm: 2287 274 233 213 0 72 0 [pid=10377] ppid=10376 vsize=11340 CPUtime=1319.42 cores=1,3,5,7 /proc/10377/stat : 10377 (npSolver-wbo) S 10376 10376 26619 0 -1 4202496 501082 3548228 0 0 2734 321 127097 1790 20 0 1 0 288713609 11612160 2452 33554432000 4194304 5990268 140733345007536 140733344998448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0 /proc/10377/statm: 2835 2452 166 439 0 2392 0 Current children cumulated CPU time (s) 1319.42 Current children cumulated vsize (KiB) 20488 Child status: 0 Real time (s): 1322.49 CPU time (s): 1319.56 CPU user time (s): 1298.37 CPU system time (s): 21.1848 CPU usage (%): 99.778 Max. virtual memory (cumulated for all children) (KiB): 64536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1298.37 system time used= 21.1848 maximum resident set size= 27556 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4065171 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3612104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20527 involuntary context switches= 8908 runsolver used 2.93155 second user time and 7.9148 second system time The end
Begin job on node147 at 2012-05-28 19:24:52 IDJOB=3715137 IDBENCH=79415 IDSOLVER=2296 FILE ID=node147/3715137-1338225892 RUNJOBID= node147-1338192581-26636 PBS_JOBID= 14624579 Free space on /tmp= 71664 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh306_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715137-1338225892/watcher-3715137-1338225892 -o /tmp/evaluation-result-3715137-1338225892/solver-3715137-1338225892 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715137-1338225892.wbo 431957109 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 066a913179e37120802f974ea952f3b3 RANDOM SEED=431957109 node147.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.951 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.90 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.951 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.951 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.87 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.951 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.91 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.951 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.91 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.951 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.951 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.91 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.951 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: 30343476 kB Buffers: 387668 kB Cached: 1255276 kB SwapCached: 5068 kB Active: 719424 kB Inactive: 982544 kB Active(anon): 53280 kB Inactive(anon): 7584 kB Active(file): 666144 kB Inactive(file): 974960 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67098668 kB Dirty: 8216 kB Writeback: 0 kB AnonPages: 65840 kB Mapped: 10504 kB Shmem: 0 kB Slab: 687052 kB SReclaimable: 127784 kB SUnreclaim: 559268 kB KernelStack: 1552 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 182536 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 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= 71656 MiB End job on node147 at 2012-05-28 19:46:55