Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.11 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-pdc.r.opb |
MD5SUM | 1b7a4ba09fe0e6b5976c5bba841ee84f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 94 |
Best CPU time to get the best result obtained on this benchmark | 10.2094 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 94 |
Optimality of the best value was proved | YES |
Number of variables | 19021 |
Total number of constraints | 6904 |
Number of constraints which are clauses | 6904 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 403 |
Number of terms in the objective function | 19021 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 19021 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 19021 |
Number of bits of the biggest sum of numbers | 15 |
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-3460818-1307102259.opb. 0.00/0.00 c Instance file HOME/instance-3460818-1307102259.opb 0.00/0.00 c File size is 4298239 bytes. 0.19/0.28 c Highest Coefficient sum: 404 0.19/0.28 c ============================[ Problem Statistics ]============================= 0.19/0.28 c | | 0.19/0.28 c | Parsing time: 0.28 s | 0.19/0.28 c | Number Variables: 19021 | 0.19/0.28 c | Number Clauses: 6904 | 0.19/0.28 c | Number Cardinality: 0 | 0.19/0.28 c | Number PB Constraints: 0 | 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 19021 6904 439318 | 5000 0 -nan | 0.000 % | 1.39/1.44 c core #1 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 9 Core Weight: 1 Total Weight: 1 1.39/1.44 c Current CPU time: 0.313952 s 1.39/1.44 c 1.39/1.44 c core #2 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 9 Core Weight: 1 Total Weight: 2 1.39/1.44 c Current CPU time: 0.336948 s 1.39/1.44 c 1.39/1.44 c core #3 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 17 Core Weight: 1 Total Weight: 3 1.39/1.44 c Current CPU time: 0.360945 s 1.39/1.44 c 1.39/1.44 c core #4 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 15 Core Weight: 1 Total Weight: 4 1.39/1.44 c Current CPU time: 0.384941 s 1.39/1.44 c 1.39/1.44 c core #5 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 9 Core Weight: 1 Total Weight: 5 1.39/1.44 c Current CPU time: 0.408937 s 1.39/1.44 c 1.39/1.44 c core #6 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 9 Core Weight: 1 Total Weight: 6 1.39/1.44 c Current CPU time: 0.433934 s 1.39/1.44 c 1.39/1.44 c core #7 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 401 Core Weight: 1 Total Weight: 7 1.39/1.44 c Current CPU time: 0.45893 s 1.39/1.44 c 1.39/1.44 c core #8 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 178 Core Weight: 1 Total Weight: 8 1.39/1.44 c Current CPU time: 0.484926 s 1.39/1.44 c 1.39/1.44 c core #9 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 183 Core Weight: 1 Total Weight: 9 1.39/1.44 c Current CPU time: 0.509922 s 1.39/1.44 c 1.39/1.44 c core #10 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 114 Core Weight: 1 Total Weight: 10 1.39/1.44 c Current CPU time: 0.534918 s 1.39/1.44 c 1.39/1.44 c core #11 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 139 Core Weight: 1 Total Weight: 11 1.39/1.44 c Current CPU time: 0.559914 s 1.39/1.44 c 1.39/1.44 c core #12 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 7 Core Weight: 1 Total Weight: 12 1.39/1.44 c Current CPU time: 0.58591 s 1.39/1.44 c 1.39/1.44 c core #13 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 7 Core Weight: 1 Total Weight: 13 1.39/1.44 c Current CPU time: 0.610907 s 1.39/1.44 c 1.39/1.44 c core #14 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 21 Core Weight: 1 Total Weight: 14 1.39/1.44 c Current CPU time: 0.636903 s 1.39/1.44 c 1.39/1.44 c core #15 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 69 Core Weight: 1 Total Weight: 15 1.39/1.44 c Current CPU time: 0.661899 s 1.39/1.44 c 1.39/1.44 c core #16 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 107 Core Weight: 1 Total Weight: 16 1.39/1.44 c Current CPU time: 0.687895 s 1.39/1.44 c 1.39/1.44 c core #17 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 171 Core Weight: 1 Total Weight: 17 1.39/1.44 c Current CPU time: 0.714891 s 1.39/1.44 c 1.39/1.44 c core #18 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 74 Core Weight: 1 Total Weight: 18 1.39/1.44 c Current CPU time: 0.740887 s 1.39/1.44 c 1.39/1.44 c core #19 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 61 Core Weight: 1 Total Weight: 19 1.39/1.44 c Current CPU time: 0.766883 s 1.39/1.44 c 1.39/1.44 c core #20 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 5 Core Weight: 1 Total Weight: 20 1.39/1.44 c Current CPU time: 0.793879 s 1.39/1.44 c 1.39/1.44 c core #21 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 19 Core Weight: 1 Total Weight: 21 1.39/1.44 c Current CPU time: 0.820875 s 1.39/1.44 c 1.39/1.44 c core #22 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 84 Core Weight: 1 Total Weight: 22 1.39/1.44 c Current CPU time: 0.847871 s 1.39/1.44 c 1.39/1.44 c core #23 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 58 Core Weight: 1 Total Weight: 23 1.39/1.44 c Current CPU time: 0.874867 s 1.39/1.44 c 1.39/1.44 c core #24 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 16 Core Weight: 1 Total Weight: 24 1.39/1.44 c Current CPU time: 0.900863 s 1.39/1.44 c 1.39/1.44 c core #25 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 179 Core Weight: 1 Total Weight: 25 1.39/1.44 c Current CPU time: 0.928858 s 1.39/1.44 c 1.39/1.44 c core #26 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 9 Core Weight: 1 Total Weight: 26 1.39/1.44 c Current CPU time: 0.955854 s 1.39/1.44 c 1.39/1.44 c core #27 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 17 Core Weight: 1 Total Weight: 27 1.39/1.44 c Current CPU time: 0.98285 s 1.39/1.44 c 1.39/1.44 c core #28 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: 28 1.39/1.44 c Current CPU time: 1.01085 s 1.39/1.44 c 1.39/1.44 c core #29 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 31 Core Weight: 1 Total Weight: 29 1.39/1.44 c Current CPU time: 1.03884 s 1.39/1.44 c 1.39/1.44 c core #30 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 30 Core Weight: 1 Total Weight: 30 1.39/1.44 c Current CPU time: 1.06684 s 1.39/1.44 c 1.39/1.44 c core #31 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 20 Core Weight: 1 Total Weight: 31 1.39/1.44 c Current CPU time: 1.09483 s 1.39/1.44 c 1.39/1.44 c core #32 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 25 Core Weight: 1 Total Weight: 32 1.39/1.44 c Current CPU time: 1.12283 s 1.39/1.44 c 1.39/1.44 c core #33 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 25 Core Weight: 1 Total Weight: 33 1.39/1.44 c Current CPU time: 1.15082 s 1.39/1.44 c 1.39/1.44 c core #34 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 27 Core Weight: 1 Total Weight: 34 1.39/1.44 c Current CPU time: 1.17782 s 1.39/1.44 c 1.39/1.44 c core #35 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 25 Core Weight: 1 Total Weight: 35 1.39/1.44 c Current CPU time: 1.20582 s 1.39/1.44 c 1.39/1.44 c core #36 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 17 Core Weight: 1 Total Weight: 36 1.39/1.44 c Current CPU time: 1.23381 s 1.39/1.44 c 1.39/1.44 c core #37 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: 37 1.39/1.44 c Current CPU time: 1.26081 s 1.39/1.44 c 1.39/1.44 c core #38 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: 38 1.39/1.44 c Current CPU time: 1.2888 s 1.39/1.44 c 1.39/1.44 c core #39 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 140 Core Weight: 1 Total Weight: 39 1.39/1.44 c Current CPU time: 1.3168 s 1.39/1.44 c 1.39/1.44 c core #40 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 27 Core Weight: 1 Total Weight: 40 1.39/1.44 c Current CPU time: 1.34479 s 1.39/1.44 c 1.39/1.44 c core #41 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 134 Core Weight: 1 Total Weight: 41 1.39/1.44 c Current CPU time: 1.37279 s 1.39/1.44 c 1.39/1.44 c core #42 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 136 Core Weight: 1 Total Weight: 42 1.39/1.44 c Current CPU time: 1.40179 s 1.39/1.44 c 1.39/1.44 c core #43 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 140 Core Weight: 1 Total Weight: 43 2.59/2.67 c Current CPU time: 1.42978 s 2.59/2.67 c 2.59/2.67 c core #44 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 218 Core Weight: 1 Total Weight: 44 2.59/2.67 c Current CPU time: 1.45878 s 2.59/2.67 c 2.59/2.67 c core #45 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 45 Core Weight: 1 Total Weight: 45 2.59/2.67 c Current CPU time: 1.48677 s 2.59/2.67 c 2.59/2.67 c core #46 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 23 Core Weight: 1 Total Weight: 46 2.59/2.67 c Current CPU time: 1.51477 s 2.59/2.67 c 2.59/2.67 c core #47 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 5 Core Weight: 1 Total Weight: 47 2.59/2.67 c Current CPU time: 1.54277 s 2.59/2.67 c 2.59/2.67 c core #48 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 15 Core Weight: 1 Total Weight: 48 2.59/2.67 c Current CPU time: 1.57176 s 2.59/2.67 c 2.59/2.67 c core #49 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 5 Core Weight: 1 Total Weight: 49 2.59/2.67 c Current CPU time: 1.59976 s 2.59/2.67 c 2.59/2.67 c core #50 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 39 Core Weight: 1 Total Weight: 50 2.59/2.67 c Current CPU time: 1.62775 s 2.59/2.67 c 2.59/2.67 c core #51 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 34 Core Weight: 1 Total Weight: 51 2.59/2.67 c Current CPU time: 1.65575 s 2.59/2.67 c 2.59/2.67 c core #52 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 41 Core Weight: 1 Total Weight: 52 2.59/2.67 c Current CPU time: 1.68474 s 2.59/2.67 c 2.59/2.67 c core #53 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 36 Core Weight: 1 Total Weight: 53 2.59/2.67 c Current CPU time: 1.71374 s 2.59/2.67 c 2.59/2.67 c core #54 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 9 Core Weight: 1 Total Weight: 54 2.59/2.67 c Current CPU time: 1.74174 s 2.59/2.67 c 2.59/2.67 c core #55 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 35 Core Weight: 1 Total Weight: 55 2.59/2.67 c Current CPU time: 1.77073 s 2.59/2.67 c 2.59/2.67 c core #56 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 35 Core Weight: 1 Total Weight: 56 2.59/2.67 c Current CPU time: 1.79973 s 2.59/2.67 c 2.59/2.67 c core #57 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 15 Core Weight: 1 Total Weight: 57 2.59/2.67 c Current CPU time: 1.82972 s 2.59/2.67 c 2.59/2.67 c core #58 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 25 Core Weight: 1 Total Weight: 58 2.59/2.67 c Current CPU time: 1.85872 s 2.59/2.67 c 2.59/2.67 c core #59 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 5 Core Weight: 1 Total Weight: 59 2.59/2.67 c Current CPU time: 1.88771 s 2.59/2.67 c 2.59/2.67 c core #60 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 5 Core Weight: 1 Total Weight: 60 2.59/2.67 c Current CPU time: 1.91671 s 2.59/2.67 c 2.59/2.67 c core #61 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 8 Core Weight: 1 Total Weight: 61 2.59/2.67 c Current CPU time: 1.9457 s 2.59/2.67 c 2.59/2.67 c core #62 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 17 Core Weight: 1 Total Weight: 62 2.59/2.67 c Current CPU time: 1.9757 s 2.59/2.67 c 2.59/2.67 c core #63 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 12 Core Weight: 1 Total Weight: 63 2.59/2.67 c Current CPU time: 2.00469 s 2.59/2.67 c 2.59/2.67 c core #64 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 144 Core Weight: 1 Total Weight: 64 2.59/2.67 c Current CPU time: 2.03469 s 2.59/2.67 c 2.59/2.67 c core #65 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 82 Core Weight: 1 Total Weight: 65 2.59/2.67 c Current CPU time: 2.06369 s 2.59/2.67 c 2.59/2.67 c core #66 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 65 Core Weight: 1 Total Weight: 66 2.59/2.67 c Current CPU time: 2.09368 s 2.59/2.67 c 2.59/2.67 c core #67 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 49 Core Weight: 1 Total Weight: 67 2.59/2.67 c Current CPU time: 2.12468 s 2.59/2.67 c 2.59/2.67 c core #68 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 41 Core Weight: 1 Total Weight: 68 2.59/2.67 c Current CPU time: 2.15467 s 2.59/2.67 c 2.59/2.67 c core #69 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 46 Core Weight: 1 Total Weight: 69 2.59/2.67 c Current CPU time: 2.18367 s 2.59/2.67 c 2.59/2.67 c core #70 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 92 Core Weight: 1 Total Weight: 70 2.59/2.67 c Current CPU time: 2.21366 s 2.59/2.67 c 2.59/2.67 c core #71 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 5 Core Weight: 1 Total Weight: 71 2.59/2.67 c Current CPU time: 2.24366 s 2.59/2.67 c 2.59/2.67 c core #72 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 4 Core Weight: 1 Total Weight: 72 2.59/2.67 c Current CPU time: 2.27365 s 2.59/2.67 c 2.59/2.67 c core #73 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 6 Core Weight: 1 Total Weight: 73 2.59/2.67 c Current CPU time: 2.30465 s 2.59/2.67 c 2.59/2.67 c core #74 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 40 Core Weight: 1 Total Weight: 74 2.59/2.67 c Current CPU time: 2.33465 s 2.59/2.67 c 2.59/2.67 c core #75 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 23 Core Weight: 1 Total Weight: 75 2.59/2.67 c Current CPU time: 2.36564 s 2.59/2.67 c 2.59/2.67 c core #76 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 56 Core Weight: 1 Total Weight: 76 2.59/2.67 c Current CPU time: 2.39663 s 2.59/2.67 c 2.59/2.67 c core #77 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 26 Core Weight: 1 Total Weight: 77 2.59/2.67 c Current CPU time: 2.42763 s 2.59/2.67 c 2.59/2.67 c core #78 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 141 Core Weight: 1 Total Weight: 78 2.59/2.67 c Current CPU time: 2.45863 s 2.59/2.67 c 2.59/2.67 c core #79 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 87 Core Weight: 1 Total Weight: 79 2.59/2.67 c Current CPU time: 2.48862 s 2.59/2.67 c 2.59/2.67 c core #80 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 64 Core Weight: 1 Total Weight: 80 2.59/2.67 c Current CPU time: 2.52062 s 2.59/2.67 c 2.59/2.67 c core #81 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 26 Core Weight: 1 Total Weight: 81 2.59/2.67 c Current CPU time: 2.55261 s 2.59/2.67 c 2.59/2.67 c core #82 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 44 Core Weight: 1 Total Weight: 82 2.59/2.67 c Current CPU time: 2.58461 s 2.59/2.67 c 2.59/2.67 c core #83 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 68 Core Weight: 1 Total Weight: 83 2.59/2.67 c Current CPU time: 2.6166 s 2.59/2.67 c 2.59/2.67 c ============================[ Search Statistics ]============================== 2.59/2.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.67 c =============================================================================== 2.59/2.67 c | 0 | 7445 26008 431767 | 8669 0 -nan | 0.000 % | 2.59/2.67 c =============================================================================== 2.69/2.70 c core #84 2.69/2.70 c 2.69/2.70 c 2.69/2.70 c Core size: 236 Core Weight: 1 Total Weight: 84 2.69/2.70 c Current CPU time: 2.6496 s 2.69/2.70 c 2.69/2.70 c ============================[ Search Statistics ]============================== 2.69/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.70 c =============================================================================== 2.69/2.70 c | 0 | 8776 26009 452467 | 8669 0 -nan | 0.000 % | 2.69/2.71 c | 100 | 8776 26009 452467 | 9536 100 207 | 62.894 % | 2.69/2.72 c =============================================================================== 2.69/2.76 c core #85 2.69/2.76 c 2.69/2.76 c 2.69/2.76 c Core size: 914 Core Weight: 1 Total Weight: 85 2.69/2.76 c Current CPU time: 2.70459 s 2.69/2.76 c 2.69/2.76 c ============================[ Search Statistics ]============================== 2.69/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.76 c =============================================================================== 2.69/2.76 c | 0 | 10427 26010 455197 | 8670 0 -nan | 0.000 % | 2.69/2.77 c | 102 | 10425 26010 455197 | 9537 102 117 | 57.633 % | 2.79/2.80 c | 254 | 10425 26010 455197 | 10490 254 130 | 57.633 % | 2.79/2.83 c | 480 | 10425 26010 455197 | 11539 480 90 | 57.633 % | 2.79/2.89 c | 817 | 10404 26010 455197 | 12693 817 78 | 57.633 % | 2.89/2.97 c | 1323 | 10404 26010 455197 | 13963 1323 121 | 57.633 % | 3.09/3.12 c =============================================================================== 3.09/3.16 c core #86 3.09/3.16 c 3.09/3.16 c 3.09/3.16 c Core size: 1914 Core Weight: 1 Total Weight: 86 3.09/3.16 c Current CPU time: 3.10253 s 3.09/3.16 c 3.09/3.16 c ============================[ Search Statistics ]============================== 3.09/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.16 c =============================================================================== 3.09/3.16 c | 0 | 13575 26011 460257 | 8670 0 -nan | 0.000 % | 3.09/3.17 c | 106 | 13575 26011 460257 | 9537 106 274 | 48.714 % | 3.09/3.20 c | 256 | 13575 26011 460257 | 10491 256 303 | 48.714 % | 3.20/3.24 c | 485 | 13575 26011 460257 | 11540 485 221 | 48.714 % | 3.39/3.44 c | 822 | 13575 26011 460257 | 12694 822 199 | 48.714 % | 3.49/3.57 c | 1329 | 13575 26011 460257 | 13963 1329 281 | 48.714 % | 3.79/3.86 c | 2090 | 13575 26011 460257 | 15360 2090 273 | 48.714 % | 4.19/4.31 c | 3231 | 13575 26011 460257 | 16896 3231 245 | 48.714 % | 5.09/5.17 c | 4939 | 13575 26011 460257 | 18585 4939 226 | 48.714 % | 7.09/7.19 c | 7503 | 13575 26011 460257 | 20444 7503 257 | 48.714 % | 10.29/10.33 c | 11348 | 13575 26011 460257 | 22488 11348 371 | 48.714 % | 16.41/16.46 c | 17114 | 13555 26011 460257 | 24737 17114 463 | 48.789 % | 25.31/25.33 c | 25763 | 13555 26011 460257 | 27211 25763 470 | 48.789 % | 41.70/41.74 c | 38738 | 13555 26011 460257 | 29932 38738 510 | 48.789 % | 58.69/58.70 c | 58199 | 13553 26011 460257 | 32925 26422 803 | 48.797 % | 87.30/87.35 c =============================================================================== 88.01/88.04 c core #87 88.01/88.04 c 88.01/88.04 c 88.01/88.04 c Core size: 4950 Core Weight: 1 Total Weight: 87 88.01/88.04 c Current CPU time: 87.6727 s 88.01/88.04 c 88.01/88.04 c ============================[ Search Statistics ]============================== 88.01/88.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.01/88.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.01/88.04 c =============================================================================== 88.01/88.04 c | 0 | 20625 26012 472255 | 8670 0 -nan | 0.000 % | 88.01/88.06 c | 105 | 20625 26012 472255 | 9537 105 197 | 34.351 % | 88.09/88.12 c | 255 | 20625 26012 472255 | 10491 255 124 | 34.351 % | 88.20/88.22 c | 484 | 20625 26012 472255 | 11540 484 107 | 34.351 % | 88.40/88.46 c | 823 | 20622 26012 472255 | 12694 823 92 | 34.364 % | 88.80/88.85 c | 1329 | 20621 26012 472255 | 13964 1329 107 | 34.364 % | 89.19/89.23 c | 2089 | 20621 26012 472255 | 15360 2089 128 | 34.364 % | 89.89/89.90 c | 3229 | 20619 26012 472255 | 16896 3229 167 | 34.370 % | 90.70/90.78 c | 4937 | 20619 26012 472255 | 18586 4937 215 | 34.370 % | 92.41/92.43 c | 7499 | 20599 26012 472255 | 20444 7499 323 | 34.434 % | 94.69/94.78 c | 11343 | 20599 26012 472255 | 22489 11343 376 | 34.434 % | 98.80/98.80 c | 17115 | 20599 26012 472255 | 24738 17115 407 | 34.434 % | 105.61/105.67 c | 25765 | 20597 26012 472255 | 27212 25765 453 | 34.440 % | 108.29/108.35 c =============================================================================== 108.39/108.40 c core #88 108.39/108.40 c 108.39/108.40 c 108.39/108.40 c Core size: 35 Core Weight: 1 Total Weight: 88 108.39/108.40 c Current CPU time: 108.014 s 108.39/108.40 c 108.39/108.40 c ============================[ Search Statistics ]============================== 108.39/108.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 108.39/108.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 108.39/108.40 c =============================================================================== 108.39/108.40 c | 0 | 20677 26013 472340 | 8671 0 -nan | 0.000 % | 108.39/108.41 c | 100 | 20677 26013 472340 | 9538 100 220 | 34.254 % | 108.39/108.46 c | 250 | 20677 26013 472340 | 10491 250 155 | 34.254 % | 108.60/108.60 c | 475 | 20677 26013 472340 | 11541 475 128 | 34.254 % | 108.81/108.82 c | 814 | 20677 26013 472340 | 12695 814 142 | 34.254 % | 109.20/109.21 c | 1320 | 20677 26013 472340 | 13964 1320 144 | 34.254 % | 109.79/109.80 c | 2079 | 20671 26013 472340 | 15361 2079 160 | 34.273 % | 110.70/110.72 c | 3219 | 20671 26013 472340 | 16897 3219 172 | 34.273 % | 111.40/111.48 c | 4928 | 20671 26013 472340 | 18587 4928 154 | 34.273 % | 112.39/112.45 c | 7493 | 20671 26013 472340 | 20445 7493 165 | 34.273 % | 117.00/117.01 c | 11338 | 20671 26013 472340 | 22490 11338 154 | 34.273 % | 123.90/123.98 c | 17106 | 20671 26013 472340 | 24739 17106 417 | 34.273 % | 138.00/138.02 c | 25757 | 20648 26013 472340 | 27213 25757 612 | 34.347 % | 183.89/183.91 c | 38731 | 20646 26013 472340 | 29934 38731 1007 | 34.359 % | 235.20/235.25 c | 58192 | 20644 26013 472340 | 32928 28394 1268 | 34.359 % | 317.70/317.80 c | 87384 | 20644 26013 472340 | 36220 25832 1166 | 34.359 % | 482.41/482.46 c | 131173 | 20628 26013 472340 | 39843 34056 1418 | 34.410 % | 631.01/631.02 c | 196857 | 20625 26013 472340 | 43827 22536 514 | 34.423 % | 767.12/767.19 c =============================================================================== 767.31/767.34 c core #89 767.31/767.34 c 767.31/767.34 c 767.31/767.34 c Core size: 73 Core Weight: 1 Total Weight: 89 767.31/767.34 c Current CPU time: 765.897 s 767.31/767.34 c 767.31/767.34 c ============================[ Search Statistics ]============================== 767.31/767.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 767.31/767.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 767.31/767.34 c =============================================================================== 767.31/767.34 c | 0 | 20802 26014 472536 | 8671 0 -nan | 0.000 % | 767.31/767.37 c | 100 | 20802 26014 472536 | 9538 100 87 | 34.006 % | 767.52/767.50 c | 252 | 20802 26014 472536 | 10492 252 146 | 34.006 % | 767.73/767.76 c | 477 | 20802 26014 472536 | 11541 477 168 | 34.006 % | 768.32/768.35 c | 816 | 20802 26014 472536 | 12695 816 274 | 34.006 % | 768.83/768.82 c | 1323 | 20802 26014 472536 | 13965 1323 295 | 34.006 % | 769.52/769.52 c | 2082 | 20802 26014 472536 | 15361 2082 293 | 34.006 % | 770.22/770.23 c | 3222 | 20800 26014 472536 | 16897 3222 221 | 34.012 % | 771.31/771.35 c | 4930 | 20800 26014 472536 | 18587 4930 190 | 34.012 % | 775.43/775.45 c | 7495 | 20796 26014 472536 | 20446 7495 251 | 34.025 % | 778.91/778.95 c | 11340 | 20793 26014 472536 | 22491 11340 244 | 34.041 % | 784.12/784.17 c | 17106 | 20791 26014 472536 | 24740 17106 255 | 34.041 % | 792.52/792.59 c | 25755 | 20789 26014 472536 | 27214 25755 265 | 34.047 % | 804.92/804.96 c | 38732 | 20781 26014 472536 | 29935 13188 360 | 34.139 % | 832.63/832.65 c | 58193 | 20760 26014 472536 | 32929 32649 521 | 34.139 % | 872.72/872.78 c | 87389 | 20731 26014 472536 | 36222 31325 464 | 34.231 % | 928.33/928.38 c | 131181 | 20720 26014 472536 | 39844 40151 857 | 34.279 % | 1054.85/1054.89 c | 196869 | 20711 26014 472536 | 43828 28746 1469 | 34.295 % | 1256.15/1256.15 c | 295395 | 20711 26014 472536 | 48211 42010 926 | 34.295 % | 1701.06/1701.00 c | 443187 | 20707 26014 472536 | 53033 49210 1525 | 34.307 % |
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-3460818-1307102259/watcher-3460818-1307102259 -o /tmp/evaluation-result-3460818-1307102259/solver-3460818-1307102259 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460818-1307102259.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.00 2.02 2.00 1/512 18495 /proc/meminfo: memFree=21831608/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=10428 CPUtime=0 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 1302 0 0 0 0 0 0 0 25 0 1 0 802641552 10678272 1222 33554432000 4194304 5714214 140736999224816 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 2607 1225 196 372 0 1182 0 [startup+0.049829 s] /proc/loadavg: 2.00 2.02 2.00 1/512 18495 /proc/meminfo: memFree=21831608/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=11148 CPUtime=0.04 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 1621 0 0 0 4 0 0 0 25 0 1 0 802641552 11415552 1541 33554432000 4194304 5714214 140736999224816 18446744073709551615 4238233 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 2787 1541 329 372 0 1362 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11148 [startup+0.100837 s] /proc/loadavg: 2.00 2.02 2.00 1/512 18495 /proc/meminfo: memFree=21831608/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=11544 CPUtime=0.09 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 1905 0 0 0 9 0 0 0 25 0 1 0 802641552 11821056 1825 33554432000 4194304 5714214 140736999224816 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 2886 1825 513 372 0 1461 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11544 [startup+0.300782 s] /proc/loadavg: 2.00 2.02 2.00 1/512 18495 /proc/meminfo: memFree=21831608/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=15860 CPUtime=0.29 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 4672 0 0 0 29 0 0 0 18 0 1 0 802641552 16240640 3542 33554432000 4194304 5714214 140736999224816 18446744073709551615 4973110 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 3965 3545 172 372 0 3590 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15860 [startup+0.700672 s] /proc/loadavg: 2.00 2.02 2.00 1/512 18495 /proc/meminfo: memFree=21831608/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=21532 CPUtime=0.69 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 7789 0 0 0 68 1 0 0 18 0 1 0 802641552 22048768 5126 33554432000 4194304 5714214 140736999224816 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 5383 5126 175 372 0 5008 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21532 [startup+1.50058 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18550 /proc/meminfo: memFree=21811696/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=23876 CPUtime=1.49 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 12041 0 0 0 148 1 0 0 19 0 1 0 802641552 24449024 5614 33554432000 4194304 5714214 140736999224816 18446744073709551615 4356049 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 5969 5614 175 372 0 5594 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23876 [startup+3.1003 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18550 /proc/meminfo: memFree=21803684/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=26972 CPUtime=3.09 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 15500 0 0 0 307 2 0 0 23 0 1 0 802641552 27619328 6405 33554432000 4194304 5714214 140736999224816 18446744073709551615 4319237 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 6743 6405 180 372 0 6368 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26972 [startup+6.30064 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18550 /proc/meminfo: memFree=21792920/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=26972 CPUtime=6.29 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 15500 0 0 0 626 3 0 0 25 0 1 0 802641552 27619328 6405 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311009 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 6743 6405 180 372 0 6368 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26972 [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18550 /proc/meminfo: memFree=21760664/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=46576 CPUtime=12.69 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 20478 0 0 0 1263 6 0 0 25 0 1 0 802641552 47693824 11383 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 11644 11383 180 372 0 11269 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46576 [startup+25.5011 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18551 /proc/meminfo: memFree=21697192/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=79828 CPUtime=25.49 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 28778 0 0 0 2538 11 0 0 25 0 1 0 802641552 81743872 19683 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 19957 19683 180 372 0 19582 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 79828 [startup+51.1002 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18551 /proc/meminfo: memFree=21616228/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=135892 CPUtime=51.1 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 42765 0 0 0 5091 19 0 0 25 0 1 0 802641552 139153408 33670 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 33973 33670 180 372 0 33598 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 135892 [startup+102.32 s] /proc/loadavg: 2.05 2.02 2.00 3/515 18553 /proc/meminfo: memFree=21567824/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=179280 CPUtime=102.31 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 63951 0 0 0 10198 33 0 0 25 0 1 0 802641552 183582720 44518 33554432000 4194304 5714214 140736999224816 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 44820 44518 180 372 0 44445 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 179280 [startup+162.3 s] /proc/loadavg: 2.18 2.05 2.01 3/515 18554 /proc/meminfo: memFree=21557712/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=179280 CPUtime=162.29 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 64000 0 0 0 16181 48 0 0 25 0 1 0 802641552 183582720 44567 33554432000 4194304 5714214 140736999224816 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 44820 44567 180 372 0 44445 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 179280 [startup+222.301 s] /proc/loadavg: 2.14 2.05 2.01 3/515 18565 /proc/meminfo: memFree=21535228/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=198560 CPUtime=222.3 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 68782 0 0 0 22174 56 0 0 25 0 1 0 802641552 203325440 49349 33554432000 4194304 5714214 140736999224816 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 49640 49349 180 372 0 49265 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 198560 [startup+282.301 s] /proc/loadavg: 2.05 2.04 2.00 3/515 18567 /proc/meminfo: memFree=21427304/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=262288 CPUtime=282.3 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 84683 0 0 0 28167 63 0 0 25 0 1 0 802641552 268582912 65250 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 65572 65250 180 372 0 65197 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 262288 [startup+342.3 s] /proc/loadavg: 2.02 2.03 2.00 3/515 18568 /proc/meminfo: memFree=21386080/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=262552 CPUtime=342.3 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 84774 0 0 0 34159 71 0 0 25 0 1 0 802641552 268853248 65341 33554432000 4194304 5714214 140736999224816 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 65638 65341 180 372 0 65263 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 262552 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18570 /proc/meminfo: memFree=21285332/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=311300 CPUtime=402.3 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 96940 0 0 0 40149 81 0 0 25 0 1 0 802641552 318771200 77507 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 77825 77507 180 372 0 77450 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 311300 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18571 /proc/meminfo: memFree=21261600/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=311300 CPUtime=462.3 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 96942 0 0 0 46141 89 0 0 25 0 1 0 802641552 318771200 77509 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 77825 77509 180 372 0 77450 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 311300 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18573 /proc/meminfo: memFree=21177120/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=356068 CPUtime=522.3 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 108122 0 0 0 52133 97 0 0 25 0 1 0 802641552 364613632 88689 33554432000 4194304 5714214 140736999224816 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 89017 88689 180 372 0 88642 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 356068 [startup+582.301 s] /proc/loadavg: 2.15 2.04 2.01 3/515 18575 /proc/meminfo: memFree=21107396/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=395528 CPUtime=582.31 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 118009 0 0 0 58123 108 0 0 25 0 1 0 802641552 405020672 98576 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 98882 98576 180 372 0 98507 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 395528 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.07 2.05 2.01 3/515 18581 /proc/meminfo: memFree=20981008/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=398416 CPUtime=822.32 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 118513 0 0 0 82086 146 0 0 25 0 1 0 802641552 407977984 99080 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 99604 99080 180 372 0 99229 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 398416 [startup+882.3 s] /proc/loadavg: 2.02 2.04 2.00 3/515 18583 /proc/meminfo: memFree=20942160/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=398416 CPUtime=882.33 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 118515 0 0 0 88076 157 0 0 25 0 1 0 802641552 407977984 99082 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 99604 99082 180 372 0 99229 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 398416 [startup+942.301 s] /proc/loadavg: 2.01 2.03 2.00 3/515 18584 /proc/meminfo: memFree=20908764/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=398416 CPUtime=942.33 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 118529 0 0 0 94065 168 0 0 25 0 1 0 802641552 407977984 99096 33554432000 4194304 5714214 140736999224816 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 99604 99096 180 372 0 99229 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 398416 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18586 /proc/meminfo: memFree=20898936/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=398416 CPUtime=1002.32 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 118529 0 0 0 100055 177 0 0 25 0 1 0 802641552 407977984 99096 33554432000 4194304 5714214 140736999224816 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 99604 99096 180 372 0 99229 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 398416 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18587 /proc/meminfo: memFree=20875956/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=398416 CPUtime=1062.33 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 118531 0 0 0 106048 185 0 0 25 0 1 0 802641552 407977984 99098 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 99604 99098 180 372 0 99229 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 398416 [startup+1122.3 s] /proc/loadavg: 2.08 2.04 2.01 3/515 18589 /proc/meminfo: memFree=20832752/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=398416 CPUtime=1122.33 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 118559 0 0 0 112043 190 0 0 25 0 1 0 802641552 407977984 99126 33554432000 4194304 5714214 140736999224816 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 99604 99126 180 372 0 99229 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 398416 [startup+1182.3 s] /proc/loadavg: 2.10 2.06 2.01 3/515 18591 /proc/meminfo: memFree=20810752/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=416492 CPUtime=1182.34 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 123069 0 0 0 118033 201 0 0 25 0 1 0 802641552 426487808 103636 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 104123 103636 180 372 0 103748 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 416492 [startup+1242.3 s] /proc/loadavg: 2.16 2.08 2.02 3/515 18592 /proc/meminfo: memFree=20810216/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=416492 CPUtime=1242.34 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 123069 0 0 0 124021 213 0 0 25 0 1 0 802641552 426487808 103636 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 104123 103636 180 372 0 103748 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 416492 [startup+1302.3 s] /proc/loadavg: 2.11 2.08 2.02 3/515 18594 /proc/meminfo: memFree=20810672/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=416492 CPUtime=1302.35 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 123070 0 0 0 130015 220 0 0 25 0 1 0 802641552 426487808 103637 33554432000 4194304 5714214 140736999224816 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 104123 103637 180 372 0 103748 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 416492 [startup+1362.3 s] /proc/loadavg: 2.04 2.06 2.01 3/515 18595 /proc/meminfo: memFree=20810488/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=416492 CPUtime=1362.34 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 123070 0 0 0 136006 228 0 0 25 0 1 0 802641552 426487808 103637 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 104123 103637 180 372 0 103748 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 416492 [startup+1422.32 s] /proc/loadavg: 2.01 2.05 2.00 3/515 18597 /proc/meminfo: memFree=20745236/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=481324 CPUtime=1422.36 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 139219 0 0 0 141998 238 0 0 25 0 1 0 802641552 492875776 119786 33554432000 4194304 5714214 140736999224816 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 120331 119786 180 372 0 119956 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 481324 [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.00 3/515 18599 /proc/meminfo: memFree=20744564/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=481324 CPUtime=1482.35 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 139219 0 0 0 147989 246 0 0 25 0 1 0 802641552 492875776 119786 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 120331 119786 180 372 0 119956 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 481324 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/515 18600 /proc/meminfo: memFree=20712908/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=513552 CPUtime=1542.34 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 147256 0 0 0 153981 253 0 0 25 0 1 0 802641552 525877248 127823 33554432000 4194304 5714214 140736999224816 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 128388 127823 180 372 0 128013 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 513552 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18602 /proc/meminfo: memFree=20609704/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=616476 CPUtime=1602.35 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 172909 0 0 0 159973 262 0 0 25 0 1 0 802641552 631271424 153476 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 154119 153476 180 372 0 153744 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 616476 [startup+1662.3 s] /proc/loadavg: 2.11 2.05 2.01 3/515 18606 /proc/meminfo: memFree=20610256/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=616476 CPUtime=1662.35 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 172909 0 0 0 165968 267 0 0 25 0 1 0 802641552 631271424 153476 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 154119 153476 180 372 0 153744 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 616476 [startup+1722.3 s] /proc/loadavg: 2.09 2.05 2.01 3/515 18608 /proc/meminfo: memFree=20610492/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=616476 CPUtime=1722.35 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 172909 0 0 0 171957 278 0 0 25 0 1 0 802641552 631271424 153476 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 154119 153476 180 372 0 153744 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 616476 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.00 3/515 18610 /proc/meminfo: memFree=20609580/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=614552 CPUtime=1782.36 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 172909 0 0 0 177952 284 0 0 25 0 1 0 802641552 629301248 153008 33554432000 4194304 5714214 140736999224816 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 153638 153008 180 372 0 153263 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 614552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.09 2.05 2.01 3/515 18610 /proc/meminfo: memFree=20610052/32951124 swapFree=62999000/67111528 [pid=18495] ppid=18493 vsize=614552 CPUtime=1800.07 cores=0,2,4,6 /proc/18495/stat : 18495 (wbo1.6) R 18493 18495 17882 0 -1 4202496 172909 0 0 0 179721 286 0 0 25 0 1 0 802641552 629301248 153008 33554432000 4194304 5714214 140736999224816 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18495/statm: 153638 153008 180 372 0 153263 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 614552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.11 CPU user time (s): 1797.22 CPU system time (s): 2.88956 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 616476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.22 system time used= 2.88956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 172909 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= 2553 runsolver used 9.75052 second user time and 19.745 second system time The end
Begin job on node141 at 2011-06-03 13:57:39 IDJOB=3460818 IDBENCH=2846 IDSOLVER=1953 FILE ID=node141/3460818-1307102259 RUNJOBID= node141-1307093248-17900 PBS_JOBID= 13497991 Free space on /tmp= 73876 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-pdc.r.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460818-1307102259/watcher-3460818-1307102259 -o /tmp/evaluation-result-3460818-1307102259/solver-3460818-1307102259 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460818-1307102259.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b7a4ba09fe0e6b5976c5bba841ee84f RANDOM SEED=1378556681 node141.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 : 5362.96 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.82 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.75 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.84 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.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.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: 32951124 kB MemFree: 21831888 kB Buffers: 243868 kB Cached: 621136 kB SwapCached: 8848 kB Active: 10307556 kB Inactive: 547820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21831888 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 8584 kB Writeback: 0 kB AnonPages: 9988488 kB Mapped: 25564 kB Slab: 124432 kB PageTables: 69884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150688628 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= 73872 MiB End job on node141 at 2011-06-03 14:27:41