Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.07 | 1800.15 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos16.opb |
MD5SUM | 49459e9c72edb2754f1d384319cf8731 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 114 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 114 |
Optimality of the best value was proved | NO |
Number of variables | 464 |
Total number of constraints | 1059 |
Number of constraints which are clauses | 336 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 723 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 128 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 138 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 535 |
Number of bits of the biggest sum of numbers | 10 |
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.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460901-1307072582.opb. 0.00/0.00 c Instance file HOME/instance-3460901-1307072582.opb 0.00/0.00 c File size is 54761 bytes. 0.00/0.00 c Highest Coefficient sum: 535 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 464 | 0.00/0.00 c | Number Clauses: 376 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 693 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 464 1069 6192 | 5000 0 -nan | 0.000 % | 0.00/0.01 c core #1 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 1 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #2 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 2 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #3 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 8 Core Weight: 2 Total Weight: 4 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 480 1098 6217 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #4 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 11 Core Weight: 1 Total Weight: 5 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 488 1104 6228 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #5 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 6 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 495 1110 6237 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #6 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 7 Core Weight: 2 Total Weight: 8 0.00/0.01 c Current CPU time: 0.013997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 501 1115 6254 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #7 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 12 Core Weight: 1 Total Weight: 9 0.00/0.01 c Current CPU time: 0.017997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 511 1122 6274 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #8 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 12 Core Weight: 1 Total Weight: 10 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 520 1127 6288 | 5000 0 -nan | 0.000 % | 0.00/0.02 c | 100 | 519 1127 6288 | 5500 100 9 | 0.955 % | 0.00/0.03 c =============================================================================== 0.03/0.03 c core #9 0.03/0.03 c 0.03/0.03 c 0.03/0.03 c Core size: 5 Core Weight: 6 Total Weight: 16 0.03/0.03 c Current CPU time: 0.030995 s 0.03/0.03 c 0.03/0.03 c ============================[ Search Statistics ]============================== 0.03/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.03 c =============================================================================== 0.03/0.03 c | 0 | 525 1131 6310 | 5000 0 -nan | 0.000 % | 0.03/0.03 c | 100 | 525 1131 6310 | 5500 100 9 | 0.593 % | 0.03/0.04 c | 251 | 525 1131 6310 | 6050 251 11 | 0.593 % | 0.03/0.05 c | 481 | 523 1131 6310 | 6655 481 11 | 2.083 % | 0.03/0.06 c =============================================================================== 0.03/0.06 c core #10 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 14 Core Weight: 1 Total Weight: 17 0.03/0.06 c Current CPU time: 0.057991 s 0.03/0.06 c 0.03/0.06 c ============================[ Search Statistics ]============================== 0.03/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.06 c =============================================================================== 0.03/0.06 c | 0 | 538 1138 6339 | 5000 0 -nan | 0.000 % | 0.03/0.06 c | 100 | 538 1138 6339 | 5500 100 9 | 0.566 % | 0.03/0.07 c | 250 | 538 1138 6339 | 6050 250 12 | 0.566 % | 0.03/0.07 c | 475 | 538 1138 6339 | 6655 475 13 | 0.566 % | 0.03/0.09 c | 813 | 538 1138 6339 | 7320 813 14 | 0.566 % | 0.09/0.11 c | 1319 | 538 1138 6339 | 8052 1319 13 | 0.555 % | 0.09/0.15 c | 2078 | 537 1138 6339 | 8857 2078 13 | 0.740 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #11 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 16 Core Weight: 1 Total Weight: 18 0.09/0.15 c Current CPU time: 0.149977 s 0.09/0.15 c 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 552 1142 6364 | 5000 0 -nan | 0.000 % | 0.09/0.16 c | 100 | 552 1142 6364 | 5500 100 9 | 0.544 % | 0.09/0.16 c | 250 | 552 1142 6364 | 6050 250 12 | 0.544 % | 0.09/0.17 c | 475 | 552 1142 6364 | 6655 475 13 | 0.541 % | 0.09/0.19 c | 816 | 552 1142 6364 | 7320 816 12 | 0.541 % | 0.19/0.21 c | 1322 | 552 1142 6364 | 8052 1322 12 | 0.542 % | 0.19/0.23 c =============================================================================== 0.19/0.24 c core #12 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 14 Core Weight: 1 Total Weight: 19 0.19/0.24 c Current CPU time: 0.233964 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 563 1146 6383 | 5000 0 -nan | 0.000 % | 0.19/0.24 c | 101 | 563 1146 6383 | 5500 101 9 | 0.532 % | 0.19/0.25 c | 252 | 563 1146 6383 | 6050 252 10 | 0.532 % | 0.19/0.26 c | 477 | 563 1146 6383 | 6655 477 11 | 0.530 % | 0.19/0.27 c | 814 | 563 1146 6383 | 7320 814 11 | 0.530 % | 0.29/0.30 c | 1320 | 563 1146 6383 | 8052 1320 11 | 0.530 % | 0.29/0.34 c | 2079 | 563 1146 6383 | 8857 2079 11 | 0.530 % | 0.29/0.39 c | 3221 | 563 1146 6383 | 9743 3221 12 | 0.531 % | 0.39/0.47 c | 4930 | 562 1146 6383 | 10717 4930 12 | 0.707 % | 0.49/0.52 c =============================================================================== 0.49/0.53 c core #13 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 11 Core Weight: 1 Total Weight: 20 0.49/0.53 c Current CPU time: 0.52092 s 0.49/0.53 c 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 573 1150 6400 | 5000 0 -nan | 0.000 % | 0.49/0.53 c | 101 | 573 1150 6400 | 5500 101 9 | 0.523 % | 0.49/0.54 c | 252 | 573 1150 6400 | 6050 252 10 | 0.523 % | 0.49/0.55 c | 477 | 573 1150 6400 | 6655 477 11 | 0.521 % | 0.49/0.56 c | 814 | 573 1150 6400 | 7320 814 11 | 0.521 % | 0.49/0.59 c | 1320 | 573 1150 6400 | 8052 1320 11 | 0.521 % | 0.59/0.63 c | 2079 | 573 1150 6400 | 8857 2079 11 | 0.521 % | 0.59/0.67 c | 3219 | 573 1150 6400 | 9743 3219 12 | 0.521 % | 0.69/0.74 c | 4929 | 573 1150 6400 | 10717 4929 13 | 0.521 % | 0.79/0.85 c | 7492 | 573 1150 6400 | 11789 7492 13 | 0.521 % | 1.00/1.03 c | 11337 | 573 1150 6400 | 12968 11337 14 | 0.521 % | 1.39/1.40 c | 17103 | 573 1150 6400 | 14265 10597 16 | 0.521 % | 1.89/1.94 c | 25752 | 573 1150 6400 | 15692 12083 16 | 0.521 % | 2.69/2.78 c | 38726 | 573 1150 6400 | 17261 9324 14 | 0.521 % | 4.09/4.10 c | 58189 | 571 1150 6400 | 18987 11480 13 | 0.869 % | 4.41/4.44 c =============================================================================== 4.41/4.45 c core #14 4.41/4.45 c 4.41/4.45 c 4.41/4.45 c Core size: 4 Core Weight: 12 Total Weight: 32 4.41/4.45 c Current CPU time: 4.39033 s 4.41/4.45 c 4.41/4.45 c ============================[ Search Statistics ]============================== 4.41/4.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.41/4.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.41/4.45 c =============================================================================== 4.41/4.45 c | 0 | 577 1155 6437 | 5000 0 -nan | 0.000 % | 4.41/4.46 c | 101 | 577 1155 6437 | 5500 101 9 | 0.346 % | 4.41/4.46 c | 252 | 577 1155 6437 | 6050 252 10 | 0.346 % | 4.41/4.48 c | 477 | 577 1155 6437 | 6655 477 12 | 0.346 % | 4.49/4.50 c | 814 | 577 1155 6437 | 7320 814 14 | 0.346 % | 4.49/4.53 c | 1321 | 577 1155 6437 | 8052 1321 14 | 0.346 % | 4.49/4.56 c | 2082 | 577 1155 6437 | 8857 2082 15 | 0.346 % | 4.59/4.60 c | 3221 | 577 1155 6437 | 9743 3221 17 | 0.346 % | 4.59/4.67 c | 4930 | 577 1155 6437 | 10717 4930 19 | 0.346 % | 4.69/4.78 c | 7492 | 577 1155 6437 | 11789 7492 19 | 0.346 % | 4.99/5.00 c | 11338 | 577 1155 6437 | 12968 11338 20 | 0.346 % | 5.29/5.32 c | 17106 | 577 1155 6437 | 14265 10541 21 | 0.346 % | 5.87/5.91 c | 25756 | 577 1155 6437 | 15692 11975 20 | 0.346 % | 6.57/6.68 c | 38731 | 577 1155 6437 | 17261 9137 17 | 0.346 % | 7.83/7.93 c | 58192 | 577 1155 6437 | 18987 11245 18 | 0.346 % | 10.10/10.23 c | 87384 | 577 1155 6437 | 20886 11911 18 | 0.346 % | 13.17/13.38 c | 131175 | 577 1155 6437 | 22974 13739 19 | 0.346 % | 16.39/16.59 c =============================================================================== 16.58/16.71 c core #15 16.58/16.71 c 16.58/16.71 c 16.58/16.71 c Core size: 26 Core Weight: 1 Total Weight: 33 16.58/16.71 c Current CPU time: 16.3755 s 16.58/16.71 c 16.58/16.71 c ============================[ Search Statistics ]============================== 16.58/16.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.58/16.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.58/16.72 c =============================================================================== 16.58/16.72 c | 0 | 601 1165 6501 | 5000 0 -nan | 0.000 % | 16.58/16.72 c | 101 | 601 1165 6501 | 5500 101 9 | 0.332 % | 16.58/16.72 c | 252 | 601 1165 6501 | 6050 252 10 | 0.332 % | 16.58/16.73 c | 480 | 601 1165 6501 | 6655 480 16 | 0.332 % | 16.58/16.74 c | 818 | 601 1165 6501 | 7320 818 16 | 0.332 % | 16.58/16.76 c | 1324 | 601 1165 6501 | 8052 1324 18 | 0.332 % | 16.58/16.79 c | 2086 | 601 1165 6501 | 8857 2086 18 | 0.332 % | 16.68/16.84 c | 3226 | 601 1165 6501 | 9743 3226 18 | 0.332 % | 16.78/16.90 c | 4934 | 601 1165 6501 | 10717 4934 17 | 0.332 % | 16.88/17.01 c | 7496 | 601 1165 6501 | 11789 7496 16 | 0.332 % | 17.08/17.21 c | 11343 | 601 1165 6501 | 12968 11343 16 | 0.332 % | 17.38/17.53 c | 17110 | 601 1165 6501 | 14265 10606 15 | 0.332 % | 17.88/18.06 c | 25759 | 601 1165 6501 | 15692 12097 14 | 0.332 % | 18.78/18.98 c | 38734 | 601 1165 6501 | 17261 9355 14 | 0.332 % | 20.17/20.32 c | 58196 | 601 1165 6501 | 18987 11497 18 | 0.340 % | 22.08/22.20 c | 87389 | 601 1165 6501 | 20886 12089 19 | 0.332 % | 25.08/25.26 c | 131178 | 601 1165 6501 | 22974 13994 18 | 0.332 % | 30.38/30.52 c | 196863 | 601 1165 6501 | 25272 20737 17 | 0.334 % | 37.57/37.79 c =============================================================================== 37.78/37.91 c core #16 37.78/37.91 c 37.78/37.91 c 37.78/37.91 c Core size: 25 Core Weight: 1 Total Weight: 34 37.78/37.91 c Current CPU time: 37.3533 s 37.78/37.91 c 37.78/37.91 c ============================[ Search Statistics ]============================== 37.78/37.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.78/37.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.78/37.91 c =============================================================================== 37.78/37.91 c | 0 | 619 1173 6547 | 5000 0 -nan | 0.000 % | 37.78/37.91 c | 101 | 619 1173 6547 | 5500 101 9 | 0.322 % | 37.78/37.92 c | 252 | 619 1173 6547 | 6050 252 10 | 0.322 % | 37.78/37.93 c | 477 | 619 1173 6547 | 6655 477 18 | 0.322 % | 37.78/37.94 c | 815 | 619 1173 6547 | 7320 815 20 | 0.322 % | 37.78/37.97 c | 1322 | 619 1173 6547 | 8052 1322 19 | 0.322 % | 37.88/38.01 c | 2081 | 619 1173 6547 | 8857 2081 19 | 0.322 % | 37.88/38.07 c | 3222 | 619 1173 6547 | 9743 3222 18 | 0.322 % | 37.98/38.15 c | 4932 | 619 1173 6547 | 10717 4932 18 | 0.322 % | 38.17/38.30 c | 7494 | 619 1173 6547 | 11789 7494 19 | 0.322 % | 38.39/38.52 c | 11339 | 619 1173 6547 | 12968 11339 20 | 0.322 % | 38.78/38.93 c | 17106 | 619 1173 6547 | 14265 10610 20 | 0.322 % | 39.27/39.48 c | 25755 | 619 1173 6547 | 15692 12088 20 | 0.322 % | 40.08/40.28 c | 38729 | 619 1173 6547 | 17261 9313 18 | 0.322 % | 41.37/41.53 c | 58190 | 619 1173 6547 | 18987 11445 18 | 0.322 % | 43.58/43.75 c | 87383 | 619 1173 6547 | 20886 12057 20 | 0.322 % | 46.98/47.15 c | 131172 | 619 1173 6547 | 22974 13932 19 | 0.322 % | 51.88/52.04 c | 196858 | 619 1173 6547 | 25272 20293 19 | 0.322 % | 59.68/59.84 c | 295386 | 619 1173 6547 | 27799 20570 20 | 0.322 % | 73.07/73.21 c | 443175 | 618 1173 6547 | 30579 20921 18 | 0.484 % | 83.67/83.89 c =============================================================================== 83.97/84.14 c core #17 83.97/84.14 c 83.97/84.14 c 83.97/84.14 c Core size: 18 Core Weight: 1 Total Weight: 35 83.97/84.14 c Current CPU time: 83.0944 s 83.97/84.14 c 83.97/84.14 c ============================[ Search Statistics ]============================== 83.97/84.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.97/84.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.97/84.14 c =============================================================================== 83.97/84.14 c | 0 | 632 1183 6590 | 5000 0 -nan | 0.000 % | 83.97/84.15 c | 101 | 632 1183 6590 | 5500 101 9 | 0.316 % | 83.97/84.15 c | 251 | 632 1183 6590 | 6050 251 10 | 0.316 % | 83.97/84.16 c | 477 | 632 1183 6590 | 6655 477 17 | 0.316 % | 83.97/84.17 c | 814 | 632 1183 6590 | 7320 814 19 | 0.316 % | 84.07/84.20 c | 1321 | 632 1183 6590 | 8052 1321 19 | 0.316 % | 84.07/84.23 c | 2080 | 632 1183 6590 | 8857 2080 21 | 0.316 % | 84.07/84.29 c | 3220 | 632 1183 6590 | 9743 3220 22 | 0.316 % | 84.18/84.37 c | 4928 | 632 1183 6590 | 10717 4928 22 | 0.316 % | 84.38/84.51 c | 7492 | 632 1183 6590 | 11789 7492 22 | 0.316 % | 84.60/84.72 c | 11336 | 632 1183 6590 | 12968 11336 21 | 0.316 % | 84.97/85.15 c | 17102 | 632 1183 6590 | 14265 10563 21 | 0.316 % | 85.58/85.72 c | 25753 | 632 1183 6590 | 15692 12039 20 | 0.316 % | 86.58/86.75 c | 38728 | 632 1183 6590 | 17261 9249 22 | 0.316 % | 87.97/88.14 c | 58193 | 632 1183 6590 | 18987 11379 22 | 0.316 % | 90.09/90.25 c | 87386 | 632 1183 6590 | 20886 11918 21 | 0.316 % | 93.57/93.77 c | 131177 | 632 1183 6590 | 22974 13798 21 | 0.316 % | 98.47/98.61 c | 196864 | 632 1183 6590 | 25272 20616 20 | 0.316 % | 106.38/106.54 c | 295390 | 632 1183 6590 | 27799 21001 21 | 0.316 % | 120.37/120.50 c | 443180 | 632 1183 6590 | 30579 20265 23 | 0.316 % | 140.18/140.30 c | 664864 | 632 1183 6590 | 33637 13749 21 | 0.316 % | 171.58/171.77 c | 997389 | 632 1183 6590 | 37001 15998 20 | 0.316 % | 220.27/220.45 c | 1496178 | 631 1183 6590 | 40701 12322 20 | 0.474 % | 279.68/279.84 c =============================================================================== 280.48/280.70 c core #18 280.48/280.70 c 280.48/280.70 c 280.48/280.70 c Core size: 5 Core Weight: 3 Total Weight: 38 280.48/280.70 c Current CPU time: 277.465 s 280.48/280.70 c 280.48/280.70 c ============================[ Search Statistics ]============================== 280.48/280.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 280.48/280.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 280.48/280.70 c =============================================================================== 280.48/280.70 c | 0 | 636 1197 6629 | 5000 0 -nan | 0.000 % | 280.58/280.70 c | 101 | 636 1197 6629 | 5500 101 10 | 0.314 % | 280.58/280.71 c | 251 | 636 1197 6629 | 6050 251 10 | 0.314 % | 280.58/280.72 c | 476 | 636 1197 6629 | 6655 476 17 | 0.314 % | 280.58/280.73 c | 813 | 636 1197 6629 | 7320 813 19 | 0.314 % | 280.58/280.75 c | 1319 | 636 1197 6629 | 8052 1319 20 | 0.314 % | 280.58/280.78 c | 2078 | 636 1197 6629 | 8857 2078 19 | 0.314 % | 280.68/280.85 c | 3218 | 636 1197 6629 | 9743 3218 20 | 0.314 % | 280.78/280.93 c | 4926 | 636 1197 6629 | 10717 4926 21 | 0.314 % | 280.88/281.08 c | 7488 | 636 1197 6629 | 11789 7488 21 | 0.314 % | 281.18/281.31 c | 11332 | 636 1197 6629 | 12968 11332 22 | 0.314 % | 281.68/281.84 c | 17099 | 636 1197 6629 | 14265 10564 23 | 0.314 % | 282.38/282.60 c | 25748 | 636 1197 6629 | 15692 12045 23 | 0.314 % | 283.70/283.87 c | 38722 | 636 1197 6629 | 17261 9232 23 | 0.314 % | 285.38/285.52 c | 58184 | 636 1197 6629 | 18987 11333 24 | 0.314 % | 287.99/288.13 c | 87376 | 636 1197 6629 | 20886 11932 22 | 0.314 % | 291.78/291.97 c | 131165 | 636 1197 6629 | 22974 13838 21 | 0.314 % | 297.28/297.45 c | 196849 | 636 1197 6629 | 25272 21296 22 | 0.314 % | 305.48/305.65 c | 295376 | 636 1197 6629 | 27799 21603 23 | 0.314 % | 318.08/318.23 c | 443166 | 636 1197 6629 | 30579 21347 21 | 0.314 % | 338.70/338.82 c | 664850 | 636 1197 6629 | 33637 13298 23 | 0.314 % | 369.08/369.29 c | 997375 | 636 1197 6629 | 37001 14969 22 | 0.314 % | 414.98/415.10 c | 1496163 | 636 1197 6629 | 40701 34694 21 | 0.314 % | 489.89/490.06 c =============================================================================== 490.79/490.98 c core #19 490.79/490.98 c 490.79/490.98 c 490.79/490.98 c Core size: 17 Core Weight: 1 Total Weight: 39 490.79/490.98 c Current CPU time: 486.013 s 490.79/490.98 c 490.79/490.98 c ============================[ Search Statistics ]============================== 490.79/490.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 490.79/490.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 490.79/490.98 c =============================================================================== 490.79/490.98 c | 0 | 648 1204 6663 | 5000 0 -nan | 0.000 % | 490.79/490.98 c | 101 | 648 1204 6663 | 5500 101 9 | 0.308 % | 490.79/490.99 c | 251 | 648 1204 6663 | 6050 251 10 | 0.308 % | 490.89/491.00 c | 477 | 648 1204 6663 | 6655 477 17 | 0.308 % | 490.89/491.01 c | 814 | 648 1204 6663 | 7320 814 21 | 0.308 % | 490.89/491.03 c | 1320 | 648 1204 6663 | 8052 1320 24 | 0.308 % | 490.89/491.06 c | 2080 | 648 1204 6663 | 8857 2080 25 | 0.308 % | 490.99/491.10 c | 3219 | 648 1204 6663 | 9743 3219 24 | 0.308 % | 490.99/491.19 c | 4928 | 648 1204 6663 | 10717 4928 22 | 0.308 % | 491.19/491.31 c | 7491 | 648 1204 6663 | 11789 7491 23 | 0.308 % | 491.38/491.54 c | 11335 | 648 1204 6663 | 12968 11335 23 | 0.308 % | 491.68/491.87 c | 17101 | 648 1204 6663 | 14265 10558 25 | 0.308 % | 492.28/492.41 c | 25752 | 648 1204 6663 | 15692 12010 26 | 0.308 % | 493.08/493.27 c | 38727 | 648 1204 6663 | 17261 9211 24 | 0.308 % | 494.58/494.79 c | 58188 | 648 1204 6663 | 18987 11332 24 | 0.308 % | 496.89/497.07 c | 87380 | 648 1204 6663 | 20886 11908 26 | 0.308 % | 500.48/500.67 c | 131170 | 648 1204 6663 | 22974 13755 25 | 0.308 % | 505.90/506.03 c | 196854 | 648 1204 6663 | 25272 20963 25 | 0.308 % | 514.19/514.34 c | 295381 | 648 1204 6663 | 27799 20900 25 | 0.308 % | 528.39/528.50 c | 443171 | 648 1204 6663 | 30579 20924 25 | 0.308 % | 548.08/548.21 c | 664855 | 648 1204 6663 | 33637 17152 23 | 0.308 % | 579.61/579.78 c | 997380 | 648 1204 6663 | 37001 21560 26 | 0.308 % | 629.38/629.57 c | 1496171 | 648 1204 6663 | 40701 17239 26 | 0.308 % | 711.61/711.78 c | 2244354 | 648 1204 6663 | 44771 24521 26 | 0.308 % | 836.39/836.56 c | 3366628 | 648 1204 6663 | 49248 44154 24 | 0.309 % | 1019.40/1019.58 c =============================================================================== 1022.80/1022.99 c core #20 1022.80/1022.99 c 1022.80/1022.99 c 1022.80/1022.99 c Core size: 33 Core Weight: 1 Total Weight: 40 1022.80/1022.99 c Current CPU time: 1013.05 s 1022.80/1022.99 c 1022.80/1022.99 c ============================[ Search Statistics ]============================== 1022.80/1022.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1022.80/1022.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1022.80/1022.99 c =============================================================================== 1022.80/1022.99 c | 0 | 676 1210 6726 | 5000 0 -nan | 0.000 % | 1022.80/1022.99 c | 100 | 676 1210 6726 | 5500 100 9 | 0.295 % | 1022.80/1023.00 c | 250 | 676 1210 6726 | 6050 250 10 | 0.295 % | 1022.80/1023.01 c | 476 | 676 1210 6726 | 6655 476 17 | 0.295 % | 1022.92/1023.02 c | 813 | 676 1210 6726 | 7320 813 17 | 0.295 % | 1022.92/1023.04 c | 1319 | 676 1210 6726 | 8052 1319 19 | 0.295 % | 1022.92/1023.08 c | 2078 | 676 1210 6726 | 8857 2078 21 | 0.295 % | 1023.00/1023.13 c | 3219 | 676 1210 6726 | 9743 3219 24 | 0.295 % | 1023.10/1023.21 c | 4927 | 676 1210 6726 | 10717 4927 25 | 0.295 % | 1023.20/1023.36 c | 7489 | 676 1210 6726 | 11789 7489 24 | 0.295 % | 1023.49/1023.60 c | 11333 | 676 1210 6726 | 12968 11333 25 | 0.295 % | 1023.80/1023.98 c | 17099 | 676 1210 6726 | 14265 10545 27 | 0.295 % | 1024.40/1024.56 c | 25750 | 676 1210 6726 | 15692 11997 26 | 0.295 % | 1025.30/1025.47 c | 38724 | 676 1210 6726 | 17261 9216 22 | 0.295 % | 1026.80/1026.90 c | 58185 | 676 1210 6726 | 18987 11316 23 | 0.295 % | 1029.10/1029.20 c | 87378 | 676 1210 6726 | 20886 11898 21 | 0.295 % | 1033.09/1033.27 c | 131167 | 676 1210 6726 | 22974 13675 25 | 0.295 % | 1039.42/1039.54 c | 196854 | 676 1210 6726 | 25272 21465 20 | 0.295 % | 1048.70/1048.80 c | 295382 | 676 1210 6726 | 27799 24871 26 | 0.295 % | 1064.50/1064.60 c | 443171 | 676 1210 6726 | 30579 12888 22 | 0.295 % | 1088.30/1088.43 c | 664854 | 676 1210 6726 | 33637 27510 25 | 0.295 % | 1125.00/1125.14 c | 997380 | 676 1210 6726 | 37001 19890 26 | 0.295 % | 1181.21/1181.33 c | 1496168 | 676 1210 6726 | 40701 26597 24 | 0.295 % | 1275.30/1275.44 c | 2244351 | 676 1210 6726 | 44771 18408 19 | 0.295 % | 1415.71/1415.86 c | 3366626 | 676 1210 6726 | 49248 22952 23 | 0.295 % | 1640.62/1640.73 c | 5050038 | 676 1210 6726 | 54173 32647 22 | 0.295 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3460901-1307072582/watcher-3460901-1307072582 -o /tmp/evaluation-result-3460901-1307072582/solver-3460901-1307072582 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460901-1307072582.opb 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: 2.01 2.03 2.00 2/535 8100 /proc/meminfo: memFree=25231372/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=2904 CPUtime=0 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 543 0 0 0 0 0 0 0 25 0 1 0 799674481 2973696 482 33554432000 4194304 5714214 140736194521904 18446744073709551615 4366144 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8100/statm: 726 482 175 372 0 351 0 [startup+0.031893 s] /proc/loadavg: 2.01 2.03 2.00 2/535 8100 /proc/meminfo: memFree=25231372/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=3328 CPUtime=0.03 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 637 0 0 0 3 0 0 0 18 0 1 0 799674481 3407872 576 33554432000 4194304 5714214 140736194521904 18446744073709551615 4967899 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8100/statm: 832 576 180 372 0 457 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3328 [startup+0.100903 s] /proc/loadavg: 2.01 2.03 2.00 2/535 8100 /proc/meminfo: memFree=25231372/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=3464 CPUtime=0.09 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 688 0 0 0 9 0 0 0 18 0 1 0 799674481 3547136 627 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8100/statm: 866 627 180 372 0 491 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3464 [startup+0.300868 s] /proc/loadavg: 2.01 2.03 2.00 2/535 8100 /proc/meminfo: memFree=25231372/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=4004 CPUtime=0.29 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 797 0 0 0 29 0 0 0 18 0 1 0 799674481 4100096 736 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8100/statm: 1001 736 180 372 0 626 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4004 [startup+0.70079 s] /proc/loadavg: 2.01 2.03 2.00 2/535 8100 /proc/meminfo: memFree=25231372/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=4956 CPUtime=0.69 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 1039 0 0 0 68 1 0 0 18 0 1 0 799674481 5074944 978 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8100/statm: 1239 978 180 372 0 864 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4956 [startup+1.50066 s] /proc/loadavg: 2.01 2.03 2.00 3/536 8101 /proc/meminfo: memFree=25225288/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=6752 CPUtime=1.49 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 1478 0 0 0 147 2 0 0 19 0 1 0 799674481 6914048 1417 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8100/statm: 1688 1417 180 372 0 1313 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6752 [startup+3.10037 s] /proc/loadavg: 2.01 2.03 2.00 3/536 8101 /proc/meminfo: memFree=25219024/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=9720 CPUtime=3.09 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 2238 0 0 0 305 4 0 0 25 0 1 0 799674481 9953280 2177 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8100/statm: 2430 2177 180 372 0 2055 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9720 [startup+6.30074 s] /proc/loadavg: 2.01 2.03 2.00 3/536 8102 /proc/meminfo: memFree=25209964/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=12160 CPUtime=6.27 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 2869 0 0 0 620 7 0 0 25 0 1 0 799674481 12451840 2774 33554432000 4194304 5714214 140736194521904 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/8100/statm: 3040 2774 180 372 0 2665 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 12160 [startup+12.7006 s] /proc/loadavg: 2.01 2.03 2.00 3/536 8102 /proc/meminfo: memFree=25202296/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=19708 CPUtime=12.58 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 4721 0 0 0 1245 13 0 0 25 0 1 0 799674481 20180992 4626 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 4927 4626 180 372 0 4552 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 19708 [startup+25.5004 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8102 /proc/meminfo: memFree=25193104/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=27484 CPUtime=25.38 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 6762 0 0 0 2513 25 0 0 25 0 1 0 799674481 28143616 6621 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 6871 6621 180 372 0 6496 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 27484 [startup+51.1008 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8103 /proc/meminfo: memFree=25170364/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=37820 CPUtime=50.98 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 9326 0 0 0 5052 46 0 0 25 0 1 0 799674481 38727680 9185 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 9455 9185 180 372 0 9080 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 37820 [startup+102.321 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8104 /proc/meminfo: memFree=25122952/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=66296 CPUtime=102.2 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 16478 0 0 0 10128 92 0 0 25 0 1 0 799674481 67887104 16277 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 16574 16277 180 372 0 16199 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 66296 [startup+162.301 s] /proc/loadavg: 2.10 2.04 2.01 3/536 8106 /proc/meminfo: memFree=25042040/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=102984 CPUtime=162.18 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 25668 0 0 0 16077 141 0 0 25 0 1 0 799674481 105455616 25467 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 25746 25467 180 372 0 25371 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 102984 [startup+222.301 s] /proc/loadavg: 2.08 2.05 2.01 3/536 8107 /proc/meminfo: memFree=24975388/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=165260 CPUtime=222.18 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 41200 0 0 0 22028 190 0 0 25 0 1 0 799674481 169226240 40999 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 41315 40999 180 372 0 40940 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 165260 [startup+282.3 s] /proc/loadavg: 2.03 2.04 2.00 3/536 8109 /proc/meminfo: memFree=24877140/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=225060 CPUtime=282.18 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 56075 0 0 0 27977 241 0 0 25 0 1 0 799674481 230461440 55874 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 56265 55874 180 372 0 55890 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 225060 [startup+342.301 s] /proc/loadavg: 2.14 2.06 2.01 3/536 8111 /proc/meminfo: memFree=24857344/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=225060 CPUtime=342.18 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 56125 0 0 0 33927 291 0 0 25 0 1 0 799674481 230461440 55924 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 56265 55924 180 372 0 55890 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 225060 [startup+402.301 s] /proc/loadavg: 2.11 2.06 2.01 3/536 8112 /proc/meminfo: memFree=24848120/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=225060 CPUtime=402.18 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 56181 0 0 0 39877 341 0 0 25 0 1 0 799674481 230461440 55980 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 56265 55980 180 372 0 55890 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 225060 [startup+462.3 s] /proc/loadavg: 2.04 2.05 2.00 3/536 8114 /proc/meminfo: memFree=24814712/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=225060 CPUtime=462.18 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 56213 0 0 0 45833 385 0 0 25 0 1 0 799674481 230461440 56012 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 56265 56012 180 372 0 55890 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 225060 [startup+522.3 s] /proc/loadavg: 2.01 2.04 2.00 3/536 8115 /proc/meminfo: memFree=24791964/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=242364 CPUtime=522.19 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 60526 0 0 0 51787 432 0 0 25 0 1 0 799674481 248180736 60325 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 60591 60325 180 372 0 60216 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 242364 [startup+582.301 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8117 /proc/meminfo: memFree=24792172/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=242364 CPUtime=582.19 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 60555 0 0 0 57741 478 0 0 25 0 1 0 799674481 248180736 60354 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 60591 60354 180 372 0 60216 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 242364 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.01 2.03 2.00 3/536 8125 /proc/meminfo: memFree=24572160/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=389992 CPUtime=882.2 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 97358 0 0 0 87523 697 0 0 25 0 1 0 799674481 399351808 97157 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 97498 97157 180 372 0 97123 0 Current children cumulated CPU time (s) 882.2 Current children cumulated vsize (KiB) 389992 [startup+942.3 s] /proc/loadavg: 2.07 2.05 2.01 3/536 8127 /proc/meminfo: memFree=24519300/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=440096 CPUtime=942.19 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 109845 0 0 0 93482 737 0 0 25 0 1 0 799674481 450658304 109644 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 110024 109644 180 372 0 109649 0 Current children cumulated CPU time (s) 942.19 Current children cumulated vsize (KiB) 440096 [startup+1002.3 s] /proc/loadavg: 2.06 2.05 2.01 3/536 8128 /proc/meminfo: memFree=24430100/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=496440 CPUtime=1002.2 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 123878 0 0 0 99439 781 0 0 25 0 1 0 799674481 508354560 123677 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 124110 123677 180 372 0 123735 0 Current children cumulated CPU time (s) 1002.2 Current children cumulated vsize (KiB) 496440 [startup+1062.3 s] /proc/loadavg: 2.02 2.04 2.00 3/536 8130 /proc/meminfo: memFree=24393324/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1062.2 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132816 0 0 0 105394 826 0 0 25 0 1 0 799674481 544968704 132615 33554432000 4194304 5714214 140736194521904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132615 180 372 0 132674 0 Current children cumulated CPU time (s) 1062.2 Current children cumulated vsize (KiB) 532196 [startup+1122.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8140 /proc/meminfo: memFree=24359448/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1122.2 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132857 0 0 0 111350 870 0 0 25 0 1 0 799674481 544968704 132656 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132656 180 372 0 132674 0 Current children cumulated CPU time (s) 1122.2 Current children cumulated vsize (KiB) 532196 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8142 /proc/meminfo: memFree=24350736/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1182.21 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132866 0 0 0 117309 912 0 0 25 0 1 0 799674481 544968704 132665 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132665 180 372 0 132674 0 Current children cumulated CPU time (s) 1182.21 Current children cumulated vsize (KiB) 532196 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8144 /proc/meminfo: memFree=24348308/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1242.2 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132866 0 0 0 123273 947 0 0 25 0 1 0 799674481 544968704 132665 33554432000 4194304 5714214 140736194521904 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132665 180 372 0 132674 0 Current children cumulated CPU time (s) 1242.2 Current children cumulated vsize (KiB) 532196 [startup+1302.3 s] /proc/loadavg: 2.07 2.04 2.01 3/536 8145 /proc/meminfo: memFree=24337728/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1302.22 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132866 0 0 0 129235 987 0 0 25 0 1 0 799674481 544968704 132665 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132665 180 372 0 132674 0 Current children cumulated CPU time (s) 1302.22 Current children cumulated vsize (KiB) 532196 [startup+1362.3 s] /proc/loadavg: 2.06 2.04 2.01 3/536 8147 /proc/meminfo: memFree=24333448/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1362.21 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132866 0 0 0 135198 1023 0 0 25 0 1 0 799674481 544968704 132665 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132665 180 372 0 132674 0 Current children cumulated CPU time (s) 1362.21 Current children cumulated vsize (KiB) 532196 [startup+1422.32 s] /proc/loadavg: 2.02 2.03 2.00 3/536 8148 /proc/meminfo: memFree=24332516/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1422.23 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132903 0 0 0 141157 1066 0 0 25 0 1 0 799674481 544968704 132702 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132702 180 372 0 132674 0 Current children cumulated CPU time (s) 1422.23 Current children cumulated vsize (KiB) 532196 [startup+1482.3 s] /proc/loadavg: 2.10 2.05 2.01 3/536 8150 /proc/meminfo: memFree=24324904/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1482.21 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132928 0 0 0 147119 1102 0 0 25 0 1 0 799674481 544968704 132727 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132727 180 372 0 132674 0 Current children cumulated CPU time (s) 1482.21 Current children cumulated vsize (KiB) 532196 [startup+1542.3 s] /proc/loadavg: 2.08 2.06 2.01 3/536 8152 /proc/meminfo: memFree=24312704/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1542.21 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132943 0 0 0 153083 1138 0 0 25 0 1 0 799674481 544968704 132742 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132742 180 372 0 132674 0 Current children cumulated CPU time (s) 1542.21 Current children cumulated vsize (KiB) 532196 [startup+1602.3 s] /proc/loadavg: 2.03 2.04 2.00 3/536 8153 /proc/meminfo: memFree=24304700/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=532196 CPUtime=1602.21 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 132973 0 0 0 159047 1174 0 0 25 0 1 0 799674481 544968704 132772 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133049 132772 180 372 0 132674 0 Current children cumulated CPU time (s) 1602.21 Current children cumulated vsize (KiB) 532196 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.00 3/536 8155 /proc/meminfo: memFree=24297448/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=533200 CPUtime=1662.22 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 133225 0 0 0 165010 1212 0 0 25 0 1 0 799674481 545996800 133024 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 133300 133024 180 372 0 132925 0 Current children cumulated CPU time (s) 1662.22 Current children cumulated vsize (KiB) 533200 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8156 /proc/meminfo: memFree=24247560/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=574280 CPUtime=1722.22 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 143475 0 0 0 170976 1246 0 0 25 0 1 0 799674481 588062720 143274 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 143570 143274 180 372 0 143195 0 Current children cumulated CPU time (s) 1722.22 Current children cumulated vsize (KiB) 574280 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8186 /proc/meminfo: memFree=24667156/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=615784 CPUtime=1782.22 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 153815 0 0 0 176935 1287 0 0 25 0 1 0 799674481 630562816 153614 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 153946 153614 180 372 0 153571 0 Current children cumulated CPU time (s) 1782.22 Current children cumulated vsize (KiB) 615784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8186 /proc/meminfo: memFree=24648940/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=628124 CPUtime=1800.03 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 156912 0 0 0 178707 1296 0 0 25 0 1 0 799674481 643198976 156711 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 157031 156711 180 372 0 156656 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 628124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8186 /proc/meminfo: memFree=24648940/32951124 swapFree=46970528/67111528 [pid=8100] ppid=8098 vsize=628124 CPUtime=1800.03 cores=0,2,4,6 /proc/8100/stat : 8100 (wbo1.6) R 8098 8100 6615 0 -1 4202496 156912 0 0 0 178707 1296 0 0 25 0 1 0 799674481 643198976 156711 33554432000 4194304 5714214 140736194521904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8100/statm: 157031 156711 180 372 0 156656 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 628124 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.15 CPU time (s): 1800.07 CPU user time (s): 1787.09 CPU system time (s): 12.987 CPU usage (%): 99.996 Max. virtual memory (cumulated for all children) (KiB): 628124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.09 system time used= 12.987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156920 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 2541 runsolver used 9.8805 second user time and 21.3408 second system time The end
Begin job on node146 at 2011-06-03 05:43:02 IDJOB=3460901 IDBENCH=1844 IDSOLVER=1953 FILE ID=node146/3460901-1307072582 RUNJOBID= node146-1307067108-7562 PBS_JOBID= 13497840 Free space on /tmp= 73724 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460901-1307072582/watcher-3460901-1307072582 -o /tmp/evaluation-result-3460901-1307072582/solver-3460901-1307072582 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460901-1307072582.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 49459e9c72edb2754f1d384319cf8731 RANDOM SEED=657287137 node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25231528 kB Buffers: 70812 kB Cached: 198496 kB SwapCached: 60016 kB Active: 255040 kB Inactive: 7225764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25231528 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 9756 kB Writeback: 0 kB AnonPages: 7162940 kB Mapped: 17364 kB Slab: 72724 kB PageTables: 97848 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160771488 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73720 MiB End job on node146 at 2011-06-03 06:13:04