Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1299.26 | 1299.6 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb |
MD5SUM | 97ebaccbda37d5c570b4e2ec3cd7f8f0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 425 |
Best CPU time to get the best result obtained on this benchmark | 1789.68 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 425 |
Optimality of the best value was proved | NO |
Number of variables | 1372 |
Total number of constraints | 4944 |
Number of constraints which are clauses | 4944 |
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 | 19 |
Number of terms in the objective function | 1372 |
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 | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
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-2680713-1277451713.opb. 0.00/0.01 c Instance file HOME/instance-2680713-1277451713.opb 0.00/0.01 c File size is 324105 bytes. 0.00/0.05 c Highest Coefficient sum: 20 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 1372 | 0.00/0.05 c | Number Clauses: 4944 | 0.00/0.05 c | Number Cardinality: 0 | 0.00/0.05 c | Number PB Constraints: 0 | 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1255 4944 33432 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 465 0.00/0.06 o 465 0.00/0.06 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 1255 4945 34804 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 464 0.00/0.06 o 464 0.00/0.06 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 1255 4946 36176 | 5000 0 nan | 0.000 % | 0.00/0.08 c | 100 | 1255 4946 36176 | 5500 100 465 | 8.528 % | 0.08/0.11 c | 251 | 1255 4946 36176 | 6050 251 466 | 8.528 % | 0.08/0.16 c | 476 | 1255 4946 36176 | 6655 476 467 | 8.528 % | 0.19/0.25 c | 813 | 1255 4946 36176 | 7320 813 467 | 8.528 % | 0.29/0.39 c | 1319 | 1255 4946 36176 | 8052 1319 469 | 8.528 % | 0.59/0.60 c | 2079 | 1255 4946 36176 | 8857 2079 469 | 8.528 % | 0.89/0.91 c | 3218 | 1255 4946 36176 | 9743 3218 469 | 8.528 % | 1.38/1.46 c | 4926 | 1255 4946 36176 | 10717 4926 470 | 8.528 % | 2.09/2.11 c | 7488 | 1255 4946 36176 | 11789 7488 469 | 8.528 % | 3.39/3.40 c | 11333 | 1255 4946 36176 | 12968 11333 469 | 8.528 % | 5.28/5.39 c | 17099 | 1255 4946 36176 | 14265 10110 469 | 8.528 % | 8.38/8.45 c | 25748 | 1255 4946 36176 | 15692 11147 469 | 8.528 % | 13.49/13.50 c | 38722 | 1255 4946 36176 | 17261 15772 471 | 8.528 % | 21.58/21.69 c | 58183 | 1255 4946 36176 | 18987 17002 468 | 8.528 % | 36.28/36.39 c | 87375 | 1255 4946 36176 | 20886 16065 471 | 8.528 % | 54.97/55.05 c | 131165 | 1255 4946 36176 | 22974 14860 465 | 8.528 % | 80.27/80.38 c | 196850 | 1255 4946 36176 | 25272 14628 468 | 8.528 % | 128.95/129.05 c | 295377 | 1255 4946 36176 | 27799 21000 467 | 8.528 % | 181.83/181.94 c There are 117 assigned variables. 117 in cost function. 183.04/183.11 c core #1 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 118 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #2 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 119 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #3 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 120 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #4 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 12 Core Weight: 1 Total Weight: 121 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #5 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 122 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #6 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 13 Core Weight: 1 Total Weight: 123 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #7 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 12 Core Weight: 1 Total Weight: 124 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #8 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 125 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #9 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 8 Core Weight: 1 Total Weight: 126 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #10 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 127 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #11 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 128 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #12 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 7 Core Weight: 1 Total Weight: 129 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #13 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 130 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #14 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 13 Core Weight: 1 Total Weight: 131 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #15 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 132 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #16 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 14 Core Weight: 1 Total Weight: 133 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #17 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 7 Core Weight: 1 Total Weight: 134 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #18 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 15 Core Weight: 1 Total Weight: 135 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #19 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 136 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #20 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 7 Core Weight: 1 Total Weight: 137 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #21 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 9 Core Weight: 1 Total Weight: 138 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #22 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 8 Core Weight: 1 Total Weight: 139 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #23 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 140 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #24 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 141 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #25 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 6 Core Weight: 1 Total Weight: 142 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #26 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 143 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #27 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 6 Core Weight: 1 Total Weight: 144 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #28 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 145 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #29 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 146 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #30 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 11 Core Weight: 1 Total Weight: 147 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #31 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 148 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #32 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 149 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #33 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 150 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #34 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 151 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #35 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 152 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #36 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 153 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #37 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 154 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #38 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 155 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #39 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 156 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #40 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 157 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #41 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 158 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #42 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 159 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #43 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 160 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #44 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 161 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #45 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 10 Core Weight: 1 Total Weight: 162 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #46 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 163 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #47 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 164 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #48 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 165 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #49 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 166 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #50 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 167 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #51 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 7 Core Weight: 1 Total Weight: 168 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #52 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 169 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #53 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 170 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #54 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 171 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #55 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 172 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #56 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 8 Core Weight: 1 Total Weight: 173 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #57 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 3 Core Weight: 1 Total Weight: 174 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #58 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 7 Core Weight: 1 Total Weight: 175 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #59 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 4 Core Weight: 1 Total Weight: 176 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c core #60 183.04/183.11 c 183.04/183.11 c 183.04/183.11 c Core size: 5 Core Weight: 1 Total Weight: 177 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #61 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 178 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #62 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 7 Core Weight: 1 Total Weight: 179 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #63 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 6 Core Weight: 1 Total Weight: 180 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #64 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 5 Core Weight: 1 Total Weight: 181 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #65 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 16 Core Weight: 1 Total Weight: 182 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #66 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 183 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #67 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 184 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #68 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 185 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #69 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 186 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #70 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 187 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #71 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 188 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #72 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 189 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #73 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 5 Core Weight: 1 Total Weight: 190 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #74 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 191 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #75 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 192 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #76 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 193 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #77 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 7 Core Weight: 1 Total Weight: 194 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #78 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 195 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #79 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 5 Core Weight: 1 Total Weight: 196 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #80 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 197 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #81 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 198 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #82 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 199 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #83 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 14 Core Weight: 1 Total Weight: 200 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #84 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 201 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #85 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 10 Core Weight: 1 Total Weight: 202 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #86 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 203 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #87 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 5 Core Weight: 1 Total Weight: 204 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #88 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 205 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #89 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 206 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #90 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 207 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #91 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 208 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #92 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 209 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #93 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 7 Core Weight: 1 Total Weight: 210 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #94 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 6 Core Weight: 1 Total Weight: 211 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #95 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 13 Core Weight: 1 Total Weight: 212 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #96 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 213 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #97 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 214 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #98 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 7 Core Weight: 1 Total Weight: 215 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #99 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 216 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #100 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 217 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #101 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 5 Core Weight: 1 Total Weight: 218 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #102 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 8 Core Weight: 1 Total Weight: 219 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #103 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 220 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #104 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 221 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #105 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 222 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #106 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 223 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #107 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 4 Core Weight: 1 Total Weight: 224 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #108 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 9 Core Weight: 1 Total Weight: 225 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #109 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 226 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #110 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 12 Core Weight: 1 Total Weight: 227 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #111 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 228 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #112 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 9 Core Weight: 1 Total Weight: 229 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #113 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 230 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #114 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 6 Core Weight: 1 Total Weight: 231 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #115 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 232 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #116 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 233 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #117 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 234 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #118 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 3 Core Weight: 1 Total Weight: 235 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c core #119 183.84/183.90 c 183.84/183.90 c 183.84/183.90 c Core size: 7 Core Weight: 1 Total Weight: 236 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #120 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 7 Core Weight: 1 Total Weight: 237 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #121 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 13 Core Weight: 1 Total Weight: 238 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #122 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 7 Core Weight: 1 Total Weight: 239 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #123 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 13 Core Weight: 1 Total Weight: 240 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #124 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 9 Core Weight: 1 Total Weight: 241 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #125 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 242 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #126 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 6 Core Weight: 1 Total Weight: 243 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #127 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 244 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #128 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 9 Core Weight: 1 Total Weight: 245 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #129 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 6 Core Weight: 1 Total Weight: 246 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #130 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 247 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #131 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 5 Core Weight: 1 Total Weight: 248 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #132 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 249 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #133 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 8 Core Weight: 1 Total Weight: 250 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #134 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 8 Core Weight: 1 Total Weight: 251 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #135 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 252 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #136 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 253 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #137 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 6 Core Weight: 1 Total Weight: 254 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #138 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 255 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #139 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 7 Core Weight: 1 Total Weight: 256 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #140 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 257 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #141 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 258 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #142 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 5 Core Weight: 1 Total Weight: 259 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #143 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 260 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #144 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 7 Core Weight: 1 Total Weight: 261 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #145 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 262 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #146 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 263 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #147 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 5 Core Weight: 1 Total Weight: 264 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #148 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 265 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #149 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 266 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #150 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 267 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #151 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 8 Core Weight: 1 Total Weight: 268 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #152 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 269 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #153 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 270 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #154 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 271 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #155 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 272 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #156 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 273 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #157 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 274 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #158 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 7 Core Weight: 1 Total Weight: 275 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #159 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 7 Core Weight: 1 Total Weight: 276 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #160 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 6 Core Weight: 1 Total Weight: 277 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #161 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 278 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #162 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 279 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #163 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 280 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #164 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 281 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #165 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 282 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #166 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 5 Core Weight: 1 Total Weight: 283 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #167 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 284 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #168 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 285 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #169 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 6 Core Weight: 1 Total Weight: 286 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #170 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 4 Core Weight: 1 Total Weight: 287 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #171 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 10 Core Weight: 1 Total Weight: 288 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #172 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 9 Core Weight: 1 Total Weight: 289 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #173 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 5 Core Weight: 1 Total Weight: 290 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #174 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 5 Core Weight: 1 Total Weight: 291 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #175 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 292 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #176 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 293 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c core #177 184.64/184.77 c 184.64/184.77 c 184.64/184.77 c Core size: 3 Core Weight: 1 Total Weight: 294 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #178 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 4 Core Weight: 1 Total Weight: 295 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #179 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 296 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #180 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 297 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #181 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 298 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #182 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 299 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #183 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 5 Core Weight: 1 Total Weight: 300 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #184 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 301 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #185 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 302 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #186 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 5 Core Weight: 1 Total Weight: 303 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #187 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 4 Core Weight: 1 Total Weight: 304 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #188 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 4 Core Weight: 1 Total Weight: 305 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #189 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 306 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #190 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 12 Core Weight: 1 Total Weight: 307 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #191 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 308 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #192 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 6 Core Weight: 1 Total Weight: 309 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #193 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 5 Core Weight: 1 Total Weight: 310 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #194 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 311 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #195 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 312 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #196 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 6 Core Weight: 1 Total Weight: 313 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #197 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 5 Core Weight: 1 Total Weight: 314 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #198 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 4 Core Weight: 1 Total Weight: 315 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #199 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 316 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #200 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 4 Core Weight: 1 Total Weight: 317 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #201 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 318 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #202 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 5 Core Weight: 1 Total Weight: 319 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #203 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 320 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #204 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 321 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #205 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 7 Core Weight: 1 Total Weight: 322 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #206 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 323 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #207 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 324 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #208 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 4 Core Weight: 1 Total Weight: 325 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #209 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 326 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #210 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 4 Core Weight: 1 Total Weight: 327 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #211 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 328 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #212 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 329 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #213 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 5 Core Weight: 1 Total Weight: 330 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #214 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 331 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #215 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 3 Core Weight: 1 Total Weight: 332 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #216 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 8 Core Weight: 1 Total Weight: 333 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #217 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 18 Core Weight: 1 Total Weight: 334 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #218 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 32 Core Weight: 1 Total Weight: 335 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #219 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 13 Core Weight: 1 Total Weight: 336 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #220 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 15 Core Weight: 1 Total Weight: 337 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #221 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 16 Core Weight: 1 Total Weight: 338 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #222 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 8 Core Weight: 1 Total Weight: 339 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #223 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 6 Core Weight: 1 Total Weight: 340 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #224 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 35 Core Weight: 1 Total Weight: 341 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #225 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 10 Core Weight: 1 Total Weight: 342 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #226 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 47 Core Weight: 1 Total Weight: 343 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #227 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 11 Core Weight: 1 Total Weight: 344 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #228 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 15 Core Weight: 1 Total Weight: 345 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #229 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 16 Core Weight: 1 Total Weight: 346 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #230 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 7 Core Weight: 1 Total Weight: 347 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #231 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 15 Core Weight: 1 Total Weight: 348 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #232 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 16 Core Weight: 1 Total Weight: 349 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #233 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 8 Core Weight: 1 Total Weight: 350 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #234 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 13 Core Weight: 1 Total Weight: 351 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #235 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c Core size: 10 Core Weight: 1 Total Weight: 352 185.64/185.80 c 185.64/185.80 c 185.64/185.80 c core #236 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 13 Core Weight: 1 Total Weight: 353 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #237 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 15 Core Weight: 1 Total Weight: 354 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #238 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 6 Core Weight: 1 Total Weight: 355 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #239 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 16 Core Weight: 1 Total Weight: 356 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #240 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 18 Core Weight: 1 Total Weight: 357 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #241 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 12 Core Weight: 1 Total Weight: 358 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #242 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 15 Core Weight: 1 Total Weight: 359 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #243 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 13 Core Weight: 1 Total Weight: 360 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #244 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 9 Core Weight: 1 Total Weight: 361 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #245 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 24 Core Weight: 1 Total Weight: 362 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #246 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 8 Core Weight: 1 Total Weight: 363 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #247 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 27 Core Weight: 1 Total Weight: 364 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #248 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 8 Core Weight: 1 Total Weight: 365 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #249 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 8 Core Weight: 1 Total Weight: 366 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #250 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 12 Core Weight: 1 Total Weight: 367 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #251 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 40 Core Weight: 1 Total Weight: 368 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c core #252 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 36 Core Weight: 1 Total Weight: 369 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c ============================[ Search Statistics ]============================== 186.04/186.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.15 c =============================================================================== 186.04/186.15 c | 0 | 2305 6453 39413 | 5000 0 nan | 0.000 % | 186.04/186.16 c =============================================================================== 186.04/186.17 c core #253 186.04/186.17 c 186.04/186.17 c 186.04/186.17 c Core size: 40 Core Weight: 1 Total Weight: 370 186.04/186.17 c 186.04/186.17 c 186.04/186.17 c ============================[ Search Statistics ]============================== 186.04/186.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.17 c =============================================================================== 186.04/186.17 c | 0 | 2348 6454 39487 | 5000 0 nan | 0.000 % | 186.04/186.18 c =============================================================================== 186.13/186.20 c core #254 186.13/186.20 c 186.13/186.20 c 186.13/186.20 c Core size: 17 Core Weight: 1 Total Weight: 371 186.13/186.20 c 186.13/186.20 c 186.13/186.20 c ============================[ Search Statistics ]============================== 186.13/186.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.20 c =============================================================================== 186.13/186.20 c | 0 | 2365 6455 39516 | 5000 0 nan | 0.000 % | 186.13/186.20 c =============================================================================== 186.13/186.22 c core #255 186.13/186.22 c 186.13/186.22 c 186.13/186.22 c Core size: 28 Core Weight: 1 Total Weight: 372 186.13/186.22 c 186.13/186.22 c 186.13/186.22 c ============================[ Search Statistics ]============================== 186.13/186.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.22 c =============================================================================== 186.13/186.22 c | 0 | 2388 6456 39561 | 5000 0 nan | 0.000 % | 186.13/186.23 c =============================================================================== 186.13/186.25 c core #256 186.13/186.25 c 186.13/186.25 c 186.13/186.25 c Core size: 66 Core Weight: 1 Total Weight: 373 186.13/186.25 c 186.13/186.25 c 186.13/186.25 c ============================[ Search Statistics ]============================== 186.13/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.25 c =============================================================================== 186.13/186.25 c | 0 | 2458 6457 39692 | 5000 0 nan | 0.000 % | 186.13/186.26 c | 100 | 2458 6457 39692 | 5500 100 12 | 11.708 % | 186.13/186.27 c =============================================================================== 186.13/186.29 c core #257 186.13/186.29 c 186.13/186.29 c 186.13/186.29 c Core size: 164 Core Weight: 1 Total Weight: 374 186.13/186.29 c 186.13/186.29 c 186.13/186.29 c ============================[ Search Statistics ]============================== 186.13/186.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.29 c =============================================================================== 186.13/186.29 c | 0 | 2639 6458 40015 | 5000 0 nan | 0.000 % | 186.13/186.29 c =============================================================================== 186.23/186.31 c core #258 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 22 Core Weight: 1 Total Weight: 375 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c ============================[ Search Statistics ]============================== 186.23/186.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.31 c =============================================================================== 186.23/186.31 c | 0 | 2655 6459 40046 | 5000 0 nan | 0.000 % | 186.23/186.32 c | 103 | 2653 6459 40046 | 5500 103 9 | 10.010 % | 186.23/186.32 c =============================================================================== 186.23/186.34 c core #259 186.23/186.34 c 186.23/186.34 c 186.23/186.34 c Core size: 59 Core Weight: 1 Total Weight: 376 186.23/186.34 c 186.23/186.34 c 186.23/186.34 c ============================[ Search Statistics ]============================== 186.23/186.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.34 c =============================================================================== 186.23/186.34 c | 0 | 2717 6460 40164 | 5000 0 nan | 0.000 % | 186.23/186.35 c | 101 | 2717 6460 40164 | 5500 101 23 | 9.222 % | 186.23/186.37 c | 252 | 2711 6460 40164 | 6050 252 27 | 9.422 % | 186.23/186.39 c | 481 | 2710 6460 40164 | 6655 481 26 | 9.489 % | 186.23/186.39 c =============================================================================== 186.34/186.41 c core #260 186.34/186.41 c 186.34/186.41 c 186.34/186.41 c Core size: 101 Core Weight: 1 Total Weight: 377 186.34/186.41 c 186.34/186.41 c 186.34/186.41 c ============================[ Search Statistics ]============================== 186.34/186.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.41 c =============================================================================== 186.34/186.41 c | 0 | 2821 6461 40367 | 5000 0 nan | 0.000 % | 186.34/186.42 c | 100 | 2821 6461 40367 | 5500 100 48 | 8.765 % | 186.34/186.44 c | 250 | 2821 6461 40367 | 6050 250 55 | 9.088 % | 186.34/186.46 c | 476 | 2821 6461 40367 | 6655 476 49 | 9.088 % | 186.34/186.46 c =============================================================================== 186.34/186.48 c core #261 186.34/186.48 c 186.34/186.48 c 186.34/186.48 c Core size: 61 Core Weight: 1 Total Weight: 378 186.34/186.48 c 186.34/186.48 c 186.34/186.48 c ============================[ Search Statistics ]============================== 186.34/186.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.48 c =============================================================================== 186.34/186.48 c | 0 | 2881 6462 40476 | 5000 0 nan | 0.000 % | 186.34/186.49 c =============================================================================== 186.44/186.51 c core #262 186.44/186.51 c 186.44/186.51 c 186.44/186.51 c Core size: 38 Core Weight: 1 Total Weight: 379 186.44/186.51 c 186.44/186.51 c 186.44/186.51 c ============================[ Search Statistics ]============================== 186.44/186.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.51 c =============================================================================== 186.44/186.51 c | 0 | 2915 6463 40539 | 5000 0 nan | 0.000 % | 186.44/186.52 c | 100 | 2915 6463 40539 | 5500 100 20 | 8.044 % | 186.44/186.53 c | 250 | 2915 6463 40539 | 6050 250 20 | 8.044 % | 186.44/186.54 c =============================================================================== 186.44/186.56 c core #263 186.44/186.56 c 186.44/186.56 c 186.44/186.56 c Core size: 109 Core Weight: 1 Total Weight: 380 186.44/186.56 c 186.44/186.56 c 186.44/186.56 c ============================[ Search Statistics ]============================== 186.44/186.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.56 c =============================================================================== 186.44/186.56 c | 0 | 3038 6464 40767 | 5000 0 nan | 0.000 % | 186.44/186.57 c | 100 | 3038 6464 40767 | 5500 100 39 | 7.237 % | 186.44/186.59 c | 250 | 3038 6464 40767 | 6050 250 39 | 7.237 % | 186.54/186.61 c | 476 | 3038 6464 40767 | 6655 476 33 | 7.237 % | 186.54/186.64 c | 813 | 3038 6464 40767 | 7320 813 33 | 7.237 % | 186.64/186.70 c | 1320 | 3038 6464 40767 | 8052 1320 35 | 7.237 % | 186.73/186.81 c | 2079 | 3038 6464 40767 | 8857 2079 36 | 7.237 % | 186.85/186.98 c | 3219 | 3038 6464 40767 | 9743 3219 36 | 7.237 % | 187.14/187.29 c | 4929 | 3035 6464 40767 | 10717 4928 36 | 7.328 % | 187.43/187.52 c =============================================================================== 187.53/187.64 c core #264 187.53/187.64 c 187.53/187.64 c 187.53/187.64 c Core size: 200 Core Weight: 1 Total Weight: 381 187.53/187.64 c 187.53/187.64 c 187.53/187.64 c ============================[ Search Statistics ]============================== 187.53/187.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.64 c =============================================================================== 187.53/187.64 c | 0 | 3236 6465 41159 | 5000 0 nan | 0.000 % | 187.53/187.65 c | 102 | 3236 6465 41159 | 5500 102 10 | 6.717 % | 187.53/187.66 c | 253 | 3235 6465 41159 | 6050 253 11 | 6.745 % | 187.53/187.66 c =============================================================================== 187.53/187.69 c core #265 187.53/187.69 c 187.53/187.69 c 187.53/187.69 c Core size: 155 Core Weight: 1 Total Weight: 382 187.53/187.69 c 187.53/187.69 c 187.53/187.69 c ============================[ Search Statistics ]============================== 187.53/187.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.69 c =============================================================================== 187.53/187.69 c | 0 | 3402 6466 41479 | 5000 0 nan | 0.000 % | 187.64/187.70 c | 100 | 3402 6466 41479 | 5500 100 52 | 6.100 % | 187.64/187.72 c | 250 | 3402 6466 41479 | 6050 250 44 | 6.100 % | 187.64/187.74 c | 475 | 3402 6466 41479 | 6655 475 47 | 6.100 % | 187.64/187.79 c | 812 | 3402 6466 41479 | 7320 812 52 | 6.100 % | 187.74/187.85 c | 1319 | 3402 6466 41479 | 8052 1319 45 | 6.100 % | 187.83/187.96 c | 2078 | 3402 6466 41479 | 8857 2078 43 | 6.100 % | 188.05/188.12 c | 3218 | 3402 6466 41479 | 9743 3218 42 | 6.100 % | 188.23/188.39 c | 4926 | 3402 6466 41479 | 10717 4926 44 | 6.100 % | 188.73/188.88 c | 7488 | 3401 6466 41479 | 11789 7487 43 | 6.155 % | 189.53/189.63 c | 11332 | 3398 6466 41479 | 12968 11329 44 | 6.210 % | 191.13/191.28 c | 17100 | 3385 6466 41479 | 14265 10451 50 | 6.569 % | 191.84/191.94 c =============================================================================== 192.14/192.20 c core #266 192.14/192.20 c 192.14/192.20 c 192.14/192.20 c Core size: 314 Core Weight: 1 Total Weight: 383 192.14/192.20 c 192.14/192.20 c 192.14/192.20 c ============================[ Search Statistics ]============================== 192.14/192.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.14/192.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.14/192.20 c =============================================================================== 192.14/192.20 c | 0 | 3727 6467 42123 | 5000 0 nan | 0.000 % | 192.14/192.22 c | 101 | 3727 6467 42123 | 5500 101 71 | 5.262 % | 192.14/192.24 c | 255 | 3727 6467 42123 | 6050 255 69 | 5.262 % | 192.14/192.27 c | 480 | 3727 6467 42123 | 6655 480 64 | 5.262 % | 192.24/192.32 c | 819 | 3727 6467 42123 | 7320 819 65 | 5.262 % | 192.24/192.40 c | 1329 | 3727 6467 42123 | 8052 1329 61 | 5.262 % | 192.44/192.51 c | 2088 | 3727 6467 42123 | 8857 2088 61 | 5.262 % | 192.53/192.69 c | 3232 | 3727 6467 42123 | 9743 3232 61 | 5.262 % | 192.93/193.03 c | 4941 | 3714 6467 42123 | 10717 4940 62 | 5.618 % | 193.44/193.52 c | 7506 | 3714 6467 42123 | 11789 7505 68 | 5.618 % | 194.34/194.48 c | 11351 | 3713 6467 42123 | 12968 11349 74 | 5.770 % | 194.64/194.76 c =============================================================================== 194.73/194.80 c core #267 194.73/194.80 c 194.73/194.80 c 194.73/194.80 c Core size: 48 Core Weight: 1 Total Weight: 384 194.73/194.80 c 194.73/194.80 c 194.73/194.80 c ============================[ Search Statistics ]============================== 194.73/194.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.73/194.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.73/194.80 c =============================================================================== 194.73/194.80 c | 0 | 3779 6468 42215 | 5000 0 nan | 0.000 % | 194.73/194.82 c | 100 | 3779 6468 42215 | 5500 100 24 | 4.907 % | 194.73/194.84 c | 250 | 3779 6468 42215 | 6050 250 27 | 4.907 % | 194.73/194.86 c | 479 | 3779 6468 42215 | 6655 479 22 | 4.907 % | 194.73/194.89 c | 820 | 3777 6468 42215 | 7320 819 31 | 4.957 % | 194.83/194.95 c | 1326 | 3777 6468 42215 | 8052 1325 34 | 4.957 % | 194.93/195.03 c | 2088 | 3777 6468 42215 | 8857 2087 47 | 4.957 % | 195.13/195.20 c | 3229 | 3775 6468 42215 | 9743 3227 50 | 5.008 % | 195.44/195.51 c | 4937 | 3775 6468 42215 | 10717 4935 51 | 5.008 % | 195.53/195.62 c =============================================================================== 195.53/195.65 c core #268 195.53/195.65 c 195.53/195.65 c 195.53/195.65 c Core size: 30 Core Weight: 1 Total Weight: 385 195.53/195.65 c 195.53/195.65 c 195.53/195.65 c ============================[ Search Statistics ]============================== 195.53/195.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.53/195.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.53/195.65 c =============================================================================== 195.53/195.65 c | 0 | 3797 6469 42251 | 5000 0 nan | 0.000 % | 195.53/195.67 c | 100 | 3797 6469 42251 | 5500 100 82 | 4.885 % | 195.53/195.69 c | 252 | 3797 6469 42251 | 6050 252 56 | 4.885 % | 195.64/195.71 c | 477 | 3795 6469 42251 | 6655 476 37 | 4.960 % | 195.64/195.76 c | 819 | 3789 6469 42251 | 7320 816 29 | 5.085 % | 195.64/195.76 c =============================================================================== 195.64/195.79 c core #269 195.64/195.79 c 195.64/195.79 c 195.64/195.79 c Core size: 171 Core Weight: 1 Total Weight: 386 195.64/195.79 c 195.64/195.79 c 195.64/195.79 c ============================[ Search Statistics ]============================== 195.64/195.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.64/195.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.64/195.79 c =============================================================================== 195.64/195.79 c | 0 | 3975 6470 42702 | 5000 0 nan | 0.000 % | 195.64/195.80 c | 100 | 3975 6470 42702 | 5500 100 17 | 4.401 % | 195.74/195.81 c | 250 | 3975 6470 42702 | 6050 250 17 | 4.401 % | 195.74/195.83 c | 477 | 3975 6470 42702 | 6655 477 18 | 4.401 % | 195.74/195.86 c | 815 | 3975 6470 42702 | 7320 815 24 | 4.401 % | 195.84/195.91 c | 1323 | 3975 6470 42702 | 8052 1323 25 | 4.401 % | 195.84/195.99 c | 2083 | 3974 6470 42702 | 8857 1037 20 | 4.425 % | 195.84/196.00 c =============================================================================== 195.93/196.04 c core #270 195.93/196.04 c 195.93/196.04 c 195.93/196.04 c Core size: 174 Core Weight: 1 Total Weight: 387 195.93/196.04 c 195.93/196.04 c 195.93/196.04 c ============================[ Search Statistics ]============================== 195.93/196.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.93/196.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.93/196.04 c =============================================================================== 195.93/196.04 c | 0 | 4151 6471 43049 | 5000 0 nan | 0.000 % | 195.93/196.06 c | 101 | 4151 6471 43049 | 5500 101 25 | 4.112 % | 195.93/196.07 c | 251 | 4151 6471 43049 | 6050 251 22 | 4.112 % | 195.93/196.09 c | 476 | 4151 6471 43049 | 6655 476 21 | 4.112 % | 196.04/196.12 c | 815 | 4151 6471 43049 | 7320 815 20 | 4.112 % | 196.04/196.17 c | 1321 | 4151 6471 43049 | 8052 1321 26 | 4.112 % | 196.13/196.26 c | 2080 | 4151 6471 43049 | 8857 2080 32 | 4.112 % | 196.34/196.43 c | 3222 | 4151 6471 43049 | 9743 3222 35 | 4.112 % | 196.53/196.66 c | 4930 | 4151 6471 43049 | 10717 4930 36 | 4.112 % | 197.03/197.11 c | 7493 | 4151 6471 43049 | 11789 7493 47 | 4.112 % | 197.73/197.89 c | 11339 | 4151 6471 43049 | 12968 11339 52 | 4.112 % | 199.13/199.21 c | 17105 | 4149 6471 43049 | 14265 5273 47 | 4.158 % | 201.14/201.30 c | 25755 | 4149 6471 43049 | 15692 13923 74 | 4.158 % | 205.94/206.01 c | 38729 | 4148 6471 43049 | 17261 8160 104 | 4.181 % | 211.83/211.95 c =============================================================================== 212.82/212.99 c core #271 212.82/212.99 c 212.82/212.99 c 212.82/212.99 c Core size: 242 Core Weight: 1 Total Weight: 388 212.82/212.99 c 212.82/212.99 c 212.82/212.99 c ============================[ Search Statistics ]============================== 212.82/212.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.82/212.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.82/212.99 c =============================================================================== 212.82/212.99 c | 0 | 4391 6472 43526 | 5000 0 nan | 0.000 % | 212.93/213.02 c | 100 | 4391 6472 43526 | 5500 100 15 | 3.833 % | 212.93/213.04 c | 250 | 4389 6472 43526 | 6050 250 19 | 3.877 % | 212.93/213.07 c | 478 | 4389 6472 43526 | 6655 466 28 | 3.876 % | 213.03/213.10 c | 816 | 4389 6472 43526 | 7320 804 33 | 3.876 % | 213.03/213.16 c | 1323 | 4389 6472 43526 | 8052 1311 37 | 3.876 % | 213.13/213.25 c | 2088 | 4389 6472 43526 | 8857 2076 41 | 3.876 % | 213.34/213.41 c | 3228 | 4389 6472 43526 | 9743 3216 47 | 3.876 % | 213.63/213.77 c | 4938 | 4389 6472 43526 | 10717 4926 48 | 3.876 % | 214.23/214.34 c | 7503 | 4389 6472 43526 | 11789 7491 53 | 3.876 % | 215.23/215.37 c | 11347 | 4389 6472 43526 | 12968 11335 67 | 3.876 % | 217.43/217.59 c | 17125 | 4389 6472 43526 | 14265 10389 98 | 3.876 % | 221.53/221.65 c | 25776 | 4389 6472 43526 | 15692 11655 116 | 3.876 % | 228.82/228.94 c | 38751 | 4389 6472 43526 | 17261 8547 104 | 3.876 % | 240.73/240.88 c | 58214 | 4389 6472 43526 | 18987 10186 112 | 3.876 % | 258.22/258.32 c | 87408 | 4389 6472 43526 | 20886 10246 107 | 3.876 % | 283.81/283.97 c | 131200 | 4387 6472 43526 | 22974 12545 137 | 3.964 % | 328.61/328.73 c | 196885 | 4385 6472 43526 | 25272 19649 136 | 3.964 % | 393.88/394.00 c | 295412 | 4385 6472 43526 | 27799 14678 112 | 3.964 % | 486.37/486.54 c | 443201 | 4385 6472 43526 | 30579 17607 132 | 3.964 % | 624.13/624.34 c | 664886 | 4385 6472 43526 | 33637 26598 139 | 3.964 % | 747.50/747.77 c =============================================================================== 770.00/770.25 c core #272 770.00/770.25 c 770.00/770.25 c 770.00/770.25 c Core size: 412 Core Weight: 1 Total Weight: 389 770.00/770.25 c 770.00/770.25 c 770.00/770.25 c ============================[ Search Statistics ]============================== 770.00/770.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 770.00/770.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 770.00/770.25 c =============================================================================== 770.00/770.25 c | 0 | 4816 6473 44355 | 5000 0 nan | 0.000 % | 770.10/770.31 c | 100 | 4816 6473 44355 | 5500 100 35 | 3.157 % | 770.10/770.33 c | 250 | 4816 6473 44355 | 6050 250 28 | 3.157 % | 770.20/770.46 c | 475 | 4816 6473 44355 | 6655 475 48 | 3.157 % | 770.29/770.52 c | 816 | 4816 6473 44355 | 7320 816 56 | 3.157 % | 770.39/770.61 c | 1323 | 4816 6473 44355 | 8052 1323 58 | 3.157 % | 770.49/770.75 c | 2082 | 4816 6473 44355 | 8857 2082 61 | 3.157 % | 770.70/770.98 c | 3221 | 4816 6473 44355 | 9743 3221 71 | 3.157 % | 770.99/771.29 c | 4929 | 4816 6473 44355 | 10717 4929 71 | 3.157 % | 771.59/771.84 c | 7494 | 4816 6473 44355 | 11789 7494 73 | 3.157 % | 772.79/773.08 c | 11340 | 4816 6473 44355 | 12968 11340 88 | 3.157 % | 775.20/775.48 c | 17108 | 4816 6473 44355 | 14265 10392 120 | 3.157 % | 778.50/778.78 c | 25758 | 4816 6473 44355 | 15692 11556 105 | 3.157 % | 785.09/785.30 c | 38737 | 4816 6473 44355 | 17261 8325 114 | 3.157 % | 795.79/796.01 c | 58201 | 4816 6473 44355 | 18987 10173 119 | 3.157 % | 811.29/811.55 c | 87394 | 4816 6473 44355 | 20886 10264 94 | 3.157 % | 837.88/838.14 c | 131184 | 4816 6473 44355 | 22974 11313 113 | 3.157 % | 891.56/891.86 c | 196870 | 4816 6473 44355 | 25272 18336 142 | 3.157 % | 947.25/947.50 c | 295397 | 4816 6473 44355 | 27799 13314 161 | 3.157 % | 1062.52/1062.80 c | 443191 | 4816 6473 44355 | 30579 28096 220 | 3.157 % | 1212.47/1212.81 c | 664875 | 4816 6473 44355 | 33637 28290 207 | 3.157 % |
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-2680713-1277451713/watcher-2680713-1277451713 -o /tmp/evaluation-result-2680713-1277451713/solver-2680713-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680713-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 25512 /proc/meminfo: memFree=1112616/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=3060 CPUtime=0.01 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 330 0 0 0 1 0 0 0 17 0 1 0 86462168 3133440 248 1992294400 134512640 135752675 4288807152 18446744073709551615 135201005 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 765 248 148 303 0 380 0 [startup+0.0914501 s] /proc/loadavg: 0.00 0.00 0.00 3/106 25512 /proc/meminfo: memFree=1112616/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=3404 CPUtime=0.08 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 590 0 0 0 8 0 0 0 18 0 1 0 86462168 3485696 428 1992294400 134512640 135752675 4288807152 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 851 428 145 303 0 546 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3404 [startup+0.10145 s] /proc/loadavg: 0.00 0.00 0.00 3/106 25512 /proc/meminfo: memFree=1112616/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=3532 CPUtime=0.08 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 615 0 0 0 8 0 0 0 18 0 1 0 86462168 3616768 453 1992294400 134512640 135752675 4288807152 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 883 453 145 303 0 578 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3532 [startup+0.301467 s] /proc/loadavg: 0.00 0.00 0.00 3/106 25512 /proc/meminfo: memFree=1112616/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=5200 CPUtime=0.29 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 1012 0 0 0 28 1 0 0 18 0 1 0 86462168 5324800 850 1992294400 134512640 135752675 4288807152 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 1300 850 145 303 0 995 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5200 [startup+0.701502 s] /proc/loadavg: 0.00 0.00 0.00 3/106 25512 /proc/meminfo: memFree=1112616/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=8020 CPUtime=0.68 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 1735 0 0 0 67 1 0 0 18 0 1 0 86462168 8212480 1573 1992294400 134512640 135752675 4288807152 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 2005 1573 145 303 0 1700 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8020 [startup+1.50157 s] /proc/loadavg: 0.00 0.00 0.00 2/107 25513 /proc/meminfo: memFree=1104796/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=13164 CPUtime=1.49 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 3019 0 0 0 146 3 0 0 19 0 1 0 86462168 13479936 2857 1992294400 134512640 135752675 4288807152 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 3291 2857 145 303 0 2986 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13164 [startup+3.10071 s] /proc/loadavg: 0.08 0.02 0.01 2/107 25513 /proc/meminfo: memFree=1096860/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=23564 CPUtime=3.09 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 5599 0 0 0 304 5 0 0 23 0 1 0 86462168 24129536 5437 1992294400 134512640 135752675 4288807152 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 5891 5438 145 303 0 5586 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23564 [startup+6.30099 s] /proc/loadavg: 0.08 0.02 0.01 2/107 25513 /proc/meminfo: memFree=1077764/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=42212 CPUtime=6.29 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 10279 0 0 0 619 10 0 0 25 0 1 0 86462168 43225088 10117 1992294400 134512640 135752675 4288807152 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 10553 10117 145 303 0 10248 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42212 [startup+12.7005 s] /proc/loadavg: 0.15 0.03 0.01 2/107 25513 /proc/meminfo: memFree=1040812/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=76240 CPUtime=12.69 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 18787 0 0 0 1251 18 0 0 25 0 1 0 86462168 78069760 18625 1992294400 134512640 135752675 4288807152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 19060 18625 145 303 0 18755 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76240 [startup+25.5016 s] /proc/loadavg: 0.34 0.08 0.02 2/107 25513 /proc/meminfo: memFree=981912/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=133956 CPUtime=25.48 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 33192 0 0 0 2516 32 0 0 25 0 1 0 86462168 137170944 33030 1992294400 134512640 135752675 4288807152 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 33489 33030 145 303 0 33184 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 133956 [startup+51.1009 s] /proc/loadavg: 0.56 0.15 0.05 2/107 25515 /proc/meminfo: memFree=872544/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=243156 CPUtime=51.07 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 60501 0 0 0 5050 57 0 0 25 0 1 0 86462168 248991744 60339 1992294400 134512640 135752675 4288807152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 60789 60339 145 303 0 60484 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 243156 [startup+102.308 s] /proc/loadavg: 0.82 0.29 0.10 2/107 25515 /proc/meminfo: memFree=637688/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=476208 CPUtime=102.26 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 118742 0 0 0 10109 117 0 0 25 0 1 0 86462168 487636992 118580 1992294400 134512640 135752675 4288807152 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 119052 118580 145 303 0 118747 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 476208 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/107 25517 /proc/meminfo: memFree=409900/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=704680 CPUtime=162.24 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 175798 0 0 0 16052 172 0 0 25 0 1 0 86462168 721592320 175636 1992294400 134512640 135752675 4288807152 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 176170 175636 145 303 0 175865 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 704680 [startup+222.302 s] /proc/loadavg: 0.97 0.52 0.20 2/107 25519 /proc/meminfo: memFree=337608/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=775128 CPUtime=222.23 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 193537 0 0 0 21986 237 0 0 25 0 1 0 86462168 793731072 193346 1992294400 134512640 135752675 4288807152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 193782 193346 146 303 0 193477 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 775128 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/107 25521 /proc/meminfo: memFree=280692/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=832808 CPUtime=282.21 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 207902 0 0 0 27943 278 0 0 25 0 1 0 86462168 852795392 207711 1992294400 134512640 135752675 4288807152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 208202 207711 146 303 0 207897 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 832808 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.29 2/107 25523 /proc/meminfo: memFree=223900/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=889116 CPUtime=342.2 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 221956 0 0 0 33899 321 0 0 25 0 1 0 86462168 910454784 221765 1992294400 134512640 135752675 4288807152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 222279 221765 146 303 0 221974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 889116 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/107 25523 /proc/meminfo: memFree=161528/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=952044 CPUtime=402.18 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 237670 0 0 0 39847 371 0 0 25 0 1 0 86462168 974893056 237479 1992294400 134512640 135752675 4288807152 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 238011 237479 146 303 0 237706 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 952044 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/107 25525 /proc/meminfo: memFree=96304/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1016992 CPUtime=462.17 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 253872 0 0 0 45796 421 0 0 25 0 1 0 86462168 1041399808 253681 1992294400 134512640 135752675 4288807152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 254248 253681 146 303 0 253943 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1016992 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/107 25527 /proc/meminfo: memFree=25500/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1087952 CPUtime=522.16 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 271588 0 0 0 51740 476 0 0 25 0 1 0 86462168 1114062848 271397 1992294400 134512640 135752675 4288807152 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 271988 271397 146 303 0 271683 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1087952 [startup+582.302 s] /proc/loadavg: 0.99 0.84 0.44 2/107 25529 /proc/meminfo: memFree=9456/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1143960 CPUtime=582.14 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 285589 0 0 0 57694 520 0 0 25 0 1 0 86462168 1171415040 285398 1992294400 134512640 135752675 4288807152 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 285990 285398 146 303 0 285685 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1143960 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.48 2/107 25531 /proc/meminfo: memFree=9996/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1200560 CPUtime=642.14 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 299742 0 0 0 63651 563 0 0 25 0 1 0 86462168 1229373440 299551 1992294400 134512640 135752675 4288807152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 300140 299551 146 303 0 299835 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1200560 [startup+702.301 s] /proc/loadavg: 0.99 0.89 0.50 2/107 25531 /proc/meminfo: memFree=9344/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1254540 CPUtime=702.11 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 313226 0 0 0 69610 601 0 0 25 0 1 0 86462168 1284648960 313035 1992294400 134512640 135752675 4288807152 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 313635 313035 146 303 0 313330 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1254540 [startup+762.309 s] /proc/loadavg: 1.04 0.92 0.54 2/107 25533 /proc/meminfo: memFree=10156/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1329648 CPUtime=762.11 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 331989 0 0 0 75565 646 0 0 25 0 1 0 86462168 1361559552 331798 1992294400 134512640 135752675 4288807152 18446744073709551615 134615323 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 332412 331798 146 303 0 332107 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 1329648 [startup+822.302 s] /proc/loadavg: 1.06 0.95 0.57 2/107 25535 /proc/meminfo: memFree=10468/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1330584 CPUtime=822.08 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 332403 0 0 0 81516 692 0 0 25 0 1 0 86462168 1362518016 332212 1992294400 134512640 135752675 4288807152 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 332646 332212 146 303 0 332341 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1330584 [startup+882.302 s] /proc/loadavg: 1.06 0.97 0.60 2/107 25537 /proc/meminfo: memFree=9500/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1373204 CPUtime=882.07 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 342993 0 0 0 87473 734 0 0 25 0 1 0 86462168 1406160896 342802 1992294400 134512640 135752675 4288807152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 343301 342802 146 303 0 342996 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1373204 [startup+942.302 s] /proc/loadavg: 1.06 0.99 0.63 2/107 25539 /proc/meminfo: memFree=9840/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1430800 CPUtime=942.05 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 357369 0 0 0 93422 783 0 0 25 0 1 0 86462168 1465139200 357178 1992294400 134512640 135752675 4288807152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 357700 357178 146 303 0 357395 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1430800 [startup+1002.3 s] /proc/loadavg: 1.08 1.01 0.66 2/107 25539 /proc/meminfo: memFree=9328/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1508136 CPUtime=1002.04 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 376668 0 0 0 99374 830 0 0 25 0 1 0 86462168 1544331264 376477 1992294400 134512640 135752675 4288807152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 377034 376477 146 303 0 376729 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1508136 [startup+1062.3 s] /proc/loadavg: 1.03 1.01 0.67 2/107 25541 /proc/meminfo: memFree=9980/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1573996 CPUtime=1062.03 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 393114 0 0 0 105336 867 0 0 25 0 1 0 86462168 1611771904 392923 1992294400 134512640 135752675 4288807152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 393499 392923 146 303 0 393194 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1573996 [startup+1122.3 s] /proc/loadavg: 1.01 1.00 0.69 2/107 25543 /proc/meminfo: memFree=10088/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1642464 CPUtime=1122.01 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 410231 0 0 0 111277 924 0 0 25 0 1 0 86462168 1681883136 410040 1992294400 134512640 135752675 4288807152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 410616 410040 146 303 0 410311 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1642464 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.71 2/107 25554 /proc/meminfo: memFree=10436/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1714532 CPUtime=1181.97 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 428206 0 0 0 117223 974 0 0 25 0 1 0 86462168 1755680768 428015 1992294400 134512640 135752675 4288807152 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 428633 428015 146 303 0 428328 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1714532 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.73 2/107 25556 /proc/meminfo: memFree=10232/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1791596 CPUtime=1241.96 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 447466 0 0 0 123168 1028 0 0 25 0 1 0 86462168 1834594304 447275 1992294400 134512640 135752675 4288807152 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 447899 447275 146 303 0 447594 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1791596 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1299.4 s] /proc/loadavg: 1.00 1.00 0.74 2/107 25556 /proc/meminfo: memFree=9800/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=1843308 CPUtime=1299.06 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4202496 460383 0 0 0 128843 1063 0 0 25 0 1 0 86462168 1887547392 460192 1992294400 134512640 135752675 4288807152 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25512/statm: 460827 460192 146 303 0 460522 0 Current children cumulated CPU time (s) 1299.06 Current children cumulated vsize (KiB) 1843308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1299.6 s] /proc/loadavg: 1.00 1.00 0.74 2/107 25556 /proc/meminfo: memFree=9800/2059040 swapFree=4140544/4192956 [pid=25512] ppid=25510 vsize=0 CPUtime=1299.25 /proc/25512/stat : 25512 (wbo1.4b) R 25510 25512 25487 0 -1 4203524 460383 0 0 0 128843 1082 0 0 25 0 1 0 86462168 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/25512/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1299.25 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1299.6 CPU time (s): 1299.26 CPU user time (s): 1288.43 CPU system time (s): 10.8304 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1843308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1288.43 system time used= 10.8304 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460383 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= 19 involuntary context switches= 1300 runsolver used 2.12768 second user time and 6.20206 second system time The end
Begin job on node057 at 2010-06-25 09:41:54 IDJOB=2680713 IDBENCH=1873 IDSOLVER=1190 FILE ID=node057/2680713-1277451713 PBS_JOBID= 11188112 Free space on /tmp= 62400 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-seymour.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680713-1277451713/watcher-2680713-1277451713 -o /tmp/evaluation-result-2680713-1277451713/solver-2680713-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680713-1277451713.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0 RANDOM SEED=1143222047 node057.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.247 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.247 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1113144 kB Buffers: 186024 kB Cached: 645908 kB SwapCached: 5912 kB Active: 224956 kB Inactive: 620360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1113144 kB SwapTotal: 4192956 kB SwapFree: 4140544 kB Dirty: 3004 kB Writeback: 0 kB AnonPages: 11492 kB Mapped: 12044 kB Slab: 78748 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183012 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= 62396 MiB End job on node057 at 2010-06-25 10:03:35