Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown (fixed) | OPTIMUM | 1285.92 | 1286.83 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo |
| MD5SUM | 401aade47f990d36319fcf6fc2a74e2a |
| 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 | 85 |
| Best CPU time to get the best result obtained on this benchmark | 0.008998 |
| 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.02 c run usual solver 0.00/0.05 o 6475 0.00/0.05 c fallback to adder encoding 2.74/2.85 o 6473 2.74/2.85 c fallback to adder encoding 10.85/10.93 o 6469 10.85/10.93 c fallback to adder encoding 17.74/17.88 o 6466 17.74/17.88 c fallback to adder encoding 24.05/24.15 o 6416 24.05/24.15 c fallback to adder encoding 29.74/29.89 o 6413 29.74/29.89 c fallback to adder encoding 36.35/36.48 o 6397 36.35/36.48 c fallback to adder encoding 39.56/39.68 o 6379 39.56/39.68 c fallback to adder encoding 44.00/44.12 o 6378 44.00/44.12 c fallback to adder encoding 45.71/45.83 o 6357 45.71/45.83 c fallback to adder encoding 52.73/52.84 o 6352 52.73/52.84 c fallback to adder encoding 60.25/60.36 o 6341 60.25/60.36 c fallback to adder encoding 64.38/64.50 o 6340 64.38/64.50 c fallback to adder encoding 69.13/69.23 o 6339 69.13/69.23 c fallback to adder encoding 76.34/76.48 o 6331 76.34/76.48 c fallback to adder encoding 82.85/82.90 o 6327 82.85/82.90 c fallback to adder encoding 87.43/87.59 o 6323 87.43/87.59 c fallback to adder encoding 90.80/90.93 o 6322 90.80/90.93 c fallback to adder encoding 94.49/94.63 o 6321 94.49/94.63 c fallback to adder encoding 99.29/99.43 o 6318 99.29/99.43 c fallback to adder encoding 103.05/103.10 o 6310 103.05/103.10 c fallback to adder encoding 106.13/106.28 o 6307 106.13/106.28 c fallback to adder encoding 112.71/112.84 o 6288 112.71/112.84 c fallback to adder encoding 115.24/115.36 o 6273 115.24/115.36 c fallback to adder encoding 119.59/119.72 o 6251 119.59/119.72 c fallback to adder encoding 122.93/123.07 o 6244 122.93/123.07 c fallback to adder encoding 126.18/126.33 o 6243 126.18/126.33 c fallback to adder encoding 129.17/129.31 o 6213 129.17/129.31 c fallback to adder encoding 133.51/133.65 o 6212 133.51/133.65 c fallback to adder encoding 136.22/136.39 o 6187 136.22/136.39 c fallback to adder encoding 139.93/140.13 o 6184 139.93/140.13 c fallback to adder encoding 142.89/143.19 o 6182 142.89/143.19 c fallback to adder encoding 146.99/147.29 o 6181 146.99/147.29 c fallback to adder encoding 150.05/150.33 o 6180 150.05/150.33 c fallback to adder encoding 155.73/156.01 o 6178 155.73/156.01 c fallback to adder encoding 158.96/159.24 o 6175 158.96/159.24 c fallback to adder encoding 162.63/162.91 o 6172 162.63/162.91 c fallback to adder encoding 168.22/168.51 o 6151 168.22/168.51 c fallback to adder encoding 177.47/177.79 o 6013 177.47/177.79 c fallback to adder encoding 180.11/180.43 o 6012 180.11/180.43 c fallback to adder encoding 182.37/182.68 o 6010 182.37/182.68 c fallback to adder encoding 186.41/186.72 o 6009 186.41/186.72 c fallback to adder encoding 189.52/189.83 o 5742 189.52/189.83 c fallback to adder encoding 191.95/192.28 o 5739 191.95/192.28 c fallback to adder encoding 196.36/196.60 o 5653 196.36/196.60 c fallback to adder encoding 199.36/199.68 o 5643 199.36/199.68 c fallback to adder encoding 202.20/202.52 o 5642 202.20/202.52 c fallback to adder encoding 205.76/206.09 o 5640 205.76/206.09 c fallback to adder encoding 211.40/211.71 o 5635 211.40/211.71 c fallback to adder encoding 214.93/215.45 o 5578 214.93/215.45 c fallback to adder encoding 219.46/219.99 o 5574 219.46/219.99 c fallback to adder encoding 223.12/223.64 o 5570 223.12/223.64 c fallback to adder encoding 226.40/226.91 o 5547 226.40/226.91 c fallback to adder encoding 234.75/235.26 o 5545 234.75/235.26 c fallback to adder encoding 239.41/239.95 o 5544 239.41/239.95 c fallback to adder encoding 246.24/246.77 o 5543 246.24/246.77 c fallback to adder encoding 259.72/260.28 o 5531 259.72/260.28 c fallback to adder encoding 265.25/265.80 o 5508 265.25/265.80 c fallback to adder encoding 271.70/272.25 o 5507 271.70/272.25 c fallback to adder encoding 278.62/279.17 o 5504 278.62/279.17 c fallback to adder encoding 283.86/284.41 o 5503 283.86/284.41 c fallback to adder encoding 288.90/289.45 o 5499 288.90/289.45 c fallback to adder encoding 295.08/295.63 o 5494 295.08/295.63 c fallback to adder encoding 301.02/301.58 o 5493 301.02/301.58 c fallback to adder encoding 304.45/305.01 o 5491 304.45/305.01 c fallback to adder encoding 308.51/309.09 o 5432 308.51/309.09 c fallback to adder encoding 314.50/315.06 o 5417 314.50/315.06 c fallback to adder encoding 323.56/324.12 o 5411 323.56/324.12 c fallback to adder encoding 331.91/332.40 o 5410 331.91/332.40 c fallback to adder encoding 335.50/336.09 o 5409 335.50/336.09 c fallback to adder encoding 338.75/339.32 o 5408 338.75/339.32 c fallback to adder encoding 348.58/349.15 o 5402 348.58/349.15 c fallback to adder encoding 359.44/360.00 o 5401 359.44/360.00 c fallback to adder encoding 364.69/365.29 o 5398 364.69/365.29 c fallback to adder encoding 369.17/369.78 o 5236 369.17/369.78 c fallback to adder encoding 373.66/374.29 o 5231 373.66/374.29 c fallback to adder encoding 375.94/376.55 o 5224 375.94/376.55 c fallback to adder encoding 379.37/379.99 o 5218 379.37/379.99 c fallback to adder encoding 383.13/383.73 o 5213 383.13/383.73 c fallback to adder encoding 385.55/386.19 o 5194 385.55/386.19 c fallback to adder encoding 392.07/392.67 o 5185 392.07/392.67 c fallback to adder encoding 394.14/394.75 o 4714 394.14/394.75 c fallback to adder encoding 396.45/397.05 o 4713 396.45/397.05 c fallback to adder encoding 401.11/401.72 o 4712 401.11/401.72 c fallback to adder encoding 405.81/406.42 o 4684 405.81/406.42 c fallback to adder encoding 409.95/410.74 o 4664 409.95/410.74 c fallback to adder encoding 413.38/414.25 o 4656 413.38/414.25 c fallback to adder encoding 417.10/417.96 o 4610 417.10/417.96 c fallback to adder encoding 419.34/420.22 o 4608 419.34/420.22 c fallback to adder encoding 424.07/424.94 o 4600 424.07/424.94 c fallback to adder encoding 426.42/427.40 o 4598 426.42/427.40 c fallback to adder encoding 429.45/430.51 o 4465 429.45/430.51 c fallback to adder encoding 432.40/433.46 o 4464 432.40/433.46 c fallback to adder encoding 435.05/436.13 o 4443 435.05/436.13 c fallback to adder encoding 439.17/440.24 o 4431 439.17/440.24 c fallback to adder encoding 441.54/442.62 o 4421 441.54/442.62 c fallback to adder encoding 446.26/447.34 o 4410 446.26/447.34 c fallback to adder encoding 450.98/452.03 o 4408 450.98/452.03 c fallback to adder encoding 454.97/456.06 o 4403 454.97/456.06 c fallback to adder encoding 460.08/461.18 o 4377 460.08/461.18 c fallback to adder encoding 462.96/464.06 o 4363 462.96/464.06 c fallback to adder encoding 465.12/466.31 o 4341 465.12/466.31 c fallback to adder encoding 469.41/470.67 o 4340 469.41/470.67 c fallback to adder encoding 470.96/472.22 o 4337 470.96/472.22 c fallback to adder encoding 474.74/476.00 o 4336 474.74/476.00 c fallback to adder encoding 479.16/480.43 o 4335 479.16/480.43 c fallback to adder encoding 481.75/483.02 o 4313 481.75/483.02 c fallback to adder encoding 490.59/491.88 o 4312 490.59/491.88 c fallback to adder encoding 495.44/496.70 o 4305 495.44/496.70 c fallback to adder encoding 502.50/503.74 o 4302 502.50/503.74 c fallback to adder encoding 506.19/507.46 o 4297 506.19/507.46 c fallback to adder encoding 513.16/514.43 o 4282 513.16/514.43 c fallback to adder encoding 516.37/517.61 o 4281 516.37/517.61 c fallback to adder encoding 519.70/521.01 o 4276 519.70/521.01 c fallback to adder encoding 524.85/526.18 o 4275 524.85/526.18 c fallback to adder encoding 528.66/529.97 o 4274 528.66/529.97 c fallback to adder encoding 533.25/534.51 o 4273 533.25/534.51 c fallback to adder encoding 536.11/537.42 o 4271 536.11/537.42 c fallback to adder encoding 541.39/542.72 o 4270 541.39/542.72 c fallback to adder encoding 545.01/546.33 o 4261 545.01/546.33 c fallback to adder encoding 551.68/553.00 o 4235 551.68/553.00 c fallback to adder encoding 557.74/559.08 o 4234 557.74/559.08 c fallback to adder encoding 563.43/564.75 o 4233 563.43/564.75 c fallback to adder encoding 569.99/571.31 o 4227 569.99/571.31 c fallback to adder encoding 574.82/576.14 o 4155 574.82/576.14 c fallback to adder encoding 578.19/579.51 o 4152 578.19/579.51 c fallback to adder encoding 580.79/582.12 o 4117 580.79/582.12 c fallback to adder encoding 585.08/586.42 o 4114 585.08/586.42 c fallback to adder encoding 587.23/588.57 o 4111 587.23/588.57 c fallback to adder encoding 593.48/594.82 o 4102 593.48/594.82 c fallback to adder encoding 596.32/597.67 o 4100 596.32/597.67 c fallback to adder encoding 600.32/601.65 o 4099 600.32/601.65 c fallback to adder encoding 603.19/604.55 o 4097 603.19/604.55 c fallback to adder encoding 608.50/609.88 o 3896 608.50/609.88 c fallback to adder encoding 614.45/615.80 o 3867 614.45/615.80 c fallback to adder encoding 618.26/619.61 o 3841 618.26/619.61 c fallback to adder encoding 622.21/623.59 o 3840 622.21/623.59 c fallback to adder encoding 622.39/624.70 o 3813 622.39/624.70 c fallback to adder encoding 625.34/626.71 o 3812 625.34/626.71 c fallback to adder encoding 627.46/628.81 o 3792 627.46/628.81 c fallback to adder encoding 630.14/631.59 o 3783 630.14/631.59 c fallback to adder encoding 633.42/634.84 o 3775 633.42/634.84 c fallback to adder encoding 636.33/637.78 o 3742 636.33/637.78 c fallback to adder encoding 642.08/643.52 o 3731 642.08/643.52 c fallback to adder encoding 643.29/644.74 o 3710 643.29/644.74 c fallback to adder encoding 646.28/647.71 o 3709 646.28/647.71 c fallback to adder encoding 649.05/650.50 o 3700 649.05/650.50 c fallback to adder encoding 652.41/653.89 o 3681 652.41/653.89 c fallback to adder encoding 655.46/656.92 o 3664 655.46/656.92 c fallback to adder encoding 658.41/659.85 o 3658 658.41/659.85 c fallback to adder encoding 661.21/662.69 o 3652 661.21/662.69 c fallback to adder encoding 668.27/669.73 o 3561 668.27/669.73 c fallback to adder encoding 670.48/671.95 o 3554 670.48/671.95 c fallback to adder encoding 672.99/674.45 o 3325 672.99/674.45 c fallback to adder encoding 675.28/676.72 o 3180 675.28/676.72 c fallback to adder encoding 679.46/680.92 o 3164 679.46/680.92 c fallback to adder encoding 682.89/684.34 o 3147 682.89/684.34 c fallback to adder encoding 688.00/689.46 o 3127 688.00/689.46 c fallback to adder encoding 692.59/694.02 o 3113 692.59/694.02 c fallback to adder encoding 694.89/696.35 o 3108 694.89/696.35 c fallback to adder encoding 698.25/699.72 o 3072 698.25/699.72 c fallback to adder encoding 699.59/701.07 o 3063 699.59/701.07 c fallback to adder encoding 702.49/703.96 o 3019 702.49/703.96 c fallback to adder encoding 708.05/709.52 o 3016 708.05/709.52 c fallback to adder encoding 710.79/712.29 o 2956 710.79/712.29 c fallback to adder encoding 713.49/714.92 o 2936 713.49/714.92 c fallback to adder encoding 718.08/719.54 o 2935 718.08/719.54 c fallback to adder encoding 721.78/723.25 o 2934 721.78/723.25 c fallback to adder encoding 724.29/725.70 o 2932 724.29/725.70 c fallback to adder encoding 727.08/728.59 o 2930 727.08/728.59 c fallback to adder encoding 729.67/731.15 o 2923 729.67/731.15 c fallback to adder encoding 733.47/734.98 o 2922 733.47/734.98 c fallback to adder encoding 735.72/737.21 o 2913 735.72/737.21 c fallback to adder encoding 738.03/739.51 o 2912 738.03/739.51 c fallback to adder encoding 741.28/742.71 o 2907 741.28/742.71 c fallback to adder encoding 746.64/748.17 o 2905 746.64/748.17 c fallback to adder encoding 750.45/751.96 o 2899 750.45/751.96 c fallback to adder encoding 752.74/754.29 o 2885 752.74/754.29 c fallback to adder encoding 754.61/756.13 o 2880 754.61/756.13 c fallback to adder encoding 757.74/759.21 o 2877 757.74/759.21 c fallback to adder encoding 760.79/762.34 o 2869 760.79/762.34 c fallback to adder encoding 765.18/766.72 o 2849 765.18/766.72 c fallback to adder encoding 768.53/770.06 o 2838 768.53/770.06 c fallback to adder encoding 774.28/775.81 o 2816 774.28/775.81 c fallback to adder encoding 780.41/781.95 o 2813 780.41/781.95 c fallback to adder encoding 784.22/785.78 o 2806 784.22/785.78 c fallback to adder encoding 786.52/788.06 o 2796 786.52/788.06 c fallback to adder encoding 790.79/792.34 o 2793 790.79/792.34 c fallback to adder encoding 793.31/794.85 o 2792 793.31/794.85 c fallback to adder encoding 798.13/799.69 o 2785 798.13/799.69 c fallback to adder encoding 800.21/801.80 o 2742 800.21/801.80 c fallback to adder encoding 802.87/804.41 o 2739 802.87/804.41 c fallback to adder encoding 806.59/808.13 o 2733 806.59/808.13 c fallback to adder encoding 809.13/810.67 o 2730 809.13/810.67 c fallback to adder encoding 814.72/816.29 o 2722 814.72/816.29 c fallback to adder encoding 819.67/821.21 o 2721 819.67/821.21 c fallback to adder encoding 819.84/822.97 o 2720 819.84/822.97 c fallback to adder encoding 824.86/826.41 o 2662 824.86/826.41 c fallback to adder encoding 826.36/827.91 o 2636 826.36/827.91 c fallback to adder encoding 828.40/829.94 o 2630 828.40/829.94 c fallback to adder encoding 831.12/832.68 o 2623 831.12/832.68 c fallback to adder encoding 834.21/835.75 o 2618 834.21/835.75 c fallback to adder encoding 838.50/840.04 o 2611 838.50/840.04 c fallback to adder encoding 842.51/844.07 o 2556 842.51/844.07 c fallback to adder encoding 844.91/846.48 o 2539 844.91/846.48 c fallback to adder encoding 847.82/849.39 o 2533 847.82/849.39 c fallback to adder encoding 851.55/853.12 o 2524 851.55/853.12 c fallback to adder encoding 855.84/857.42 o 2523 855.84/857.42 c fallback to adder encoding 858.39/859.90 o 2521 858.39/859.90 c fallback to adder encoding 860.37/861.95 o 2515 860.37/861.95 c fallback to adder encoding 863.77/865.39 o 2514 863.77/865.39 c fallback to adder encoding 867.44/869.02 o 2495 867.44/869.02 c fallback to adder encoding 869.21/870.81 o 2484 869.21/870.81 c fallback to adder encoding 872.07/873.68 o 2481 872.07/873.68 c fallback to adder encoding 878.27/879.88 o 2476 878.27/879.88 c fallback to adder encoding 880.44/882.04 o 2469 880.44/882.04 c fallback to adder encoding 884.56/886.17 o 2468 884.56/886.17 c fallback to adder encoding 887.85/889.44 o 2465 887.85/889.44 c fallback to adder encoding 893.43/895.03 o 2464 893.43/895.03 c fallback to adder encoding 900.13/901.73 o 2463 900.13/901.73 c fallback to adder encoding 901.64/903.24 o 2462 901.64/903.24 c fallback to adder encoding 905.24/906.85 o 2461 905.24/906.85 c fallback to adder encoding 907.36/908.98 o 2456 907.36/908.98 c fallback to adder encoding 911.12/912.73 o 2455 911.12/912.73 c fallback to adder encoding 915.25/916.87 o 2454 915.25/916.87 c fallback to adder encoding 920.30/921.92 o 2431 920.30/921.92 c fallback to adder encoding 923.56/925.19 o 2430 923.56/925.19 c fallback to adder encoding 930.05/931.64 o 2420 930.05/931.64 c fallback to adder encoding 933.52/935.13 o 2417 933.52/935.13 c fallback to adder encoding 938.85/940.47 o 2416 938.85/940.47 c fallback to adder encoding 943.42/945.03 o 2385 943.42/945.03 c fallback to adder encoding 945.45/947.05 o 2384 945.45/947.05 c fallback to adder encoding 949.65/951.27 o 2368 949.65/951.27 c fallback to adder encoding 952.61/954.22 o 2186 952.61/954.22 c fallback to adder encoding 955.13/956.77 o 2178 955.13/956.77 c fallback to adder encoding 957.36/959.01 o 2177 957.36/959.01 c fallback to adder encoding 962.11/963.79 o 2164 962.11/963.79 c fallback to adder encoding 964.21/965.86 o 2163 964.21/965.86 c fallback to adder encoding 967.42/969.08 o 2157 967.42/969.08 c fallback to adder encoding 969.39/971.04 o 2132 969.39/971.04 c fallback to adder encoding 972.30/973.95 o 2129 972.30/973.95 c fallback to adder encoding 974.80/976.48 o 2128 974.80/976.48 c fallback to adder encoding 980.88/982.53 o 2067 980.88/982.53 c fallback to adder encoding 984.70/986.39 o 2058 984.70/986.39 c fallback to adder encoding 990.27/991.93 o 2055 990.27/991.93 c fallback to adder encoding 993.94/995.63 o 2049 993.94/995.63 c fallback to adder encoding 1003.69/1005.36 o 2048 1003.69/1005.36 c fallback to adder encoding 1006.14/1007.86 o 2039 1006.14/1007.86 c fallback to adder encoding 1009.44/1011.17 o 2030 1009.44/1011.17 c fallback to adder encoding 1011.23/1012.99 o 2029 1011.23/1012.99 c fallback to adder encoding 1013.24/1014.96 o 2011 1013.24/1014.96 c fallback to adder encoding 1015.74/1017.46 o 2010 1015.74/1017.46 c fallback to adder encoding 1017.93/1019.64 o 2006 1017.93/1019.64 c fallback to adder encoding 1022.88/1024.72 o 1998 1022.88/1024.72 c fallback to adder encoding 1026.37/1028.21 o 1996 1026.37/1028.21 c fallback to adder encoding 1028.11/1029.99 o 1990 1028.11/1029.99 c fallback to adder encoding 1032.32/1034.18 o 1978 1032.32/1034.18 c fallback to adder encoding 1038.32/1040.20 o 1967 1038.32/1040.20 c fallback to adder encoding 1040.03/1041.88 o 1966 1040.03/1041.88 c fallback to adder encoding 1042.73/1044.58 o 1964 1042.73/1044.58 c fallback to adder encoding 1045.14/1046.96 o 1955 1045.14/1046.96 c fallback to adder encoding 1049.31/1051.19 o 1954 1049.31/1051.19 c fallback to adder encoding 1054.62/1056.41 o 1941 1054.62/1056.41 c fallback to adder encoding 1060.52/1062.38 o 1940 1060.52/1062.38 c fallback to adder encoding 1062.51/1064.36 o 1933 1062.51/1064.36 c fallback to adder encoding 1065.67/1067.54 o 1926 1065.67/1067.54 c fallback to adder encoding 1069.95/1071.82 o 1874 1069.95/1071.82 c fallback to adder encoding 1073.67/1075.58 o 1868 1073.67/1075.58 c fallback to adder encoding 1077.88/1079.73 o 1863 1077.88/1079.73 c fallback to adder encoding 1080.03/1081.99 o 1857 1080.03/1081.99 c fallback to adder encoding 1088.72/1090.63 o 1856 1088.72/1090.63 c fallback to adder encoding 1090.35/1092.26 o 1836 1090.35/1092.26 c fallback to adder encoding 1094.42/1096.33 o 1530 1094.42/1096.33 c fallback to adder encoding 1096.23/1098.13 o 1522 1096.23/1098.13 c fallback to adder encoding 1097.92/1099.84 o 1520 1097.92/1099.84 c fallback to adder encoding 1100.53/1102.48 o 1513 1100.53/1102.48 c fallback to adder encoding 1103.59/1105.53 o 1511 1103.59/1105.53 c fallback to adder encoding 1106.96/1108.91 o 1475 1106.96/1108.91 c fallback to adder encoding 1109.50/1111.45 o 1471 1109.50/1111.45 c fallback to adder encoding 1110.70/1112.67 o 1463 1110.70/1112.67 c fallback to adder encoding 1113.31/1115.27 o 1457 1113.31/1115.27 c fallback to adder encoding 1117.11/1119.06 o 1440 1117.11/1119.06 c fallback to adder encoding 1120.41/1122.36 o 1432 1120.41/1122.36 c fallback to adder encoding 1122.47/1124.45 o 1427 1122.47/1124.45 c fallback to adder encoding 1125.50/1127.40 o 1424 1125.50/1127.40 c fallback to adder encoding 1128.46/1130.49 o 1415 1128.46/1130.49 c fallback to adder encoding 1133.18/1135.17 o 1414 1133.18/1135.17 c fallback to adder encoding 1135.37/1137.39 o 1413 1135.37/1137.39 c fallback to adder encoding 1139.18/1141.10 o 1408 1139.18/1141.10 c fallback to adder encoding 1142.87/1144.85 o 1402 1142.87/1144.85 c fallback to adder encoding 1146.46/1148.46 o 1385 1146.46/1148.46 c fallback to adder encoding 1149.76/1151.76 o 1376 1149.76/1151.76 c fallback to adder encoding 1152.29/1154.30 o 1361 1152.29/1154.30 c fallback to adder encoding 1154.74/1156.77 o 1360 1154.74/1156.77 c fallback to adder encoding 1157.51/1159.51 o 1355 1157.51/1159.51 c fallback to adder encoding 1161.99/1164.05 o 1354 1161.99/1164.05 c fallback to adder encoding 1164.00/1166.08 o 1347 1164.00/1166.08 c fallback to adder encoding 1167.59/1169.65 o 1345 1167.59/1169.65 c fallback to adder encoding 1169.14/1171.22 o 1344 1169.14/1171.22 c fallback to adder encoding 1174.37/1176.44 o 1335 1174.37/1176.44 c fallback to adder encoding 1179.86/1181.93 o 1327 1179.86/1181.93 c fallback to adder encoding 1184.97/1187.07 o 1153 1184.97/1187.07 c fallback to adder encoding 1187.84/1189.98 o 1152 1187.84/1189.98 c fallback to adder encoding 1190.33/1192.42 o 1137 1190.33/1192.42 c fallback to adder encoding 1192.31/1194.48 o 1136 1192.31/1194.48 c fallback to adder encoding 1195.93/1198.06 o 1131 1195.93/1198.06 c fallback to adder encoding 1197.92/1200.03 o 1129 1197.92/1200.03 c fallback to adder encoding 1200.41/1202.56 o 1128 1200.41/1202.56 c fallback to adder encoding 1202.45/1204.60 o 1127 1202.45/1204.60 c fallback to adder encoding 1205.36/1207.51 o 1086 1205.36/1207.51 c fallback to adder encoding 1206.61/1208.77 o 1078 1206.61/1208.77 c fallback to adder encoding 1210.91/1213.05 o 1064 1210.91/1213.05 c fallback to adder encoding 1215.02/1217.17 o 1063 1215.02/1217.17 c fallback to adder encoding 1217.91/1220.07 o 1055 1217.91/1220.07 c fallback to adder encoding 1219.99/1222.27 o 1054 1219.99/1222.27 c fallback to adder encoding 1221.74/1224.03 o 1047 1221.74/1224.03 c fallback to adder encoding 1223.68/1225.97 o 1046 1223.68/1225.97 c fallback to adder encoding 1225.84/1228.13 o 1031 1225.84/1228.13 c fallback to adder encoding 1228.38/1230.68 o 913 1228.38/1230.68 c fallback to adder encoding 1231.45/1233.74 o 908 1231.45/1233.74 c fallback to adder encoding 1233.06/1235.39 o 900 1233.06/1235.39 c fallback to adder encoding 1236.63/1238.92 o 896 1236.63/1238.92 c fallback to adder encoding 1238.74/1241.08 o 888 1238.74/1241.08 c fallback to adder encoding 1239.76/1242.05 o 887 1239.76/1242.05 c fallback to adder encoding 1240.84/1243.16 o 881 1240.84/1243.16 c fallback to adder encoding 1242.06/1244.38 o 873 1242.06/1244.38 c fallback to adder encoding 1242.99/1245.31 o 872 1242.99/1245.31 c fallback to adder encoding 1244.71/1247.04 o 869 1244.71/1247.04 c fallback to adder encoding 1246.32/1248.69 o 862 1246.32/1248.69 c fallback to adder encoding 1248.20/1250.59 o 860 1248.20/1250.59 c fallback to adder encoding 1249.41/1251.78 o 853 1249.41/1251.78 c fallback to adder encoding 1250.50/1252.89 o 848 1250.50/1252.89 c fallback to adder encoding 1251.83/1254.15 o 844 1251.83/1254.15 c fallback to adder encoding 1253.59/1255.96 o 840 1253.59/1255.96 c fallback to adder encoding 1254.81/1257.16 o 807 1254.81/1257.16 c fallback to adder encoding 1257.82/1260.18 o 805 1257.82/1260.18 c fallback to adder encoding 1259.12/1261.48 o 802 1259.12/1261.48 c fallback to adder encoding 1260.05/1262.41 o 801 1260.05/1262.41 c fallback to adder encoding 1260.69/1263.07 o 639 1260.69/1263.07 c fallback to adder encoding 1261.51/1263.80 o 638 1261.51/1263.80 c fallback to adder encoding 1262.69/1265.06 o 633 1262.69/1265.06 c fallback to adder encoding 1263.79/1266.16 o 631 1263.79/1266.16 c fallback to adder encoding 1264.99/1267.36 o 630 1264.99/1267.36 c fallback to adder encoding 1265.89/1268.23 o 624 1265.89/1268.23 c fallback to adder encoding 1265.99/1268.94 o 622 1265.99/1268.94 c fallback to adder encoding 1267.38/1269.75 o 620 1267.38/1269.75 c fallback to adder encoding 1268.10/1270.50 o 614 1268.10/1270.50 c fallback to adder encoding 1268.26/1271.17 o 611 1268.26/1271.17 c fallback to adder encoding 1270.07/1272.40 o 609 1270.07/1272.40 c fallback to adder encoding 1270.53/1272.90 o 597 1270.53/1272.90 c fallback to adder encoding 1271.24/1273.62 o 595 1271.24/1273.62 c fallback to adder encoding 1272.05/1274.46 o 588 1272.05/1274.46 c fallback to adder encoding 1272.93/1275.32 o 587 1272.93/1275.32 c fallback to adder encoding 1273.55/1275.90 o 518 1273.55/1275.90 c fallback to adder encoding 1274.05/1276.40 o 514 1274.05/1276.40 c fallback to adder encoding 1274.64/1277.08 o 513 1274.64/1277.08 c fallback to adder encoding 1275.32/1277.71 o 512 1275.32/1277.71 c fallback to adder encoding 1275.71/1278.12 o 498 1275.71/1278.12 c fallback to adder encoding 1276.39/1278.81 o 497 1276.39/1278.81 c fallback to adder encoding 1277.10/1279.57 o 490 1277.10/1279.57 c fallback to adder encoding 1277.22/1279.94 o 489 1277.22/1279.94 c fallback to adder encoding 1277.59/1280.19 o 473 1277.59/1280.19 c fallback to adder encoding 1278.01/1280.44 o 469 1278.01/1280.44 c fallback to adder encoding 1278.59/1281.01 o 468 1278.59/1281.01 c fallback to adder encoding 1279.29/1281.79 o 467 1279.29/1281.79 c fallback to adder encoding 1279.43/1282.05 o 324 1279.43/1282.05 c fallback to adder encoding 1279.69/1282.38 o 320 1279.69/1282.38 c fallback to adder encoding 1280.11/1282.57 o 314 1280.11/1282.57 c fallback to adder encoding 1280.19/1282.88 o 312 1280.19/1282.88 c fallback to adder encoding 1280.50/1283.04 o 310 1280.50/1283.04 c fallback to adder encoding 1280.66/1283.23 o 308 1280.66/1283.23 c fallback to adder encoding 1280.87/1283.46 o 306 1280.87/1283.46 c fallback to adder encoding 1281.21/1283.64 o 297 1281.21/1283.64 c fallback to adder encoding 1281.27/1283.84 o 296 1281.27/1283.84 c fallback to adder encoding 1281.46/1284.02 o 287 1281.46/1284.02 c fallback to adder encoding 1281.64/1284.20 o 286 1281.64/1284.20 c fallback to adder encoding 1281.82/1284.33 o 248 1281.82/1284.33 c fallback to adder encoding 1281.95/1284.46 o 228 1281.95/1284.46 c fallback to adder encoding 1282.07/1284.58 o 227 1282.07/1284.58 c fallback to adder encoding 1282.19/1284.66 o 225 1282.19/1284.66 c fallback to adder encoding 1282.29/1284.77 o 220 1282.29/1284.77 c fallback to adder encoding 1282.39/1284.86 o 216 1282.39/1284.86 c fallback to adder encoding 1282.48/1284.96 o 213 1282.48/1284.96 c fallback to adder encoding 1282.57/1285.02 o 212 1282.57/1285.02 c fallback to adder encoding 1282.57/1285.09 o 203 1282.57/1285.09 c fallback to adder encoding 1282.70/1285.16 o 202 1282.70/1285.16 c fallback to adder encoding 1282.76/1285.23 o 198 1282.76/1285.23 c fallback to adder encoding 1282.84/1285.34 o 196 1283.05/1285.55 o 195 1283.25/1285.76 o 184 1283.45/1285.94 o 179 1283.63/1286.11 o 143 1283.77/1286.23 o 136 1283.88/1286.33 o 128 1283.98/1286.43 o 127 1284.06/1286.52 o 116 1284.16/1286.60 o 113 1284.16/1286.68 o 102 1284.29/1286.74 o 97 1284.38/1286.80 o 85 1284.38/1286.82 c display solution 1284.38/1286.82 s OPTIMUM FOUND 1284.38/1286.82 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 85
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-3753804-1339201629/watcher-3753804-1339201629 -o /tmp/evaluation-result-3753804-1339201629/solver-3753804-1339201629 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753804-1339201629.wbo 979830680 HOME HOME running on 4 cores: 0,2,4,6 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: 1.88 1.96 1.98 2/179 15497 /proc/meminfo: memFree=28882944/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [startup+0.053757 s] /proc/loadavg: 1.88 1.96 1.98 2/179 15497 /proc/meminfo: memFree=28882944/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100223 s] /proc/loadavg: 1.88 1.96 1.98 2/179 15497 /proc/meminfo: memFree=28882944/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300161 s] /proc/loadavg: 1.88 1.96 1.98 2/179 15497 /proc/meminfo: memFree=28882944/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.70011 s] /proc/loadavg: 1.88 1.96 1.98 2/179 15497 /proc/meminfo: memFree=28882944/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50025 s] /proc/loadavg: 1.88 1.96 1.98 3/183 15511 /proc/meminfo: memFree=28836428/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=0.14 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 4478 5417 0 0 11 2 1 0 20 0 1 0 386288994 20500480 4335 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15498/statm: 5005 4335 179 443 0 4558 0 [pid=15510] ppid=15498 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15510/stat : 15510 (satsolver.sh) S 15498 15497 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386289011 9367552 266 33554432000 4194304 5064252 140733526212592 140733526211504 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/15510/statm: 2287 266 226 213 0 72 0 [pid=15511] ppid=15510 vsize=27112 CPUtime=1.31 cores=0,2,4,6 /proc/15511/stat : 15511 (glucose) R 15510 15497 3785 0 -1 4202496 6049 0 0 0 131 0 0 0 20 0 1 0 386289012 27762688 5579 33554432000 4194304 5208918 140737304223056 140737304221016 4229556 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/15511/statm: 6778 5579 103 248 0 6527 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 65428 [startup+3.10022 s] /proc/loadavg: 1.88 1.96 1.98 3/183 15511 /proc/meminfo: memFree=28834072/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=2.94 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 6501 15143 0 0 22 3 265 4 20 0 1 0 386288994 20500480 4335 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15498/statm: 5005 4335 179 443 0 4558 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 29168 [startup+6.30035 s] /proc/loadavg: 1.89 1.96 1.98 3/183 15518 /proc/meminfo: memFree=28830276/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=2.94 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 6501 15143 0 0 22 3 265 4 20 0 1 0 386288994 20500480 4335 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15498/statm: 5005 4335 179 443 0 4558 0 [pid=15517] ppid=15498 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15517/stat : 15517 (satsolver.sh) S 15498 15497 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386289291 9367552 267 33554432000 4194304 5064252 140737014913648 140737014912560 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/15517/statm: 2287 267 226 213 0 72 0 [pid=15518] ppid=15517 vsize=27840 CPUtime=3.32 cores=0,2,4,6 /proc/15518/stat : 15518 (glucose) R 15517 15497 3785 0 -1 4202496 6182 0 0 0 332 0 0 0 20 0 1 0 386289291 28508160 6226 33554432000 4194304 5208918 140736154427440 140736154425400 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/15518/statm: 6960 6226 103 248 0 6709 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 66156 [startup+12.7004 s] /proc/loadavg: 1.90 1.96 1.98 3/183 15532 /proc/meminfo: memFree=28833596/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=11.01 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 8524 25418 0 0 33 4 1056 8 20 0 1 0 386288994 20500480 4335 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15498/statm: 5005 4335 179 443 0 4558 0 [pid=15531] ppid=15498 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15531/stat : 15531 (satsolver.sh) S 15498 15497 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386290099 9367552 267 33554432000 4194304 5064252 140735600227968 140735600226880 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/15531/statm: 2287 267 226 213 0 72 0 [pid=15532] ppid=15531 vsize=27176 CPUtime=1.64 cores=0,2,4,6 /proc/15532/stat : 15532 (glucose) R 15531 15497 3785 0 -1 4202496 5786 0 0 0 163 1 0 0 20 0 1 0 386290099 27828224 5856 33554432000 4194304 5208918 140734039574000 140734039571848 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/15532/statm: 6794 5856 103 248 0 6543 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 65492 [startup+25.5004 s] /proc/loadavg: 1.92 1.96 1.98 3/183 15560 /proc/meminfo: memFree=28830064/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=24.23 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 12570 46702 0 0 56 6 2341 20 20 0 1 0 386288994 20500480 4335 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15498/statm: 5005 4335 179 443 0 4558 0 [pid=15559] ppid=15498 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15559/stat : 15559 (satsolver.sh) S 15498 15497 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386291421 9367552 267 33554432000 4194304 5064252 140736863389424 140736863388336 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/15559/statm: 2287 267 226 213 0 72 0 [pid=15560] ppid=15559 vsize=26628 CPUtime=1.21 cores=0,2,4,6 /proc/15560/stat : 15560 (glucose) R 15559 15497 3785 0 -1 4202496 5731 0 0 0 120 1 0 0 20 0 1 0 386291422 27267072 5789 33554432000 4194304 5208918 140737465716752 140737465714600 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/15560/statm: 6657 5789 102 248 0 6406 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 64944 [startup+51.1003 s] /proc/loadavg: 1.95 1.96 1.98 3/183 15644 /proc/meminfo: memFree=28832164/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=45.92 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 22685 94038 0 0 111 12 4423 46 20 0 1 0 386288994 20500480 4335 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15498/statm: 5005 4335 179 443 0 4558 0 [pid=15636] ppid=15498 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15636/stat : 15636 (satsolver.sh) S 15498 15497 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386293590 9367552 267 33554432000 4194304 5064252 140735950416528 140735950415440 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/15636/statm: 2287 267 226 213 0 72 0 [pid=15637] ppid=15636 vsize=27956 CPUtime=5.13 cores=0,2,4,6 /proc/15637/stat : 15637 (glucose) R 15636 15497 3785 0 -1 4202496 6360 0 0 0 512 1 0 0 20 0 1 0 386293590 28626944 6066 33554432000 4194304 5208918 140737164412160 140737164408472 4211577 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/15637/statm: 6989 6066 103 248 0 6738 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 66272 [startup+102.307 s] /proc/loadavg: 2.03 1.98 1.99 3/183 15805 /proc/meminfo: memFree=28835596/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=99.5 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 42915 193594 0 0 221 22 9608 99 20 0 1 0 386288994 20500480 4335 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15498/statm: 5005 4335 179 443 0 4558 0 [pid=15797] ppid=15498 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15797/stat : 15797 (satsolver.sh) S 15498 15497 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386298949 9367552 266 33554432000 4194304 5064252 140733598896688 140733598895600 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/15797/statm: 2287 266 226 213 0 72 0 [pid=15798] ppid=15797 vsize=27152 CPUtime=2.75 cores=0,2,4,6 /proc/15798/stat : 15798 (glucose) R 15797 15497 3785 0 -1 4202496 4853 0 0 0 274 1 0 0 20 0 1 0 386298949 27803648 5633 33554432000 4194304 5208918 140734793532096 140734793529768 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/15798/statm: 6788 5633 103 248 0 6537 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 65468 [startup+162.3 s] /proc/loadavg: 2.01 1.98 1.99 3/183 16015 /proc/meminfo: memFree=28831160/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=159.15 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 75283 343505 0 0 397 38 15301 179 20 0 1 0 386288994 20500480 4335 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15498/statm: 5005 4335 179 443 0 4558 0 [pid=16014] ppid=15498 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16014/stat : 16014 (satsolver.sh) S 15498 15497 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386304931 9367552 266 33554432000 4194304 5064252 140737159973600 140737159972512 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16014/statm: 2287 266 226 213 0 72 0 [pid=16015] ppid=16014 vsize=27512 CPUtime=2.92 cores=0,2,4,6 /proc/16015/stat : 16015 (glucose) R 16014 15497 3785 0 -1 4202496 5961 0 0 0 291 1 0 0 20 0 1 0 386304931 28172288 6018 33554432000 4194304 5208918 140733770779520 140733770777272 4211659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16015/statm: 6878 6018 103 248 0 6627 0 Current children cumulated CPU time (s) 162.07 ################ # More data... # ################ /proc/18755/statm: 6147 5479 105 248 0 5896 0 Current children cumulated CPU time (s) 1060.52 Current children cumulated vsize (KiB) 62904 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 18888 /proc/meminfo: memFree=27442080/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1120.41 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 559538 2708564 0 0 2905 283 107420 1433 20 0 1 0 386288994 20500480 4336 33554432000 4194304 6006132 140733554017664 140733554008544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0 /proc/15498/statm: 5005 4336 179 443 0 4558 0 Current children cumulated CPU time (s) 1120.41 Current children cumulated vsize (KiB) 29168 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/182 19014 /proc/meminfo: memFree=27442848/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1180.02 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 596258 2876450 0 0 3078 301 113101 1522 20 0 1 0 386288994 20500480 4336 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0 /proc/15498/statm: 5005 4336 179 443 0 4558 0 Current children cumulated CPU time (s) 1180.02 Current children cumulated vsize (KiB) 29168 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 19177 /proc/meminfo: memFree=27452596/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1239.9 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 640714 3082982 0 0 3277 321 118769 1623 20 0 1 0 386288994 20500480 4341 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0 /proc/15498/statm: 5005 4341 179 443 0 4558 0 Current children cumulated CPU time (s) 1239.9 Current children cumulated vsize (KiB) 29168 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 19240 /proc/meminfo: memFree=27452792/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1251.94 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 658102 3150602 0 0 3342 327 119869 1656 20 0 1 0 386288994 20500480 4347 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0 /proc/15498/statm: 5005 4347 179 443 0 4558 0 Current children cumulated CPU time (s) 1251.94 Current children cumulated vsize (KiB) 29168 [startup+1267.1 s] /proc/loadavg: 2.00 2.00 2.00 3/183 19310 /proc/meminfo: memFree=27457560/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1263.92 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 673971 3215957 0 0 3397 334 120973 1688 20 0 1 0 386288994 20500480 4349 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0 /proc/15498/statm: 5005 4349 179 443 0 4558 0 [pid=19309] ppid=15498 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19309/stat : 19309 (satsolver.sh) S 15498 15497 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386415616 9367552 266 33554432000 4194304 5064252 140734304251312 140734304250224 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19309/statm: 2287 266 226 213 0 72 0 [pid=19310] ppid=19309 vsize=13424 CPUtime=0.87 cores=0,2,4,6 /proc/19310/stat : 19310 (glucose) R 19309 15497 3785 0 -1 4202496 3556 0 0 0 87 0 0 0 20 0 1 0 386415616 13746176 3041 33554432000 4194304 5208918 140734900168256 140734900166008 4210961 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/19310/statm: 3356 3041 104 248 0 3105 0 Current children cumulated CPU time (s) 1264.79 Current children cumulated vsize (KiB) 51740 [startup+1279.9 s] /proc/loadavg: 2.08 2.02 2.01 3/183 19429 /proc/meminfo: memFree=27460900/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1277.22 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 700347 3333349 0 0 3479 342 122166 1735 20 0 1 0 386288994 20500480 4349 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/15498/statm: 5005 4349 179 443 0 4558 0 Current children cumulated CPU time (s) 1277.22 Current children cumulated vsize (KiB) 29168 [startup+1283.1 s] /proc/loadavg: 2.08 2.02 2.01 3/183 19485 /proc/meminfo: memFree=27464992/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1280.66 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 712398 3389127 0 0 3508 345 122460 1753 20 0 1 0 386288994 20500480 4349 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/15498/statm: 5005 4349 179 443 0 4558 0 Current children cumulated CPU time (s) 1280.66 Current children cumulated vsize (KiB) 29168 [startup+1284.7 s] /proc/loadavg: 2.15 2.03 2.01 3/183 19576 /proc/meminfo: memFree=27466456/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1282.28 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 720497 3438617 0 0 3526 348 122586 1768 20 0 1 0 386288994 20500480 4349 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/15498/statm: 5005 4349 179 443 0 4558 0 [pid=19575] ppid=15498 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19575/stat : 19575 (satsolver.sh) S 15498 15497 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386417462 9367552 267 33554432000 4194304 5064252 140734248353552 140734248352464 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19575/statm: 2287 267 226 213 0 72 0 [pid=19576] ppid=19575 vsize=5300 CPUtime=0.01 cores=0,2,4,6 /proc/19576/stat : 19576 (glucose) R 19575 15497 3785 0 -1 4202496 1404 0 0 0 1 0 0 0 20 0 1 0 386417462 5427200 1035 33554432000 4194304 5208918 140734652227856 140734652225704 4211027 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/19576/statm: 1325 1035 96 248 0 1074 0 Current children cumulated CPU time (s) 1282.29 Current children cumulated vsize (KiB) 43616 [startup+1285.5 s] /proc/loadavg: 2.15 2.03 2.01 3/183 19576 /proc/meminfo: memFree=27466456/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1283.05 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 725517 3479718 0 0 3538 349 122639 1779 20 0 1 0 386288994 20500480 4350 33554432000 4194304 6006132 140733554017664 140733554008544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/15498/statm: 5005 4350 180 443 0 4558 0 Current children cumulated CPU time (s) 1283.05 Current children cumulated vsize (KiB) 29168 [startup+1286.3 s] /proc/loadavg: 2.15 2.03 2.01 3/183 19646 /proc/meminfo: memFree=27462488/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1283.88 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 729970 3513346 0 0 3548 350 122686 1804 20 0 1 0 386288994 20500480 4350 33554432000 4194304 6006132 140733554017664 140733554008544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/15498/statm: 5005 4350 180 443 0 4558 0 Current children cumulated CPU time (s) 1283.88 Current children cumulated vsize (KiB) 29168 [startup+1286.7 s] /proc/loadavg: 2.15 2.03 2.01 3/183 19646 /proc/meminfo: memFree=27462488/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1284.29 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 732525 3535917 0 0 3553 351 122708 1817 20 0 1 0 386288994 20500480 4350 33554432000 4194304 6006132 140733554017664 140733554009056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/15498/statm: 5005 4350 180 443 0 4558 0 Current children cumulated CPU time (s) 1284.29 Current children cumulated vsize (KiB) 29168 [startup+1286.8 s] /proc/loadavg: 2.15 2.03 2.01 3/183 19646 /proc/meminfo: memFree=27462488/32873648 swapFree=6860/6860 [pid=15497] ppid=15495 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15497/stat : 15497 (npSolver-wbo-It) S 15495 15497 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386288994 9367552 275 33554432000 4194304 5064252 140734690756880 140734690755792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/15497/statm: 2287 275 233 213 0 72 0 [pid=15498] ppid=15497 vsize=20020 CPUtime=1284.38 cores=0,2,4,6 /proc/15498/stat : 15498 (npSolver-wbo) S 15497 15497 3785 0 -1 4202496 732876 3542832 0 0 3554 351 122713 1820 20 0 1 0 386288994 20500480 4350 33554432000 4194304 6006132 140733554017664 140733554008544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0 /proc/15498/statm: 5005 4350 180 443 0 4558 0 Current children cumulated CPU time (s) 1284.38 Current children cumulated vsize (KiB) 29168 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.47003 # lost CPU user time (s): 1.46002 # lost CPU system time (s): 0.0100002 Real time (s): 1286.83 CPU time (s): 1285.92 CPU user time (s): 1264.16 CPU system time (s): 21.7587 CPU usage (%): 99.9294 Max. virtual memory (cumulated for all children) (KiB): 78232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1262.7 system time used= 21.7487 maximum resident set size= 35184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4283634 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4689488 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24417 involuntary context switches= 6338 runsolver used 4.39733 second user time and 11.5732 second system time The end
Begin job on node116 at 2012-06-09 02:27:09 IDJOB=3753804 IDBENCH=79418 IDSOLVER=2337 FILE ID=node116/3753804-1339201629 RUNJOBID= node116-1339183089-5111 PBS_JOBID= 14643838 Free space on /tmp= 70892 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh10_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753804-1339201629/watcher-3753804-1339201629 -o /tmp/evaluation-result-3753804-1339201629/solver-3753804-1339201629 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753804-1339201629.wbo 979830680 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 401aade47f990d36319fcf6fc2a74e2a RANDOM SEED=979830680 node116.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.556 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.11 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.556 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.556 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 : 5438.54 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.556 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.556 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.556 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.92 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.556 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.90 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.556 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: 32873648 kB MemFree: 28883324 kB Buffers: 491964 kB Cached: 2533608 kB SwapCached: 3172 kB Active: 1215576 kB Inactive: 1856656 kB Active(anon): 43188 kB Inactive(anon): 3396 kB Active(file): 1172388 kB Inactive(file): 1853260 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67100548 kB Dirty: 14752 kB Writeback: 0 kB AnonPages: 46496 kB Mapped: 11708 kB Shmem: 0 kB Slab: 780032 kB SReclaimable: 223380 kB SUnreclaim: 556652 kB KernelStack: 1496 kB PageTables: 3700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 166208 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70568 MiB End job on node116 at 2012-06-09 02:48:36