Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1174.17 | 1174.48 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb |
MD5SUM | cb09f183d3805e6536d629586026461f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 121 |
Best CPU time to get the best result obtained on this benchmark | 2.72159 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 121 |
Optimality of the best value was proved | YES |
Number of variables | 4688 |
Total number of constraints | 403 |
Number of constraints which are clauses | 403 |
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 | 80 |
Number of terms in the objective function | 4688 |
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 | 4688 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4688 |
Number of bits of the biggest sum of numbers | 13 |
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.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680875-1277456784.opb. 0.00/0.00 c Instance file HOME/instance-2680875-1277456784.opb 0.00/0.00 c File size is 128294 bytes. 0.00/0.02 c Highest Coefficient sum: 81 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 4688 | 0.00/0.02 c | Number Clauses: 403 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 4688 403 9697 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 182 0.00/0.03 o 182 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 4688 404 14385 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 100 | 4688 404 14385 | 5500 100 246 | 0.000 % | 0.19/0.22 c | 250 | 4688 404 14385 | 6050 250 231 | 0.000 % | 0.29/0.31 c | 476 | 4688 404 14385 | 6655 476 223 | 0.000 % | 0.39/0.48 c | 813 | 4688 404 14385 | 7320 813 226 | 0.000 % | 0.59/0.70 c | 1319 | 4688 404 14385 | 8052 1319 232 | 0.000 % | 1.00/1.06 c | 2078 | 4688 404 14385 | 8857 2078 233 | 0.000 % | 1.49/1.57 c | 3218 | 4688 404 14385 | 9743 3218 235 | 0.000 % | 2.39/2.42 c | 4926 | 4688 404 14385 | 10717 4926 239 | 0.000 % | 3.69/3.72 c | 7490 | 4688 404 14385 | 11789 7490 234 | 0.000 % | 6.09/6.14 c | 11334 | 4688 404 14385 | 12968 11334 237 | 0.000 % | 10.09/10.13 c | 17104 | 4688 404 14385 | 14265 8914 256 | 0.000 % | 16.09/16.19 c | 25753 | 4688 404 14385 | 15692 17563 240 | 0.000 % | 22.38/22.47 c | 38727 | 4688 404 14385 | 17261 11756 240 | 0.000 % | 32.28/32.32 c | 58188 | 4688 404 14385 | 18987 20283 220 | 0.000 % | 46.78/46.81 c | 87381 | 4688 404 14385 | 20886 14150 239 | 0.000 % | 71.18/71.20 c | 131171 | 4688 404 14385 | 22974 14585 232 | 0.000 % | 109.06/109.10 c | 196855 | 4688 404 14385 | 25272 14346 228 | 0.000 % | 181.14/181.24 c There are 0 assigned variables. 0 in cost function. 182.04/182.15 c core #1 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 28 Core Weight: 1 Total Weight: 1 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #2 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 20 Core Weight: 1 Total Weight: 2 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #3 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 34 Core Weight: 1 Total Weight: 3 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #4 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 22 Core Weight: 1 Total Weight: 4 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #5 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 15 Core Weight: 1 Total Weight: 5 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #6 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 32 Core Weight: 1 Total Weight: 6 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #7 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 9 Core Weight: 1 Total Weight: 7 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #8 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 33 Core Weight: 1 Total Weight: 8 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #9 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 19 Core Weight: 1 Total Weight: 9 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #10 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 11 Core Weight: 1 Total Weight: 10 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #11 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 37 Core Weight: 1 Total Weight: 11 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #12 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 33 Core Weight: 1 Total Weight: 12 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #13 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 18 Core Weight: 1 Total Weight: 13 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #14 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 48 Core Weight: 1 Total Weight: 14 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #15 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 9 Core Weight: 1 Total Weight: 15 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #16 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 21 Core Weight: 1 Total Weight: 16 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #17 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 29 Core Weight: 1 Total Weight: 17 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #18 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 31 Core Weight: 1 Total Weight: 18 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #19 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 19 Core Weight: 1 Total Weight: 19 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #20 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 14 Core Weight: 1 Total Weight: 20 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #21 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 41 Core Weight: 1 Total Weight: 21 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #22 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 11 Core Weight: 1 Total Weight: 22 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #23 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 23 Core Weight: 1 Total Weight: 23 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #24 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 15 Core Weight: 1 Total Weight: 24 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #25 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 27 Core Weight: 1 Total Weight: 25 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #26 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 15 Core Weight: 1 Total Weight: 26 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #27 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 11 Core Weight: 1 Total Weight: 27 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #28 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 24 Core Weight: 1 Total Weight: 28 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #29 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 19 Core Weight: 1 Total Weight: 29 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #30 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 30 Core Weight: 1 Total Weight: 30 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #31 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 4 Core Weight: 1 Total Weight: 31 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #32 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 22 Core Weight: 1 Total Weight: 32 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #33 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 22 Core Weight: 1 Total Weight: 33 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #34 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 12 Core Weight: 1 Total Weight: 34 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #35 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 11 Core Weight: 1 Total Weight: 35 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #36 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 23 Core Weight: 1 Total Weight: 36 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #37 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 8 Core Weight: 1 Total Weight: 37 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #38 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 44 Core Weight: 1 Total Weight: 38 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #39 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 27 Core Weight: 1 Total Weight: 39 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #40 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 27 Core Weight: 1 Total Weight: 40 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #41 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 25 Core Weight: 1 Total Weight: 41 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #42 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 12 Core Weight: 1 Total Weight: 42 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #43 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 17 Core Weight: 1 Total Weight: 43 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #44 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 6 Core Weight: 1 Total Weight: 44 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #45 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 15 Core Weight: 1 Total Weight: 45 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #46 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 28 Core Weight: 1 Total Weight: 46 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #47 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 14 Core Weight: 1 Total Weight: 47 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #48 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 18 Core Weight: 1 Total Weight: 48 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #49 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 22 Core Weight: 1 Total Weight: 49 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #50 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 29 Core Weight: 1 Total Weight: 50 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #51 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 12 Core Weight: 1 Total Weight: 51 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #52 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 20 Core Weight: 1 Total Weight: 52 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #53 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 9 Core Weight: 1 Total Weight: 53 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #54 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 15 Core Weight: 1 Total Weight: 54 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #55 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 21 Core Weight: 1 Total Weight: 55 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #56 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 27 Core Weight: 1 Total Weight: 56 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #57 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 16 Core Weight: 1 Total Weight: 57 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #58 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 21 Core Weight: 1 Total Weight: 58 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #59 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 28 Core Weight: 1 Total Weight: 59 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c core #60 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 8 Core Weight: 1 Total Weight: 60 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #61 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 17 Core Weight: 1 Total Weight: 61 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #62 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 11 Core Weight: 1 Total Weight: 62 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #63 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 13 Core Weight: 1 Total Weight: 63 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #64 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 22 Core Weight: 1 Total Weight: 64 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #65 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 16 Core Weight: 1 Total Weight: 65 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #66 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 22 Core Weight: 1 Total Weight: 66 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #67 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 21 Core Weight: 1 Total Weight: 67 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #68 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 22 Core Weight: 1 Total Weight: 68 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #69 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 11 Core Weight: 1 Total Weight: 69 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #70 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 15 Core Weight: 1 Total Weight: 70 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #71 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 9 Core Weight: 1 Total Weight: 71 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #72 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 13 Core Weight: 1 Total Weight: 72 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #73 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 7 Core Weight: 1 Total Weight: 73 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #74 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 17 Core Weight: 1 Total Weight: 74 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #75 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 12 Core Weight: 1 Total Weight: 75 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #76 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 28 Core Weight: 1 Total Weight: 76 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #77 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 18 Core Weight: 1 Total Weight: 77 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #78 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 9 Core Weight: 1 Total Weight: 78 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #79 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 12 Core Weight: 1 Total Weight: 79 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #80 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 21 Core Weight: 1 Total Weight: 80 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #81 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 31 Core Weight: 1 Total Weight: 81 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #82 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 3 Core Weight: 1 Total Weight: 82 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #83 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 13 Core Weight: 1 Total Weight: 83 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #84 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 4 Core Weight: 1 Total Weight: 84 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #85 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 10 Core Weight: 1 Total Weight: 85 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #86 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 26 Core Weight: 1 Total Weight: 86 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #87 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 33 Core Weight: 1 Total Weight: 87 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #88 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 26 Core Weight: 1 Total Weight: 88 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #89 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 36 Core Weight: 1 Total Weight: 89 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #90 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 30 Core Weight: 1 Total Weight: 90 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #91 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 33 Core Weight: 1 Total Weight: 91 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #92 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 35 Core Weight: 1 Total Weight: 92 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #93 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 31 Core Weight: 1 Total Weight: 93 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #94 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 40 Core Weight: 1 Total Weight: 94 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c core #95 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c Core size: 57 Core Weight: 1 Total Weight: 95 182.55/182.61 c 182.55/182.61 c 182.55/182.61 c ============================[ Search Statistics ]============================== 182.55/182.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.61 c =============================================================================== 182.55/182.61 c | 0 | 3533 5187 19884 | 5000 0 nan | 0.000 % | 182.55/182.61 c =============================================================================== 182.55/182.63 c core #96 182.55/182.63 c 182.55/182.63 c 182.55/182.63 c Core size: 101 Core Weight: 1 Total Weight: 96 182.55/182.63 c 182.55/182.63 c 182.55/182.63 c ============================[ Search Statistics ]============================== 182.55/182.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.63 c =============================================================================== 182.55/182.63 c | 0 | 3750 5188 20130 | 5000 0 nan | 0.000 % | 182.55/182.64 c | 100 | 3743 5188 20130 | 5500 100 36 | 43.744 % | 182.55/182.66 c | 251 | 3743 5188 20130 | 6050 251 65 | 43.744 % | 182.55/182.68 c =============================================================================== 182.64/182.70 c core #97 182.64/182.70 c 182.64/182.70 c 182.64/182.70 c Core size: 211 Core Weight: 1 Total Weight: 97 182.64/182.70 c 182.64/182.70 c 182.64/182.70 c ============================[ Search Statistics ]============================== 182.64/182.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.70 c =============================================================================== 182.64/182.70 c | 0 | 4034 5189 20621 | 5000 0 nan | 0.000 % | 182.64/182.71 c | 100 | 4034 5189 20621 | 5500 100 101 | 41.170 % | 182.64/182.72 c =============================================================================== 182.64/182.74 c core #98 182.64/182.74 c 182.64/182.74 c 182.64/182.74 c Core size: 38 Core Weight: 1 Total Weight: 98 182.64/182.74 c 182.64/182.74 c 182.64/182.74 c ============================[ Search Statistics ]============================== 182.64/182.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.74 c =============================================================================== 182.64/182.74 c | 0 | 4142 5190 20757 | 5000 0 nan | 0.000 % | 182.64/182.75 c | 100 | 4142 5190 20757 | 5500 100 74 | 39.901 % | 182.64/182.77 c | 251 | 4142 5190 20757 | 6050 251 94 | 39.901 % | 182.74/182.81 c | 476 | 4142 5190 20757 | 6655 476 102 | 39.901 % | 182.74/182.82 c =============================================================================== 182.74/182.84 c core #99 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 29 Core Weight: 1 Total Weight: 99 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c ============================[ Search Statistics ]============================== 182.74/182.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.84 c =============================================================================== 182.74/182.84 c | 0 | 4183 5191 20824 | 5000 0 nan | 0.000 % | 182.74/182.85 c | 100 | 4183 5191 20824 | 5500 100 50 | 39.535 % | 182.74/182.88 c | 250 | 4183 5191 20824 | 6050 250 60 | 39.535 % | 182.84/182.91 c | 476 | 4183 5191 20824 | 6655 476 78 | 39.535 % | 182.84/182.95 c =============================================================================== 182.84/182.97 c core #100 182.84/182.97 c 182.84/182.97 c 182.84/182.97 c Core size: 43 Core Weight: 1 Total Weight: 100 182.84/182.97 c 182.84/182.97 c 182.84/182.97 c ============================[ Search Statistics ]============================== 182.84/182.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.97 c =============================================================================== 182.84/182.97 c | 0 | 4257 5192 20938 | 5000 0 nan | 0.000 % | 182.84/182.99 c | 100 | 4257 5192 20938 | 5500 100 44 | 38.819 % | 182.94/183.00 c | 252 | 4257 5192 20938 | 6050 252 30 | 38.819 % | 182.94/183.03 c | 479 | 4257 5192 20938 | 6655 479 57 | 38.819 % | 182.94/183.09 c | 816 | 4257 5192 20938 | 7320 816 63 | 38.819 % | 183.05/183.17 c | 1322 | 4257 5192 20938 | 8052 1322 73 | 38.819 % | 183.14/183.23 c =============================================================================== 183.14/183.25 c core #101 183.14/183.25 c 183.14/183.25 c 183.14/183.25 c Core size: 109 Core Weight: 1 Total Weight: 101 183.14/183.25 c 183.14/183.25 c 183.14/183.25 c ============================[ Search Statistics ]============================== 183.14/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.25 c =============================================================================== 183.14/183.25 c | 0 | 4430 5193 21216 | 5000 0 nan | 0.000 % | 183.14/183.26 c | 100 | 4430 5193 21216 | 5500 100 64 | 37.279 % | 183.14/183.28 c | 250 | 4428 5193 21216 | 6050 250 61 | 37.307 % | 183.25/183.31 c | 476 | 4428 5193 21216 | 6655 475 71 | 37.307 % | 183.25/183.39 c | 813 | 4428 5193 21216 | 7320 812 89 | 37.307 % | 183.34/183.47 c | 1323 | 4428 5193 21216 | 8052 1322 91 | 37.307 % | 183.55/183.66 c | 2082 | 4426 5193 21216 | 8857 2080 92 | 37.335 % | 183.94/184.04 c | 3222 | 4426 5193 21216 | 9743 3220 90 | 37.335 % | 184.44/184.52 c | 4930 | 4426 5193 21216 | 10717 4927 93 | 37.335 % | 184.74/184.89 c =============================================================================== 184.84/184.99 c core #102 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 265 Core Weight: 1 Total Weight: 102 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c ============================[ Search Statistics ]============================== 184.84/184.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.99 c =============================================================================== 184.84/184.99 c | 0 | 4718 5194 21761 | 5000 0 nan | 0.000 % | 184.94/185.01 c | 100 | 4718 5194 21761 | 5500 100 130 | 35.546 % | 184.94/185.01 c =============================================================================== 184.94/185.03 c core #103 184.94/185.03 c 184.94/185.03 c 184.94/185.03 c Core size: 28 Core Weight: 1 Total Weight: 103 184.94/185.03 c 184.94/185.03 c 184.94/185.03 c ============================[ Search Statistics ]============================== 184.94/185.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.03 c =============================================================================== 184.94/185.03 c | 0 | 4758 5195 21827 | 5000 0 nan | 0.000 % | 184.94/185.04 c | 100 | 4758 5195 21827 | 5500 100 155 | 35.230 % | 184.94/185.06 c | 250 | 4757 5195 21827 | 6050 250 93 | 35.244 % | 185.04/185.11 c | 476 | 4757 5195 21827 | 6655 475 104 | 35.257 % | 185.14/185.20 c | 816 | 4756 5195 21827 | 7320 815 113 | 35.257 % | 185.25/185.38 c | 1325 | 4756 5195 21827 | 8052 1323 134 | 35.257 % | 185.54/185.60 c | 2084 | 4754 5195 21827 | 8857 2081 153 | 35.285 % | 185.94/186.06 c | 3223 | 4754 5195 21827 | 9743 3220 167 | 35.298 % | 186.64/186.70 c | 4931 | 4754 5195 21827 | 10717 4928 170 | 35.298 % | 187.74/187.84 c | 7495 | 4753 5195 21827 | 11789 7491 189 | 35.298 % | 189.15/189.27 c | 11339 | 4751 5195 21827 | 12968 11335 183 | 35.325 % | 191.84/191.97 c | 17111 | 4751 5195 21827 | 14265 9186 170 | 35.325 % | 196.24/196.30 c | 25760 | 4751 5195 21827 | 15692 9357 196 | 35.325 % | 202.13/202.22 c | 38735 | 4553 5195 21827 | 17261 12983 188 | 39.328 % | 202.64/202.79 c =============================================================================== 203.24/203.37 c core #104 203.24/203.37 c 203.24/203.37 c 203.24/203.37 c Core size: 459 Core Weight: 1 Total Weight: 104 203.24/203.37 c 203.24/203.37 c 203.24/203.37 c ============================[ Search Statistics ]============================== 203.24/203.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.24/203.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.24/203.37 c =============================================================================== 203.24/203.37 c | 0 | 5342 5196 22835 | 5000 0 nan | 0.000 % | 203.34/203.40 c | 100 | 5342 5196 22835 | 5500 100 195 | 31.478 % | 203.34/203.40 c =============================================================================== 203.34/203.42 c core #105 203.34/203.42 c 203.34/203.42 c 203.34/203.42 c Core size: 41 Core Weight: 1 Total Weight: 105 203.34/203.42 c 203.34/203.42 c 203.34/203.42 c ============================[ Search Statistics ]============================== 203.34/203.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.34/203.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.34/203.42 c =============================================================================== 203.34/203.42 c | 0 | 5403 5197 22935 | 5000 0 nan | 0.000 % | 203.34/203.44 c | 100 | 5403 5197 22935 | 5500 100 179 | 31.040 % | 203.34/203.45 c | 250 | 5402 5197 22935 | 6050 250 99 | 31.066 % | 203.34/203.46 c =============================================================================== 203.34/203.48 c core #106 203.34/203.48 c 203.34/203.48 c 203.34/203.48 c Core size: 107 Core Weight: 1 Total Weight: 106 203.34/203.48 c 203.34/203.48 c 203.34/203.48 c ============================[ Search Statistics ]============================== 203.34/203.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.34/203.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.34/203.48 c =============================================================================== 203.34/203.48 c | 0 | 5525 5198 23163 | 5000 0 nan | 0.000 % | 203.34/203.50 c | 100 | 5524 5198 23163 | 5500 100 27 | 30.450 % | 203.45/203.53 c | 250 | 5524 5198 23163 | 6050 250 51 | 30.450 % | 203.45/203.58 c | 478 | 5519 5198 23163 | 6655 477 64 | 31.104 % | 203.64/203.71 c | 815 | 5471 5198 23163 | 7320 810 114 | 31.104 % | 203.74/203.84 c | 1321 | 5471 5198 23163 | 8052 1316 147 | 31.104 % | 203.94/204.04 c | 2080 | 5471 5198 23163 | 8857 2075 148 | 31.104 % | 204.33/204.44 c | 3223 | 5471 5198 23163 | 9743 3218 155 | 31.104 % | 205.04/205.12 c | 4931 | 5471 5198 23163 | 10717 4926 171 | 31.104 % | 206.23/206.39 c | 7495 | 5470 5198 23163 | 11789 7488 176 | 31.117 % | 208.43/208.54 c | 11340 | 5470 5198 23163 | 12968 11333 175 | 31.117 % | 212.34/212.46 c | 17106 | 5470 5198 23163 | 14265 9169 214 | 31.117 % | 218.63/218.73 c | 25755 | 5470 5198 23163 | 15692 9215 249 | 31.117 % | 228.43/228.56 c | 38729 | 5470 5198 23163 | 17261 12784 238 | 31.117 % | 233.33/233.41 c =============================================================================== 234.13/234.25 c core #107 234.13/234.25 c 234.13/234.25 c 234.13/234.25 c Core size: 496 Core Weight: 1 Total Weight: 107 234.13/234.25 c 234.13/234.25 c 234.13/234.25 c ============================[ Search Statistics ]============================== 234.13/234.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.13/234.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.13/234.25 c =============================================================================== 234.13/234.25 c | 0 | 6111 5199 24242 | 5000 0 nan | 0.000 % | 234.13/234.28 c | 100 | 6106 5199 24242 | 5500 100 17 | 28.136 % | 234.13/234.30 c | 250 | 6106 5199 24242 | 6050 250 31 | 28.136 % | 234.24/234.32 c | 475 | 6061 5199 24242 | 6655 473 40 | 28.136 % | 234.24/234.36 c | 814 | 6061 5199 24242 | 7320 812 50 | 28.136 % | 234.33/234.43 c | 1321 | 6061 5199 24242 | 8052 1319 61 | 28.136 % | 234.43/234.54 c | 2080 | 6061 5199 24242 | 8857 2078 62 | 28.136 % | 234.52/234.65 c =============================================================================== 234.62/234.70 c core #108 234.62/234.70 c 234.62/234.70 c 234.62/234.70 c Core size: 224 Core Weight: 1 Total Weight: 108 234.62/234.70 c 234.62/234.70 c 234.62/234.70 c ============================[ Search Statistics ]============================== 234.62/234.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.62/234.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.62/234.70 c =============================================================================== 234.62/234.70 c | 0 | 6414 5200 24764 | 5000 0 nan | 0.000 % | 234.62/234.74 c | 100 | 6411 5200 24764 | 5500 100 69 | 25.922 % | 234.62/234.77 c | 250 | 6410 5200 24764 | 6050 248 82 | 25.922 % | 234.73/234.82 c | 476 | 6408 5200 24764 | 6655 472 76 | 25.945 % | 234.83/234.91 c | 815 | 6408 5200 24764 | 7320 811 94 | 25.945 % | 234.93/235.06 c | 1322 | 6400 5200 24764 | 8052 1310 134 | 26.939 % | 235.24/235.32 c | 2081 | 6322 5200 24764 | 8857 2058 158 | 26.939 % | 235.63/235.76 c | 3222 | 6322 5200 24764 | 9743 3199 167 | 26.939 % | 236.34/236.40 c | 4930 | 6322 5200 24764 | 10717 4907 207 | 26.939 % | 237.44/237.55 c | 7496 | 6321 5200 24764 | 11789 7471 209 | 26.950 % | 239.33/239.47 c | 11340 | 6315 5200 24764 | 12968 11315 228 | 27.020 % | 242.72/242.81 c | 17108 | 6315 5200 24764 | 14265 9264 266 | 27.020 % | 248.62/248.70 c | 25757 | 6315 5200 24764 | 15692 9585 359 | 27.020 % | 260.22/260.33 c | 38733 | 6302 5200 24764 | 17261 13295 396 | 27.170 % | 281.92/282.07 c | 58194 | 6283 5200 24764 | 18987 12733 386 | 27.424 % | 309.41/309.52 c | 87388 | 6269 5200 24764 | 20886 20499 365 | 27.586 % | 358.09/358.22 c | 131178 | 6262 5200 24764 | 22974 16654 336 | 27.644 % | 420.77/420.95 c | 196864 | 6234 5200 24764 | 25272 15103 407 | 27.967 % | 494.06/494.20 c =============================================================================== 496.06/496.24 c core #109 496.06/496.24 c 496.06/496.24 c 496.06/496.24 c Core size: 842 Core Weight: 1 Total Weight: 109 496.06/496.24 c 496.06/496.24 c 496.06/496.24 c ============================[ Search Statistics ]============================== 496.06/496.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 496.06/496.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 496.06/496.24 c =============================================================================== 496.06/496.24 c | 0 | 7362 5201 26542 | 5000 0 nan | 0.000 % | 496.06/496.29 c | 100 | 7362 5201 26542 | 5500 100 19 | 22.366 % | 496.16/496.34 c | 250 | 7361 5201 26542 | 6050 250 29 | 22.387 % | 496.26/496.41 c | 475 | 7359 5201 26542 | 6655 474 36 | 22.409 % | 496.36/496.51 c | 815 | 7356 5201 26542 | 7320 813 66 | 22.430 % | 496.66/496.83 c | 1321 | 7356 5201 26542 | 8052 1317 118 | 22.430 % | 497.16/497.33 c | 2084 | 7356 5201 26542 | 8857 2080 158 | 22.430 % | 498.07/498.22 c | 3225 | 7356 5201 26542 | 9743 3221 170 | 22.430 % | 498.95/499.14 c | 4933 | 7352 5201 26542 | 10717 4927 171 | 22.472 % | 500.86/501.00 c | 7495 | 7350 5201 26542 | 11789 7487 190 | 22.493 % | 503.25/503.47 c | 11342 | 7348 5201 26542 | 12968 11333 213 | 22.514 % | 507.05/507.27 c | 17108 | 7337 5201 26542 | 14265 9233 260 | 22.830 % | 516.45/516.65 c | 25758 | 7335 5201 26542 | 15692 9034 422 | 22.830 % | 529.75/529.98 c | 38732 | 7318 5201 26542 | 17261 12462 407 | 22.830 % | 553.15/553.35 c | 58195 | 7318 5201 26542 | 18987 12061 329 | 22.830 % | 591.64/591.83 c | 87387 | 7318 5201 26542 | 20886 19372 340 | 22.830 % | 659.91/660.12 c | 131178 | 7316 5201 26542 | 22974 16952 624 | 22.851 % | 741.69/741.91 c =============================================================================== 744.99/745.22 c core #110 744.99/745.22 c 744.99/745.22 c 744.99/745.22 c Core size: 1387 Core Weight: 1 Total Weight: 110 744.99/745.22 c 744.99/745.22 c 744.99/745.22 c ============================[ Search Statistics ]============================== 744.99/745.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 744.99/745.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 744.99/745.22 c =============================================================================== 744.99/745.22 c | 0 | 9206 5202 29770 | 5000 0 nan | 0.000 % | 745.09/745.32 c | 100 | 9206 5202 29770 | 5500 100 121 | 15.285 % | 745.19/745.46 c | 250 | 9206 5202 29770 | 6050 250 78 | 15.285 % | 745.29/745.53 c | 475 | 9206 5202 29770 | 6655 475 84 | 15.285 % | 745.50/745.73 c | 812 | 9206 5202 29770 | 7320 812 108 | 15.285 % | 745.60/745.85 c | 1318 | 9206 5202 29770 | 8052 1318 145 | 15.285 % | 746.09/746.35 c | 2077 | 9206 5202 29770 | 8857 2077 129 | 15.285 % | 746.60/746.88 c | 3217 | 9206 5202 29770 | 9743 3217 192 | 15.285 % | 748.90/749.12 c | 4927 | 9206 5202 29770 | 10717 4927 241 | 15.285 % | 750.19/750.48 c | 7489 | 9206 5202 29770 | 11789 7489 242 | 15.285 % | 752.20/752.49 c | 11335 | 9206 5202 29770 | 12968 11335 288 | 15.285 % | 757.19/757.41 c | 17102 | 9206 5202 29770 | 14265 9621 348 | 15.285 % | 769.98/770.29 c | 25753 | 9206 5202 29770 | 15692 9448 578 | 15.285 % | 789.98/790.29 c | 38727 | 9206 5202 29770 | 17261 13092 479 | 15.285 % | 810.38/810.62 c | 58188 | 9206 5202 29770 | 18987 21908 350 | 15.285 % | 844.86/845.17 c | 87380 | 9206 5202 29770 | 20886 18983 627 | 15.285 % | 924.44/924.72 c | 131169 | 9206 5202 29770 | 22974 20599 1072 | 15.285 % | 1059.10/1059.43 c | 196853 | 9206 5202 29770 | 25272 14181 720 | 15.285 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680875-1277456784/watcher-2680875-1277456784 -o /tmp/evaluation-result-2680875-1277456784/solver-2680875-1277456784 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680875-1277456784.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.91 3/106 29533 /proc/meminfo: memFree=1854136/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=3572 CPUtime=0 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 459 0 0 0 0 0 0 0 25 0 1 0 121282397 3657728 378 1992294400 134512640 135752675 4288564256 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 893 378 134 303 0 556 0 [startup+0.0458629 s] /proc/loadavg: 0.99 0.97 0.91 3/106 29533 /proc/meminfo: memFree=1854136/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=4148 CPUtime=0.03 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 682 0 0 0 3 0 0 0 25 0 1 0 121282397 4247552 569 1992294400 134512640 135752675 4288564256 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 1037 569 144 303 0 732 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4148 [startup+0.101869 s] /proc/loadavg: 0.99 0.97 0.91 3/106 29533 /proc/meminfo: memFree=1854136/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=4148 CPUtime=0.09 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 682 0 0 0 9 0 0 0 25 0 1 0 121282397 4247552 569 1992294400 134512640 135752675 4288564256 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 1037 569 144 303 0 732 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4148 [startup+0.300892 s] /proc/loadavg: 0.99 0.97 0.91 3/106 29533 /proc/meminfo: memFree=1854136/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=4148 CPUtime=0.29 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 694 0 0 0 28 1 0 0 25 0 1 0 121282397 4247552 581 1992294400 134512640 135752675 4288564256 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 1037 581 145 303 0 732 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4148 [startup+0.70094 s] /proc/loadavg: 0.99 0.97 0.91 3/106 29533 /proc/meminfo: memFree=1854136/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=5048 CPUtime=0.69 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 928 0 0 0 67 2 0 0 25 0 1 0 121282397 5169152 815 1992294400 134512640 135752675 4288564256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 1262 815 145 303 0 957 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5048 [startup+1.50103 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29534 /proc/meminfo: memFree=1850656/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=6844 CPUtime=1.49 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 1383 0 0 0 146 3 0 0 25 0 1 0 121282397 7008256 1270 1992294400 134512640 135752675 4288564256 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 1711 1270 145 303 0 1406 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6844 [startup+3.10022 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29534 /proc/meminfo: memFree=1848052/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=10196 CPUtime=3.09 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 2228 0 0 0 304 5 0 0 25 0 1 0 121282397 10440704 2115 1992294400 134512640 135752675 4288564256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 2549 2115 145 303 0 2244 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10196 [startup+6.3006 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29534 /proc/meminfo: memFree=1841728/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=15884 CPUtime=6.29 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 3635 0 0 0 621 8 0 0 25 0 1 0 121282397 16265216 3522 1992294400 134512640 135752675 4288564256 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 3971 3522 145 303 0 3666 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15884 [startup+12.7003 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29534 /proc/meminfo: memFree=1830956/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=26104 CPUtime=12.68 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 6206 0 0 0 1256 12 0 0 25 0 1 0 121282397 26730496 6093 1992294400 134512640 135752675 4288564256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 6526 6093 145 303 0 6221 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26104 [startup+25.5008 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29534 /proc/meminfo: memFree=1805164/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=51472 CPUtime=25.48 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 12517 0 0 0 2526 22 0 0 25 0 1 0 121282397 52707328 12404 1992294400 134512640 135752675 4288564256 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 12868 12404 145 303 0 12563 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51472 [startup+51.1008 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29536 /proc/meminfo: memFree=1753332/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=103912 CPUtime=51.08 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 25623 0 0 0 5067 41 0 0 25 0 1 0 121282397 106405888 25510 1992294400 134512640 135752675 4288564256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 25978 25510 145 303 0 25673 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 103912 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29538 /proc/meminfo: memFree=1661820/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=194064 CPUtime=102.27 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 48142 0 0 0 10148 79 0 0 25 0 1 0 121282397 198721536 48029 1992294400 134512640 135752675 4288564256 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 48516 48029 145 303 0 48211 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 194064 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29538 /proc/meminfo: memFree=1589528/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=266892 CPUtime=162.25 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 66349 0 0 0 16116 109 0 0 25 0 1 0 121282397 273297408 66236 1992294400 134512640 135752675 4288564256 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 66723 66236 145 303 0 66418 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 266892 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29540 /proc/meminfo: memFree=1540300/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=315064 CPUtime=222.23 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 78729 0 0 0 22044 179 0 0 25 0 1 0 121282397 322625536 78340 1992294400 134512640 135752675 4288564256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 78766 78340 146 303 0 78461 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 315064 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29542 /proc/meminfo: memFree=1457840/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=398340 CPUtime=282.21 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 99599 0 0 0 27970 251 0 0 25 0 1 0 121282397 407900160 99141 1992294400 134512640 135752675 4288564256 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 99585 99141 146 303 0 99280 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 398340 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29544 /proc/meminfo: memFree=1360624/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=494440 CPUtime=342.2 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 123618 0 0 0 33922 298 0 0 25 0 1 0 121282397 506306560 123160 1992294400 134512640 135752675 4288564256 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 123610 123160 146 303 0 123305 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 494440 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29544 /proc/meminfo: memFree=1260184/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=595416 CPUtime=402.18 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 148841 0 0 0 39866 352 0 0 25 0 1 0 121282397 609705984 148383 1992294400 134512640 135752675 4288564256 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 148854 148383 146 303 0 148549 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 595416 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29549 /proc/meminfo: memFree=1163092/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=691572 CPUtime=462.17 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 172835 0 0 0 45817 400 0 0 25 0 1 0 121282397 708169728 172377 1992294400 134512640 135752675 4288564256 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 172893 172377 146 303 0 172588 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 691572 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29551 /proc/meminfo: memFree=1106424/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=749364 CPUtime=522.15 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 187300 0 0 0 51766 449 0 0 25 0 1 0 121282397 767348736 186842 1992294400 134512640 135752675 4288564256 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 187341 186843 146 303 0 187036 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 749364 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29553 /proc/meminfo: memFree=1028180/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=826036 CPUtime=582.13 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 206476 0 0 0 57725 488 0 0 25 0 1 0 121282397 845860864 206018 1992294400 134512640 135752675 4288564256 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 206509 206018 146 303 0 206204 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 826036 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29555 /proc/meminfo: memFree=931088/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=922504 CPUtime=642.12 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 230591 0 0 0 63686 526 0 0 25 0 1 0 121282397 944644096 230133 1992294400 134512640 135752675 4288564256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 230626 230133 146 303 0 230321 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 922504 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29557 /proc/meminfo: memFree=846768/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=1008408 CPUtime=702.1 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 252061 0 0 0 69649 561 0 0 25 0 1 0 121282397 1032609792 251603 1992294400 134512640 135752675 4288564256 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 252102 251603 146 303 0 251797 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1008408 [startup+762.309 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29557 /proc/meminfo: memFree=785016/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=1067680 CPUtime=762.1 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 267030 0 0 0 75590 620 0 0 25 0 1 0 121282397 1093304320 266460 1992294400 134512640 135752675 4288564256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 266920 266460 146 303 0 266615 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1067680 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29559 /proc/meminfo: memFree=694000/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=1160808 CPUtime=822.07 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 290307 0 0 0 81535 672 0 0 25 0 1 0 121282397 1188667392 289737 1992294400 134512640 135752675 4288564256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 290202 289737 146 303 0 289897 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1160808 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29561 /proc/meminfo: memFree=561320/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=1292312 CPUtime=882.05 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 323169 0 0 0 87480 725 0 0 25 0 1 0 121282397 1323327488 322599 1992294400 134512640 135752675 4288564256 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 323078 322599 146 303 0 322773 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1292312 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29563 /proc/meminfo: memFree=447860/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=1405800 CPUtime=942.03 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 351547 0 0 0 93443 760 0 0 25 0 1 0 121282397 1439539200 350977 1992294400 134512640 135752675 4288564256 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 351450 350977 146 303 0 351145 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1405800 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29565 /proc/meminfo: memFree=369616/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=1482972 CPUtime=1002.02 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 370838 0 0 0 99402 800 0 0 25 0 1 0 121282397 1518563328 370268 1992294400 134512640 135752675 4288564256 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 370743 370268 146 303 0 370438 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1482972 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29565 /proc/meminfo: memFree=238796/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=1616584 CPUtime=1062 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 404232 0 0 0 105356 844 0 0 25 0 1 0 121282397 1655382016 403662 1992294400 134512640 135752675 4288564256 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 404146 403662 146 303 0 403841 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1616584 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29567 /proc/meminfo: memFree=113928/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=1739052 CPUtime=1121.99 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 434821 0 0 0 111305 894 0 0 25 0 1 0 121282397 1780789248 434251 1992294400 134512640 135752675 4288564256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 434763 434251 146 303 0 434458 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1739052 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1174.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29569 /proc/meminfo: memFree=9292/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=1843588 CPUtime=1173.98 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4202496 460957 0 0 0 116448 950 0 0 25 0 1 0 121282397 1887834112 460387 1992294400 134512640 135752675 4288564256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29533/statm: 460897 460387 146 303 0 460592 0 Current children cumulated CPU time (s) 1173.98 Current children cumulated vsize (KiB) 1843588 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1174.41 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29569 /proc/meminfo: memFree=9292/2059040 swapFree=4136396/4192956 [pid=29533] ppid=29531 vsize=0 CPUtime=1174.08 /proc/29533/stat : 29533 (wbo1.4b) R 29531 29533 29207 0 -1 4203524 460957 0 0 0 116448 960 0 0 25 0 1 0 121282397 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29533/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1174.08 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1174.48 CPU time (s): 1174.17 CPU user time (s): 1164.49 CPU system time (s): 9.68053 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1843588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1164.49 system time used= 9.68053 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460957 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= 12 involuntary context switches= 702 runsolver used 1.9447 second user time and 5.56115 second system time The end
Begin job on node001 at 2010-06-25 11:06:24 IDJOB=2680875 IDBENCH=2837 IDSOLVER=1190 FILE ID=node001/2680875-1277456784 PBS_JOBID= 11188156 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680875-1277456784/watcher-2680875-1277456784 -o /tmp/evaluation-result-2680875-1277456784/solver-2680875-1277456784 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680875-1277456784.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cb09f183d3805e6536d629586026461f RANDOM SEED=1142180924 node001.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.202 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854664 kB Buffers: 22892 kB Cached: 80748 kB SwapCached: 9008 kB Active: 18620 kB Inactive: 98052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854664 kB SwapTotal: 4192956 kB SwapFree: 4136396 kB Dirty: 2856 kB Writeback: 0 kB AnonPages: 11580 kB Mapped: 8396 kB Slab: 65704 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181960 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62472 MiB End job on node001 at 2010-06-25 11:26:00