Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown | OPTIMUM | 1527.73 | 1520.51 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08ac_wcsp.wbo |
| MD5SUM | 62397aa7c126b847e0d119b2fed1111c |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2120 |
| Best CPU time to get the best result obtained on this benchmark | 8.28174 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1583 |
| Total number of constraints | 57898 |
| Number of soft constraints | 57490 |
| Number of constraints which are clauses | 57490 |
| Number of constraints which are cardinality constraints (but not clauses) | 408 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 69552 |
| Min constraint cost | 1 |
| Max constraint cost | 69552 |
| Sum of constraints costs | 3943734351 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 12 |
| Number of bits of the biggest sum of numbers | 4 |
| 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.32 c run usual solver 1.28/1.39 o 5629 1.28/1.39 c fallback to adder encoding 7.58/7.63 o 5628 7.58/7.63 c fallback to adder encoding 13.95/14.05 o 5618 13.95/14.05 c fallback to adder encoding 19.26/19.35 o 5617 19.26/19.35 c fallback to adder encoding 23.87/23.90 o 5602 23.87/23.90 c fallback to adder encoding 30.85/30.95 o 5595 30.85/30.95 c fallback to adder encoding 36.07/36.16 o 5594 36.07/36.16 c fallback to adder encoding 41.43/41.54 o 5593 41.43/41.54 c fallback to adder encoding 45.16/45.29 o 5591 45.16/45.29 c fallback to adder encoding 48.57/48.60 o 5572 48.57/48.60 c fallback to adder encoding 52.67/52.78 o 5571 52.67/52.78 c fallback to adder encoding 57.62/57.82 o 5566 57.62/57.82 c fallback to adder encoding 61.37/61.56 o 5556 61.37/61.56 c fallback to adder encoding 67.47/67.67 o 5281 67.47/67.67 c fallback to adder encoding 74.87/75.00 o 5280 74.87/75.00 c fallback to adder encoding 79.34/79.54 o 5267 79.34/79.54 c fallback to adder encoding 83.56/83.78 o 5266 83.56/83.78 c fallback to adder encoding 88.13/88.34 o 5264 88.13/88.34 c fallback to adder encoding 94.24/94.44 o 5263 94.24/94.44 c fallback to adder encoding 101.46/101.71 o 5262 101.46/101.71 c fallback to adder encoding 106.69/106.90 o 5258 106.69/106.90 c fallback to adder encoding 111.27/111.55 o 5245 111.27/111.55 c fallback to adder encoding 116.20/116.49 o 5237 116.20/116.49 c fallback to adder encoding 120.88/121.15 o 5138 120.88/121.15 c fallback to adder encoding 124.28/124.58 o 5048 124.28/124.58 c fallback to adder encoding 128.70/128.97 o 5019 128.70/128.97 c fallback to adder encoding 133.20/133.47 o 5010 133.20/133.47 c fallback to adder encoding 139.59/139.87 o 5006 139.59/139.87 c fallback to adder encoding 145.99/146.23 o 5004 145.99/146.23 c fallback to adder encoding 151.49/151.75 o 4721 151.49/151.75 c fallback to adder encoding 156.18/156.49 o 4476 156.18/156.49 c fallback to adder encoding 160.77/161.09 o 4475 160.77/161.09 c fallback to adder encoding 164.06/164.35 o 4464 164.06/164.35 c fallback to adder encoding 168.71/169.00 o 4463 168.71/169.00 c fallback to adder encoding 172.80/173.19 o 4462 172.80/173.19 c fallback to adder encoding 175.49/175.90 o 4461 175.49/175.90 c fallback to adder encoding 180.48/180.86 o 4460 180.48/180.86 c fallback to adder encoding 183.98/184.34 o 4456 183.98/184.34 c fallback to adder encoding 188.88/189.26 o 4455 188.88/189.26 c fallback to adder encoding 193.39/193.70 o 4454 193.39/193.70 c fallback to adder encoding 196.97/197.35 o 4453 196.97/197.35 c fallback to adder encoding 201.19/201.50 o 4441 201.19/201.50 c fallback to adder encoding 209.05/209.45 o 4440 209.05/209.45 c fallback to adder encoding 214.78/215.10 o 4432 214.78/215.10 c fallback to adder encoding 219.42/219.81 o 4429 219.42/219.81 c fallback to adder encoding 223.36/223.75 o 4418 223.36/223.75 c fallback to adder encoding 229.20/229.67 o 4405 229.20/229.67 c fallback to adder encoding 235.00/235.49 o 4402 235.00/235.49 c fallback to adder encoding 240.27/240.75 o 4392 240.27/240.75 c fallback to adder encoding 245.01/245.47 o 4390 245.01/245.47 c fallback to adder encoding 250.01/250.40 o 4389 250.01/250.40 c fallback to adder encoding 254.56/255.03 o 4093 254.56/255.03 c fallback to adder encoding 259.40/259.88 o 4067 259.40/259.88 c fallback to adder encoding 265.79/266.29 o 4065 265.79/266.29 c fallback to adder encoding 271.31/271.71 o 4052 271.31/271.71 c fallback to adder encoding 275.74/276.21 o 4050 275.74/276.21 c fallback to adder encoding 279.78/280.26 o 4047 279.78/280.26 c fallback to adder encoding 284.46/284.93 o 4046 284.46/284.93 c fallback to adder encoding 291.20/291.60 o 4045 291.20/291.60 c fallback to adder encoding 297.30/297.70 o 4044 297.30/297.70 c fallback to adder encoding 301.20/301.68 o 4043 301.20/301.68 c fallback to adder encoding 304.38/304.89 o 3917 304.38/304.89 c fallback to adder encoding 309.26/309.73 o 3916 309.26/309.73 c fallback to adder encoding 313.19/313.69 o 3898 313.19/313.69 c fallback to adder encoding 316.57/317.06 o 3891 316.57/317.06 c fallback to adder encoding 320.96/321.48 o 3856 320.96/321.48 c fallback to adder encoding 325.08/325.53 o 3843 325.08/325.53 c fallback to adder encoding 328.86/329.34 o 3830 328.86/329.34 c fallback to adder encoding 333.19/333.67 o 3807 333.19/333.67 c fallback to adder encoding 337.97/338.48 o 3806 337.97/338.48 c fallback to adder encoding 341.07/341.59 o 3795 341.07/341.59 c fallback to adder encoding 344.29/344.70 o 3794 344.29/344.70 c fallback to adder encoding 347.96/348.44 o 3793 347.96/348.44 c fallback to adder encoding 352.50/352.97 o 3786 352.50/352.97 c fallback to adder encoding 356.39/356.80 o 3785 356.39/356.80 c fallback to adder encoding 361.98/362.46 o 3768 361.98/362.46 c fallback to adder encoding 366.30/366.77 o 3765 366.30/366.77 c fallback to adder encoding 369.10/369.58 o 3754 369.10/369.58 c fallback to adder encoding 372.88/373.37 o 3749 372.88/373.37 c fallback to adder encoding 379.14/379.62 o 3748 379.14/379.62 c fallback to adder encoding 383.77/384.28 o 3745 383.77/384.28 c fallback to adder encoding 389.77/390.29 o 3744 389.77/390.29 c fallback to adder encoding 394.12/394.62 o 3737 394.12/394.62 c fallback to adder encoding 399.47/399.97 o 3726 399.47/399.97 c fallback to adder encoding 404.73/405.24 o 3721 404.73/405.24 c fallback to adder encoding 408.54/409.03 o 3718 408.54/409.03 c fallback to adder encoding 412.32/412.83 o 3700 412.32/412.83 c fallback to adder encoding 415.96/416.49 o 3679 415.96/416.49 c fallback to adder encoding 419.51/420.01 o 3678 419.51/420.01 c fallback to adder encoding 424.35/424.86 o 3674 424.35/424.86 c fallback to adder encoding 429.05/429.55 o 3415 429.05/429.55 c fallback to adder encoding 432.33/432.83 o 3414 432.33/432.83 c fallback to adder encoding 436.62/437.11 o 3398 436.62/437.11 c fallback to adder encoding 439.61/440.12 o 3392 439.61/440.12 c fallback to adder encoding 444.16/444.69 o 3391 444.16/444.69 c fallback to adder encoding 448.96/449.47 o 3390 448.96/449.47 c fallback to adder encoding 453.63/454.12 o 3389 453.63/454.12 c fallback to adder encoding 457.87/458.36 o 3375 457.87/458.36 c fallback to adder encoding 461.67/462.19 o 3373 461.67/462.19 c fallback to adder encoding 464.63/465.12 o 3372 464.63/465.12 c fallback to adder encoding 469.46/469.96 o 3371 469.46/469.96 c fallback to adder encoding 473.25/473.74 o 3366 473.25/473.74 c fallback to adder encoding 476.97/477.47 o 3364 476.97/477.47 c fallback to adder encoding 481.78/482.27 o 3363 481.78/482.27 c fallback to adder encoding 486.42/486.92 o 3358 486.42/486.92 c fallback to adder encoding 489.96/490.44 o 3356 489.96/490.44 c fallback to adder encoding 493.77/494.26 o 3355 493.77/494.26 c fallback to adder encoding 497.89/498.31 o 3352 497.89/498.31 c fallback to adder encoding 501.68/502.16 o 3342 501.68/502.16 c fallback to adder encoding 504.87/505.38 o 3340 504.87/505.38 c fallback to adder encoding 509.38/509.80 o 3316 509.38/509.80 c fallback to adder encoding 513.47/514.09 o 3264 513.47/514.09 c fallback to adder encoding 518.74/519.38 o 3248 518.74/519.38 c fallback to adder encoding 523.19/523.81 o 3242 523.19/523.81 c fallback to adder encoding 526.84/527.48 o 3239 526.84/527.48 c fallback to adder encoding 531.34/531.95 o 3238 531.34/531.95 c fallback to adder encoding 534.66/535.27 o 3228 534.66/535.27 c fallback to adder encoding 537.62/538.23 o 3226 537.62/538.23 c fallback to adder encoding 541.05/541.66 o 3218 541.05/541.66 c fallback to adder encoding 547.15/547.75 o 3217 547.15/547.75 c fallback to adder encoding 550.73/551.34 o 3216 550.73/551.34 c fallback to adder encoding 555.15/555.79 o 3215 555.15/555.79 c fallback to adder encoding 560.14/560.79 o 3214 560.14/560.79 c fallback to adder encoding 564.11/564.72 o 3211 564.11/564.72 c fallback to adder encoding 566.41/567.03 o 3205 566.41/567.03 c fallback to adder encoding 571.03/571.65 o 3196 571.03/571.65 c fallback to adder encoding 576.24/576.88 o 3193 576.24/576.88 c fallback to adder encoding 580.32/580.94 o 3168 580.32/580.94 c fallback to adder encoding 584.64/585.26 o 3162 584.64/585.26 c fallback to adder encoding 588.71/589.34 o 3161 588.71/589.34 c fallback to adder encoding 592.14/592.75 o 3153 592.14/592.75 c fallback to adder encoding 597.10/597.72 o 3152 597.10/597.72 c fallback to adder encoding 600.91/601.51 o 3151 600.91/601.51 c fallback to adder encoding 604.66/605.27 o 3150 604.66/605.27 c fallback to adder encoding 607.94/608.59 o 3146 607.94/608.59 c fallback to adder encoding 613.34/613.95 o 3133 613.34/613.95 c fallback to adder encoding 616.84/617.46 o 3131 616.84/617.46 c fallback to adder encoding 621.75/622.36 o 3130 621.75/622.36 c fallback to adder encoding 627.14/627.78 o 3128 627.14/627.78 c fallback to adder encoding 630.34/630.97 o 3125 630.34/630.97 c fallback to adder encoding 634.21/634.83 o 3114 634.21/634.83 c fallback to adder encoding 638.44/639.05 o 3109 638.44/639.05 c fallback to adder encoding 643.01/643.69 o 3090 643.01/643.69 c fallback to adder encoding 646.42/647.07 o 3073 646.42/647.07 c fallback to adder encoding 650.59/651.25 o 3065 650.59/651.25 c fallback to adder encoding 654.39/655.05 o 3049 654.39/655.05 c fallback to adder encoding 658.31/658.97 o 3048 658.31/658.97 c fallback to adder encoding 663.17/663.82 o 3047 663.17/663.82 c fallback to adder encoding 666.60/667.26 o 3046 666.60/667.26 c fallback to adder encoding 672.11/672.78 o 3021 672.11/672.78 c fallback to adder encoding 676.11/676.76 o 3020 676.11/676.76 c fallback to adder encoding 679.39/680.04 o 3019 679.39/680.04 c fallback to adder encoding 684.62/685.28 o 3016 684.62/685.28 c fallback to adder encoding 691.11/691.80 o 3014 691.11/691.80 c fallback to adder encoding 695.30/695.98 o 3011 695.30/695.98 c fallback to adder encoding 699.20/699.80 o 2989 699.20/699.80 c fallback to adder encoding 704.19/704.86 o 2985 704.19/704.86 c fallback to adder encoding 704.34/709.67 o 2984 704.34/709.67 c fallback to adder encoding 714.41/715.09 o 2978 714.41/715.09 c fallback to adder encoding 719.00/719.69 o 2971 719.00/719.69 c fallback to adder encoding 724.44/725.12 o 2967 724.44/725.12 c fallback to adder encoding 727.98/728.64 o 2966 727.98/728.64 c fallback to adder encoding 731.26/731.93 o 2965 731.26/731.93 c fallback to adder encoding 736.95/737.62 o 2956 736.95/737.62 c fallback to adder encoding 741.81/742.42 o 2954 741.81/742.42 c fallback to adder encoding 747.19/747.88 o 2946 747.19/747.88 c fallback to adder encoding 751.75/752.42 o 2944 751.75/752.42 c fallback to adder encoding 756.08/756.73 o 2930 756.08/756.73 c fallback to adder encoding 760.19/760.88 o 2928 760.19/760.88 c fallback to adder encoding 764.90/765.60 o 2927 764.90/765.60 c fallback to adder encoding 768.87/769.59 o 2926 768.87/769.59 c fallback to adder encoding 772.96/773.65 o 2913 772.96/773.65 c fallback to adder encoding 778.13/778.81 o 2912 778.13/778.81 c fallback to adder encoding 782.47/783.14 o 2905 782.47/783.14 c fallback to adder encoding 788.17/788.89 o 2903 788.17/788.89 c fallback to adder encoding 792.74/793.44 o 2902 792.74/793.44 c fallback to adder encoding 796.92/797.61 o 2901 796.92/797.61 c fallback to adder encoding 803.67/804.31 o 2892 803.67/804.31 c fallback to adder encoding 808.99/809.61 o 2840 808.99/809.61 c fallback to adder encoding 814.67/815.38 o 2839 814.67/815.38 c fallback to adder encoding 817.86/818.59 o 2837 817.86/818.59 c fallback to adder encoding 821.05/821.74 o 2831 821.05/821.74 c fallback to adder encoding 826.64/827.33 o 2830 826.64/827.33 c fallback to adder encoding 830.15/830.85 o 2829 830.15/830.85 c fallback to adder encoding 834.83/835.53 o 2824 834.83/835.53 c fallback to adder encoding 840.66/841.38 o 2819 840.66/841.38 c fallback to adder encoding 846.16/846.90 o 2792 846.16/846.90 c fallback to adder encoding 851.86/852.57 o 2791 851.86/852.57 c fallback to adder encoding 855.91/856.61 o 2788 855.91/856.61 c fallback to adder encoding 861.67/862.30 o 2777 861.67/862.30 c fallback to adder encoding 863.65/864.39 o 2776 863.65/864.39 c fallback to adder encoding 867.83/868.53 o 2775 867.83/868.53 c fallback to adder encoding 871.73/872.44 o 2773 871.73/872.44 c fallback to adder encoding 875.96/876.65 o 2772 875.96/876.65 c fallback to adder encoding 879.85/880.55 o 2771 879.85/880.55 c fallback to adder encoding 884.34/885.06 o 2575 884.34/885.06 c fallback to adder encoding 888.94/889.68 o 2572 888.94/889.68 c fallback to adder encoding 893.90/894.61 o 2571 893.90/894.61 c fallback to adder encoding 897.52/898.22 o 2561 897.52/898.22 c fallback to adder encoding 903.35/904.06 o 2560 903.35/904.06 c fallback to adder encoding 907.53/908.25 o 2548 907.53/908.25 c fallback to adder encoding 911.01/911.73 o 2546 911.01/911.73 c fallback to adder encoding 915.15/915.88 o 2545 915.15/915.88 c fallback to adder encoding 918.26/918.96 o 2544 918.26/918.96 c fallback to adder encoding 920.94/921.65 o 2543 920.94/921.65 c fallback to adder encoding 926.15/926.86 o 2532 926.15/926.86 c fallback to adder encoding 929.72/930.41 o 2531 929.72/930.41 c fallback to adder encoding 934.76/935.41 o 2530 934.76/935.41 c fallback to adder encoding 938.84/939.59 o 2529 938.84/939.59 c fallback to adder encoding 942.45/943.17 o 2528 942.45/943.17 c fallback to adder encoding 945.74/946.40 o 2521 945.74/946.40 c fallback to adder encoding 950.13/950.85 o 2520 950.13/950.85 c fallback to adder encoding 952.51/953.24 o 2518 952.51/953.24 c fallback to adder encoding 956.71/957.45 o 2497 956.71/957.45 c fallback to adder encoding 961.03/961.78 o 2487 961.03/961.78 c fallback to adder encoding 966.30/967.04 o 2468 966.30/967.04 c fallback to adder encoding 970.61/971.35 o 2467 970.61/971.35 c fallback to adder encoding 974.67/975.41 o 2466 974.67/975.41 c fallback to adder encoding 979.11/979.84 o 2465 979.11/979.84 c fallback to adder encoding 983.50/984.28 o 2464 983.50/984.28 c fallback to adder encoding 988.22/988.97 o 2463 988.22/988.97 c fallback to adder encoding 992.42/993.17 o 2461 992.42/993.17 c fallback to adder encoding 996.93/997.67 o 2460 996.93/997.67 c fallback to adder encoding 1000.60/1001.34 o 2459 1000.60/1001.34 c fallback to adder encoding 1004.32/1005.06 o 2458 1004.32/1005.06 c fallback to adder encoding 1009.91/1010.64 o 2454 1009.91/1010.64 c fallback to adder encoding 1014.32/1015.09 o 2453 1014.32/1015.09 c fallback to adder encoding 1020.21/1020.98 o 2437 1020.21/1020.98 c fallback to adder encoding 1024.82/1025.56 o 2436 1024.82/1025.56 c fallback to adder encoding 1029.33/1030.00 o 2433 1029.33/1030.00 c fallback to adder encoding 1033.83/1034.50 o 2425 1033.83/1034.50 c fallback to adder encoding 1038.73/1039.46 o 2424 1038.73/1039.46 c fallback to adder encoding 1041.91/1042.68 o 2423 1041.91/1042.68 c fallback to adder encoding 1047.11/1047.84 o 2422 1047.11/1047.84 c fallback to adder encoding 1050.90/1051.64 o 2421 1050.90/1051.64 c fallback to adder encoding 1056.83/1057.50 o 2419 1056.83/1057.50 c fallback to adder encoding 1056.89/1061.48 o 2418 1056.89/1061.48 c fallback to adder encoding 1065.12/1065.84 o 2417 1065.12/1065.84 c fallback to adder encoding 1069.18/1069.92 o 2413 1069.18/1069.92 c fallback to adder encoding 1072.71/1073.48 o 2412 1072.71/1073.48 c fallback to adder encoding 1077.12/1077.86 o 2411 1077.12/1077.86 c fallback to adder encoding 1080.89/1081.64 o 2393 1080.89/1081.64 c fallback to adder encoding 1084.21/1084.95 o 2377 1084.21/1084.95 c fallback to adder encoding 1088.41/1089.17 o 2365 1088.41/1089.17 c fallback to adder encoding 1093.22/1093.96 o 2364 1093.22/1093.96 c fallback to adder encoding 1098.52/1099.28 o 2350 1098.52/1099.28 c fallback to adder encoding 1103.00/1103.74 o 2349 1103.00/1103.74 c fallback to adder encoding 1107.18/1107.91 o 2347 1107.18/1107.91 c fallback to adder encoding 1111.23/1111.97 o 2345 1111.23/1111.97 c fallback to adder encoding 1116.12/1116.89 o 2344 1116.12/1116.89 c fallback to adder encoding 1119.71/1120.44 o 2343 1119.71/1120.44 c fallback to adder encoding 1123.00/1123.74 o 2341 1123.00/1123.74 c fallback to adder encoding 1127.31/1128.05 o 2339 1127.31/1128.05 c fallback to adder encoding 1129.92/1130.68 o 2338 1129.92/1130.68 c fallback to adder encoding 1133.62/1134.39 o 2337 1133.62/1134.39 c fallback to adder encoding 1138.30/1139.04 o 2336 1138.30/1139.04 c fallback to adder encoding 1142.20/1142.94 o 2335 1142.20/1142.94 c fallback to adder encoding 1146.52/1147.20 o 2334 1146.52/1147.20 c fallback to adder encoding 1150.11/1150.85 o 2315 1150.11/1150.85 c fallback to adder encoding 1153.35/1154.16 o 2314 1153.35/1154.16 c fallback to adder encoding 1158.15/1158.90 o 2308 1158.15/1158.90 c fallback to adder encoding 1164.39/1165.21 o 2305 1164.39/1165.21 c fallback to adder encoding 1167.54/1168.31 o 2304 1167.54/1168.31 c fallback to adder encoding 1171.64/1172.40 o 2303 1171.64/1172.40 c fallback to adder encoding 1177.14/1177.97 o 2302 1177.14/1177.97 c fallback to adder encoding 1181.40/1182.22 o 2301 1181.40/1182.22 c fallback to adder encoding 1186.60/1187.44 o 2294 1186.60/1187.44 c fallback to adder encoding 1189.91/1190.76 o 2293 1189.91/1190.76 c fallback to adder encoding 1194.63/1195.47 o 2292 1194.63/1195.47 c fallback to adder encoding 1198.58/1199.42 o 2291 1198.58/1199.42 c fallback to adder encoding 1202.96/1203.87 o 2284 1202.96/1203.87 c fallback to adder encoding 1207.54/1208.45 o 2283 1207.54/1208.45 c fallback to adder encoding 1211.32/1212.23 o 2282 1211.32/1212.23 c fallback to adder encoding 1214.84/1215.75 o 2265 1214.84/1215.75 c fallback to adder encoding 1218.95/1219.87 o 2263 1218.95/1219.87 c fallback to adder encoding 1223.92/1224.82 o 2262 1223.92/1224.82 c fallback to adder encoding 1227.05/1227.98 o 2258 1227.05/1227.98 c fallback to adder encoding 1231.98/1232.98 o 2257 1231.98/1232.98 c fallback to adder encoding 1237.20/1238.22 o 2253 1237.20/1238.22 c fallback to adder encoding 1241.83/1242.80 o 2252 1241.83/1242.80 c fallback to adder encoding 1246.71/1247.79 o 2251 1246.71/1247.79 c fallback to adder encoding 1251.82/1252.90 o 2250 1251.82/1252.90 c fallback to adder encoding 1254.28/1255.32 o 2248 1254.28/1255.32 c fallback to adder encoding 1259.77/1260.81 o 2238 1259.77/1260.81 c fallback to adder encoding 1262.90/1263.93 o 2237 1262.90/1263.93 c fallback to adder encoding 1266.81/1267.85 o 2236 1266.81/1267.85 c fallback to adder encoding 1271.63/1272.69 o 2235 1271.63/1272.69 c fallback to adder encoding 1276.60/1277.63 o 2233 1276.60/1277.63 c fallback to adder encoding 1279.21/1280.28 o 2228 1279.21/1280.28 c fallback to adder encoding 1282.43/1283.48 o 2226 1282.43/1283.48 c fallback to adder encoding 1286.90/1287.93 o 2225 1286.90/1287.93 c fallback to adder encoding 1290.99/1292.04 o 2224 1290.99/1292.04 c fallback to adder encoding 1296.51/1297.55 o 2223 1296.51/1297.55 c fallback to adder encoding 1299.52/1300.55 o 2222 1299.52/1300.55 c fallback to adder encoding 1305.61/1306.66 o 2219 1305.61/1306.66 c fallback to adder encoding 1309.89/1310.95 o 2218 1309.89/1310.95 c fallback to adder encoding 1314.62/1315.66 o 2217 1314.62/1315.66 c fallback to adder encoding 1318.70/1319.75 o 2216 1318.70/1319.75 c fallback to adder encoding 1325.09/1326.15 o 2215 1325.09/1326.15 c fallback to adder encoding 1330.12/1331.10 o 2214 1330.12/1331.10 c fallback to adder encoding 1335.74/1336.77 o 2210 1335.74/1336.77 c fallback to adder encoding 1342.02/1343.06 o 2209 1342.02/1343.06 c fallback to adder encoding 1348.52/1349.56 o 2198 1348.52/1349.56 c fallback to adder encoding 1351.71/1352.76 o 2189 1351.71/1352.76 c fallback to adder encoding 1356.82/1357.88 o 2188 1356.82/1357.88 c fallback to adder encoding 1362.71/1363.78 o 2178 1362.71/1363.78 c fallback to adder encoding 1366.92/1367.91 o 2177 1366.92/1367.91 c fallback to adder encoding 1372.10/1373.15 o 2176 1372.10/1373.15 c fallback to adder encoding 1374.60/1375.69 o 2175 1374.60/1375.69 c fallback to adder encoding 1379.02/1380.08 o 2168 1379.02/1380.08 c fallback to adder encoding 1382.12/1383.17 o 2164 1382.12/1383.17 c fallback to adder encoding 1386.27/1387.33 o 2163 1386.27/1387.33 c fallback to adder encoding 1391.82/1392.80 o 2162 1391.82/1392.80 c fallback to adder encoding 1396.77/1397.82 o 2159 1396.77/1397.82 c fallback to adder encoding 1403.32/1404.37 o 2158 1403.32/1404.37 c fallback to adder encoding 1410.89/1411.94 o 2157 1410.89/1411.94 c fallback to adder encoding 1416.01/1417.09 o 2147 1416.01/1417.09 c fallback to adder encoding 1421.08/1422.20 o 2136 1421.08/1422.20 c fallback to adder encoding 1426.40/1427.40 o 2135 1426.40/1427.40 c fallback to adder encoding 1431.15/1432.23 o 2134 1431.15/1432.23 c fallback to adder encoding 1438.49/1439.50 o 2133 1438.49/1439.50 c fallback to adder encoding 1444.46/1445.55 o 2132 1444.46/1445.55 c fallback to adder encoding 1450.16/1451.29 o 2130 1450.16/1451.29 c fallback to adder encoding 1456.18/1457.20 o 2129 1456.18/1457.20 c fallback to adder encoding 1460.96/1462.06 o 2128 1460.96/1462.06 c fallback to adder encoding 1465.45/1466.62 o 2127 1465.45/1466.62 c fallback to adder encoding 1469.78/1470.93 o 2126 1469.78/1470.93 c fallback to adder encoding 1477.09/1478.25 o 2125 1477.09/1478.25 c fallback to adder encoding 1483.04/1484.21 o 2123 1483.04/1484.21 c fallback to adder encoding 1490.10/1491.20 o 2122 1490.10/1491.20 c fallback to adder encoding 1497.89/1499.09 o 2121 1497.89/1499.09 c fallback to adder encoding 1503.89/1505.09 o 2120 1503.89/1505.09 c fallback to adder encoding 1519.39/1520.50 c display solution 1519.39/1520.50 s OPTIMUM FOUND 1519.39/1520.50 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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 x391 x392 -x393 -x394 x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 x403 x404 -x405 -x406 x407 -x408 -x409 x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 x426 -x427 -x428 x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 x738 -x739 x740 -x741 x742 -x743 x744 -x745 x746 -x747 x748 -x749 x750 -x751 x752 -x753 x754 -x755 x756 -x757 x758 -x759 x760 -x761 x762 -x763 x764 -x765 x766 -x767 x768 -x769 x770 -x771 x772 -x773 x774 -x775 x776 -x777 x778 -x779 x780 -x781 x782 -x783 x784 -x785 x786 -x787 x788 -x789 x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 x798 -x799 x800 -x801 -x802 x803 -x804 -x805 x806 -x807 -x808 x809 -x810 -x811 x812 -x813 -x814 x815 -x816 -x817 x818 -x819 -x820 x821 -x822 -x823 x824 -x825 -x826 x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 x843 -x844 -x845 x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 x1123 -x1124 x1125 -x1126 x1127 -x1128 x1129 -x1130 x1131 -x1132 x1133 -x1134 x1135 -x1136 x1137 -x1138 x1139 -x1140 x1141 -x1142 x1143 -x1144 x1145 -x1146 x1147 -x1148 x1149 -x1150 x1151 -x1152 -x1153 x1154 -x1155 -x1156 x1157 x1158 -x1159 x1160 -x1161 x1162 -x1163 x1164 -x1165 x1166 -x1167 x1168 -x1169 x1170 -x1171 x1172 -x1173 x1174 -x1175 x1176 -x1177 x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 x1186 -x1187 x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 x1203 -x1204 x1205 -x1206 x1207 -x1208 x1209 -x1210 -x1211 x1212 -x1213 -x1214 x1215 x1216 -x1217 x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 x1226 x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 x1309 -x1310 x1311 -x1312 -x1313 x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 x1330 -x1331 x1332 x1333 -x1334 -x1335 x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 x1381 -x1382 x1383 -x1384 x1385 -x1386 x1387 -x1388 x1389 -x1390 x1391 -x1392 x1393 -x1394 x1395 -x1396 -x1397 x1398 x1399 -x1400 x1401 -x1402 x1403 -x1404 x1405 -x1406 x1407 -x1408 x1409 -x1410 x1411 -x1412 x1413 -x1414 -x1415 x1416 x1417 -x1418 x1419 -x1420 x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 x1428 -x1429 x1430 -x1431 -x1432 x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 x1440 -x1441 x1442 -x1443 -x1444 x1445 -x1446 -x1447 x1448 -x1449 -x1450 x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 x1458 -x1459 x1460 -x1461 -x1462 x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 x1479 -x1480 x1481 -x1482 x1483 -x1484 x1485 -x1486 x1487 -x1488 -x1489 x1490 -x1491 x1492 -x1493 -x1494 x1495 x1496 -x1497 -x1498 x1499 -x1500 x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 x1518 -x1519 x1520 -x1521 x1522 -x1523 x1524 -x1525 -x1526 x1527 x1528 -x1529 x1530 -x1531 x1532 -x1533 -x1534 x1535 x1536 -x1537 -x1538 x1539 x1540 -x1541 x1542 -x1543 x1544 -x1545 -x1546 x1547 x1548 -x1549 x1550 -x1551 x1552 -x1553 -x1554 x1555 -x1556 x1557 -x1558 x1559 -x1560 x1561 -x1562 x1563 -x1564 x1565 -x1566 x1567 -x1568 x1569 -x1570 x1571 -x1572 x1573 x1574 -x1575 -x1576 x1577 x1578 -x1579 x1580 -x1581 x1582 -x1583
OK 2120
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-3714734-1338228269/watcher-3714734-1338228269 -o /tmp/evaluation-result-3714734-1338228269/solver-3714734-1338228269 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714734-1338228269.wbo 59305908 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: 0.94 1.06 1.32 4/176 18382 /proc/meminfo: memFree=30392352/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [startup+0.0471999 s] /proc/loadavg: 0.94 1.06 1.32 4/176 18382 /proc/meminfo: memFree=30392352/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100264 s] /proc/loadavg: 0.94 1.06 1.32 4/176 18382 /proc/meminfo: memFree=30392352/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300241 s] /proc/loadavg: 0.94 1.06 1.32 4/176 18382 /proc/meminfo: memFree=30392352/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700277 s] /proc/loadavg: 0.94 1.06 1.32 4/176 18382 /proc/meminfo: memFree=30392352/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50031 s] /proc/loadavg: 0.94 1.06 1.32 4/181 18397 /proc/meminfo: memFree=30300680/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=16432 CPUtime=1.44 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 6264 14917 0 0 41 16 82 5 20 0 1 0 288951317 16826368 3561 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18383/statm: 4108 3561 164 439 0 3665 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 25580 [startup+3.10035 s] /proc/loadavg: 0.94 1.06 1.32 4/180 18407 /proc/meminfo: memFree=30227744/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=16432 CPUtime=1.44 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 6264 14917 0 0 41 16 82 5 20 0 1 0 288951317 16826368 3561 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18383/statm: 4108 3561 164 439 0 3665 0 [pid=18406] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18406/stat : 18406 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288951463 9367552 267 33554432000 4194304 5064252 140733671225344 140733671224256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18406/statm: 2287 267 226 213 0 72 0 [pid=18407] ppid=18406 vsize=23900 CPUtime=1.62 cores=1,3,5,7 /proc/18407/stat : 18407 (glucose) R 18406 18382 18338 0 -1 4202496 5627 0 0 0 162 0 0 0 20 0 1 0 288951463 24473600 5371 33554432000 4194304 5208918 140734452999952 140734452997784 4231478 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18407/statm: 5975 5371 105 248 0 5724 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 58628 [startup+6.30043 s] /proc/loadavg: 1.02 1.07 1.32 4/182 18409 /proc/meminfo: memFree=29571708/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=16432 CPUtime=1.44 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 6264 14917 0 0 41 16 82 5 20 0 1 0 288951317 16826368 3561 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18383/statm: 4108 3561 164 439 0 3665 0 [pid=18406] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18406/stat : 18406 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288951463 9367552 267 33554432000 4194304 5064252 140733671225344 140733671224256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18406/statm: 2287 267 226 213 0 72 0 [pid=18407] ppid=18406 vsize=35672 CPUtime=4.83 cores=1,3,5,7 /proc/18407/stat : 18407 (glucose) R 18406 18382 18338 0 -1 4202496 7096 0 0 0 482 1 0 0 20 0 1 0 288951463 36528128 7413 33554432000 4194304 5208918 140734452999952 140734452996328 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18407/statm: 8918 7413 105 248 0 8667 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 70400 [startup+12.7005 s] /proc/loadavg: 1.18 1.11 1.33 4/183 18417 /proc/meminfo: memFree=29535576/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=7.68 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 8745 26714 0 0 47 17 694 10 20 0 1 0 288951317 18923520 4119 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18383/statm: 4620 4119 164 439 0 4177 0 [pid=18416] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18416/stat : 18416 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288952088 9367552 266 33554432000 4194304 5064252 140733911888192 140733911887104 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18416/statm: 2287 266 226 213 0 72 0 [pid=18417] ppid=18416 vsize=35708 CPUtime=4.99 cores=1,3,5,7 /proc/18417/stat : 18417 (glucose) R 18416 18382 18338 0 -1 4202496 7384 0 0 0 497 2 0 0 20 0 1 0 288952088 36564992 8353 33554432000 4194304 5208918 140736609176928 140736609173304 4205256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18417/statm: 8927 8353 105 248 0 8676 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 72484 [startup+25.5004 s] /proc/loadavg: 1.44 1.16 1.35 4/183 18438 /proc/meminfo: memFree=29527544/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=23.95 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 16191 59278 0 0 66 20 2285 24 20 0 1 0 288951317 18923520 4119 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18383/statm: 4620 4119 164 439 0 4177 0 [pid=18437] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18437/stat : 18437 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288953714 9367552 267 33554432000 4194304 5064252 140733725079600 140733725078512 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18437/statm: 2287 267 226 213 0 72 0 [pid=18438] ppid=18437 vsize=23704 CPUtime=1.52 cores=1,3,5,7 /proc/18438/stat : 18438 (glucose) R 18437 18382 18338 0 -1 4202496 5563 0 0 0 151 1 0 0 20 0 1 0 288953714 24272896 5297 33554432000 4194304 5208918 140733554661232 140733554658984 4211620 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18438/statm: 5926 5297 105 248 0 5675 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 60480 [startup+51.1005 s] /proc/loadavg: 1.63 1.23 1.36 4/183 18473 /proc/meminfo: memFree=29516552/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=48.65 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 28601 114712 0 0 97 25 4694 49 20 0 1 0 288951317 18923520 4119 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18383/statm: 4620 4119 164 439 0 4177 0 [pid=18472] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18472/stat : 18472 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288956185 9367552 267 33554432000 4194304 5064252 140737262514048 140737262512960 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18472/statm: 2287 267 226 213 0 72 0 [pid=18473] ppid=18472 vsize=31296 CPUtime=2.41 cores=1,3,5,7 /proc/18473/stat : 18473 (glucose) R 18472 18382 18338 0 -1 4202496 6436 0 0 0 240 1 0 0 20 0 1 0 288956185 32047104 7054 33554432000 4194304 5208918 140736983136848 140736983134696 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18473/statm: 7824 7054 105 248 0 7573 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 68072 [startup+102.307 s] /proc/loadavg: 1.84 1.35 1.39 4/183 18543 /proc/meminfo: memFree=29515940/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=101.6 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 53421 225488 0 0 159 36 9870 95 20 0 1 0 288951317 18923520 4119 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18383/statm: 4620 4119 164 439 0 4177 0 [pid=18542] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18542/stat : 18542 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288961496 9367552 267 33554432000 4194304 5064252 140734761791856 140734761790768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18542/statm: 2287 267 226 213 0 72 0 [pid=18543] ppid=18542 vsize=22996 CPUtime=0.51 cores=1,3,5,7 /proc/18543/stat : 18543 (glucose) R 18542 18382 18338 0 -1 4202496 4541 0 0 0 50 1 0 0 20 0 1 0 288961496 23547904 4903 33554432000 4194304 5208918 140736321227072 140734761790792 4229347 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18543/statm: 5749 4903 105 248 0 5498 0 Current children cumulated CPU time (s) 102.11 Current children cumulated vsize (KiB) 59772 [startup+162.3 s] /proc/loadavg: 1.94 1.46 1.43 4/183 18627 /proc/meminfo: memFree=29503764/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=160.94 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 83205 358946 0 0 232 50 15662 150 20 0 1 0 288951317 18923520 4119 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18383/statm: 4620 4119 164 439 0 4177 0 [pid=18626] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18626/stat : 18626 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288967433 9367552 266 33554432000 4194304 5064252 140736444183312 140736444182224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18626/statm: 2287 266 226 213 0 72 0 [pid=18627] ppid=18626 vsize=23540 CPUtime=1.12 cores=1,3,5,7 /proc/18627/stat : 18627 (glucose) R 18626 18382 18338 0 -1 4202496 5470 0 0 0 111 1 0 0 20 0 1 0 288967433 24104960 5220 33554432000 4194304 5208918 140735962866048 140735962863880 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18627/statm: 5885 5220 105 248 0 5634 0 Current children cumulated CPU time (s) 162.06 ################ # More data... # ################ /proc/meminfo: memFree=29482472/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1421.26 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 774901 3334783 0 0 1890 360 138413 1463 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 Current children cumulated CPU time (s) 1421.26 Current children cumulated vsize (KiB) 27628 [startup+1482.3 s] /proc/loadavg: 2.03 2.00 1.84 4/183 20709 /proc/meminfo: memFree=29463352/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1477.22 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 799041 3437050 0 0 1947 371 143894 1510 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 [pid=20708] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20708/stat : 20708 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289099149 9367552 266 33554432000 4194304 5064252 140736809406352 140736809405264 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/20708/statm: 2287 266 226 213 0 72 0 [pid=20709] ppid=20708 vsize=30408 CPUtime=3.97 cores=1,3,5,7 /proc/20709/stat : 20709 (glucose) R 20708 18382 18338 0 -1 4202496 6585 0 0 0 396 1 0 0 20 0 1 0 289099149 31137792 6640 33554432000 4194304 5208918 140736023856144 140736023852456 4212454 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20709/statm: 7602 6640 105 248 0 7351 0 Current children cumulated CPU time (s) 1481.19 Current children cumulated vsize (KiB) 67184 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 2.03 2.00 1.84 4/183 20709 /proc/meminfo: memFree=29457148/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1483.18 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 801455 3447735 0 0 1953 372 144478 1515 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 Current children cumulated CPU time (s) 1483.18 Current children cumulated vsize (KiB) 27628 [startup+1497.5 s] /proc/loadavg: 2.02 2.00 1.84 4/183 20723 /proc/meminfo: memFree=29457204/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1490.17 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 803869 3458391 0 0 1959 373 145166 1519 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 [pid=20722] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20722/stat : 20722 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289100444 9367552 267 33554432000 4194304 5064252 140735584423104 140735584422016 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/20722/statm: 2287 267 226 213 0 72 0 [pid=20723] ppid=20722 vsize=30388 CPUtime=6.22 cores=1,3,5,7 /proc/20723/stat : 20723 (glucose) R 20722 18382 18338 0 -1 4202496 6356 0 0 0 621 1 0 0 20 0 1 0 289100445 31117312 6949 33554432000 4194304 5208918 140734406425744 140734406423688 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20723/statm: 7597 6949 105 248 0 7346 0 Current children cumulated CPU time (s) 1496.39 Current children cumulated vsize (KiB) 67164 [startup+1510.31 s] /proc/loadavg: 2.02 2.00 1.84 4/183 20737 /proc/meminfo: memFree=29456888/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1504.05 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 808697 3479409 0 0 1971 375 146531 1528 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 [pid=20736] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20736/stat : 20736 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289101833 9367552 266 33554432000 4194304 5064252 140735891316800 140735891315712 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/20736/statm: 2287 266 226 213 0 72 0 [pid=20737] ppid=20736 vsize=30400 CPUtime=5.14 cores=1,3,5,7 /proc/20737/stat : 20737 (glucose) R 20736 18382 18338 0 -1 4202496 6132 0 0 0 513 1 0 0 20 0 1 0 289101833 31129600 6835 33554432000 4194304 5208918 140735835615904 140735835613848 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20737/statm: 7600 6835 105 248 0 7349 0 Current children cumulated CPU time (s) 1509.19 Current children cumulated vsize (KiB) 67176 [startup+1516.7 s] /proc/loadavg: 2.02 2.00 1.84 4/183 20737 /proc/meminfo: memFree=29444912/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1504.05 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 808697 3479409 0 0 1971 375 146531 1528 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 [pid=20736] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20736/stat : 20736 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289101833 9367552 266 33554432000 4194304 5064252 140735891316800 140735891315712 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/20736/statm: 2287 266 226 213 0 72 0 [pid=20737] ppid=20736 vsize=30400 CPUtime=11.53 cores=1,3,5,7 /proc/20737/stat : 20737 (glucose) R 20736 18382 18338 0 -1 4202496 6568 0 0 0 1152 1 0 0 20 0 1 0 289101833 31129600 7057 33554432000 4194304 5208918 140735835615904 140735835613992 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20737/statm: 7600 7057 105 248 0 7349 0 Current children cumulated CPU time (s) 1515.58 Current children cumulated vsize (KiB) 67176 [startup+1518.3 s] /proc/loadavg: 2.02 2.00 1.84 4/183 20737 /proc/meminfo: memFree=29453228/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1504.05 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 808697 3479409 0 0 1971 375 146531 1528 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 [pid=20736] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20736/stat : 20736 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289101833 9367552 266 33554432000 4194304 5064252 140735891316800 140735891315712 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/20736/statm: 2287 266 226 213 0 72 0 [pid=20737] ppid=20736 vsize=41896 CPUtime=13.13 cores=1,3,5,7 /proc/20737/stat : 20737 (glucose) R 20736 18382 18338 0 -1 4202496 6763 0 0 0 1312 1 0 0 20 0 1 0 289101833 42901504 7761 33554432000 4194304 5208918 140735835615904 140735835613848 4213115 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20737/statm: 10474 7761 105 248 0 10223 0 Current children cumulated CPU time (s) 1517.18 Current children cumulated vsize (KiB) 78672 [startup+1519.9 s] /proc/loadavg: 2.02 2.00 1.84 4/183 20737 /proc/meminfo: memFree=29450560/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1504.05 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 808697 3479409 0 0 1971 375 146531 1528 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 [pid=20736] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20736/stat : 20736 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289101833 9367552 266 33554432000 4194304 5064252 140735891316800 140735891315712 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/20736/statm: 2287 266 226 213 0 72 0 [pid=20737] ppid=20736 vsize=41896 CPUtime=14.72 cores=1,3,5,7 /proc/20737/stat : 20737 (glucose) R 20736 18382 18338 0 -1 4202496 6864 0 0 0 1471 1 0 0 20 0 1 0 289101833 42901504 8373 33554432000 4194304 5208918 140735835615904 140735835613848 4211888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20737/statm: 10474 8373 105 248 0 10223 0 Current children cumulated CPU time (s) 1518.77 Current children cumulated vsize (KiB) 78672 [startup+1520.3 s] /proc/loadavg: 2.02 2.00 1.84 4/183 20737 /proc/meminfo: memFree=29450684/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1504.05 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 808697 3479409 0 0 1971 375 146531 1528 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604005488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 [pid=20736] ppid=18383 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20736/stat : 20736 (satsolver.sh) S 18383 18382 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289101833 9367552 266 33554432000 4194304 5064252 140735891316800 140735891315712 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/20736/statm: 2287 266 226 213 0 72 0 [pid=20737] ppid=20736 vsize=41896 CPUtime=15.12 cores=1,3,5,7 /proc/20737/stat : 20737 (glucose) R 20736 18382 18338 0 -1 4202496 6864 0 0 0 1511 1 0 0 20 0 1 0 289101833 42901504 8373 33554432000 4194304 5208918 140735835615904 140735835613848 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20737/statm: 10474 8373 105 248 0 10223 0 Current children cumulated CPU time (s) 1519.17 Current children cumulated vsize (KiB) 78672 [startup+1520.5 s] /proc/loadavg: 2.02 2.00 1.84 4/183 20737 /proc/meminfo: memFree=29450684/32873844 swapFree=7388/7388 [pid=18382] ppid=18380 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18382/stat : 18382 (npSolver-wbo-It) S 18380 18382 18338 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288951317 9367552 274 33554432000 4194304 5064252 140734618938768 140734618937680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18382/statm: 2287 274 233 213 0 72 0 [pid=18383] ppid=18382 vsize=18480 CPUtime=1519.39 cores=1,3,5,7 /proc/18383/stat : 18383 (npSolver-wbo) S 18382 18382 18338 0 -1 4202496 808704 3486881 0 0 1971 375 148062 1531 20 0 1 0 288951317 18923520 4051 33554432000 4194304 5990268 140736604014064 140736604004976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0 /proc/18383/statm: 4620 4051 164 439 0 4177 0 Current children cumulated CPU time (s) 1519.39 Current children cumulated vsize (KiB) 27628 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): 8.29987 # lost CPU user time (s): 8.26996 # lost CPU system time (s): 0.0300007 Real time (s): 1520.51 CPU time (s): 1527.73 CPU user time (s): 1508.61 CPU system time (s): 19.1181 CPU usage (%): 100.475 Max. virtual memory (cumulated for all children) (KiB): 78696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1500.34 system time used= 19.0881 maximum resident set size= 39640 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4298975 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3715656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 43573 involuntary context switches= 4992 runsolver used 3.33249 second user time and 9.99448 second system time The end
Begin job on node147 at 2012-05-28 20:04:29 IDJOB=3714734 IDBENCH=79448 IDSOLVER=2296 FILE ID=node147/3714734-1338228269 RUNJOBID= node147-1338228269-18355 PBS_JOBID= 14624632 Free space on /tmp= 71672 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/driver/normalized-driverlog08ac_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3714734-1338228269/watcher-3714734-1338228269 -o /tmp/evaluation-result-3714734-1338228269/solver-3714734-1338228269 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714734-1338228269.wbo 59305908 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 62397aa7c126b847e0d119b2fed1111c RANDOM SEED=59305908 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: 30393524 kB Buffers: 391448 kB Cached: 1254008 kB SwapCached: 5068 kB Active: 670192 kB Inactive: 982440 kB Active(anon): 1812 kB Inactive(anon): 7584 kB Active(file): 668380 kB Inactive(file): 974856 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67098668 kB Dirty: 19044 kB Writeback: 0 kB AnonPages: 10280 kB Mapped: 9276 kB Shmem: 0 kB Slab: 687100 kB SReclaimable: 127768 kB SUnreclaim: 559332 kB KernelStack: 1376 kB PageTables: 3504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 106148 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71484 MiB End job on node147 at 2012-05-28 20:29:50