Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.12 | 1800.06 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-net12.opb |
MD5SUM | 24a04ed274dd43d443428abf078e95f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 214 |
Best CPU time to get the best result obtained on this benchmark | 6.22905 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 214 |
Optimality of the best value was proved | YES |
Number of variables | 147395 |
Total number of constraints | 26533 |
Number of constraints which are clauses | 12 |
Number of constraints which are cardinality constraints (but not clauses) | 391 |
Number of constraints which are nor clauses,nor cardinality constraints | 26130 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 292 |
Number of terms in the objective function | 39 |
Biggest coefficient in the objective function | 20 |
Number of bits for the biggest coefficient in the objective function | 5 |
Sum of the numbers in the objective function | 337 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 12288 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 137193 |
Number of bits of the biggest sum of numbers | 18 |
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-3461347-1307074870.opb. 0.00/0.00 c Instance file HOME/instance-3461347-1307074870.opb 0.00/0.00 c File size is 5998765 bytes. 0.37/0.49 c Highest Coefficient sum: 137193 0.37/0.49 c ============================[ Problem Statistics ]============================= 0.37/0.49 c | | 0.37/0.49 c | Parsing time: 0.46 s | 0.37/0.49 c | Number Variables: 147395 | 0.37/0.49 c | Number Clauses: 28 | 0.37/0.49 c | Number Cardinality: 1489 | 0.37/0.49 c | Number PB Constraints: 25568 | 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 147395 27085 495864 | 9028 0 -nan | 0.000 % | 1.57/1.61 c core #1 1.57/1.61 c 1.57/1.61 c 1.57/1.61 c Core size: 5 Core Weight: 1 Total Weight: 1 1.57/1.61 c Current CPU time: 0.632903 s 1.57/1.61 c 1.57/1.61 c core #2 1.57/1.61 c 1.57/1.61 c 1.57/1.61 c Core size: 11 Core Weight: 1 Total Weight: 2 1.57/1.61 c Current CPU time: 0.727889 s 1.57/1.61 c 1.57/1.61 c core #3 1.57/1.61 c 1.57/1.61 c 1.57/1.61 c Core size: 7 Core Weight: 1 Total Weight: 3 1.57/1.61 c Current CPU time: 0.85487 s 1.57/1.61 c 1.57/1.61 c core #4 1.57/1.61 c 1.57/1.61 c 1.57/1.61 c Core size: 7 Core Weight: 1 Total Weight: 4 1.57/1.61 c Current CPU time: 0.98485 s 1.57/1.61 c 1.57/1.61 c core #5 1.57/1.61 c 1.57/1.61 c 1.57/1.61 c Core size: 11 Core Weight: 1 Total Weight: 5 1.57/1.61 c Current CPU time: 1.15782 s 1.57/1.61 c 1.57/1.61 c core #6 1.57/1.61 c 1.57/1.61 c 1.57/1.61 c Core size: 16 Core Weight: 1 Total Weight: 6 1.57/1.61 c Current CPU time: 1.3408 s 1.57/1.61 c 1.57/1.61 c ============================[ Search Statistics ]============================== 1.57/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.57/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.57/1.61 c =============================================================================== 1.57/1.61 c | 0 | 121522 27134 473306 | 9044 0 -nan | 0.000 % | 1.57/1.62 c =============================================================================== 1.77/1.84 c core #7 1.77/1.84 c 1.77/1.84 c 1.77/1.84 c Core size: 9 Core Weight: 1 Total Weight: 7 1.77/1.84 c Current CPU time: 1.54377 s 1.77/1.84 c 1.77/1.84 c ============================[ Search Statistics ]============================== 1.77/1.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.77/1.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.77/1.84 c =============================================================================== 1.77/1.84 c | 0 | 138770 27136 488485 | 9045 0 -nan | 0.000 % | 1.77/1.84 c =============================================================================== 2.18/2.31 c core #8 2.18/2.31 c 2.18/2.31 c 2.18/2.31 c Core size: 10 Core Weight: 10 Total Weight: 17 2.18/2.31 c Current CPU time: 1.76673 s 2.18/2.31 c 2.18/2.31 c core #9 2.18/2.31 c 2.18/2.31 c 2.18/2.31 c Core size: 9 Core Weight: 1 Total Weight: 18 2.18/2.31 c Current CPU time: 1.9967 s 2.18/2.31 c 2.18/2.31 c ============================[ Search Statistics ]============================== 2.18/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.18/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.18/2.31 c =============================================================================== 2.18/2.31 c | 0 | 138776 27140 488496 | 9046 0 -nan | 0.000 % | 2.29/2.32 c =============================================================================== 2.77/2.80 c core #10 2.77/2.80 c 2.77/2.80 c 2.77/2.80 c Core size: 11 Core Weight: 10 Total Weight: 28 2.77/2.80 c Current CPU time: 2.23866 s 2.77/2.80 c 2.77/2.80 c core #11 2.77/2.80 c 2.77/2.80 c 2.77/2.80 c Core size: 15 Core Weight: 10 Total Weight: 38 2.77/2.80 c Current CPU time: 2.48162 s 2.77/2.80 c 2.77/2.80 c ============================[ Search Statistics ]============================== 2.77/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.77/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.77/2.80 c =============================================================================== 2.77/2.80 c | 0 | 138781 27144 488511 | 9048 0 -nan | 0.000 % | 2.77/2.82 c =============================================================================== 2.97/3.07 c core #12 2.97/3.07 c 2.97/3.07 c 2.97/3.07 c Core size: 15 Core Weight: 1 Total Weight: 39 2.97/3.07 c Current CPU time: 2.73958 s 2.97/3.07 c 2.97/3.07 c ============================[ Search Statistics ]============================== 2.97/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.97/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.97/3.07 c =============================================================================== 2.97/3.07 c | 0 | 147409 27149 495932 | 9049 0 -nan | 0.000 % | 2.97/3.09 c =============================================================================== 3.28/3.35 c core #13 3.28/3.35 c 3.28/3.35 c 3.28/3.35 c Core size: 26 Core Weight: 9 Total Weight: 48 3.28/3.35 c Current CPU time: 3.01654 s 3.28/3.35 c 3.28/3.35 c ============================[ Search Statistics ]============================== 3.28/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.28/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.28/3.35 c =============================================================================== 3.28/3.35 c | 0 | 147421 27159 495953 | 9053 0 -nan | 0.000 % | 3.28/3.37 c =============================================================================== 3.57/3.63 c core #14 3.57/3.63 c 3.57/3.63 c 3.57/3.63 c Core size: 23 Core Weight: 1 Total Weight: 49 3.57/3.63 c Current CPU time: 3.2915 s 3.57/3.63 c 3.57/3.63 c ============================[ Search Statistics ]============================== 3.57/3.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.63 c =============================================================================== 3.57/3.63 c | 0 | 147433 27166 495972 | 9055 0 -nan | 0.000 % | 3.57/3.66 c =============================================================================== 3.87/3.92 c core #15 3.87/3.92 c 3.87/3.92 c 3.87/3.92 c Core size: 20 Core Weight: 9 Total Weight: 58 3.87/3.92 c Current CPU time: 3.58545 s 3.87/3.92 c 3.87/3.92 c ============================[ Search Statistics ]============================== 3.87/3.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.92 c =============================================================================== 3.87/3.92 c | 0 | 147443 27170 495997 | 9056 0 -nan | 0.000 % | 3.87/3.94 c =============================================================================== 4.38/4.48 c core #16 4.38/4.48 c 4.38/4.48 c 4.38/4.48 c Core size: 12 Core Weight: 1 Total Weight: 59 4.38/4.48 c Current CPU time: 3.86541 s 4.38/4.48 c 4.38/4.48 c core #17 4.38/4.48 c 4.38/4.48 c 4.38/4.48 c Core size: 13 Core Weight: 7 Total Weight: 66 4.38/4.48 c Current CPU time: 4.12937 s 4.38/4.48 c 4.38/4.48 c ============================[ Search Statistics ]============================== 4.38/4.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.38/4.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.38/4.48 c =============================================================================== 4.38/4.48 c | 0 | 147451 27177 496018 | 9059 0 -nan | 0.000 % | 4.38/4.49 c =============================================================================== 4.67/4.76 c core #18 4.67/4.76 c 4.67/4.76 c 4.67/4.76 c Core size: 16 Core Weight: 1 Total Weight: 67 4.67/4.76 c Current CPU time: 4.40833 s 4.67/4.76 c 4.67/4.76 c ============================[ Search Statistics ]============================== 4.67/4.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.67/4.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.67/4.76 c =============================================================================== 4.67/4.76 c | 0 | 147448 27180 496027 | 9060 0 -nan | 0.000 % | 4.67/4.79 c =============================================================================== 4.97/5.05 c core #19 4.97/5.05 c 4.97/5.05 c 4.97/5.05 c Core size: 19 Core Weight: 1 Total Weight: 68 4.97/5.05 c Current CPU time: 4.70228 s 4.97/5.05 c 4.97/5.05 c ============================[ Search Statistics ]============================== 4.97/5.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.97/5.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.97/5.05 c =============================================================================== 4.97/5.05 c | 0 | 147460 27183 496039 | 9061 0 -nan | 0.000 % | 5.07/5.10 c =============================================================================== 5.27/5.37 c core #20 5.27/5.37 c 5.27/5.37 c 5.27/5.37 c Core size: 17 Core Weight: 1 Total Weight: 69 5.27/5.37 c Current CPU time: 5.01424 s 5.27/5.37 c 5.27/5.37 c ============================[ Search Statistics ]============================== 5.27/5.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.27/5.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.27/5.37 c =============================================================================== 5.27/5.37 c | 0 | 147471 27187 496072 | 9062 0 -nan | 0.000 % | 5.37/5.44 c =============================================================================== 5.68/5.71 c core #21 5.68/5.71 c 5.68/5.71 c 5.68/5.71 c Core size: 28 Core Weight: 1 Total Weight: 70 5.68/5.71 c Current CPU time: 5.35319 s 5.68/5.71 c 5.68/5.71 c ============================[ Search Statistics ]============================== 5.68/5.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.68/5.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.68/5.71 c =============================================================================== 5.68/5.71 c | 0 | 147491 27203 496136 | 9067 0 -nan | 0.000 % | 5.68/5.75 c =============================================================================== 6.28/6.31 c core #22 6.28/6.31 c 6.28/6.31 c 6.28/6.31 c Core size: 10 Core Weight: 1 Total Weight: 71 6.28/6.31 c Current CPU time: 5.66914 s 6.28/6.31 c 6.28/6.31 c core #23 6.28/6.31 c 6.28/6.31 c 6.28/6.31 c Core size: 9 Core Weight: 9 Total Weight: 80 6.28/6.31 c Current CPU time: 5.9441 s 6.28/6.31 c 6.28/6.31 c ============================[ Search Statistics ]============================== 6.28/6.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.28/6.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.28/6.31 c =============================================================================== 6.28/6.31 c | 0 | 147493 27211 496154 | 9070 0 -nan | 0.000 % | 6.28/6.32 c =============================================================================== 7.37/7.46 c core #24 7.37/7.46 c 7.37/7.46 c 7.37/7.46 c Core size: 12 Core Weight: 8 Total Weight: 88 7.37/7.46 c Current CPU time: 6.23405 s 7.37/7.46 c 7.37/7.46 c core #25 7.37/7.46 c 7.37/7.46 c 7.37/7.46 c Core size: 16 Core Weight: 1 Total Weight: 89 7.37/7.46 c Current CPU time: 6.51501 s 7.37/7.46 c 7.37/7.46 c core #26 7.37/7.46 c 7.37/7.46 c 7.37/7.46 c Core size: 14 Core Weight: 1 Total Weight: 90 7.37/7.46 c Current CPU time: 6.79997 s 7.37/7.46 c 7.37/7.46 c core #27 7.37/7.46 c 7.37/7.46 c 7.37/7.46 c Core size: 17 Core Weight: 1 Total Weight: 91 7.37/7.46 c Current CPU time: 7.08592 s 7.37/7.46 c 7.37/7.46 c ============================[ Search Statistics ]============================== 7.37/7.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.37/7.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.37/7.46 c =============================================================================== 7.37/7.46 c | 0 | 147505 27219 496178 | 9073 0 -nan | 0.000 % | 7.37/7.47 c =============================================================================== 7.68/7.76 c core #28 7.68/7.76 c 7.68/7.76 c 7.68/7.76 c Core size: 22 Core Weight: 8 Total Weight: 99 7.68/7.76 c Current CPU time: 7.38288 s 7.68/7.76 c 7.68/7.76 c ============================[ Search Statistics ]============================== 7.68/7.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.68/7.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.68/7.76 c =============================================================================== 7.68/7.76 c | 0 | 138863 27224 496191 | 9074 0 -nan | 0.000 % | 7.68/7.77 c =============================================================================== 7.97/8.06 c core #29 7.97/8.06 c 7.97/8.06 c 7.97/8.06 c Core size: 23 Core Weight: 1 Total Weight: 100 7.97/8.06 c Current CPU time: 7.68283 s 7.97/8.06 c 7.97/8.06 c ============================[ Search Statistics ]============================== 7.97/8.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.97/8.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.97/8.06 c =============================================================================== 7.97/8.06 c | 0 | 147522 27229 496228 | 9076 0 -nan | 0.000 % | 8.07/8.11 c =============================================================================== 8.27/8.39 c core #30 8.27/8.39 c 8.27/8.39 c 8.27/8.39 c Core size: 37 Core Weight: 1 Total Weight: 101 8.27/8.39 c Current CPU time: 8.01178 s 8.27/8.39 c 8.27/8.39 c ============================[ Search Statistics ]============================== 8.27/8.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.27/8.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.27/8.39 c =============================================================================== 8.27/8.39 c | 0 | 147538 27238 496267 | 9079 0 -nan | 0.000 % | 8.37/8.43 c =============================================================================== 8.67/8.72 c core #31 8.67/8.72 c 8.67/8.72 c 8.67/8.72 c Core size: 33 Core Weight: 6 Total Weight: 107 8.67/8.72 c Current CPU time: 8.33973 s 8.67/8.72 c 8.67/8.72 c ============================[ Search Statistics ]============================== 8.67/8.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.67/8.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.67/8.72 c =============================================================================== 8.67/8.72 c | 0 | 147556 27256 496352 | 9085 0 -nan | 0.000 % | 8.67/8.76 c =============================================================================== 8.97/9.05 c core #32 8.97/9.05 c 8.97/9.05 c 8.97/9.05 c Core size: 28 Core Weight: 1 Total Weight: 108 8.97/9.05 c Current CPU time: 8.66768 s 8.97/9.05 c 8.97/9.05 c ============================[ Search Statistics ]============================== 8.97/9.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.97/9.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.97/9.05 c =============================================================================== 8.97/9.05 c | 0 | 147571 27269 496424 | 9089 0 -nan | 0.000 % | 8.97/9.09 c =============================================================================== 9.27/9.38 c core #33 9.27/9.38 c 9.27/9.38 c 9.27/9.38 c Core size: 19 Core Weight: 1 Total Weight: 109 9.27/9.38 c Current CPU time: 8.98763 s 9.27/9.38 c 9.27/9.38 c ============================[ Search Statistics ]============================== 9.27/9.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.27/9.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.27/9.38 c =============================================================================== 9.27/9.38 c | 0 | 147582 27274 496470 | 9091 0 -nan | 0.000 % | 9.37/9.41 c =============================================================================== 9.67/9.70 c core #34 9.67/9.70 c 9.67/9.70 c 9.67/9.70 c Core size: 17 Core Weight: 1 Total Weight: 110 9.67/9.70 c Current CPU time: 9.31158 s 9.67/9.70 c 9.67/9.70 c ============================[ Search Statistics ]============================== 9.67/9.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.67/9.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.67/9.70 c =============================================================================== 9.67/9.70 c | 0 | 147590 27285 496517 | 9095 0 -nan | 0.000 % | 9.67/9.71 c =============================================================================== 9.88/10.00 c core #35 9.88/10.00 c 9.88/10.00 c 9.88/10.00 c Core size: 16 Core Weight: 1 Total Weight: 111 9.88/10.00 c Current CPU time: 9.60954 s 9.88/10.00 c 9.88/10.00 c ============================[ Search Statistics ]============================== 9.88/10.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.88/10.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.88/10.00 c =============================================================================== 9.88/10.00 c | 0 | 147597 27291 496553 | 9097 0 -nan | 0.000 % | 9.88/10.01 c =============================================================================== 10.27/10.30 c core #36 10.27/10.30 c 10.27/10.30 c 10.27/10.30 c Core size: 14 Core Weight: 4 Total Weight: 115 10.27/10.30 c Current CPU time: 9.90849 s 10.27/10.30 c 10.27/10.30 c ============================[ Search Statistics ]============================== 10.27/10.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.27/10.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.27/10.30 c =============================================================================== 10.27/10.30 c | 0 | 147602 27293 496568 | 9097 0 -nan | 0.000 % | 10.27/10.33 c | 100 | 147602 27293 496568 | 10007 100 11 | 5.854 % | 10.27/10.33 c =============================================================================== 10.57/10.62 c core #37 10.57/10.62 c 10.57/10.62 c 10.57/10.62 c Core size: 38 Core Weight: 1 Total Weight: 116 10.57/10.62 c Current CPU time: 10.2284 s 10.57/10.62 c 10.57/10.62 c ============================[ Search Statistics ]============================== 10.57/10.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.57/10.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.57/10.62 c =============================================================================== 10.57/10.62 c | 0 | 147630 27298 496645 | 9099 0 -nan | 0.000 % | 10.57/10.64 c | 103 | 147630 27298 496645 | 10009 103 18 | 0.012 % | 10.67/10.70 c | 254 | 147626 27298 496645 | 11010 254 15 | 0.026 % | 10.67/10.71 c =============================================================================== 10.87/10.99 c core #38 10.87/10.99 c 10.87/10.99 c 10.87/10.99 c Core size: 47 Core Weight: 1 Total Weight: 117 10.87/10.99 c Current CPU time: 10.6064 s 10.87/10.99 c 10.87/10.99 c ============================[ Search Statistics ]============================== 10.87/10.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.87/10.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.87/10.99 c =============================================================================== 10.87/10.99 c | 0 | 147667 27305 496748 | 9101 0 -nan | 0.000 % | 10.98/11.02 c | 103 | 147667 27305 496748 | 10011 103 25 | 0.012 % | 10.98/11.04 c | 254 | 147666 27305 496748 | 11013 254 23 | 0.014 % | 10.98/11.08 c | 480 | 147665 27305 496748 | 12114 480 22 | 0.014 % | 11.09/11.13 c | 818 | 147665 27305 496748 | 13325 818 21 | 0.014 % | 11.09/11.19 c | 1324 | 147660 27305 496748 | 14658 1324 20 | 0.020 % | 11.17/11.20 c =============================================================================== 11.37/11.49 c core #39 11.37/11.49 c 11.37/11.49 c 11.37/11.49 c Core size: 52 Core Weight: 1 Total Weight: 118 11.37/11.49 c Current CPU time: 11.1083 s 11.37/11.49 c 11.37/11.49 c ============================[ Search Statistics ]============================== 11.37/11.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.37/11.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.37/11.49 c =============================================================================== 11.37/11.49 c | 0 | 147704 27315 496857 | 9105 0 -nan | 0.000 % | 11.47/11.51 c | 100 | 147704 27315 496857 | 10015 100 30 | 0.014 % | 11.47/11.52 c | 252 | 147704 27315 496857 | 11017 252 30 | 0.014 % | 11.47/11.54 c | 478 | 147704 27315 496857 | 12118 478 29 | 0.014 % | 11.47/11.59 c | 815 | 147704 27315 496857 | 13330 815 28 | 0.014 % | 11.57/11.61 c | 1321 | 147704 27315 496857 | 14663 1321 27 | 0.014 % | 11.57/11.62 c =============================================================================== 11.87/11.90 c core #40 11.87/11.90 c 11.87/11.90 c 11.87/11.90 c Core size: 51 Core Weight: 1 Total Weight: 119 11.87/11.90 c Current CPU time: 11.5202 s 11.87/11.90 c 11.87/11.90 c ============================[ Search Statistics ]============================== 11.87/11.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.87/11.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.87/11.90 c =============================================================================== 11.87/11.90 c | 0 | 147742 27322 496947 | 9107 0 -nan | 0.000 % | 11.87/11.91 c | 100 | 147742 27322 496947 | 10018 100 30 | 0.015 % | 11.87/11.92 c =============================================================================== 12.08/12.20 c core #41 12.08/12.20 c 12.08/12.20 c 12.08/12.20 c Core size: 58 Core Weight: 1 Total Weight: 120 12.08/12.20 c Current CPU time: 11.8212 s 12.08/12.20 c 12.08/12.20 c ============================[ Search Statistics ]============================== 12.08/12.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.08/12.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.08/12.20 c =============================================================================== 12.08/12.20 c | 0 | 147783 27324 497032 | 9108 0 -nan | 0.000 % | 12.19/12.22 c | 100 | 147783 27324 497032 | 10018 100 37 | 0.015 % | 12.19/12.23 c | 253 | 147783 27324 497032 | 11020 253 29 | 0.015 % | 12.19/12.24 c | 479 | 147783 27324 497032 | 12122 479 24 | 0.015 % | 12.19/12.25 c | 816 | 147783 27324 497032 | 13335 816 22 | 0.015 % | 12.19/12.26 c =============================================================================== 12.47/12.54 c core #42 12.47/12.54 c 12.47/12.54 c 12.47/12.54 c Core size: 70 Core Weight: 1 Total Weight: 121 12.47/12.54 c Current CPU time: 12.1631 s 12.47/12.54 c 12.47/12.54 c ============================[ Search Statistics ]============================== 12.47/12.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.47/12.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.47/12.54 c =============================================================================== 12.47/12.54 c | 0 | 147835 27326 497139 | 9108 0 -nan | 0.000 % | 12.47/12.56 c | 100 | 147835 27326 497139 | 10019 100 45 | 0.015 % | 12.47/12.56 c | 251 | 147835 27326 497139 | 11021 251 33 | 0.015 % | 12.47/12.58 c | 477 | 147835 27326 497139 | 12123 477 39 | 0.015 % | 12.47/12.60 c | 815 | 147835 27326 497139 | 13335 815 38 | 0.015 % | 12.58/12.61 c | 1321 | 147835 27326 497139 | 14669 1321 39 | 0.015 % | 12.58/12.65 c | 2083 | 147835 27326 497139 | 16136 2083 36 | 0.015 % | 12.67/12.70 c | 3224 | 147835 27326 497139 | 17750 3224 37 | 0.015 % | 12.77/12.81 c | 4932 | 147835 27326 497139 | 19525 4932 37 | 0.015 % | 12.87/12.98 c | 7497 | 147835 27326 497139 | 21477 7497 37 | 0.015 % | 13.18/13.29 c | 11341 | 147835 27326 497139 | 23625 11341 36 | 0.015 % | 13.77/13.81 c =============================================================================== 14.07/14.17 c core #43 14.07/14.17 c 14.07/14.17 c 14.07/14.17 c Core size: 71 Core Weight: 1 Total Weight: 122 14.07/14.17 c Current CPU time: 13.7719 s 14.07/14.17 c 14.07/14.17 c ============================[ Search Statistics ]============================== 14.07/14.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.07/14.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.07/14.17 c =============================================================================== 14.07/14.17 c | 0 | 147894 27329 497259 | 9109 0 -nan | 0.000 % | 14.17/14.20 c | 100 | 147894 27329 497259 | 10020 100 53 | 0.015 % | 14.17/14.20 c | 250 | 147894 27329 497259 | 11022 250 56 | 0.015 % | 14.17/14.23 c | 484 | 147894 27329 497259 | 12124 484 53 | 0.015 % | 14.17/14.24 c | 821 | 147894 27329 497259 | 13337 821 50 | 0.015 % | 14.17/14.26 c | 1329 | 147894 27329 497259 | 14671 1329 48 | 0.015 % | 14.17/14.31 c | 2089 | 147894 27329 497259 | 16138 2089 46 | 0.015 % | 14.28/14.37 c | 3229 | 147894 27329 497259 | 17752 3229 46 | 0.015 % | 14.39/14.49 c | 4939 | 147894 27329 497259 | 19527 4939 50 | 0.015 % | 14.68/14.71 c | 7501 | 147894 27329 497259 | 21480 7501 54 | 0.015 % | 15.27/15.32 c | 11346 | 147894 27329 497259 | 23628 11346 59 | 0.015 % | 16.27/16.35 c | 17112 | 147893 27329 497259 | 25990 17112 61 | 0.016 % | 18.57/18.71 c | 25761 | 147893 27329 497259 | 28590 25761 61 | 0.016 % | 21.07/21.17 c | 38739 | 147893 27329 497259 | 31449 22790 58 | 0.016 % | 23.87/23.92 c | 58200 | 147893 27329 497259 | 34593 22863 45 | 0.016 % | 31.07/31.10 c | 87393 | 147893 27329 497259 | 38053 29624 80 | 0.016 % | 42.38/42.40 c | 131187 | 147893 27329 497259 | 41858 22031 71 | 0.016 % | 57.97/58.05 c | 196871 | 147893 27329 497259 | 46044 31318 61 | 0.016 % | 90.08/90.16 c | 295397 | 147893 27329 497259 | 50648 33641 61 | 0.016 % | 122.20/122.22 c =============================================================================== 126.28/126.32 c core #44 126.28/126.32 c 126.28/126.32 c 126.28/126.32 c Core size: 80 Core Weight: 1 Total Weight: 123 126.28/126.32 c Current CPU time: 125.323 s 126.28/126.32 c 126.28/126.32 c ============================[ Search Statistics ]============================== 126.28/126.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 126.28/126.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 126.28/126.32 c =============================================================================== 126.28/126.32 c | 0 | 147956 27333 497387 | 9111 0 -nan | 0.000 % | 126.28/126.35 c | 100 | 147956 27333 497387 | 10022 100 61 | 0.016 % | 126.28/126.35 c | 250 | 147956 27333 497387 | 11024 250 67 | 0.016 % | 126.28/126.36 c | 475 | 147956 27333 497387 | 12126 475 57 | 0.016 % | 126.28/126.38 c | 815 | 147956 27333 497387 | 13339 815 54 | 0.016 % | 126.37/126.41 c | 1321 | 147956 27333 497387 | 14673 1321 53 | 0.016 % | 126.37/126.46 c | 2080 | 147956 27333 497387 | 16140 2080 56 | 0.016 % | 126.48/126.56 c | 3220 | 147956 27333 497387 | 17754 3220 58 | 0.016 % | 126.67/126.74 c | 4931 | 147956 27333 497387 | 19530 4931 61 | 0.016 % | 126.98/127.06 c | 7494 | 147956 27333 497387 | 21483 7494 64 | 0.016 % | 127.70/127.74 c | 11338 | 147956 27333 497387 | 23631 11338 69 | 0.016 % | 128.57/128.63 c | 17106 | 147956 27333 497387 | 25994 17106 77 | 0.016 % | 131.37/131.44 c | 25755 | 147956 27333 497387 | 28594 25755 82 | 0.016 % | 134.88/134.93 c | 38730 | 147956 27333 497387 | 31453 22042 80 | 0.016 % | 140.68/140.72 c | 58191 | 147956 27333 497387 | 34599 22836 89 | 0.016 % | 148.49/148.58 c | 87384 | 147956 27333 497387 | 38058 30198 63 | 0.016 % | 161.48/161.50 c | 131173 | 147956 27333 497387 | 41864 26594 63 | 0.016 % | 180.08/180.18 c | 196858 | 147956 27333 497387 | 46051 36748 60 | 0.016 % | 205.48/205.51 c | 295387 | 147956 27333 497387 | 50656 37504 74 | 0.016 % | 259.38/259.42 c | 443181 | 147956 27333 497387 | 55722 40436 77 | 0.016 % | 346.99/347.03 c | 664865 | 147956 27333 497387 | 61294 55294 98 | 0.016 % | 489.99/490.08 c | 997395 | 147953 27333 497387 | 67423 25069 80 | 0.018 % | 693.12/693.12 c | 1496183 | 147953 27333 497387 | 74166 57064 83 | 0.018 % | 1037.22/1037.21 c | 2244367 | 147953 27333 497387 | 81582 49159 84 | 0.018 % | 1549.15/1549.16 c | 3366647 | 147953 27333 497387 | 89740 62243 85 | 0.018 % |
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-3461347-1307074870/watcher-3461347-1307074870 -o /tmp/evaluation-result-3461347-1307074870/solver-3461347-1307074870 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461347-1307074870.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: 1.99 2.05 2.01 2/517 3583 /proc/meminfo: memFree=15737192/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=10648 CPUtime=0 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 949 0 0 0 0 0 0 0 21 0 1 0 819083734 10903552 903 33554432000 4194304 5714214 140733394582688 18446744073709551615 5014060 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3583/statm: 2662 903 187 372 0 822 0 [startup+0.111922 s] /proc/loadavg: 1.99 2.05 2.01 2/517 3583 /proc/meminfo: memFree=15737192/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=39744 CPUtime=0.09 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 8390 0 0 0 9 0 0 0 22 0 1 0 819083734 40697856 7852 33554432000 4194304 5714214 140733394582688 18446744073709551615 4948353 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/3583/statm: 9936 7852 448 372 0 8096 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39744 [startup+0.200909 s] /proc/loadavg: 1.99 2.05 2.01 2/517 3583 /proc/meminfo: memFree=15737192/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=58588 CPUtime=0.18 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 13468 0 0 0 17 1 0 0 22 0 1 0 819083734 59994112 12480 33554432000 4194304 5714214 140733394582688 18446744073709551615 4967836 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/3583/statm: 14647 12480 704 372 0 12807 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 58588 [startup+0.300887 s] /proc/loadavg: 1.99 2.05 2.01 2/517 3583 /proc/meminfo: memFree=15737192/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=63680 CPUtime=0.28 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 15038 0 0 0 27 1 0 0 22 0 1 0 819083734 65208320 14050 33554432000 4194304 5714214 140733394582688 18446744073709551615 4301809 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/3583/statm: 15920 14050 1012 372 0 14080 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 63680 [startup+0.700809 s] /proc/loadavg: 1.99 2.05 2.01 2/517 3583 /proc/meminfo: memFree=15737192/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=150644 CPUtime=0.68 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 41728 0 0 0 64 4 0 0 18 0 1 0 819083734 154259456 35243 33554432000 4194304 5714214 140733394582688 18446744073709551615 5013767 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/3583/statm: 37661 35243 176 372 0 37286 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 150644 [startup+1.5007 s] /proc/loadavg: 1.99 2.05 2.01 3/518 3584 /proc/meminfo: memFree=15577588/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=166832 CPUtime=1.47 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 50206 0 0 0 142 5 0 0 19 0 1 0 819083734 170835968 40841 33554432000 4194304 5714214 140733394582688 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 41708 40841 176 372 0 41333 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 166832 [startup+3.10038 s] /proc/loadavg: 1.99 2.05 2.00 3/518 3584 /proc/meminfo: memFree=15538280/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=191132 CPUtime=3.07 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 56395 0 0 0 301 6 0 0 22 0 1 0 819083734 195719168 47030 33554432000 4194304 5714214 140733394582688 18446744073709551615 4968261 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 47783 47030 179 372 0 47408 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 191132 [startup+6.30075 s] /proc/loadavg: 1.99 2.05 2.00 3/518 3585 /proc/meminfo: memFree=15479004/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=221032 CPUtime=6.28 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 66243 0 0 0 621 7 0 0 20 0 1 0 819083734 226336768 54552 33554432000 4194304 5714214 140733394582688 18446744073709551615 4956403 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 55258 54552 179 372 0 54883 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 221032 [startup+12.7005 s] /proc/loadavg: 1.99 2.05 2.00 3/518 3585 /proc/meminfo: memFree=15377100/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=269096 CPUtime=12.67 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 80620 0 0 0 1258 9 0 0 18 0 1 0 819083734 275554304 66653 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 67274 66653 180 372 0 66899 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 269096 [startup+25.5009 s] /proc/loadavg: 1.99 2.05 2.00 3/518 3585 /proc/meminfo: memFree=15263232/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=273960 CPUtime=25.48 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 81777 0 0 0 2533 15 0 0 25 0 1 0 819083734 280535040 67810 33554432000 4194304 5714214 140733394582688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 68490 67810 180 372 0 68115 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 273960 [startup+51.1008 s] /proc/loadavg: 1.99 2.04 2.00 3/518 3586 /proc/meminfo: memFree=15061140/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=273960 CPUtime=51.07 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 81777 0 0 0 5085 22 0 0 25 0 1 0 819083734 280535040 67810 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 68490 67810 180 372 0 68115 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 273960 [startup+102.301 s] /proc/loadavg: 1.99 2.03 2.00 3/518 3587 /proc/meminfo: memFree=14643344/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=288920 CPUtime=102.28 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 85499 0 0 0 10191 37 0 0 25 0 1 0 819083734 295854080 71532 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 72230 71532 180 372 0 71855 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 288920 [startup+162.301 s] /proc/loadavg: 1.99 2.02 2.00 3/518 3589 /proc/meminfo: memFree=14116436/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=357840 CPUtime=162.28 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 102572 0 0 0 16170 58 0 0 25 0 1 0 819083734 366428160 88605 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 89460 88605 180 372 0 89085 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 357840 [startup+222.32 s] /proc/loadavg: 2.13 2.05 2.01 3/518 3590 /proc/meminfo: memFree=13723896/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=357840 CPUtime=222.3 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 102641 0 0 0 22157 73 0 0 25 0 1 0 819083734 366428160 88674 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 89460 88674 180 372 0 89085 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 357840 [startup+282.301 s] /proc/loadavg: 2.12 2.06 2.01 3/518 3592 /proc/meminfo: memFree=13533752/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=357840 CPUtime=282.28 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 102658 0 0 0 28142 86 0 0 25 0 1 0 819083734 366428160 88691 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 89460 88691 180 372 0 89085 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 357840 [startup+342.301 s] /proc/loadavg: 2.04 2.04 2.00 3/518 3594 /proc/meminfo: memFree=13192940/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=357840 CPUtime=342.29 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 102773 0 0 0 34129 100 0 0 25 0 1 0 819083734 366428160 88806 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 89460 88806 180 372 0 89085 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 357840 [startup+402.301 s] /proc/loadavg: 2.01 2.03 2.00 3/518 3595 /proc/meminfo: memFree=12999212/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=365548 CPUtime=402.29 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 104629 0 0 0 40116 113 0 0 25 0 1 0 819083734 374321152 90662 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 91387 90662 180 372 0 91012 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 365548 [startup+462.301 s] /proc/loadavg: 2.07 2.05 2.01 3/518 3597 /proc/meminfo: memFree=12903420/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=387820 CPUtime=462.3 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 110123 0 0 0 46103 127 0 0 25 0 1 0 819083734 397127680 96156 33554432000 4194304 5714214 140733394582688 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 96955 96156 180 372 0 96580 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 387820 [startup+522.301 s] /proc/loadavg: 2.02 2.04 2.00 3/518 3598 /proc/meminfo: memFree=12866436/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=404120 CPUtime=522.29 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 114114 0 0 0 52091 138 0 0 25 0 1 0 819083734 413818880 100147 33554432000 4194304 5714214 140733394582688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 101030 100147 180 372 0 100655 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 404120 [startup+582.301 s] /proc/loadavg: 2.01 2.03 2.00 3/518 3600 /proc/meminfo: memFree=12802544/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=425504 CPUtime=582.29 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 119355 0 0 0 58075 154 0 0 25 0 1 0 819083734 435716096 105388 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 106376 105388 180 372 0 106001 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 425504 [startup+642.301 s] ################ # More data... # ################ [startup+882.319 s] /proc/loadavg: 2.02 2.03 2.00 3/518 3608 /proc/meminfo: memFree=12567292/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=526476 CPUtime=882.33 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 144157 0 0 0 88014 219 0 0 25 0 1 0 819083734 539111424 130190 33554432000 4194304 5714214 140733394582688 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 131619 130190 180 372 0 131244 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 526476 [startup+942.301 s] /proc/loadavg: 2.06 2.04 2.00 3/518 3610 /proc/meminfo: memFree=12501652/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=550080 CPUtime=942.31 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 150018 0 0 0 93999 232 0 0 25 0 1 0 819083734 563281920 136051 33554432000 4194304 5714214 140733394582688 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 137520 136051 180 372 0 137145 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 550080 [startup+1002.3 s] /proc/loadavg: 2.02 2.03 2.00 3/518 3611 /proc/meminfo: memFree=12486320/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=564704 CPUtime=1002.32 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 153632 0 0 0 99987 245 0 0 25 0 1 0 819083734 578256896 139665 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 141176 139665 180 372 0 140801 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 564704 [startup+1062.3 s] /proc/loadavg: 2.01 2.02 2.00 3/518 3613 /proc/meminfo: memFree=12472640/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=580100 CPUtime=1062.32 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 157393 0 0 0 105978 254 0 0 25 0 1 0 819083734 594022400 143426 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 145025 143426 180 372 0 144650 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 580100 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/518 3614 /proc/meminfo: memFree=12455744/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=596852 CPUtime=1122.32 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 161517 0 0 0 111965 267 0 0 25 0 1 0 819083734 611176448 147550 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 149213 147550 180 372 0 148838 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 596852 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/518 3616 /proc/meminfo: memFree=12425720/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=615160 CPUtime=1182.32 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 166035 0 0 0 117953 279 0 0 25 0 1 0 819083734 629923840 152068 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 153790 152068 180 372 0 153415 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 615160 [startup+1242.3 s] /proc/loadavg: 2.11 2.04 2.01 3/518 3618 /proc/meminfo: memFree=12361708/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=635156 CPUtime=1242.33 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 170939 0 0 0 123938 295 0 0 25 0 1 0 819083734 650399744 156972 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 158789 156972 180 372 0 158414 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 635156 [startup+1302.3 s] /proc/loadavg: 2.10 2.04 2.01 3/518 3619 /proc/meminfo: memFree=12311804/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=659656 CPUtime=1302.34 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 177016 0 0 0 129924 310 0 0 25 0 1 0 819083734 675487744 163049 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 164914 163049 180 372 0 164539 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 659656 [startup+1362.3 s] /proc/loadavg: 2.04 2.03 2.00 3/518 3621 /proc/meminfo: memFree=12290052/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=680284 CPUtime=1362.34 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 182076 0 0 0 135912 322 0 0 25 0 1 0 819083734 696610816 168109 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 170071 168109 180 372 0 169696 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 680284 [startup+1422.3 s] /proc/loadavg: 2.11 2.04 2.00 3/518 3650 /proc/meminfo: memFree=20654544/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=696948 CPUtime=1422.35 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 186155 0 0 0 141898 337 0 0 25 0 1 0 819083734 713674752 172188 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 174237 172188 180 372 0 173862 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 696948 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.00 3/518 3652 /proc/meminfo: memFree=20586164/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=716576 CPUtime=1482.34 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 190947 0 0 0 147885 349 0 0 25 0 1 0 819083734 733773824 176980 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 179144 176980 180 372 0 178769 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 716576 [startup+1542.32 s] /proc/loadavg: 2.05 2.04 2.00 3/518 3654 /proc/meminfo: memFree=20525624/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=729328 CPUtime=1542.36 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 194066 0 0 0 153876 360 0 0 25 0 1 0 819083734 746831872 180099 33554432000 4194304 5714214 140733394582688 18446744073709551615 4313230 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 182332 180099 180 372 0 181957 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 729328 [startup+1602.3 s] /proc/loadavg: 2.06 2.04 2.00 3/518 3655 /proc/meminfo: memFree=20464820/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=756684 CPUtime=1602.35 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 200714 0 0 0 159862 373 0 0 25 0 1 0 819083734 774844416 186747 33554432000 4194304 5714214 140733394582688 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 189171 186747 180 372 0 188796 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 756684 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/518 3657 /proc/meminfo: memFree=20411588/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=775984 CPUtime=1662.35 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 205470 0 0 0 165847 388 0 0 25 0 1 0 819083734 794607616 191503 33554432000 4194304 5714214 140733394582688 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 193996 191503 180 372 0 193621 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 775984 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/518 3658 /proc/meminfo: memFree=20360192/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=791740 CPUtime=1722.35 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 209319 0 0 0 171834 401 0 0 25 0 1 0 819083734 810741760 195352 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 197935 195352 180 372 0 197560 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 791740 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/518 3660 /proc/meminfo: memFree=20311568/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=810788 CPUtime=1782.35 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 214119 0 0 0 177824 411 0 0 25 0 1 0 819083734 830246912 200152 33554432000 4194304 5714214 140733394582688 18446744073709551615 4301345 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 202697 200152 180 372 0 202322 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 810788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/518 3660 /proc/meminfo: memFree=20302136/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=810788 CPUtime=1800.06 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 214126 0 0 0 179590 416 0 0 25 0 1 0 819083734 830246912 200159 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 202697 200159 180 372 0 202322 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 810788 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/518 3660 /proc/meminfo: memFree=20302136/32950928 swapFree=34259960/67111528 [pid=3583] ppid=3581 vsize=810788 CPUtime=1800.06 cores=0,2,4,6 /proc/3583/stat : 3583 (wbo1.6) R 3581 3583 1159 0 -1 4202496 214126 0 0 0 179590 416 0 0 25 0 1 0 819083734 830246912 200159 33554432000 4194304 5714214 140733394582688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3583/statm: 202697 200159 180 372 0 202322 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 810788 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.06 CPU time (s): 1800.12 CPU user time (s): 1795.92 CPU system time (s): 4.20036 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 810788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.92 system time used= 4.20036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 214126 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= 14 involuntary context switches= 20718 runsolver used 9.69952 second user time and 20.2199 second system time The end
Begin job on node149 at 2011-06-03 06:21:10 IDJOB=3461347 IDBENCH=1876 IDSOLVER=1953 FILE ID=node149/3461347-1307074870 RUNJOBID= node149-1307068846-2186 PBS_JOBID= 13497837 Free space on /tmp= 73516 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461347-1307074870/watcher-3461347-1307074870 -o /tmp/evaluation-result-3461347-1307074870/solver-3461347-1307074870 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461347-1307074870.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24a04ed274dd43d443428abf078e95f9 RANDOM SEED=810319777 node149.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.806 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.61 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.806 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.83 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.806 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.83 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.806 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.73 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.806 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.82 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.806 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.806 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.82 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.806 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: 32950928 kB MemFree: 15737480 kB Buffers: 317136 kB Cached: 3443696 kB SwapCached: 123196 kB Active: 5880368 kB Inactive: 10985284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15737480 kB SwapTotal: 67111528 kB SwapFree: 34259960 kB Dirty: 10364 kB Writeback: 88 kB AnonPages: 13006092 kB Mapped: 18692 kB Slab: 149272 kB PageTables: 128708 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 178735640 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= 73512 MiB End job on node149 at 2011-06-03 06:51:13