Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.2 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb |
MD5SUM | 5548b3a1af88258afdf09b4f2d4db162 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 176 |
Best CPU time to get the best result obtained on this benchmark | 1790.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 239 |
Optimality of the best value was proved | NO |
Number of variables | 63009 |
Total number of constraints | 507 |
Number of constraints which are clauses | 507 |
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 | 1 |
Maximum length of a constraint | 7753 |
Number of terms in the objective function | 63009 |
Biggest coefficient in the objective function | 2 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 122425 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 122425 |
Number of bits of the biggest sum of numbers | 17 |
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.01 c wbo 1.4 beta - 20100610 0.00/0.01 c Parsing opb file format. File HOME/instance-2680607-1277451713.opb. 0.00/0.01 c Instance file HOME/instance-2680607-1277451713.opb 0.00/0.01 c File size is 4644392 bytes. 0.79/0.88 c Highest Coefficient sum: 7754 0.79/0.89 c ============================[ Problem Statistics ]============================= 0.79/0.89 c | | 0.79/0.89 c | Parsing time: 0.87 s | 0.79/0.89 c | Number Variables: 63009 | 0.79/0.89 c | Number Clauses: 507 | 0.79/0.89 c | Number Cardinality: 0 | 0.79/0.89 c | Number PB Constraints: 0 | 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 63002 507 408666 | 5000 0 nan | 0.000 % | 2.09/2.10 c =============================================================================== 2.09/2.10 c New solution: 349 2.09/2.10 o 349 2.09/2.10 c Elapsed CPU time: 2.03869 s Remaining CPU time: 177.961 s 2.09/2.10 c =============================================================================== 2.09/2.10 c | 0 | 63002 508 471675 | 5000 0 nan | 0.000 % | 2.79/2.89 c | 102 | 63002 508 471675 | 5500 102 3088 | 0.011 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c New solution: 307 3.99/4.04 o 307 3.99/4.04 c Elapsed CPU time: 3.87541 s Remaining CPU time: 176.125 s 3.99/4.04 c =============================================================================== 3.99/4.04 c | 102 | 63002 509 534684 | 5000 102 3088 | 0.011 % | 4.79/4.87 c | 202 | 63002 509 534684 | 5500 202 4178 | 0.011 % | 7.19/7.23 c | 352 | 63002 509 534684 | 6050 352 3114 | 0.011 % | 8.39/8.42 c | 578 | 63002 509 534684 | 6655 578 2361 | 0.011 % | 10.19/10.23 c | 915 | 63002 509 534684 | 7320 915 2146 | 0.011 % | 13.19/13.24 c | 1421 | 63002 509 534684 | 8052 1421 2030 | 0.011 % | 17.79/17.82 c | 2180 | 63002 509 534684 | 8857 2180 1782 | 0.011 % | 23.89/23.98 c | 3320 | 63002 509 534684 | 9743 3320 1520 | 0.011 % | 36.38/36.47 c | 5029 | 63002 509 534684 | 10717 5029 1529 | 0.011 % | 53.18/53.25 c | 7595 | 63002 509 534684 | 11789 7595 1194 | 0.011 % | 100.66/100.71 c | 11440 | 63002 509 534684 | 12968 11440 918 | 0.011 % | 180.74/180.89 c There are 7 assigned variables. 7 in cost function. 189.64/189.79 c core #1 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 3074 Core Weight: 1 Total Weight: 14 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #2 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 291 Core Weight: 1 Total Weight: 15 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #3 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 905 Core Weight: 1 Total Weight: 16 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #4 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 8 Core Weight: 1 Total Weight: 17 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #5 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 5 Core Weight: 2 Total Weight: 19 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #6 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 185 Core Weight: 1 Total Weight: 20 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #7 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 229 Core Weight: 1 Total Weight: 21 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #8 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 54 Core Weight: 1 Total Weight: 22 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #9 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 14 Core Weight: 2 Total Weight: 24 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #10 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 603 Core Weight: 1 Total Weight: 25 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #11 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 411 Core Weight: 1 Total Weight: 26 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #12 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 1236 Core Weight: 1 Total Weight: 27 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #13 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 753 Core Weight: 1 Total Weight: 28 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #14 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 211 Core Weight: 1 Total Weight: 29 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #15 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 1470 Core Weight: 1 Total Weight: 30 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #16 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 269 Core Weight: 1 Total Weight: 31 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #17 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 411 Core Weight: 1 Total Weight: 32 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #18 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 17 Core Weight: 1 Total Weight: 33 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #19 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 29 Core Weight: 2 Total Weight: 35 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #20 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 32 Core Weight: 1 Total Weight: 36 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #21 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 266 Core Weight: 1 Total Weight: 37 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #22 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 1948 Core Weight: 1 Total Weight: 38 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #23 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 205 Core Weight: 1 Total Weight: 39 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #24 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 2374 Core Weight: 1 Total Weight: 40 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #25 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 3511 Core Weight: 1 Total Weight: 41 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #26 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 312 Core Weight: 1 Total Weight: 42 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #27 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 1401 Core Weight: 1 Total Weight: 43 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #28 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 32 Core Weight: 1 Total Weight: 44 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #29 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 377 Core Weight: 1 Total Weight: 45 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #30 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 27 Core Weight: 1 Total Weight: 46 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #31 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 35 Core Weight: 1 Total Weight: 47 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #32 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 221 Core Weight: 1 Total Weight: 48 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #33 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 45 Core Weight: 2 Total Weight: 50 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #34 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 458 Core Weight: 1 Total Weight: 51 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #35 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 268 Core Weight: 1 Total Weight: 52 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #36 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 72 Core Weight: 2 Total Weight: 54 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #37 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 306 Core Weight: 2 Total Weight: 56 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #38 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 1380 Core Weight: 1 Total Weight: 57 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #39 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 39 Core Weight: 2 Total Weight: 59 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #40 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 16 Core Weight: 1 Total Weight: 60 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #41 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 289 Core Weight: 1 Total Weight: 61 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #42 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 170 Core Weight: 1 Total Weight: 62 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #43 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 10 Core Weight: 1 Total Weight: 63 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #44 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 321 Core Weight: 1 Total Weight: 64 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #45 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 77 Core Weight: 1 Total Weight: 65 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #46 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 46 Core Weight: 1 Total Weight: 66 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #47 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 258 Core Weight: 1 Total Weight: 67 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #48 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 44 Core Weight: 1 Total Weight: 68 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #49 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 65 Core Weight: 1 Total Weight: 69 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #50 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 214 Core Weight: 1 Total Weight: 70 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #51 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 44 Core Weight: 1 Total Weight: 71 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #52 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 68 Core Weight: 1 Total Weight: 72 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #53 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 417 Core Weight: 1 Total Weight: 73 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #54 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 112 Core Weight: 1 Total Weight: 74 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #55 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 449 Core Weight: 1 Total Weight: 75 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #56 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 256 Core Weight: 1 Total Weight: 76 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #57 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 300 Core Weight: 1 Total Weight: 77 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #58 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 175 Core Weight: 1 Total Weight: 78 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c core #59 189.64/189.79 c 189.64/189.79 c 189.64/189.79 c Core size: 377 Core Weight: 1 Total Weight: 79 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #60 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 363 Core Weight: 1 Total Weight: 80 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #61 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 292 Core Weight: 1 Total Weight: 81 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #62 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 175 Core Weight: 1 Total Weight: 82 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #63 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 51 Core Weight: 1 Total Weight: 83 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #64 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 132 Core Weight: 1 Total Weight: 84 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #65 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 4 Core Weight: 1 Total Weight: 85 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #66 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 107 Core Weight: 1 Total Weight: 86 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #67 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 4 Core Weight: 2 Total Weight: 88 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #68 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 9 Core Weight: 1 Total Weight: 89 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #69 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 771 Core Weight: 1 Total Weight: 90 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #70 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 353 Core Weight: 1 Total Weight: 91 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #71 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 554 Core Weight: 1 Total Weight: 92 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #72 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 960 Core Weight: 1 Total Weight: 93 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #73 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 224 Core Weight: 1 Total Weight: 94 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #74 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 320 Core Weight: 1 Total Weight: 95 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #75 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 770 Core Weight: 1 Total Weight: 96 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #76 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 705 Core Weight: 1 Total Weight: 97 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #77 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 582 Core Weight: 1 Total Weight: 98 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #78 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 81 Core Weight: 1 Total Weight: 99 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #79 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 290 Core Weight: 1 Total Weight: 100 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #80 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 648 Core Weight: 1 Total Weight: 101 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #81 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 515 Core Weight: 1 Total Weight: 102 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #82 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 309 Core Weight: 1 Total Weight: 103 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #83 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 54 Core Weight: 1 Total Weight: 104 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #84 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 141 Core Weight: 1 Total Weight: 105 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #85 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 165 Core Weight: 1 Total Weight: 106 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #86 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 486 Core Weight: 1 Total Weight: 107 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #87 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 201 Core Weight: 1 Total Weight: 108 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #88 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 252 Core Weight: 1 Total Weight: 109 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #89 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 50 Core Weight: 1 Total Weight: 110 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #90 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 827 Core Weight: 1 Total Weight: 111 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #91 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 872 Core Weight: 1 Total Weight: 112 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #92 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 713 Core Weight: 1 Total Weight: 113 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #93 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 166 Core Weight: 2 Total Weight: 115 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #94 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 431 Core Weight: 1 Total Weight: 116 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #95 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 134 Core Weight: 1 Total Weight: 117 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #96 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 4 Core Weight: 1 Total Weight: 118 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #97 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 238 Core Weight: 1 Total Weight: 119 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #98 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 133 Core Weight: 2 Total Weight: 121 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #99 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 670 Core Weight: 1 Total Weight: 122 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #100 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 836 Core Weight: 1 Total Weight: 123 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #101 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 33 Core Weight: 2 Total Weight: 125 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #102 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 31 Core Weight: 1 Total Weight: 126 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #103 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 1438 Core Weight: 1 Total Weight: 127 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #104 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 19 Core Weight: 1 Total Weight: 128 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #105 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 18 Core Weight: 1 Total Weight: 129 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #106 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 1050 Core Weight: 1 Total Weight: 130 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #107 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 234 Core Weight: 2 Total Weight: 132 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #108 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 597 Core Weight: 1 Total Weight: 133 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #109 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 638 Core Weight: 1 Total Weight: 134 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #110 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 1148 Core Weight: 1 Total Weight: 135 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #111 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 708 Core Weight: 1 Total Weight: 136 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #112 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 1737 Core Weight: 1 Total Weight: 137 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #113 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 600 Core Weight: 1 Total Weight: 138 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #114 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 686 Core Weight: 1 Total Weight: 139 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c core #115 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c Core size: 3740 Core Weight: 1 Total Weight: 140 200.33/200.47 c 200.33/200.47 c 200.33/200.47 c ============================[ Search Statistics ]============================== 200.33/200.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.33/200.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.33/200.47 c =============================================================================== 200.33/200.47 c | 0 | 67272 104469 635546 | 34823 0 nan | 0.000 % | 200.44/200.57 c =============================================================================== 200.73/200.83 c core #116 200.73/200.83 c 200.73/200.83 c 200.73/200.83 c Core size: 809 Core Weight: 1 Total Weight: 141 200.73/200.83 c 200.73/200.83 c 200.73/200.83 c ============================[ Search Statistics ]============================== 200.73/200.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.73/200.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.73/200.83 c =============================================================================== 200.73/200.83 c | 0 | 68428 104918 637741 | 34972 0 nan | 0.000 % | 202.73/202.81 c | 100 | 68428 104918 637741 | 38469 100 797 | 42.079 % | 203.23/203.33 c | 250 | 68428 104918 637741 | 42316 250 458 | 42.079 % | 203.73/203.84 c | 475 | 68428 104918 637741 | 46548 475 532 | 42.079 % | 204.23/204.30 c | 812 | 68428 104918 637741 | 51203 812 706 | 42.079 % | 204.93/205.06 c =============================================================================== 205.23/205.31 c core #117 205.23/205.31 c 205.23/205.31 c 205.23/205.31 c Core size: 4241 Core Weight: 1 Total Weight: 142 205.23/205.31 c 205.23/205.31 c 205.23/205.31 c ============================[ Search Statistics ]============================== 205.23/205.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.23/205.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.23/205.31 c =============================================================================== 205.23/205.31 c | 0 | 74536 106612 650857 | 35537 0 nan | 0.000 % | 205.23/205.39 c =============================================================================== 205.54/205.64 c core #118 205.54/205.64 c 205.54/205.64 c 205.54/205.64 c Core size: 717 Core Weight: 1 Total Weight: 143 205.54/205.64 c 205.54/205.64 c 205.54/205.64 c ============================[ Search Statistics ]============================== 205.54/205.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.54/205.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.54/205.64 c =============================================================================== 205.54/205.64 c | 0 | 75332 107209 651843 | 35736 0 nan | 0.000 % | 205.93/206.08 c | 100 | 75332 107209 651843 | 39309 100 393 | 38.799 % | 207.33/207.44 c | 251 | 75332 107209 651843 | 43240 251 1628 | 38.799 % | 209.03/209.12 c | 476 | 75332 107209 651843 | 47565 476 2284 | 38.799 % | 210.73/210.81 c | 817 | 75332 107209 651843 | 52321 817 2493 | 38.799 % | 213.03/213.11 c | 1323 | 75332 107209 651843 | 57553 1323 2262 | 38.799 % | 216.43/216.52 c | 2082 | 75332 107209 651843 | 63309 2082 1894 | 38.799 % | 228.13/228.27 c | 3221 | 75331 107209 651843 | 69640 3220 1816 | 38.800 % | 245.32/245.47 c | 4929 | 75330 107209 651843 | 76604 4927 2173 | 38.802 % | 266.51/266.68 c | 7491 | 75327 107209 651843 | 84264 7487 2402 | 38.803 % | 299.11/299.29 c | 11335 | 75327 107209 651843 | 92690 11331 2546 | 38.803 % | 389.08/389.26 c | 17101 | 75326 107209 651843 | 101959 17096 2931 | 38.806 % | 485.96/486.19 c =============================================================================== 486.25/486.47 c core #119 486.25/486.47 c 486.25/486.47 c 486.25/486.47 c Core size: 595 Core Weight: 1 Total Weight: 144 486.25/486.47 c 486.25/486.47 c 486.25/486.47 c ============================[ Search Statistics ]============================== 486.25/486.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 486.25/486.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 486.25/486.47 c =============================================================================== 486.25/486.47 c | 0 | 76192 107525 653464 | 35841 0 nan | 0.000 % | 486.94/487.15 c | 100 | 76192 107525 653464 | 39425 100 514 | 38.397 % | 487.75/487.96 c | 252 | 76192 107525 653464 | 43368 252 622 | 38.397 % | 491.95/492.10 c | 477 | 76192 107525 653464 | 47705 477 1188 | 38.397 % | 493.65/493.80 c | 814 | 76192 107525 653464 | 52475 814 1539 | 38.397 % | 496.64/496.82 c | 1321 | 76192 107525 653464 | 57723 1321 1381 | 38.397 % | 513.54/513.70 c | 2080 | 76192 107525 653464 | 63495 2080 1938 | 38.397 % | 528.24/528.47 c | 3219 | 76192 107525 653464 | 69845 3219 2595 | 38.397 % | 552.93/553.17 c | 4927 | 76192 107525 653464 | 76829 4927 2441 | 38.397 % | 574.72/574.93 c | 7490 | 76192 107525 653464 | 84512 7490 2249 | 38.397 % | 661.40/661.68 c | 11335 | 76191 107525 653464 | 92964 11334 3276 | 38.398 % | 835.64/835.98 c | 17102 | 76191 107525 653464 | 102260 17101 4588 | 38.398 % | 1020.98/1021.38 c | 25753 | 76191 107525 653464 | 112486 25752 5107 | 38.398 % | 1230.00/1230.48 c | 38727 | 76188 107525 653464 | 123735 38725 4959 | 38.400 % | 1794.03/1794.62 c | 58192 | 76187 107525 653464 | 136108 58190 6068 | 38.401 % |
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-2680607-1277451713/watcher-2680607-1277451713 -o /tmp/evaluation-result-2680607-1277451713/solver-2680607-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680607-1277451713.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.00 0.00 0.00 3/106 27630 /proc/meminfo: memFree=1164356/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=8128 CPUtime=0.01 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 540 0 0 0 1 0 0 0 18 0 1 0 86464224 8323072 458 1992294400 134512640 135752675 4292206384 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 2032 458 144 303 0 593 0 [startup+0.087272 s] /proc/loadavg: 0.00 0.00 0.00 3/106 27630 /proc/meminfo: memFree=1164356/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=15364 CPUtime=0.07 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 1995 0 0 0 7 0 0 0 20 0 1 0 86464224 15732736 1873 1992294400 134512640 135752675 4292206384 18446744073709551615 135204665 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 3841 1875 236 303 0 2402 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15364 [startup+0.101273 s] /proc/loadavg: 0.00 0.00 0.00 3/106 27630 /proc/meminfo: memFree=1164356/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=15688 CPUtime=0.09 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 2289 0 0 0 9 0 0 0 20 0 1 0 86464224 16064512 2118 1992294400 134512640 135752675 4292206384 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 3922 2120 250 303 0 2483 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15688 [startup+0.301298 s] /proc/loadavg: 0.00 0.00 0.00 3/106 27630 /proc/meminfo: memFree=1164356/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=18560 CPUtime=0.3 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 3320 0 0 0 29 1 0 0 20 0 1 0 86464224 19005440 3087 1992294400 134512640 135752675 4292206384 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 4640 3087 501 303 0 3201 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 18560 [startup+0.701339 s] /proc/loadavg: 0.00 0.00 0.00 3/106 27630 /proc/meminfo: memFree=1164356/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=19520 CPUtime=0.69 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 4071 0 0 0 68 1 0 0 20 0 1 0 86464224 19988480 3838 1992294400 134512640 135752675 4292206384 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 4880 3838 1022 303 0 3441 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19520 [startup+1.50042 s] /proc/loadavg: 0.08 0.02 0.01 2/107 27631 /proc/meminfo: memFree=1146740/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=20608 CPUtime=1.49 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 6859 0 0 0 143 6 0 0 23 0 1 0 86464224 21102592 4375 1992294400 134512640 135752675 4292206384 18446744073709551615 134634711 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 5152 4375 142 303 0 4847 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20608 [startup+3.1006 s] /proc/loadavg: 0.08 0.02 0.01 2/107 27631 /proc/meminfo: memFree=1146492/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=21820 CPUtime=3.09 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 7143 0 0 0 293 16 0 0 25 0 1 0 86464224 22343680 4659 1992294400 134512640 135752675 4292206384 18446744073709551615 134634752 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 5455 4659 145 303 0 5150 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21820 [startup+6.30095 s] /proc/loadavg: 0.08 0.02 0.01 2/107 27631 /proc/meminfo: memFree=1142524/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=25212 CPUtime=6.29 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 8009 0 0 0 604 25 0 0 25 0 1 0 86464224 25817088 5525 1992294400 134512640 135752675 4292206384 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 6303 5525 145 303 0 5998 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25212 [startup+12.7006 s] /proc/loadavg: 0.22 0.05 0.02 2/107 27633 /proc/meminfo: memFree=1136076/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=32432 CPUtime=12.68 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 9797 0 0 0 1229 39 0 0 25 0 1 0 86464224 33210368 7313 1992294400 134512640 135752675 4292206384 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 8108 7313 145 303 0 7803 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32432 [startup+25.501 s] /proc/loadavg: 0.34 0.08 0.02 2/107 27633 /proc/meminfo: memFree=1125288/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=42892 CPUtime=25.49 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 12418 0 0 0 2493 56 0 0 25 0 1 0 86464224 43921408 9934 1992294400 134512640 135752675 4292206384 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 10723 9934 145 303 0 10418 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42892 [startup+51.1018 s] /proc/loadavg: 0.56 0.15 0.05 2/107 27633 /proc/meminfo: memFree=1110532/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=57336 CPUtime=51.07 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 16037 0 0 0 5044 63 0 0 25 0 1 0 86464224 58712064 13553 1992294400 134512640 135752675 4292206384 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 14334 13553 145 303 0 14029 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 57336 [startup+102.308 s] /proc/loadavg: 0.82 0.29 0.10 2/107 27635 /proc/meminfo: memFree=1103092/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=64484 CPUtime=102.26 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 17809 0 0 0 10151 75 0 0 25 0 1 0 86464224 66031616 15325 1992294400 134512640 135752675 4292206384 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 16121 15325 145 303 0 15816 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 64484 [startup+162.301 s] /proc/loadavg: 0.93 0.42 0.15 2/107 27637 /proc/meminfo: memFree=1100612/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=66936 CPUtime=162.24 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 18443 0 0 0 16147 77 0 0 25 0 1 0 86464224 68542464 15959 1992294400 134512640 135752675 4292206384 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 16734 15959 145 303 0 16429 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 66936 [startup+222.301 s] /proc/loadavg: 0.97 0.52 0.20 2/107 27637 /proc/meminfo: memFree=1042208/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=126124 CPUtime=222.22 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 126924 0 0 0 22074 148 0 0 25 0 1 0 86464224 129150976 30574 1992294400 134512640 135752675 4292206384 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 31531 30574 146 303 0 31226 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 126124 [startup+282.301 s] /proc/loadavg: 0.99 0.61 0.25 2/107 27639 /proc/meminfo: memFree=965824/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=202704 CPUtime=282.2 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 146051 0 0 0 28049 171 0 0 25 0 1 0 86464224 207568896 49701 1992294400 134512640 135752675 4292206384 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 50676 49701 146 303 0 50371 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 202704 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.30 2/107 27641 /proc/meminfo: memFree=892168/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=275780 CPUtime=342.19 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 164342 0 0 0 34012 207 0 0 25 0 1 0 86464224 282398720 67992 1992294400 134512640 135752675 4292206384 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 68945 67992 146 303 0 68640 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 275780 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.34 2/107 27643 /proc/meminfo: memFree=843064/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=325360 CPUtime=402.17 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 176711 0 0 0 39989 228 0 0 25 0 1 0 86464224 333168640 80361 1992294400 134512640 135752675 4292206384 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 81340 80361 146 303 0 81035 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 325360 [startup+462.302 s] /proc/loadavg: 0.99 0.78 0.38 2/107 27645 /proc/meminfo: memFree=797184/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=370436 CPUtime=462.16 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 187994 0 0 0 45972 244 0 0 25 0 1 0 86464224 379326464 91644 1992294400 134512640 135752675 4292206384 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 92609 91644 146 303 0 92304 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 370436 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/107 27645 /proc/meminfo: memFree=760728/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=405940 CPUtime=522.14 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 199060 0 0 0 51948 266 0 0 25 0 1 0 86464224 415682560 100557 1992294400 134512640 135752675 4292206384 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 101485 100557 146 303 0 101180 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 405940 [startup+582.302 s] /proc/loadavg: 0.99 0.85 0.45 2/107 27647 /proc/meminfo: memFree=760728/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=405940 CPUtime=582.12 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 199060 0 0 0 57935 277 0 0 25 0 1 0 86464224 415682560 100557 1992294400 134512640 135752675 4292206384 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 101485 100557 146 303 0 101180 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 405940 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.48 2/107 27649 /proc/meminfo: memFree=760728/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=405940 CPUtime=642.11 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 199068 0 0 0 63918 293 0 0 25 0 1 0 86464224 415682560 100565 1992294400 134512640 135752675 4292206384 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 101485 100565 146 303 0 101180 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 405940 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.58 2/107 27655 /proc/meminfo: memFree=668720/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=498576 CPUtime=882.03 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 222197 0 0 0 87879 324 0 0 25 0 1 0 86464224 510541824 123694 1992294400 134512640 135752675 4292206384 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 124644 123694 146 303 0 124339 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 498576 [startup+942.302 s] /proc/loadavg: 0.99 0.94 0.61 2/107 27657 /proc/meminfo: memFree=624080/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=544408 CPUtime=942 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 233664 0 0 0 93868 332 0 0 25 0 1 0 86464224 557473792 135161 1992294400 134512640 135752675 4292206384 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 136102 135161 146 303 0 135797 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 544408 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/107 27659 /proc/meminfo: memFree=551168/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=616024 CPUtime=1001.98 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 251576 0 0 0 99847 351 0 0 25 0 1 0 86464224 630808576 153073 1992294400 134512640 135752675 4292206384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 154006 153073 146 303 0 153701 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 616024 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/107 27661 /proc/meminfo: memFree=462756/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=704228 CPUtime=1061.96 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 273606 0 0 0 105810 386 0 0 25 0 1 0 86464224 721129472 175103 1992294400 134512640 135752675 4292206384 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 176057 175103 146 303 0 175752 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 704228 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/107 27661 /proc/meminfo: memFree=405220/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=761440 CPUtime=1121.94 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 287913 0 0 0 111788 406 0 0 25 0 1 0 86464224 779714560 189410 1992294400 134512640 135752675 4292206384 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 190360 189410 146 303 0 190055 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 761440 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.69 2/107 27672 /proc/meminfo: memFree=348180/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=818064 CPUtime=1181.91 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 302065 0 0 0 117768 423 0 0 25 0 1 0 86464224 837697536 203562 1992294400 134512640 135752675 4292206384 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 204516 203562 146 303 0 204211 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 818064 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/107 27674 /proc/meminfo: memFree=265472/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=900320 CPUtime=1241.89 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 322651 0 0 0 123746 443 0 0 25 0 1 0 86464224 921927680 224148 1992294400 134512640 135752675 4292206384 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 225080 224148 146 303 0 224775 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 900320 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/107 27676 /proc/meminfo: memFree=201612/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=963960 CPUtime=1301.89 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 338535 0 0 0 129729 460 0 0 25 0 1 0 86464224 987095040 240032 1992294400 134512640 135752675 4292206384 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 240990 240032 146 303 0 240685 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 963960 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.74 2/107 27678 /proc/meminfo: memFree=144448/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=1021156 CPUtime=1361.86 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 352845 0 0 0 135716 470 0 0 25 0 1 0 86464224 1045663744 254342 1992294400 134512640 135752675 4292206384 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 255289 254342 146 303 0 254984 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1021156 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/107 27678 /proc/meminfo: memFree=88648/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=1076700 CPUtime=1421.84 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 366714 0 0 0 141705 479 0 0 25 0 1 0 86464224 1102540800 268211 1992294400 134512640 135752675 4292206384 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 269175 268211 146 303 0 268870 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1076700 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/107 27680 /proc/meminfo: memFree=9164/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=1156832 CPUtime=1481.82 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 386763 0 0 0 147692 490 0 0 25 0 1 0 86464224 1184595968 288260 1992294400 134512640 135752675 4292206384 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 289208 288260 146 303 0 288903 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1156832 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/107 27682 /proc/meminfo: memFree=11264/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=1232372 CPUtime=1541.8 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 405646 0 0 0 153679 501 0 0 25 0 1 0 86464224 1261948928 307143 1992294400 134512640 135752675 4292206384 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 308093 307143 146 303 0 307788 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1232372 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/107 27684 /proc/meminfo: memFree=9364/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=1305708 CPUtime=1601.78 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 423990 0 0 0 159666 512 0 0 25 0 1 0 86464224 1337044992 325487 1992294400 134512640 135752675 4292206384 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 326427 325487 146 303 0 326122 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1305708 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27686 /proc/meminfo: memFree=10692/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=1375172 CPUtime=1661.77 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 441347 0 0 0 165655 522 0 0 25 0 1 0 86464224 1408176128 342844 1992294400 134512640 135752675 4292206384 18446744073709551615 134639530 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 343793 342844 146 303 0 343488 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1375172 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.81 2/107 27686 /proc/meminfo: memFree=9856/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=1430592 CPUtime=1721.75 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 455203 0 0 0 171641 534 0 0 25 0 1 0 86464224 1464926208 356700 1992294400 134512640 135752675 4292206384 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 357648 356700 146 303 0 357343 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1430592 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27688 /proc/meminfo: memFree=10220/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=1519232 CPUtime=1781.74 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 477371 0 0 0 177626 548 0 0 25 0 1 0 86464224 1555693568 378868 1992294400 134512640 135752675 4292206384 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 379808 378868 146 303 0 379503 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1519232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27688 /proc/meminfo: memFree=9356/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=1538816 CPUtime=1800.04 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4202496 482258 0 0 0 179452 552 0 0 25 0 1 0 86464224 1575747584 383755 1992294400 134512640 135752675 4292206384 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27630/statm: 384704 383755 146 303 0 384399 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1538816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27688 /proc/meminfo: memFree=9356/2059040 swapFree=4140192/4192956 [pid=27630] ppid=27628 vsize=0 CPUtime=1800.15 /proc/27630/stat : 27630 (wbo1.4b) R 27628 27630 27605 0 -1 4203524 482258 0 0 0 179453 562 0 0 25 0 1 0 86464224 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27630/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.77 CPU time (s): 1800.2 CPU user time (s): 1794.53 CPU system time (s): 5.67414 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 1538816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.53 system time used= 5.67414 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 482258 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= 4 involuntary context switches= 1885 runsolver used 3.08453 second user time and 8.41472 second system time The end
Begin job on node037 at 2010-06-25 09:41:54 IDJOB=2680607 IDBENCH=1874 IDSOLVER=1190 FILE ID=node037/2680607-1277451713 PBS_JOBID= 11188129 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680607-1277451713/watcher-2680607-1277451713 -o /tmp/evaluation-result-2680607-1277451713/solver-2680607-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680607-1277451713.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5548b3a1af88258afdf09b4f2d4db162 RANDOM SEED=854475842 node037.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.248 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.49 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.248 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.55 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1164884 kB Buffers: 208996 kB Cached: 573960 kB SwapCached: 5668 kB Active: 322780 kB Inactive: 473088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1164884 kB SwapTotal: 4192956 kB SwapFree: 4140192 kB Dirty: 7200 kB Writeback: 0 kB AnonPages: 11428 kB Mapped: 11860 kB Slab: 76432 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182464 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= 62488 MiB End job on node037 at 2010-06-25 10:11:57