Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.21 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb |
MD5SUM | dfa433e4e6a88cd1c776cef0a80ce991 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8034 |
Best CPU time to get the best result obtained on this benchmark | 0.012997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8034 |
Optimality of the best value was proved | YES |
Number of variables | 210 |
Total number of constraints | 220 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 2937 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 109101 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2937 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 109101 |
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.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680408-1277459187.opb. 0.00/0.00 c Instance file HOME/instance-2680408-1277459187.opb 0.00/0.00 c File size is 8308 bytes. 0.00/0.00 c Highest Coefficient sum: 11 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 210 | 0.00/0.00 c | Number Clauses: 220 | 0.00/0.00 c | Number Cardinality: 20 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 210 240 800 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 9519 0.00/0.00 o 9519 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 210 241 1010 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 9423 0.00/0.00 o 9423 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 3 | 210 242 1220 | 5000 3 47 | 0.000 % | 0.00/0.01 c | 104 | 210 242 1220 | 5500 104 24 | 0.002 % | 0.00/0.01 c | 256 | 210 242 1220 | 6050 256 30 | 0.002 % | 0.01/0.02 c | 482 | 210 242 1220 | 6655 482 35 | 0.048 % | 0.01/0.04 c | 820 | 210 242 1220 | 7320 820 33 | 0.002 % | 0.01/0.06 c | 1327 | 210 242 1220 | 8052 1327 31 | 0.002 % | 0.09/0.10 c | 2087 | 210 242 1220 | 8857 2087 34 | 0.048 % | 0.09/0.15 c | 3228 | 210 242 1220 | 9743 3228 33 | 0.048 % | 0.19/0.23 c | 4936 | 210 242 1220 | 10717 4936 32 | 0.002 % | 0.29/0.39 c | 7499 | 210 242 1220 | 11789 7499 36 | 0.048 % | 0.59/0.61 c | 11343 | 210 242 1220 | 12968 11343 37 | 0.048 % | 1.00/1.06 c | 17109 | 210 242 1220 | 14265 10556 37 | 0.002 % | 1.59/1.67 c | 25758 | 210 242 1220 | 15692 11983 35 | 0.002 % | 2.10/2.17 c =============================================================================== 2.10/2.17 c New solution: 9411 2.10/2.17 o 9411 2.10/2.17 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s 2.10/2.17 c =============================================================================== 2.10/2.17 c | 33317 | 210 243 1430 | 5000 11622 36 | 0.002 % | 2.10/2.19 c | 33421 | 210 243 1430 | 5500 3010 34 | 0.048 % | 2.10/2.20 c | 33571 | 210 243 1430 | 6050 3160 34 | 0.002 % | 2.19/2.21 c | 33797 | 210 243 1430 | 6655 3386 34 | 0.048 % | 2.19/2.23 c | 34134 | 210 243 1430 | 7320 3723 34 | 0.002 % | 2.19/2.26 c | 34640 | 210 243 1430 | 8052 4229 36 | 0.002 % | 2.29/2.30 c | 35399 | 210 243 1430 | 8857 4988 37 | 0.048 % | 2.29/2.37 c | 36539 | 210 243 1430 | 9743 6128 36 | 0.048 % | 2.39/2.47 c | 38247 | 210 243 1430 | 10717 7836 36 | 0.002 % | 2.59/2.65 c | 40812 | 210 243 1430 | 11789 10401 36 | 0.002 % | 2.89/2.91 c | 44656 | 210 243 1430 | 12968 8293 36 | 0.002 % | 3.30/3.32 c | 50423 | 210 243 1430 | 14265 7521 36 | 0.048 % | 3.30/3.38 c =============================================================================== 3.30/3.38 c New solution: 9378 3.30/3.38 o 9378 3.30/3.38 c Elapsed CPU time: 3.2655 s Remaining CPU time: 176.734 s 3.30/3.38 c =============================================================================== 3.30/3.38 c | 51370 | 210 244 1640 | 5000 8468 36 | 0.048 % | 3.30/3.39 c | 51470 | 210 244 1640 | 5500 4334 38 | 0.002 % | 3.39/3.41 c | 51620 | 210 244 1640 | 6050 4484 38 | 0.002 % | 3.39/3.42 c | 51847 | 210 244 1640 | 6655 4711 39 | 0.048 % | 3.39/3.45 c | 52184 | 210 244 1640 | 7320 5048 39 | 0.002 % | 3.39/3.47 c | 52690 | 210 244 1640 | 8052 5554 38 | 0.002 % | 3.49/3.53 c | 53451 | 210 244 1640 | 8857 6315 39 | 0.002 % | 3.49/3.59 c | 54591 | 210 244 1640 | 9743 7455 38 | 0.048 % | 3.69/3.70 c | 56299 | 210 244 1640 | 10717 9163 38 | 0.002 % | 3.79/3.89 c | 58861 | 210 244 1640 | 11789 6298 39 | 0.002 % | 4.19/4.20 c | 62705 | 210 244 1640 | 12968 10142 40 | 0.048 % | 4.19/4.25 c =============================================================================== 4.19/4.25 c New solution: 9360 4.19/4.25 o 9360 4.19/4.25 c Elapsed CPU time: 4.10837 s Remaining CPU time: 175.892 s 4.19/4.25 c =============================================================================== 4.19/4.25 c | 63320 | 210 245 1850 | 5000 10757 40 | 0.048 % | 4.19/4.27 c | 63423 | 210 245 1850 | 5500 2793 39 | 0.002 % | 4.19/4.28 c | 63573 | 210 245 1850 | 6050 2943 41 | 0.048 % | 4.19/4.30 c | 63798 | 210 245 1850 | 6655 3168 41 | 0.048 % | 4.30/4.32 c | 64135 | 210 245 1850 | 7320 3505 42 | 0.002 % | 4.30/4.36 c | 64641 | 210 245 1850 | 8052 4011 42 | 0.048 % | 4.40/4.41 c | 65400 | 210 245 1850 | 8857 4770 42 | 0.048 % | 4.40/4.50 c | 66539 | 210 245 1850 | 9743 5909 43 | 0.048 % | 4.59/4.61 c | 68248 | 210 245 1850 | 10717 7618 41 | 0.002 % | 4.79/4.81 c | 70810 | 210 245 1850 | 11789 10180 40 | 0.002 % | 4.99/5.09 c | 74656 | 210 245 1850 | 12968 8065 38 | 0.002 % | 5.49/5.52 c | 80422 | 210 245 1850 | 14265 7286 43 | 0.002 % | 6.19/6.21 c | 89071 | 210 245 1850 | 15692 8746 36 | 0.002 % | 6.39/6.47 c =============================================================================== 6.39/6.47 c New solution: 9309 6.39/6.47 o 9309 6.39/6.47 c Elapsed CPU time: 6.27205 s Remaining CPU time: 173.728 s 6.39/6.47 c =============================================================================== 6.39/6.47 c | 92368 | 210 246 2060 | 5000 12043 37 | 0.002 % | 6.39/6.50 c | 92470 | 210 246 2060 | 5500 3113 40 | 0.002 % | 6.49/6.50 c | 92621 | 210 246 2060 | 6050 3264 39 | 0.002 % | 6.49/6.52 c | 92846 | 210 246 2060 | 6655 3489 40 | 0.002 % | 6.49/6.54 c | 93184 | 210 246 2060 | 7320 3827 40 | 0.002 % | 6.49/6.58 c | 93691 | 210 246 2060 | 8052 4334 41 | 0.002 % | 6.60/6.63 c | 94452 | 210 246 2060 | 8857 5095 40 | 0.002 % | 6.69/6.70 c | 95592 | 210 246 2060 | 9743 6235 38 | 0.048 % | 6.69/6.79 c =============================================================================== 6.69/6.79 c New solution: 9238 6.69/6.79 o 9238 6.69/6.79 c Elapsed CPU time: 6.58 s Remaining CPU time: 173.42 s 6.69/6.79 c =============================================================================== 6.69/6.79 c | 96671 | 210 247 2270 | 5000 7314 39 | 0.048 % | 6.78/6.80 c | 96773 | 210 247 2270 | 5500 3759 38 | 0.002 % | 6.78/6.81 c | 96924 | 210 247 2270 | 6050 3910 38 | 0.002 % | 6.78/6.83 c | 97150 | 210 247 2270 | 6655 4136 38 | 0.048 % | 6.78/6.85 c | 97487 | 210 247 2270 | 7320 4473 38 | 0.048 % | 6.78/6.88 c | 97994 | 210 247 2270 | 8052 4980 37 | 0.048 % | 6.89/6.95 c | 98753 | 210 247 2270 | 8857 5739 38 | 0.002 % | 6.99/7.02 c | 99894 | 210 247 2270 | 9743 6880 38 | 0.048 % | 7.09/7.15 c | 101602 | 210 247 2270 | 10717 8588 39 | 0.048 % | 7.29/7.37 c | 104165 | 210 247 2270 | 11789 5718 39 | 0.002 % | 7.59/7.66 c | 108009 | 210 247 2270 | 12968 9562 39 | 0.048 % | 8.09/8.14 c | 113776 | 210 247 2270 | 14265 8762 38 | 0.002 % | 8.70/8.71 c =============================================================================== 8.70/8.71 c New solution: 9228 8.70/8.71 o 9228 8.70/8.71 c Elapsed CPU time: 8.43572 s Remaining CPU time: 171.564 s 8.70/8.71 c =============================================================================== 8.70/8.71 c | 120932 | 210 248 2480 | 5000 8692 35 | 0.002 % | 8.70/8.72 c | 121033 | 210 248 2480 | 5500 4447 35 | 0.048 % | 8.70/8.73 c | 121183 | 210 248 2480 | 6050 4597 35 | 0.048 % | 8.70/8.75 c | 121408 | 210 248 2480 | 6655 4822 35 | 0.048 % | 8.70/8.77 c | 121746 | 210 248 2480 | 7320 5160 35 | 0.002 % | 8.80/8.82 c | 122253 | 210 248 2480 | 8052 5667 36 | 0.002 % | 8.80/8.87 c | 123014 | 210 248 2480 | 8857 6428 36 | 0.048 % | 8.89/8.96 c | 124154 | 210 248 2480 | 9743 7568 37 | 0.048 % | 8.99/9.08 c | 125863 | 210 248 2480 | 10717 9277 37 | 0.048 % | 9.29/9.31 c | 128426 | 210 248 2480 | 11789 6402 39 | 0.002 % | 9.59/9.61 c | 132270 | 210 248 2480 | 12968 10246 38 | 0.002 % | 10.09/10.12 c | 138037 | 210 248 2480 | 14265 9463 39 | 0.002 % | 10.78/10.84 c | 146686 | 210 248 2480 | 15692 10900 39 | 0.048 % | 11.99/12.10 c | 159660 | 210 248 2480 | 17261 7993 36 | 0.048 % | 13.69/13.72 c | 179121 | 210 248 2480 | 18987 10023 34 | 0.002 % | 14.38/14.47 c =============================================================================== 14.38/14.47 c New solution: 9178 14.38/14.47 o 9178 14.38/14.47 c Elapsed CPU time: 14.0349 s Remaining CPU time: 165.965 s 14.38/14.47 c =============================================================================== 14.38/14.47 c | 187561 | 210 249 2690 | 5000 18463 37 | 0.002 % | 14.49/14.51 c | 187661 | 210 249 2690 | 5500 4716 43 | 0.002 % | 14.49/14.53 c | 187813 | 210 249 2690 | 6050 4868 43 | 0.002 % | 14.49/14.54 c | 188038 | 210 249 2690 | 6655 5093 43 | 0.002 % | 14.49/14.57 c | 188376 | 210 249 2690 | 7320 5431 43 | 0.048 % | 14.59/14.60 c | 188883 | 210 249 2690 | 8052 5938 42 | 0.002 % | 14.59/14.67 c | 189643 | 210 249 2690 | 8857 6698 42 | 0.002 % | 14.69/14.77 c | 190783 | 210 249 2690 | 9743 7838 41 | 0.002 % | 14.89/14.92 c | 192493 | 210 249 2690 | 10717 9548 42 | 0.002 % | 15.08/15.16 c | 195055 | 210 249 2690 | 11789 6674 40 | 0.048 % | 15.40/15.46 c | 198900 | 210 249 2690 | 12968 10519 39 | 0.048 % | 15.99/16.03 c | 204667 | 210 249 2690 | 14265 9720 37 | 0.048 % | 16.89/16.93 c | 213317 | 210 249 2690 | 15692 11180 36 | 0.002 % | 17.99/18.07 c =============================================================================== 17.99/18.07 c New solution: 9164 17.99/18.07 o 9164 17.99/18.07 c Elapsed CPU time: 17.5303 s Remaining CPU time: 162.47 s 17.99/18.07 c =============================================================================== 17.99/18.07 c | 224947 | 210 250 2900 | 5000 14900 40 | 0.002 % | 18.08/18.11 c | 225048 | 210 250 2900 | 5500 3826 40 | 0.002 % | 18.08/18.12 c | 225198 | 210 250 2900 | 6050 3976 40 | 0.002 % | 18.08/18.14 c | 225423 | 210 250 2900 | 6655 4201 40 | 0.048 % | 18.08/18.17 c | 225760 | 210 250 2900 | 7320 4538 40 | 0.002 % | 18.19/18.21 c | 226266 | 210 250 2900 | 8052 5044 40 | 0.002 % | 18.19/18.25 c | 227026 | 210 250 2900 | 8857 5804 39 | 0.002 % | 18.28/18.35 c | 228166 | 210 250 2900 | 9743 6944 38 | 0.048 % | 18.49/18.52 c | 229874 | 210 250 2900 | 10717 8652 39 | 0.048 % | 18.59/18.63 c =============================================================================== 18.59/18.63 c New solution: 9148 18.59/18.63 o 9148 18.59/18.63 c Elapsed CPU time: 18.0703 s Remaining CPU time: 161.93 s 18.59/18.63 c =============================================================================== 18.59/18.63 c | 231044 | 210 251 3110 | 5000 9822 39 | 0.048 % | 18.59/18.65 c | 231144 | 210 251 3110 | 5500 5011 38 | 0.002 % | 18.59/18.66 c | 231297 | 210 251 3110 | 6050 5164 38 | 0.002 % | 18.59/18.68 c | 231525 | 210 251 3110 | 6655 5392 38 | 0.002 % | 18.69/18.71 c | 231863 | 210 251 3110 | 7320 5730 38 | 0.002 % | 18.69/18.75 c | 232369 | 210 251 3110 | 8052 6236 38 | 0.002 % | 18.79/18.82 c | 233128 | 210 251 3110 | 8857 6995 38 | 0.002 % | 18.89/18.91 c | 234267 | 210 251 3110 | 9743 8134 38 | 0.002 % | 18.98/19.08 c | 235976 | 210 251 3110 | 10717 9843 39 | 0.048 % | 19.28/19.31 c | 238539 | 210 251 3110 | 11789 6988 39 | 0.002 % | 19.58/19.61 c | 242384 | 210 251 3110 | 12968 10833 37 | 0.048 % | 20.19/20.21 c | 248150 | 210 251 3110 | 14265 10028 39 | 0.048 % | 20.98/21.00 c | 256800 | 210 251 3110 | 15692 11466 35 | 0.048 % | 22.19/22.27 c | 269774 | 210 251 3110 | 17261 8618 44 | 0.048 % | 22.69/22.77 c =============================================================================== 22.69/22.77 c New solution: 9102 22.69/22.77 o 9102 22.69/22.77 c Elapsed CPU time: 22.1006 s Remaining CPU time: 157.899 s 22.69/22.77 c =============================================================================== 22.69/22.77 c | 274344 | 210 252 3320 | 5000 13188 44 | 0.048 % | 22.79/22.80 c | 274445 | 210 252 3320 | 5500 3398 44 | 0.002 % | 22.79/22.82 c | 274596 | 210 252 3320 | 6050 3549 44 | 0.002 % | 22.79/22.84 c | 274821 | 210 252 3320 | 6655 3774 44 | 0.002 % | 22.79/22.86 c | 275159 | 210 252 3320 | 7320 4112 42 | 0.002 % | 22.88/22.90 c | 275666 | 210 252 3320 | 8052 4619 42 | 0.002 % | 22.88/22.98 c | 276425 | 210 252 3320 | 8857 5378 42 | 0.002 % | 22.99/23.06 c | 277564 | 210 252 3320 | 9743 6517 40 | 0.002 % | 23.18/23.22 c | 279272 | 210 252 3320 | 10717 8225 39 | 0.048 % | 23.38/23.48 c | 281837 | 210 252 3320 | 11789 10790 38 | 0.048 % | 23.79/23.85 c | 285683 | 210 252 3320 | 12968 8690 39 | 0.002 % | 24.09/24.17 c =============================================================================== 24.09/24.17 c New solution: 9049 24.09/24.17 o 9049 24.09/24.17 c Elapsed CPU time: 23.4644 s Remaining CPU time: 156.536 s 24.09/24.17 c =============================================================================== 24.09/24.17 c | 289241 | 210 253 3530 | 5000 12248 41 | 0.002 % | 24.09/24.20 c | 289342 | 210 253 3530 | 5500 3163 43 | 0.002 % | 24.19/24.21 c | 289495 | 210 253 3530 | 6050 3316 43 | 0.002 % | 24.19/24.23 c | 289720 | 210 253 3530 | 6655 3541 42 | 0.048 % | 24.19/24.25 c | 290057 | 210 253 3530 | 7320 3878 41 | 0.002 % | 24.28/24.30 c | 290563 | 210 253 3530 | 8052 4384 41 | 0.002 % | 24.28/24.37 c | 291322 | 210 253 3530 | 8857 5143 41 | 0.048 % | 24.39/24.47 c | 292463 | 210 253 3530 | 9743 6284 41 | 0.048 % | 24.59/24.63 c | 294171 | 210 253 3530 | 10717 7992 41 | 0.048 % | 24.78/24.85 c | 296733 | 210 253 3530 | 11789 10554 40 | 0.048 % | 25.19/25.20 c | 300577 | 210 253 3530 | 12968 8427 37 | 0.002 % | 25.68/25.78 c | 306343 | 210 253 3530 | 14265 7623 34 | 0.048 % | 26.58/26.60 c | 314993 | 210 253 3530 | 15692 9059 35 | 0.048 % | 27.89/27.98 c | 327968 | 210 253 3530 | 17261 14108 38 | 0.048 % | 29.38/29.45 c =============================================================================== 29.38/29.45 c New solution: 9017 29.38/29.45 o 9017 29.38/29.45 c Elapsed CPU time: 28.6166 s Remaining CPU time: 151.383 s 29.38/29.45 c =============================================================================== 29.38/29.45 c | 341930 | 210 254 3740 | 5000 10642 34 | 0.048 % | 29.38/29.48 c | 342030 | 210 254 3740 | 5500 2761 33 | 0.048 % | 29.49/29.50 c | 342180 | 210 254 3740 | 6050 2911 33 | 0.002 % | 29.49/29.52 c | 342406 | 210 254 3740 | 6655 3137 33 | 0.048 % | 29.49/29.54 c | 342744 | 210 254 3740 | 7320 3475 33 | 0.002 % | 29.49/29.59 c | 343250 | 210 254 3740 | 8052 3981 34 | 0.048 % | 29.59/29.66 c | 344009 | 210 254 3740 | 8857 4740 33 | 0.048 % | 29.69/29.76 c | 345149 | 210 254 3740 | 9743 5880 34 | 0.048 % | 29.88/29.93 c | 346858 | 210 254 3740 | 10717 7589 34 | 0.002 % | 30.08/30.16 c | 349420 | 210 254 3740 | 11789 10151 35 | 0.048 % | 30.49/30.52 c | 353265 | 210 254 3740 | 12968 8029 37 | 0.002 % | 30.98/31.06 c | 359031 | 210 254 3740 | 14265 7228 36 | 0.048 % | 31.79/31.88 c | 367680 | 210 254 3740 | 15692 8666 40 | 0.048 % | 33.08/33.16 c | 380654 | 210 254 3740 | 17261 13706 38 | 0.048 % | 33.18/33.24 c =============================================================================== 33.18/33.24 c New solution: 9011 33.18/33.24 o 9011 33.18/33.24 c Elapsed CPU time: 32.3191 s Remaining CPU time: 147.681 s 33.18/33.24 c =============================================================================== 33.18/33.24 c | 381370 | 210 255 3950 | 5000 14422 38 | 0.048 % | 33.18/33.28 c | 381470 | 210 255 3950 | 5500 3706 40 | 0.002 % | 33.29/33.30 c | 381620 | 210 255 3950 | 6050 3856 40 | 0.002 % | 33.29/33.32 c | 381846 | 210 255 3950 | 6655 4082 40 | 0.002 % | 33.29/33.35 c | 382184 | 210 255 3950 | 7320 4420 39 | 0.002 % | 33.39/33.40 c | 382690 | 210 255 3950 | 8052 4926 39 | 0.048 % | 33.39/33.47 c | 383451 | 210 255 3950 | 8857 5687 39 | 0.002 % | 33.48/33.57 c | 384590 | 210 255 3950 | 9743 6826 38 | 0.002 % | 33.69/33.73 c | 386299 | 210 255 3950 | 10717 8535 40 | 0.002 % | 33.98/34.04 c | 388862 | 210 255 3950 | 11789 5642 42 | 0.048 % | 34.39/34.41 c | 392707 | 210 255 3950 | 12968 9487 43 | 0.048 % | 34.98/35.00 c | 398475 | 210 255 3950 | 14265 8714 37 | 0.002 % | 35.78/35.87 c | 407125 | 210 255 3950 | 15692 10150 36 | 0.002 % | 35.88/35.94 c =============================================================================== 35.88/35.94 c New solution: 8954 35.88/35.94 o 8954 35.88/35.94 c Elapsed CPU time: 34.9537 s Remaining CPU time: 145.046 s 35.88/35.94 c =============================================================================== 35.88/35.94 c | 407719 | 210 256 4160 | 5000 10744 36 | 0.002 % | 35.88/35.96 c | 407819 | 210 256 4160 | 5500 2786 35 | 0.002 % | 35.88/35.98 c | 407969 | 210 256 4160 | 6050 2936 36 | 0.002 % | 35.98/36.00 c | 408195 | 210 256 4160 | 6655 3162 36 | 0.002 % | 35.98/36.03 c | 408533 | 210 256 4160 | 7320 3500 36 | 0.048 % | 35.98/36.08 c | 409039 | 210 256 4160 | 8052 4006 36 | 0.002 % | 36.08/36.15 c | 409798 | 210 256 4160 | 8857 4765 36 | 0.002 % | 36.19/36.28 c | 410937 | 210 256 4160 | 9743 5904 36 | 0.048 % | 36.38/36.45 c | 412645 | 210 256 4160 | 10717 7612 37 | 0.048 % | 36.68/36.72 c | 415207 | 210 256 4160 | 11789 10174 37 | 0.002 % | 36.88/36.97 c =============================================================================== 36.88/36.97 c New solution: 8924 36.88/36.97 o 8924 36.88/36.97 c Elapsed CPU time: 35.9665 s Remaining CPU time: 144.033 s 36.88/36.97 c =============================================================================== 36.88/36.97 c | 417391 | 210 257 4370 | 5000 6389 39 | 0.002 % | 36.88/36.98 c | 417493 | 210 257 4370 | 5500 3297 40 | 0.002 % | 36.98/37.00 c | 417644 | 210 257 4370 | 6050 3448 40 | 0.002 % | 36.98/37.02 c | 417869 | 210 257 4370 | 6655 3673 40 | 0.048 % | 36.98/37.05 c | 418207 | 210 257 4370 | 7320 4011 40 | 0.002 % | 37.08/37.11 c | 418715 | 210 257 4370 | 8052 4519 41 | 0.002 % | 37.08/37.18 c | 419474 | 210 257 4370 | 8857 5278 40 | 0.048 % | 37.18/37.29 c | 420613 | 210 257 4370 | 9743 6417 41 | 0.048 % | 37.39/37.47 c | 422322 | 210 257 4370 | 10717 8126 42 | 0.048 % | 37.68/37.75 c | 424886 | 210 257 4370 | 11789 10690 42 | 0.048 % | 38.08/38.17 c | 428730 | 210 257 4370 | 12968 8572 41 | 0.002 % | 38.78/38.82 c | 434496 | 210 257 4370 | 14265 7765 41 | 0.048 % | 39.68/39.72 c | 443146 | 210 257 4370 | 15692 9219 37 | 0.002 % | 39.68/39.79 c =============================================================================== 39.68/39.79 c New solution: 8907 39.68/39.79 o 8907 39.68/39.79 c Elapsed CPU time: 38.7051 s Remaining CPU time: 141.295 s 39.68/39.79 c =============================================================================== 39.68/39.79 c | 443620 | 210 258 4580 | 5000 9693 38 | 0.002 % | 39.79/39.82 c | 443720 | 210 258 4580 | 5500 4947 39 | 0.002 % | 39.79/39.83 c | 443871 | 210 258 4580 | 6050 5098 39 | 0.002 % | 39.79/39.86 c | 444097 | 210 258 4580 | 6655 5324 40 | 0.048 % | 39.79/39.89 c | 444434 | 210 258 4580 | 7320 5661 40 | 0.048 % | 39.88/39.95 c | 444941 | 210 258 4580 | 8052 6168 40 | 0.048 % | 39.98/40.02 c | 445701 | 210 258 4580 | 8857 6928 40 | 0.048 % | 40.08/40.14 c | 446842 | 210 258 4580 | 9743 8069 41 | 0.048 % | 40.28/40.33 c | 448550 | 210 258 4580 | 10717 9777 42 | 0.048 % | 40.59/40.61 c | 451113 | 210 258 4580 | 11789 6937 44 | 0.002 % | 40.98/41.02 c | 454957 | 210 258 4580 | 12968 10781 44 | 0.002 % | 41.58/41.64 c | 460723 | 210 258 4580 | 14265 10007 40 | 0.002 % | 42.57/42.61 c | 469374 | 210 258 4580 | 15692 11447 37 | 0.048 % | 44.08/44.17 c | 482348 | 210 258 4580 | 17261 8581 34 | 0.048 % | 46.28/46.31 c =============================================================================== 46.28/46.31 c New solution: 8901 46.28/46.31 o 8901 46.28/46.31 c Elapsed CPU time: 45.0681 s Remaining CPU time: 134.932 s 46.28/46.31 c =============================================================================== 46.28/46.31 c | 499915 | 210 259 4790 | 5000 17435 37 | 0.048 % | 46.28/46.38 c | 500015 | 210 259 4790 | 5500 4459 39 | 0.002 % | 46.38/46.40 c | 500165 | 210 259 4790 | 6050 4609 38 | 0.002 % | 46.38/46.43 c | 500390 | 210 259 4790 | 6655 4834 38 | 0.002 % | 46.38/46.46 c | 500729 | 210 259 4790 | 7320 5173 38 | 0.002 % | 46.48/46.51 c | 501235 | 210 259 4790 | 8052 5679 38 | 0.002 % | 46.48/46.58 c | 501996 | 210 259 4790 | 8857 6440 37 | 0.002 % | 46.68/46.72 c | 503135 | 210 259 4790 | 9743 7579 37 | 0.048 % | 46.88/46.90 c | 504843 | 210 259 4790 | 10717 9287 36 | 0.048 % | 47.08/47.17 c | 507406 | 210 259 4790 | 11789 6444 34 | 0.048 % | 47.58/47.63 c | 511250 | 210 259 4790 | 12968 10288 37 | 0.048 % | 48.28/48.36 c | 517017 | 210 259 4790 | 14265 9488 41 | 0.002 % | 49.27/49.33 c | 525666 | 210 259 4790 | 15692 10925 38 | 0.048 % | 50.87/50.90 c | 538641 | 210 259 4790 | 17261 8072 40 | 0.048 % | 53.28/53.32 c | 558103 | 210 259 4790 | 18987 10117 34 | 0.002 % | 56.87/56.92 c =============================================================================== 56.87/56.92 c New solution: 8890 56.87/56.92 o 8890 56.87/56.92 c Elapsed CPU time: 55.4696 s Remaining CPU time: 124.53 s 56.87/56.92 c =============================================================================== 56.87/56.92 c | 586494 | 210 260 5000 | 5000 9751 38 | 0.002 % | 56.87/56.95 c | 586595 | 210 260 5000 | 5500 4977 36 | 0.002 % | 56.87/56.97 c | 586745 | 210 260 5000 | 6050 5127 37 | 0.002 % | 56.97/57.00 c | 586971 | 210 260 5000 | 6655 5353 37 | 0.048 % | 56.97/57.04 c | 587308 | 210 260 5000 | 7320 5690 37 | 0.002 % | 56.97/57.09 c | 587814 | 210 260 5000 | 8052 6196 37 | 0.048 % | 57.09/57.16 c | 588573 | 210 260 5000 | 8857 6955 36 | 0.002 % | 57.28/57.31 c | 589712 | 210 260 5000 | 9743 8094 37 | 0.002 % | 57.47/57.50 c | 591421 | 210 260 5000 | 10717 9803 37 | 0.002 % | 57.78/57.82 c | 593983 | 210 260 5000 | 11789 6939 38 | 0.048 % | 58.18/58.27 c | 597827 | 210 260 5000 | 12968 10783 38 | 0.048 % | 58.87/58.95 c | 603593 | 210 260 5000 | 14265 9985 37 | 0.002 % | 59.97/60.09 c | 612244 | 210 260 5000 | 15692 11431 41 | 0.002 % | 61.98/62.05 c | 625219 | 210 260 5000 | 17261 8561 39 | 0.048 % | 62.27/62.39 c =============================================================================== 62.27/62.39 c New solution: 8886 62.27/62.39 o 8886 62.27/62.39 c Elapsed CPU time: 60.8388 s Remaining CPU time: 119.161 s 62.27/62.39 c =============================================================================== 62.27/62.39 c | 628164 | 210 261 5210 | 5000 11506 38 | 0.048 % | 62.38/62.42 c | 628264 | 210 261 5210 | 5500 2977 34 | 0.002 % | 62.38/62.44 c | 628418 | 210 261 5210 | 6050 3131 35 | 0.002 % | 62.38/62.47 c | 628643 | 210 261 5210 | 6655 3356 35 | 0.002 % | 62.48/62.50 c | 628980 | 210 261 5210 | 7320 3693 35 | 0.002 % | 62.48/62.57 c | 629487 | 210 261 5210 | 8052 4200 37 | 0.002 % | 62.58/62.64 c | 630246 | 210 261 5210 | 8857 4959 35 | 0.048 % | 62.68/62.76 c | 631385 | 210 261 5210 | 9743 6098 36 | 0.048 % | 62.87/62.95 c | 633093 | 210 261 5210 | 10717 7806 35 | 0.002 % | 63.18/63.28 c | 635657 | 210 261 5210 | 11789 10370 38 | 0.048 % | 63.68/63.74 c | 639504 | 210 261 5210 | 12968 8254 40 | 0.048 % | 64.37/64.42 c | 645270 | 210 261 5210 | 14265 7446 36 | 0.048 % | 65.37/65.46 c | 653919 | 210 261 5210 | 15692 8876 38 | 0.048 % | 65.57/65.65 c =============================================================================== 65.57/65.65 c New solution: 8884 65.57/65.65 o 8884 65.57/65.65 c Elapsed CPU time: 64.0333 s Remaining CPU time: 115.967 s 65.57/65.65 c =============================================================================== 65.57/65.65 c | 655668 | 210 262 5420 | 5000 10625 38 | 0.048 % | 65.57/65.68 c | 655770 | 210 262 5420 | 5500 2759 39 | 0.002 % | 65.57/65.69 c | 655922 | 210 262 5420 | 6050 2911 39 | 0.002 % | 65.68/65.71 c | 656147 | 210 262 5420 | 6655 3136 39 | 0.002 % | 65.68/65.76 c | 656484 | 210 262 5420 | 7320 3473 39 | 0.002 % | 65.77/65.81 c | 656991 | 210 262 5420 | 8052 3980 38 | 0.048 % | 65.77/65.88 c | 657751 | 210 262 5420 | 8857 4740 38 | 0.002 % | 65.98/66.01 c | 658891 | 210 262 5420 | 9743 5880 38 | 0.048 % | 66.18/66.22 c | 660600 | 210 262 5420 | 10717 7589 40 | 0.002 % | 66.47/66.53 c | 663162 | 210 262 5420 | 11789 10151 42 | 0.002 % | 66.88/67.00 c | 667006 | 210 262 5420 | 12968 8023 43 | 0.048 % | 67.27/67.37 c =============================================================================== 67.27/67.37 c New solution: 8849 67.27/67.37 o 8849 67.27/67.37 c Elapsed CPU time: 65.728 s Remaining CPU time: 114.272 s 67.27/67.37 c =============================================================================== 67.27/67.37 c | 669774 | 210 263 5630 | 5000 10791 42 | 0.048 % | 67.27/67.39 c | 669874 | 210 263 5630 | 5500 2798 36 | 0.048 % | 67.37/67.41 c | 670024 | 210 263 5630 | 6050 2948 36 | 0.002 % | 67.37/67.43 c | 670249 | 210 263 5630 | 6655 3173 36 | 0.002 % | 67.37/67.47 c | 670587 | 210 263 5630 | 7320 3511 36 | 0.002 % | 67.47/67.53 c | 671095 | 210 263 5630 | 8052 4019 35 | 0.048 % | 67.57/67.62 c | 671857 | 210 263 5630 | 8857 4781 37 | 0.002 % | 67.68/67.76 c | 672996 | 210 263 5630 | 9743 5920 38 | 0.002 % | 67.87/67.97 c | 674705 | 210 263 5630 | 10717 7629 39 | 0.048 % | 68.27/68.32 c | 677268 | 210 263 5630 | 11789 10192 40 | 0.048 % | 68.77/68.82 c | 681113 | 210 263 5630 | 12968 8068 39 | 0.048 % | 69.48/69.59 c | 686879 | 210 263 5630 | 14265 7269 42 | 0.048 % | 70.77/70.80 c | 695528 | 210 263 5630 | 15692 8691 40 | 0.048 % | 72.27/72.39 c | 708503 | 210 263 5630 | 17261 13757 34 | 0.002 % | 74.97/75.06 c | 727964 | 210 263 5630 | 18987 15810 40 | 0.048 % | 76.77/76.86 c =============================================================================== 76.77/76.86 c New solution: 8792 76.77/76.86 o 8792 76.77/76.86 c Elapsed CPU time: 75.0306 s Remaining CPU time: 104.969 s 76.77/76.86 c =============================================================================== 76.77/76.86 c | 740970 | 210 264 5840 | 5000 9684 40 | 0.048 % | 76.77/76.88 c | 741073 | 210 264 5840 | 5500 4945 38 | 0.002 % | 76.77/76.90 c | 741224 | 210 264 5840 | 6050 5096 38 | 0.002 % | 76.87/76.92 c | 741449 | 210 264 5840 | 6655 5321 38 | 0.048 % | 76.87/76.98 c | 741786 | 210 264 5840 | 7320 5658 38 | 0.002 % | 76.98/77.03 c | 742292 | 210 264 5840 | 8052 6164 38 | 0.002 % | 77.07/77.14 c | 743054 | 210 264 5840 | 8857 6926 38 | 0.002 % | 77.17/77.28 c | 744193 | 210 264 5840 | 9743 8065 40 | 0.048 % | 77.37/77.49 c | 745901 | 210 264 5840 | 10717 9773 38 | 0.002 % | 77.77/77.82 c | 748464 | 210 264 5840 | 11789 6928 40 | 0.048 % | 78.17/78.26 c | 752308 | 210 264 5840 | 12968 10772 38 | 0.002 % | 78.67/78.70 c =============================================================================== 78.67/78.70 c New solution: 8788 78.67/78.70 o 8788 78.67/78.70 c Elapsed CPU time: 76.8333 s Remaining CPU time: 103.167 s 78.67/78.70 c =============================================================================== 78.67/78.70 c | 755218 | 210 265 6050 | 5000 7113 40 | 0.002 % | 78.67/78.72 c | 755319 | 210 265 6050 | 5500 3658 44 | 0.002 % | 78.67/78.74 c | 755469 | 210 265 6050 | 6050 3808 44 | 0.002 % | 78.67/78.77 c | 755695 | 210 265 6050 | 6655 4034 44 | 0.048 % | 78.77/78.81 c | 756033 | 210 265 6050 | 7320 4372 43 | 0.002 % | 78.77/78.88 c | 756540 | 210 265 6050 | 8052 4879 42 | 0.002 % | 78.87/78.96 c | 757299 | 210 265 6050 | 8857 5638 42 | 0.002 % | 78.97/79.09 c | 758440 | 210 265 6050 | 9743 6779 41 | 0.002 % | 79.18/79.29 c | 760148 | 210 265 6050 | 10717 8487 40 | 0.048 % | 79.57/79.64 c | 762710 | 210 265 6050 | 11789 5604 39 | 0.048 % | 79.97/80.06 c | 766554 | 210 265 6050 | 12968 9448 37 | 0.048 % | 80.67/80.79 c | 772321 | 210 265 6050 | 14265 8647 34 | 0.002 % | 81.86/81.99 c | 780970 | 210 265 6050 | 15692 10092 38 | 0.002 % | 82.37/82.45 c =============================================================================== 82.37/82.45 c New solution: 8722 82.37/82.45 o 8722 82.37/82.45 c Elapsed CPU time: 80.5058 s Remaining CPU time: 99.4942 s 82.37/82.45 c =============================================================================== 82.37/82.45 c | 784276 | 210 266 6260 | 5000 13398 39 | 0.002 % | 82.37/82.49 c | 784376 | 210 266 6260 | 5500 3450 43 | 0.048 % | 82.47/82.51 c | 784526 | 210 266 6260 | 6050 3600 43 | 0.002 % | 82.47/82.54 c | 784759 | 210 266 6260 | 6655 3833 44 | 0.048 % | 82.47/82.58 c | 785096 | 210 266 6260 | 7320 4170 44 | 0.048 % | 82.57/82.65 c | 785602 | 210 266 6260 | 8052 4676 43 | 0.048 % | 82.67/82.75 c | 786362 | 210 266 6260 | 8857 5436 44 | 0.002 % | 82.77/82.87 c | 787501 | 210 266 6260 | 9743 6575 43 | 0.048 % | 83.07/83.12 c | 789209 | 210 266 6260 | 10717 8283 43 | 0.002 % | 83.37/83.45 c | 791772 | 210 266 6260 | 11789 10846 40 | 0.002 % | 83.87/83.93 c | 795616 | 210 266 6260 | 12968 8717 38 | 0.002 % | 84.57/84.65 c | 801382 | 210 266 6260 | 14265 7916 36 | 0.002 % | 85.87/85.94 c | 810031 | 210 266 6260 | 15692 9338 51 | 0.048 % | 87.67/87.73 c | 823006 | 210 266 6260 | 17261 14391 36 | 0.002 % | 89.87/89.94 c =============================================================================== 89.87/89.94 c New solution: 8676 89.87/89.94 o 8676 89.87/89.94 c Elapsed CPU time: 87.8436 s Remaining CPU time: 92.1564 s 89.87/89.94 c =============================================================================== 89.87/89.94 c | 840024 | 210 267 6470 | 5000 13985 34 | 0.002 % | 89.87/89.98 c | 840125 | 210 267 6470 | 5500 3598 32 | 0.048 % | 89.87/89.99 c | 840276 | 210 267 6470 | 6050 3749 33 | 0.002 % | 89.97/90.02 c | 840502 | 210 267 6470 | 6655 3975 33 | 0.048 % | 89.97/90.06 c | 840841 | 210 267 6470 | 7320 4314 33 | 0.002 % | 90.07/90.13 c | 841348 | 210 267 6470 | 8052 4821 34 | 0.002 % | 90.17/90.22 c | 842107 | 210 267 6470 | 8857 5580 34 | 0.048 % | 90.26/90.36 c | 843247 | 210 267 6470 | 9743 6720 35 | 0.048 % | 90.47/90.57 c | 844956 | 210 267 6470 | 10717 8429 35 | 0.048 % | 90.77/90.89 c | 847518 | 210 267 6470 | 11789 5551 35 | 0.048 % | 91.27/91.33 c | 851362 | 210 267 6470 | 12968 9395 37 | 0.048 % | 92.07/92.18 c | 857128 | 210 267 6470 | 14265 8591 43 | 0.048 % | 93.26/93.31 c | 865777 | 210 267 6470 | 15692 10025 39 | 0.048 % | 95.17/95.23 c | 878752 | 210 267 6470 | 17261 15071 38 | 0.002 % | 97.66/97.75 c | 898213 | 210 267 6470 | 18987 17131 34 | 0.002 % | 99.76/99.89 c =============================================================================== 99.76/99.89 c New solution: 8654 99.76/99.89 o 8654 99.76/99.89 c Elapsed CPU time: 97.6292 s Remaining CPU time: 82.3708 s 99.76/99.89 c =============================================================================== 99.76/99.89 c | 911542 | 210 268 6680 | 5000 11313 40 | 0.002 % | 99.87/99.93 c | 911644 | 210 268 6680 | 5500 2931 41 | 0.002 % | 99.87/99.95 c | 911795 | 210 268 6680 | 6050 3082 41 | 0.002 % | 99.87/99.97 c | 912020 | 210 268 6680 | 6655 3307 41 | 0.002 % | 99.97/100.02 c | 912357 | 210 268 6680 | 7320 3644 41 | 0.002 % | 99.97/100.09 c | 912865 | 210 268 6680 | 8052 4152 40 | 0.002 % | 100.07/100.19 c | 913625 | 210 268 6680 | 8857 4912 39 | 0.048 % | 100.26/100.33 c | 914765 | 210 268 6680 | 9743 6052 38 | 0.048 % | 100.47/100.55 c | 916474 | 210 268 6680 | 10717 7761 39 | 0.048 % | 100.86/100.92 c | 919036 | 210 268 6680 | 11789 10323 38 | 0.048 % | 101.46/101.50 c | 922881 | 210 268 6680 | 12968 8181 41 | 0.048 % | 102.17/102.23 c | 928649 | 210 268 6680 | 14265 7414 40 | 0.048 % | 103.27/103.40 c | 937299 | 210 268 6680 | 15692 8864 39 | 0.048 % | 105.16/105.26 c | 950273 | 210 268 6680 | 17261 13930 38 | 0.048 % | 107.96/108.06 c | 969734 | 210 268 6680 | 18987 15978 36 | 0.002 % | 112.36/112.47 c | 998926 | 210 268 6680 | 20886 16428 36 | 0.048 % | 116.76/116.84 c =============================================================================== 116.76/116.84 c New solution: 8623 116.76/116.84 o 8623 116.76/116.84 c Elapsed CPU time: 114.3 s Remaining CPU time: 65.7004 s 116.76/116.84 c =============================================================================== 116.76/116.84 c | 1025502 | 210 269 6890 | 5000 11475 36 | 0.048 % | 116.76/116.87 c | 1025602 | 210 269 6890 | 5500 2969 34 | 0.002 % | 116.76/116.89 c | 1025752 | 210 269 6890 | 6050 3119 34 | 0.002 % | 116.86/116.92 c | 1025978 | 210 269 6890 | 6655 3345 35 | 0.048 % | 116.86/116.96 c | 1026315 | 210 269 6890 | 7320 3682 35 | 0.048 % | 116.96/117.02 c | 1026821 | 210 269 6890 | 8052 4188 34 | 0.002 % | 117.06/117.11 c | 1027581 | 210 269 6890 | 8857 4948 34 | 0.048 % | 117.16/117.25 c | 1028720 | 210 269 6890 | 9743 6087 35 | 0.048 % | 117.36/117.48 c | 1030428 | 210 269 6890 | 10717 7795 35 | 0.048 % | 117.76/117.81 c | 1032990 | 210 269 6890 | 11789 10357 35 | 0.002 % | 118.26/118.31 c | 1036834 | 210 269 6890 | 12968 8269 35 | 0.048 % | 119.06/119.12 c | 1042602 | 210 269 6890 | 14265 7494 35 | 0.048 % | 120.06/120.19 c | 1051252 | 210 269 6890 | 15692 8936 36 | 0.048 % | 120.76/120.89 c =============================================================================== 120.76/120.89 c New solution: 8585 120.76/120.89 o 8585 120.76/120.89 c Elapsed CPU time: 118.281 s Remaining CPU time: 61.719 s 120.76/120.89 c =============================================================================== 120.76/120.89 c | 1056629 | 210 270 7100 | 5000 14313 36 | 0.048 % | 120.87/120.93 c | 1056732 | 210 270 7100 | 5500 3682 34 | 0.048 % | 120.87/120.95 c | 1056882 | 210 270 7100 | 6050 3832 35 | 0.002 % | 120.87/120.98 c | 1057109 | 210 270 7100 | 6655 4059 36 | 0.002 % | 120.97/121.02 c | 1057446 | 210 270 7100 | 7320 4396 36 | 0.048 % | 120.97/121.10 c | 1057953 | 210 270 7100 | 8052 4903 38 | 0.002 % | 121.06/121.18 c | 1058713 | 210 270 7100 | 8857 5663 38 | 0.002 % | 121.26/121.33 c | 1059852 | 210 270 7100 | 9743 6802 39 | 0.048 % | 121.56/121.62 c | 1061560 | 210 270 7100 | 10717 8510 41 | 0.048 % | 121.97/122.03 c | 1064122 | 210 270 7100 | 11789 5637 44 | 0.048 % | 122.46/122.50 c | 1067967 | 210 270 7100 | 12968 9482 41 | 0.048 % | 122.96/123.05 c =============================================================================== 122.96/123.05 c New solution: 8562 122.96/123.05 o 8562 122.96/123.05 c Elapsed CPU time: 120.403 s Remaining CPU time: 59.5973 s 122.96/123.05 c =============================================================================== 122.96/123.05 c | 1070789 | 210 271 7310 | 5000 12304 41 | 0.048 % | 122.96/123.08 c | 1070890 | 210 271 7310 | 5500 3177 42 | 0.002 % | 123.07/123.11 c | 1071042 | 210 271 7310 | 6050 3329 42 | 0.002 % | 123.07/123.13 c | 1071267 | 210 271 7310 | 6655 3554 42 | 0.002 % | 123.07/123.17 c | 1071604 | 210 271 7310 | 7320 3891 42 | 0.002 % | 123.17/123.24 c | 1072110 | 210 271 7310 | 8052 4397 42 | 0.048 % | 123.26/123.32 c | 1072869 | 210 271 7310 | 8857 5156 41 | 0.048 % | 123.36/123.49 c | 1074009 | 210 271 7310 | 9743 6296 42 | 0.048 % | 123.66/123.70 c | 1075718 | 210 271 7310 | 10717 8005 42 | 0.002 % | 123.95/124.08 c | 1078281 | 210 271 7310 | 11789 10568 41 | 0.048 % | 124.45/124.58 c | 1082125 | 210 271 7310 | 12968 8427 39 | 0.048 % | 125.37/125.44 c | 1087892 | 210 271 7310 | 14265 7620 37 | 0.048 % | 126.65/126.76 c | 1096541 | 210 271 7310 | 15692 9059 36 | 0.048 % | 127.26/127.32 c =============================================================================== 127.26/127.32 c New solution: 8526 127.26/127.32 o 8526 127.26/127.32 c Elapsed CPU time: 124.582 s Remaining CPU time: 55.4179 s 127.26/127.32 c =============================================================================== 127.26/127.32 c | 1100727 | 210 272 7520 | 5000 13245 35 | 0.048 % | 127.26/127.36 c | 1100827 | 210 272 7520 | 5500 3412 34 | 0.002 % | 127.26/127.37 c | 1100979 | 210 272 7520 | 6050 3564 34 | 0.002 % | 127.36/127.41 c | 1101204 | 210 272 7520 | 6655 3789 34 | 0.048 % | 127.36/127.45 c | 1101541 | 210 272 7520 | 7320 4126 35 | 0.048 % | 127.46/127.52 c | 1102049 | 210 272 7520 | 8052 4634 37 | 0.048 % | 127.56/127.62 c | 1102809 | 210 272 7520 | 8857 5394 36 | 0.002 % | 127.66/127.79 c | 1103948 | 210 272 7520 | 9743 6533 37 | 0.048 % | 127.86/128.00 c | 1105656 | 210 272 7520 | 10717 8241 37 | 0.002 % | 128.26/128.33 c | 1108218 | 210 272 7520 | 11789 10803 37 | 0.002 % | 128.86/128.95 c | 1112063 | 210 272 7520 | 12968 8668 39 | 0.048 % | 129.66/129.76 c | 1117829 | 210 272 7520 | 14265 7883 37 | 0.048 % | 130.15/130.29 c =============================================================================== 130.15/130.29 c New solution: 8478 130.15/130.29 o 8478 130.15/130.29 c Elapsed CPU time: 127.5 s Remaining CPU time: 52.5004 s 130.15/130.29 c =============================================================================== 130.15/130.29 c | 1121300 | 210 273 7730 | 5000 11354 37 | 0.048 % | 130.25/130.32 c | 1121400 | 210 273 7730 | 5500 2939 37 | 0.048 % | 130.25/130.34 c | 1121550 | 210 273 7730 | 6050 3089 38 | 0.002 % | 130.25/130.37 c | 1121775 | 210 273 7730 | 6655 3314 38 | 0.048 % | 130.35/130.41 c | 1122113 | 210 273 7730 | 7320 3652 38 | 0.048 % | 130.35/130.48 c | 1122619 | 210 273 7730 | 8052 4158 38 | 0.002 % | 130.55/130.60 c | 1123378 | 210 273 7730 | 8857 4917 41 | 0.048 % | 130.66/130.73 c | 1124517 | 210 273 7730 | 9743 6056 41 | 0.002 % | 130.86/130.95 c | 1126225 | 210 273 7730 | 10717 7764 40 | 0.048 % | 131.26/131.32 c | 1128787 | 210 273 7730 | 11789 10326 40 | 0.048 % | 131.75/131.87 c | 1132631 | 210 273 7730 | 12968 8194 42 | 0.048 % | 132.65/132.79 c | 1138397 | 210 273 7730 | 14265 7397 42 | 0.048 % | 133.95/134.05 c | 1147047 | 210 273 7730 | 15692 8858 37 | 0.048 % | 136.05/136.11 c | 1160021 | 210 273 7730 | 17261 13912 43 | 0.002 % | 139.05/139.15 c | 1179482 | 210 273 7730 | 18987 15943 36 | 0.048 % | 143.75/143.82 c | 1208675 | 210 273 7730 | 20886 16412 35 | 0.048 % | 150.75/150.81 c | 1252465 | 210 273 7730 | 22974 18126 34 | 0.050 % | 158.35/158.41 c =============================================================================== 158.35/158.41 c New solution: 8380 158.35/158.41 o 8380 158.35/158.41 c Elapsed CPU time: 155.164 s Remaining CPU time: 24.8356 s 158.35/158.41 c =============================================================================== 158.35/158.41 c | 1294378 | 210 274 7940 | 5000 11136 35 | 0.050 % | 158.35/158.44 c | 1294480 | 210 274 7940 | 5500 2886 36 | 0.002 % | 158.35/158.46 c | 1294630 | 210 274 7940 | 6050 3036 36 | 0.050 % | 158.35/158.49 c | 1294855 | 210 274 7940 | 6655 3261 35 | 0.050 % | 158.45/158.56 c | 1295193 | 210 274 7940 | 7320 3599 36 | 0.002 % | 158.55/158.61 c | 1295699 | 210 274 7940 | 8052 4105 35 | 0.002 % | 158.65/158.71 c | 1296459 | 210 274 7940 | 8857 4865 37 | 0.050 % | 158.75/158.86 c | 1297600 | 210 274 7940 | 9743 6006 37 | 0.050 % | 159.05/159.11 c | 1299309 | 210 274 7940 | 10717 7715 36 | 0.050 % | 159.35/159.44 c | 1301871 | 210 274 7940 | 11789 10277 35 | 0.048 % | 159.94/160.02 c | 1305716 | 210 274 7940 | 12968 8155 36 | 0.050 % | 160.75/160.83 c | 1311483 | 210 274 7940 | 14265 7359 36 | 0.050 % | 162.04/162.11 c | 1320133 | 210 274 7940 | 15692 8795 37 | 0.003 % | 163.95/164.05 c | 1333108 | 210 274 7940 | 17261 13840 36 | 0.050 % | 166.95/167.09 c | 1352570 | 210 274 7940 | 18987 15907 35 | 0.048 % | 171.45/171.54 c | 1381763 | 210 274 7940 | 20886 16393 34 | 0.048 % | 179.15/179.24 c | 1425552 | 210 274 7940 | 22974 18088 34 | 0.050 % | 183.55/183.65 c There are 0 assigned variables. 0 in cost function. 185.04/185.19 c core #1 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 169 Total Weight: 169 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #2 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 172 Total Weight: 341 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #3 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 105 Total Weight: 446 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #4 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 135 Total Weight: 581 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #5 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 159 Total Weight: 740 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #6 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 218 Total Weight: 958 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #7 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 163 Total Weight: 1121 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #8 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 135 Total Weight: 1256 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #9 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 239 Total Weight: 1495 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #10 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 106 Total Weight: 1601 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #11 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 109 Total Weight: 1710 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #12 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 147 Total Weight: 1857 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #13 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 155 Total Weight: 2012 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #14 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 151 Total Weight: 2163 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #15 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 238 Total Weight: 2401 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #16 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 174 Total Weight: 2575 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #17 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 167 Total Weight: 2742 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #18 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 223 Total Weight: 2965 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #19 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 120 Total Weight: 3085 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #20 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 11 Core Weight: 178 Total Weight: 3263 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #21 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 48 Total Weight: 3311 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #22 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 14 Total Weight: 3325 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #23 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 137 Total Weight: 3462 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #24 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 69 Total Weight: 3531 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #25 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 51 Total Weight: 3582 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #26 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 13 Core Weight: 156 Total Weight: 3738 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #27 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 14 Core Weight: 62 Total Weight: 3800 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #28 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 40 Total Weight: 3840 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #29 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 13 Core Weight: 14 Total Weight: 3854 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #30 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 4 Total Weight: 3858 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #31 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 15 Core Weight: 53 Total Weight: 3911 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #32 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 14 Core Weight: 87 Total Weight: 3998 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #33 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 13 Core Weight: 56 Total Weight: 4054 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #34 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 52 Total Weight: 4106 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #35 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 13 Core Weight: 14 Total Weight: 4120 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #36 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 36 Total Weight: 4156 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #37 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 13 Core Weight: 14 Total Weight: 4170 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #38 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 14 Core Weight: 63 Total Weight: 4233 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #39 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 13 Core Weight: 103 Total Weight: 4336 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #40 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 14 Core Weight: 81 Total Weight: 4417 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #41 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 15 Core Weight: 77 Total Weight: 4494 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #42 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 16 Core Weight: 140 Total Weight: 4634 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c core #43 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 12 Core Weight: 55 Total Weight: 4689 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #44 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 12 Core Weight: 2 Total Weight: 4691 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #45 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 13 Core Weight: 42 Total Weight: 4733 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #46 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 14 Core Weight: 157 Total Weight: 4890 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #47 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 17 Core Weight: 142 Total Weight: 5032 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #48 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 12 Core Weight: 125 Total Weight: 5157 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #49 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 13 Core Weight: 4 Total Weight: 5161 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #50 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 12 Core Weight: 13 Total Weight: 5174 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #51 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 13 Core Weight: 73 Total Weight: 5247 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #52 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 13 Core Weight: 37 Total Weight: 5284 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #53 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 14 Core Weight: 60 Total Weight: 5344 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #54 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 15 Core Weight: 24 Total Weight: 5368 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #55 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 16 Core Weight: 88 Total Weight: 5456 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #56 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 17 Core Weight: 135 Total Weight: 5591 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c core #57 185.04/185.20 c 185.04/185.20 c 185.04/185.20 c Core size: 12 Core Weight: 103 Total Weight: 5694 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #58 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 12 Core Weight: 27 Total Weight: 5721 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #59 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 13 Core Weight: 47 Total Weight: 5768 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #60 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 14 Core Weight: 76 Total Weight: 5844 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #61 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 15 Core Weight: 31 Total Weight: 5875 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #62 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 16 Core Weight: 111 Total Weight: 5986 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #63 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 12 Core Weight: 31 Total Weight: 6017 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #64 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 13 Core Weight: 33 Total Weight: 6050 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #65 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 14 Core Weight: 139 Total Weight: 6189 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #66 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 15 Core Weight: 61 Total Weight: 6250 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #67 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 16 Core Weight: 75 Total Weight: 6325 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #68 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 12 Core Weight: 240 Total Weight: 6565 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #69 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 13 Core Weight: 11 Total Weight: 6576 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #70 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 12 Core Weight: 2 Total Weight: 6578 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #71 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 13 Core Weight: 7 Total Weight: 6585 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #72 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 15 Core Weight: 6 Total Weight: 6591 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #73 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 16 Core Weight: 162 Total Weight: 6753 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #74 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 17 Core Weight: 1 Total Weight: 6754 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #75 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 12 Core Weight: 28 Total Weight: 6782 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #76 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 13 Core Weight: 21 Total Weight: 6803 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #77 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 12 Core Weight: 147 Total Weight: 6950 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #78 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 13 Core Weight: 32 Total Weight: 6982 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #79 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 13 Core Weight: 23 Total Weight: 7005 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #80 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 14 Core Weight: 4 Total Weight: 7009 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #81 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 15 Core Weight: 72 Total Weight: 7081 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #82 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 13 Core Weight: 46 Total Weight: 7127 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #83 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 14 Core Weight: 181 Total Weight: 7308 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #84 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 15 Core Weight: 30 Total Weight: 7338 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #85 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 16 Core Weight: 52 Total Weight: 7390 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #86 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 182 Core Weight: 14 Total Weight: 7404 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #87 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 182 Core Weight: 1 Total Weight: 7405 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #88 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 182 Core Weight: 5 Total Weight: 7410 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #89 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 182 Core Weight: 10 Total Weight: 7420 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #90 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 182 Core Weight: 1 Total Weight: 7421 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #91 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 182 Core Weight: 14 Total Weight: 7435 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #92 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 28 Core Weight: 23 Total Weight: 7458 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #93 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 29 Core Weight: 10 Total Weight: 7468 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #94 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 30 Core Weight: 12 Total Weight: 7480 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #95 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 30 Core Weight: 38 Total Weight: 7518 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #96 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 30 Core Weight: 20 Total Weight: 7538 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #97 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 30 Core Weight: 12 Total Weight: 7550 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #98 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 30 Core Weight: 41 Total Weight: 7591 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #99 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 30 Core Weight: 59 Total Weight: 7650 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #100 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 31 Core Weight: 3 Total Weight: 7653 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #101 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 31 Core Weight: 49 Total Weight: 7702 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #102 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 32 Core Weight: 4 Total Weight: 7706 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #103 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 28 Core Weight: 18 Total Weight: 7724 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #104 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 32 Core Weight: 81 Total Weight: 7805 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #105 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 32 Core Weight: 43 Total Weight: 7848 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #106 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 32 Core Weight: 4 Total Weight: 7852 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #107 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 44 Core Weight: 2 Total Weight: 7854 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c core #108 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 80 Core Weight: 5 Total Weight: 7859 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c ============================[ Search Statistics ]============================== 185.34/185.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.46 c =============================================================================== 185.34/185.46 c | 0 | 1891 2314 10371 | 5000 0 nan | 0.000 % | 185.34/185.46 c =============================================================================== 185.34/185.47 c core #109 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 33 Core Weight: 9 Total Weight: 7868 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c ============================[ Search Statistics ]============================== 185.34/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.47 c =============================================================================== 185.34/185.47 c | 0 | 1913 2336 10416 | 5000 0 nan | 0.000 % | 185.34/185.47 c =============================================================================== 185.34/185.48 c core #110 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 33 Core Weight: 1 Total Weight: 7869 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c ============================[ Search Statistics ]============================== 185.34/185.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.48 c =============================================================================== 185.34/185.48 c | 0 | 1935 2358 10461 | 5000 0 nan | 0.000 % | 185.34/185.48 c =============================================================================== 185.34/185.49 c core #111 185.34/185.49 c 185.34/185.49 c 185.34/185.49 c Core size: 33 Core Weight: 5 Total Weight: 7874 185.34/185.49 c 185.34/185.49 c 185.34/185.49 c ============================[ Search Statistics ]============================== 185.34/185.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.49 c =============================================================================== 185.34/185.49 c | 0 | 1957 2380 10506 | 5000 0 nan | 0.000 % | 185.34/185.49 c =============================================================================== 185.44/185.50 c core #112 185.44/185.50 c 185.44/185.50 c 185.44/185.50 c Core size: 33 Core Weight: 6 Total Weight: 7880 185.44/185.50 c 185.44/185.50 c 185.44/185.50 c ============================[ Search Statistics ]============================== 185.44/185.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.50 c =============================================================================== 185.44/185.50 c | 0 | 1979 2402 10551 | 5000 0 nan | 0.000 % | 185.44/185.51 c =============================================================================== 185.44/185.52 c core #113 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c Core size: 33 Core Weight: 2 Total Weight: 7882 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c ============================[ Search Statistics ]============================== 185.44/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.52 c =============================================================================== 185.44/185.52 c | 0 | 2001 2424 10596 | 5000 0 nan | 0.000 % | 185.44/185.52 c =============================================================================== 185.44/185.53 c core #114 185.44/185.53 c 185.44/185.53 c 185.44/185.53 c Core size: 33 Core Weight: 2 Total Weight: 7884 185.44/185.53 c 185.44/185.53 c 185.44/185.53 c ============================[ Search Statistics ]============================== 185.44/185.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.53 c =============================================================================== 185.44/185.53 c | 0 | 2023 2446 10641 | 5000 0 nan | 0.000 % | 185.44/185.53 c =============================================================================== 185.44/185.54 c core #115 185.44/185.54 c 185.44/185.54 c 185.44/185.54 c Core size: 33 Core Weight: 1 Total Weight: 7885 185.44/185.54 c 185.44/185.54 c 185.44/185.54 c ============================[ Search Statistics ]============================== 185.44/185.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.54 c =============================================================================== 185.44/185.54 c | 0 | 2045 2468 10686 | 5000 0 nan | 0.000 % | 185.44/185.54 c =============================================================================== 185.44/185.55 c core #116 185.44/185.55 c 185.44/185.55 c 185.44/185.55 c Core size: 33 Core Weight: 14 Total Weight: 7899 185.44/185.55 c 185.44/185.55 c 185.44/185.55 c ============================[ Search Statistics ]============================== 185.44/185.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.55 c =============================================================================== 185.44/185.55 c | 0 | 2067 2490 10731 | 5000 0 nan | 0.000 % | 185.44/185.56 c =============================================================================== 185.44/185.57 c core #117 185.44/185.57 c 185.44/185.57 c 185.44/185.57 c Core size: 42 Core Weight: 4 Total Weight: 7903 185.44/185.57 c 185.44/185.57 c 185.44/185.57 c ============================[ Search Statistics ]============================== 185.44/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.57 c =============================================================================== 185.44/185.57 c | 0 | 2092 2516 10791 | 5000 0 nan | 0.000 % | 185.44/185.57 c =============================================================================== 185.44/185.58 c core #118 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 42 Core Weight: 5 Total Weight: 7908 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c ============================[ Search Statistics ]============================== 185.44/185.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.58 c =============================================================================== 185.44/185.58 c | 0 | 2116 2540 10844 | 5000 0 nan | 0.000 % | 185.44/185.58 c =============================================================================== 185.54/185.60 c core #119 185.54/185.60 c 185.54/185.60 c 185.54/185.60 c Core size: 42 Core Weight: 1 Total Weight: 7909 185.54/185.60 c 185.54/185.60 c 185.54/185.60 c ============================[ Search Statistics ]============================== 185.54/185.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.60 c =============================================================================== 185.54/185.60 c | 0 | 2140 2564 10897 | 5000 0 nan | 0.000 % | 185.54/185.60 c =============================================================================== 185.54/185.61 c core #120 185.54/185.61 c 185.54/185.61 c 185.54/185.61 c Core size: 42 Core Weight: 5 Total Weight: 7914 185.54/185.61 c 185.54/185.61 c 185.54/185.61 c ============================[ Search Statistics ]============================== 185.54/185.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.61 c =============================================================================== 185.54/185.61 c | 0 | 2164 2588 10950 | 5000 0 nan | 0.000 % | 185.54/185.61 c =============================================================================== 185.54/185.62 c core #121 185.54/185.62 c 185.54/185.62 c 185.54/185.62 c Core size: 42 Core Weight: 5 Total Weight: 7919 185.54/185.62 c 185.54/185.62 c 185.54/185.62 c ============================[ Search Statistics ]============================== 185.54/185.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.62 c =============================================================================== 185.54/185.62 c | 0 | 2189 2609 11065 | 5000 0 nan | 0.000 % | 185.54/185.63 c =============================================================================== 185.54/185.64 c core #122 185.54/185.64 c 185.54/185.64 c 185.54/185.64 c Core size: 39 Core Weight: 9 Total Weight: 7928 185.54/185.64 c 185.54/185.64 c 185.54/185.64 c ============================[ Search Statistics ]============================== 185.54/185.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.64 c =============================================================================== 185.54/185.64 c | 0 | 2217 2635 11112 | 5000 0 nan | 0.000 % | 185.54/185.64 c =============================================================================== 185.54/185.65 c core #123 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c Core size: 39 Core Weight: 2 Total Weight: 7930 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c ============================[ Search Statistics ]============================== 185.54/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.65 c =============================================================================== 185.54/185.65 c | 0 | 2241 2659 11201 | 5000 0 nan | 0.000 % | 185.54/185.66 c =============================================================================== 185.54/185.67 c core #124 185.54/185.67 c 185.54/185.67 c 185.54/185.67 c Core size: 44 Core Weight: 2 Total Weight: 7932 185.54/185.67 c 185.54/185.67 c 185.54/185.67 c ============================[ Search Statistics ]============================== 185.54/185.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.67 c =============================================================================== 185.54/185.67 c | 0 | 2269 2686 11250 | 5000 0 nan | 0.000 % | 185.54/185.67 c =============================================================================== 185.54/185.68 c core #125 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c Core size: 46 Core Weight: 7 Total Weight: 7939 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c ============================[ Search Statistics ]============================== 185.54/185.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.68 c =============================================================================== 185.54/185.68 c | 0 | 2296 2714 11309 | 5000 0 nan | 0.000 % | 185.54/185.69 c =============================================================================== 185.64/185.70 c core #126 185.64/185.70 c 185.64/185.70 c 185.64/185.70 c Core size: 47 Core Weight: 5 Total Weight: 7944 185.64/185.70 c 185.64/185.70 c 185.64/185.70 c ============================[ Search Statistics ]============================== 185.64/185.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.70 c =============================================================================== 185.64/185.70 c | 0 | 2323 2740 11360 | 5000 0 nan | 0.000 % | 185.64/185.70 c =============================================================================== 185.64/185.71 c core #127 185.64/185.71 c 185.64/185.71 c 185.64/185.71 c Core size: 62 Core Weight: 5 Total Weight: 7949 185.64/185.71 c 185.64/185.71 c 185.64/185.71 c ============================[ Search Statistics ]============================== 185.64/185.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.71 c =============================================================================== 185.64/185.71 c | 0 | 2359 2773 11430 | 5000 0 nan | 0.000 % | 185.64/185.72 c =============================================================================== 185.64/185.73 c core #128 185.64/185.73 c 185.64/185.73 c 185.64/185.73 c Core size: 35 Core Weight: 1 Total Weight: 7950 185.64/185.73 c 185.64/185.73 c 185.64/185.73 c ============================[ Search Statistics ]============================== 185.64/185.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.73 c =============================================================================== 185.64/185.73 c | 0 | 2379 2793 11470 | 5000 0 nan | 0.000 % | 185.64/185.74 c =============================================================================== 185.64/185.75 c core #129 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c Core size: 55 Core Weight: 1 Total Weight: 7951 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c ============================[ Search Statistics ]============================== 185.64/185.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.75 c =============================================================================== 185.64/185.75 c | 0 | 2410 2823 11521 | 5000 0 nan | 0.000 % | 185.64/185.75 c =============================================================================== 185.64/185.77 c core #130 185.64/185.77 c 185.64/185.77 c 185.64/185.77 c Core size: 41 Core Weight: 1 Total Weight: 7952 185.64/185.77 c 185.64/185.77 c 185.64/185.77 c ============================[ Search Statistics ]============================== 185.64/185.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.77 c =============================================================================== 185.64/185.77 c | 0 | 2438 2852 11576 | 5000 0 nan | 0.000 % | 185.64/185.77 c =============================================================================== 185.64/185.78 c core #131 185.64/185.78 c 185.64/185.78 c 185.64/185.78 c Core size: 46 Core Weight: 1 Total Weight: 7953 185.64/185.78 c 185.64/185.78 c 185.64/185.78 c ============================[ Search Statistics ]============================== 185.64/185.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.78 c =============================================================================== 185.64/185.78 c | 0 | 2466 2878 11623 | 5000 0 nan | 0.000 % | 185.64/185.78 c =============================================================================== 185.75/185.80 c core #132 185.75/185.80 c 185.75/185.80 c 185.75/185.80 c Core size: 66 Core Weight: 5 Total Weight: 7958 185.75/185.80 c 185.75/185.80 c 185.75/185.80 c ============================[ Search Statistics ]============================== 185.75/185.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.80 c =============================================================================== 185.75/185.80 c | 0 | 2501 2910 11683 | 5000 0 nan | 0.000 % | 185.75/185.80 c =============================================================================== 185.75/185.81 c core #133 185.75/185.81 c 185.75/185.81 c 185.75/185.81 c Core size: 46 Core Weight: 3 Total Weight: 7961 185.75/185.81 c 185.75/185.81 c 185.75/185.81 c ============================[ Search Statistics ]============================== 185.75/185.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.81 c =============================================================================== 185.75/185.81 c | 0 | 2529 2939 11738 | 5000 0 nan | 0.000 % | 185.75/185.82 c =============================================================================== 185.75/185.83 c core #134 185.75/185.83 c 185.75/185.83 c 185.75/185.83 c Core size: 51 Core Weight: 2 Total Weight: 7963 185.75/185.83 c 185.75/185.83 c 185.75/185.83 c ============================[ Search Statistics ]============================== 185.75/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.83 c =============================================================================== 185.75/185.83 c | 0 | 2556 2966 11799 | 5000 0 nan | 0.000 % | 185.75/185.83 c =============================================================================== 185.75/185.85 c core #135 185.75/185.85 c 185.75/185.85 c 185.75/185.85 c Core size: 49 Core Weight: 9 Total Weight: 7972 185.75/185.85 c 185.75/185.85 c 185.75/185.85 c ============================[ Search Statistics ]============================== 185.75/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.85 c =============================================================================== 185.75/185.85 c | 0 | 2582 2993 11858 | 5000 0 nan | 0.000 % | 185.75/185.85 c =============================================================================== 185.75/185.86 c core #136 185.75/185.86 c 185.75/185.86 c 185.75/185.86 c Core size: 51 Core Weight: 5 Total Weight: 7977 185.75/185.86 c 185.75/185.86 c 185.75/185.86 c ============================[ Search Statistics ]============================== 185.75/185.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.86 c =============================================================================== 185.75/185.86 c | 0 | 2613 3020 11913 | 5000 0 nan | 0.000 % | 185.75/185.87 c =============================================================================== 185.75/185.88 c core #137 185.75/185.88 c 185.75/185.88 c 185.75/185.88 c Core size: 62 Core Weight: 1 Total Weight: 7978 185.75/185.88 c 185.75/185.88 c 185.75/185.88 c ============================[ Search Statistics ]============================== 185.75/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.88 c =============================================================================== 185.75/185.88 c | 0 | 2646 3053 11980 | 5000 0 nan | 0.000 % | 185.75/185.89 c =============================================================================== 185.75/185.90 c core #138 185.75/185.90 c 185.75/185.90 c 185.75/185.90 c Core size: 72 Core Weight: 1 Total Weight: 7979 185.75/185.90 c 185.75/185.90 c 185.75/185.90 c ============================[ Search Statistics ]============================== 185.75/185.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.90 c =============================================================================== 185.75/185.90 c | 0 | 2691 3097 12104 | 5000 0 nan | 0.000 % | 185.85/185.90 c =============================================================================== 185.85/185.92 c core #139 185.85/185.92 c 185.85/185.92 c 185.85/185.92 c Core size: 62 Core Weight: 1 Total Weight: 7980 185.85/185.92 c 185.85/185.92 c 185.85/185.92 c ============================[ Search Statistics ]============================== 185.85/185.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.92 c =============================================================================== 185.85/185.92 c | 0 | 2724 3130 12174 | 5000 0 nan | 0.000 % | 185.85/185.92 c =============================================================================== 185.85/185.94 c core #140 185.85/185.94 c 185.85/185.94 c 185.85/185.94 c Core size: 75 Core Weight: 1 Total Weight: 7981 185.85/185.94 c 185.85/185.94 c 185.85/185.94 c ============================[ Search Statistics ]============================== 185.85/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.94 c =============================================================================== 185.85/185.94 c | 0 | 2764 3166 12353 | 5000 0 nan | 0.000 % | 185.85/185.94 c =============================================================================== 185.85/185.95 c core #141 185.85/185.95 c 185.85/185.95 c 185.85/185.95 c Core size: 80 Core Weight: 1 Total Weight: 7982 185.85/185.95 c 185.85/185.95 c 185.85/185.95 c ============================[ Search Statistics ]============================== 185.85/185.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.95 c =============================================================================== 185.85/185.95 c | 0 | 2806 3205 12455 | 5000 0 nan | 0.000 % | 185.85/185.96 c =============================================================================== 185.85/185.97 c core #142 185.85/185.97 c 185.85/185.97 c 185.85/185.97 c Core size: 81 Core Weight: 1 Total Weight: 7983 185.85/185.97 c 185.85/185.97 c 185.85/185.97 c ============================[ Search Statistics ]============================== 185.85/185.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.97 c =============================================================================== 185.85/185.97 c | 0 | 2847 3246 12561 | 5000 0 nan | 0.000 % | 185.85/185.98 c =============================================================================== 185.85/185.99 c core #143 185.85/185.99 c 185.85/185.99 c 185.85/185.99 c Core size: 78 Core Weight: 1 Total Weight: 7984 185.85/185.99 c 185.85/185.99 c 185.85/185.99 c ============================[ Search Statistics ]============================== 185.85/185.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.99 c =============================================================================== 185.85/185.99 c | 0 | 2885 3283 12652 | 5000 0 nan | 0.000 % | 185.94/186.00 c =============================================================================== 185.94/186.01 c core #144 185.94/186.01 c 185.94/186.01 c 185.94/186.01 c Core size: 76 Core Weight: 1 Total Weight: 7985 185.94/186.01 c 185.94/186.01 c 185.94/186.01 c ============================[ Search Statistics ]============================== 185.94/186.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.01 c =============================================================================== 185.94/186.01 c | 0 | 2922 3313 12719 | 5000 0 nan | 0.000 % | 185.94/186.02 c =============================================================================== 185.94/186.03 c core #145 185.94/186.03 c 185.94/186.03 c 185.94/186.03 c Core size: 79 Core Weight: 1 Total Weight: 7986 185.94/186.03 c 185.94/186.03 c 185.94/186.03 c ============================[ Search Statistics ]============================== 185.94/186.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.03 c =============================================================================== 185.94/186.03 c | 0 | 2964 3356 12838 | 5000 0 nan | 0.000 % | 185.94/186.04 c =============================================================================== 185.94/186.05 c core #146 185.94/186.05 c 185.94/186.05 c 185.94/186.05 c Core size: 76 Core Weight: 1 Total Weight: 7987 185.94/186.05 c 185.94/186.05 c 185.94/186.05 c ============================[ Search Statistics ]============================== 185.94/186.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.05 c =============================================================================== 185.94/186.05 c | 0 | 3000 3392 12924 | 5000 0 nan | 0.000 % | 185.94/186.05 c =============================================================================== 185.94/186.07 c core #147 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c Core size: 84 Core Weight: 1 Total Weight: 7988 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c ============================[ Search Statistics ]============================== 185.94/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.07 c =============================================================================== 185.94/186.07 c | 0 | 3050 3441 13038 | 5000 0 nan | 0.000 % | 185.94/186.08 c =============================================================================== 185.94/186.09 c core #148 185.94/186.09 c 185.94/186.09 c 185.94/186.09 c Core size: 78 Core Weight: 1 Total Weight: 7989 185.94/186.09 c 185.94/186.09 c 185.94/186.09 c ============================[ Search Statistics ]============================== 185.94/186.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.09 c =============================================================================== 185.94/186.09 c | 0 | 3090 3482 13149 | 5000 0 nan | 0.000 % | 186.04/186.10 c =============================================================================== 186.04/186.11 c core #149 186.04/186.11 c 186.04/186.11 c 186.04/186.11 c Core size: 72 Core Weight: 1 Total Weight: 7990 186.04/186.11 c 186.04/186.11 c 186.04/186.11 c ============================[ Search Statistics ]============================== 186.04/186.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.11 c =============================================================================== 186.04/186.11 c | 0 | 3133 3517 13242 | 5000 0 nan | 0.000 % | 186.04/186.12 c =============================================================================== 186.04/186.14 c core #150 186.04/186.14 c 186.04/186.14 c 186.04/186.14 c Core size: 86 Core Weight: 2 Total Weight: 7992 186.04/186.14 c 186.04/186.14 c 186.04/186.14 c ============================[ Search Statistics ]============================== 186.04/186.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.14 c =============================================================================== 186.04/186.14 c | 0 | 3185 3569 13371 | 5000 0 nan | 0.000 % | 186.04/186.14 c =============================================================================== 186.04/186.16 c core #151 186.04/186.16 c 186.04/186.16 c 186.04/186.16 c Core size: 75 Core Weight: 2 Total Weight: 7994 186.04/186.16 c 186.04/186.16 c 186.04/186.16 c ============================[ Search Statistics ]============================== 186.04/186.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.16 c =============================================================================== 186.04/186.16 c | 0 | 3223 3606 13466 | 5000 0 nan | 0.000 % | 186.04/186.17 c =============================================================================== 186.04/186.18 c core #152 186.04/186.18 c 186.04/186.18 c 186.04/186.18 c Core size: 86 Core Weight: 1 Total Weight: 7995 186.04/186.18 c 186.04/186.18 c 186.04/186.18 c ============================[ Search Statistics ]============================== 186.04/186.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.18 c =============================================================================== 186.04/186.18 c | 0 | 3272 3648 13597 | 5000 0 nan | 0.000 % | 186.04/186.19 c =============================================================================== 186.14/186.20 c core #153 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c Core size: 72 Core Weight: 1 Total Weight: 7996 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c ============================[ Search Statistics ]============================== 186.14/186.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.20 c =============================================================================== 186.14/186.20 c | 0 | 3309 3684 13689 | 5000 0 nan | 0.000 % | 186.14/186.21 c =============================================================================== 186.14/186.23 c core #154 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c Core size: 92 Core Weight: 1 Total Weight: 7997 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c ============================[ Search Statistics ]============================== 186.14/186.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.23 c =============================================================================== 186.14/186.23 c | 0 | 3353 3727 13778 | 5000 0 nan | 0.000 % | 186.14/186.24 c =============================================================================== 186.14/186.25 c core #155 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c Core size: 92 Core Weight: 1 Total Weight: 7998 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c ============================[ Search Statistics ]============================== 186.14/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.25 c =============================================================================== 186.14/186.25 c | 0 | 3411 3780 13898 | 5000 0 nan | 0.000 % | 186.14/186.26 c =============================================================================== 186.14/186.28 c core #156 186.14/186.28 c 186.14/186.28 c 186.14/186.28 c Core size: 96 Core Weight: 1 Total Weight: 7999 186.14/186.28 c 186.14/186.28 c 186.14/186.28 c ============================[ Search Statistics ]============================== 186.14/186.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.28 c =============================================================================== 186.14/186.28 c | 0 | 3460 3826 14023 | 5000 0 nan | 0.000 % | 186.14/186.29 c =============================================================================== 186.24/186.30 c core #157 186.24/186.30 c 186.24/186.30 c 186.24/186.30 c Core size: 95 Core Weight: 1 Total Weight: 8000 186.24/186.30 c 186.24/186.30 c 186.24/186.30 c ============================[ Search Statistics ]============================== 186.24/186.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.30 c =============================================================================== 186.24/186.30 c | 0 | 3511 3875 14151 | 5000 0 nan | 0.000 % | 186.24/186.31 c =============================================================================== 186.24/186.33 c core #158 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 81 Core Weight: 1 Total Weight: 8001 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c ============================[ Search Statistics ]============================== 186.24/186.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.33 c =============================================================================== 186.24/186.33 c | 0 | 3551 3916 14261 | 5000 0 nan | 0.000 % | 186.24/186.34 c =============================================================================== 186.24/186.35 c core #159 186.24/186.35 c 186.24/186.35 c 186.24/186.35 c Core size: 100 Core Weight: 1 Total Weight: 8002 186.24/186.35 c 186.24/186.35 c 186.24/186.35 c ============================[ Search Statistics ]============================== 186.24/186.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.35 c =============================================================================== 186.24/186.35 c | 0 | 3604 3963 14380 | 5000 0 nan | 0.000 % | 186.24/186.36 c =============================================================================== 186.24/186.38 c core #160 186.24/186.38 c 186.24/186.38 c 186.24/186.38 c Core size: 64 Core Weight: 1 Total Weight: 8003 186.24/186.38 c 186.24/186.38 c 186.24/186.38 c ============================[ Search Statistics ]============================== 186.24/186.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.38 c =============================================================================== 186.24/186.38 c | 0 | 3637 3997 14464 | 5000 0 nan | 0.000 % | 186.24/186.39 c =============================================================================== 186.34/186.40 c core #161 186.34/186.40 c 186.34/186.40 c 186.34/186.40 c Core size: 92 Core Weight: 1 Total Weight: 8004 186.34/186.40 c 186.34/186.40 c 186.34/186.40 c ============================[ Search Statistics ]============================== 186.34/186.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.40 c =============================================================================== 186.34/186.40 c | 0 | 3692 4034 14588 | 5000 0 nan | 0.000 % | 186.34/186.41 c =============================================================================== 186.34/186.43 c core #162 186.34/186.43 c 186.34/186.43 c 186.34/186.43 c Core size: 122 Core Weight: 1 Total Weight: 8005 186.34/186.43 c 186.34/186.43 c 186.34/186.43 c ============================[ Search Statistics ]============================== 186.34/186.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.43 c =============================================================================== 186.34/186.43 c | 0 | 3766 4076 14731 | 5000 0 nan | 0.000 % | 186.34/186.44 c =============================================================================== 186.34/186.46 c core #163 186.34/186.46 c 186.34/186.46 c 186.34/186.46 c Core size: 96 Core Weight: 1 Total Weight: 8006 186.34/186.46 c 186.34/186.46 c 186.34/186.46 c ============================[ Search Statistics ]============================== 186.34/186.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.46 c =============================================================================== 186.34/186.46 c | 0 | 3819 4115 14860 | 5000 0 nan | 0.000 % | 186.34/186.47 c =============================================================================== 186.34/186.49 c core #164 186.34/186.49 c 186.34/186.49 c 186.34/186.49 c Core size: 78 Core Weight: 1 Total Weight: 8007 186.34/186.49 c 186.34/186.49 c 186.34/186.49 c ============================[ Search Statistics ]============================== 186.34/186.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.49 c =============================================================================== 186.34/186.49 c | 0 | 3857 4147 14939 | 5000 0 nan | 0.000 % | 186.44/186.50 c =============================================================================== 186.44/186.52 c core #165 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 105 Core Weight: 1 Total Weight: 8008 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c ============================[ Search Statistics ]============================== 186.44/186.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.52 c =============================================================================== 186.44/186.52 c | 0 | 3918 4185 15058 | 5000 0 nan | 0.000 % | 186.44/186.53 c =============================================================================== 186.44/186.55 c core #166 186.44/186.55 c 186.44/186.55 c 186.44/186.55 c Core size: 115 Core Weight: 1 Total Weight: 8009 186.44/186.55 c 186.44/186.55 c 186.44/186.55 c ============================[ Search Statistics ]============================== 186.44/186.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.55 c =============================================================================== 186.44/186.55 c | 0 | 3991 4219 15334 | 5000 0 nan | 0.000 % | 186.44/186.56 c =============================================================================== 186.44/186.58 c core #167 186.44/186.58 c 186.44/186.58 c 186.44/186.58 c Core size: 105 Core Weight: 1 Total Weight: 8010 186.44/186.58 c 186.44/186.58 c 186.44/186.58 c ============================[ Search Statistics ]============================== 186.44/186.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.58 c =============================================================================== 186.44/186.58 c | 0 | 4056 4254 15476 | 5000 0 nan | 0.000 % | 186.44/186.59 c =============================================================================== 186.54/186.61 c core #168 186.54/186.61 c 186.54/186.61 c 186.54/186.61 c Core size: 119 Core Weight: 1 Total Weight: 8011 186.54/186.61 c 186.54/186.61 c 186.54/186.61 c ============================[ Search Statistics ]============================== 186.54/186.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.54/186.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.54/186.61 c =============================================================================== 186.54/186.61 c | 0 | 4135 4299 15686 | 5000 0 nan | 0.000 % | 186.54/186.62 c =============================================================================== 186.54/186.64 c core #169 186.54/186.64 c 186.54/186.64 c 186.54/186.64 c Core size: 97 Core Weight: 1 Total Weight: 8012 186.54/186.64 c 186.54/186.64 c 186.54/186.64 c ============================[ Search Statistics ]============================== 186.54/186.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.54/186.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.54/186.64 c =============================================================================== 186.54/186.64 c | 0 | 4192 4343 15845 | 5000 0 nan | 0.000 % | 186.54/186.66 c | 101 | 4180 4343 15845 | 5500 101 40 | 21.087 % | 186.54/186.68 c | 253 | 3426 4343 15845 | 6050 251 32 | 24.378 % | 186.64/186.70 c | 481 | 3285 4343 15845 | 6655 478 27 | 24.378 % | 186.64/186.71 c =============================================================================== 186.64/186.73 c core #170 186.64/186.73 c 186.64/186.73 c 186.64/186.73 c Core size: 159 Core Weight: 1 Total Weight: 8013 186.64/186.73 c 186.64/186.73 c 186.64/186.73 c ============================[ Search Statistics ]============================== 186.64/186.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.64/186.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.64/186.73 c =============================================================================== 186.64/186.73 c | 0 | 4306 4383 16077 | 5000 0 nan | 0.000 % | 186.64/186.75 c | 100 | 4286 4383 16077 | 5500 100 14 | 18.035 % | 186.64/186.76 c | 250 | 3650 4383 16077 | 6050 249 14 | 23.441 % | 186.64/186.78 c | 475 | 3413 4383 16077 | 6655 463 13 | 23.441 % | 186.74/186.81 c | 812 | 3049 4383 16077 | 7320 404 12 | 31.607 % | 186.74/186.81 c =============================================================================== 186.74/186.84 c core #171 186.74/186.84 c 186.74/186.84 c 186.74/186.84 c Core size: 210 Core Weight: 1 Total Weight: 8014 186.74/186.84 c 186.74/186.84 c 186.74/186.84 c ============================[ Search Statistics ]============================== 186.74/186.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.84 c =============================================================================== 186.74/186.84 c | 0 | 4468 4429 16447 | 5000 0 nan | 0.000 % | 186.74/186.86 c | 100 | 4446 4429 16447 | 5500 100 20 | 22.922 % | 186.74/186.88 c | 252 | 3559 4429 16447 | 6050 246 19 | 22.987 % | 186.74/186.89 c =============================================================================== 186.85/186.91 c core #172 186.85/186.91 c 186.85/186.91 c 186.85/186.91 c Core size: 191 Core Weight: 1 Total Weight: 8015 186.85/186.91 c 186.85/186.91 c 186.85/186.91 c ============================[ Search Statistics ]============================== 186.85/186.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.91 c =============================================================================== 186.85/186.91 c | 0 | 4603 4479 16711 | 5000 0 nan | 0.000 % | 186.85/186.93 c | 100 | 3695 4479 16711 | 5500 96 19 | 22.292 % | 186.85/186.95 c | 251 | 3695 4479 16711 | 6050 247 29 | 22.292 % | 186.85/186.97 c | 478 | 3695 4479 16711 | 6655 474 29 | 22.292 % | 186.94/187.01 c | 816 | 3607 4479 16711 | 7320 745 36 | 24.143 % | 186.94/187.07 c | 1323 | 3606 4479 16711 | 8052 1249 36 | 24.164 % | 187.04/187.16 c | 2084 | 3606 4479 16711 | 8857 2010 32 | 24.164 % | 187.24/187.31 c | 3223 | 3605 4479 16711 | 9743 3147 30 | 24.185 % | 187.24/187.34 c =============================================================================== 187.34/187.40 c core #173 187.34/187.40 c 187.34/187.40 c 187.34/187.40 c Core size: 228 Core Weight: 1 Total Weight: 8016 187.34/187.40 c 187.34/187.40 c 187.34/187.40 c ============================[ Search Statistics ]============================== 187.34/187.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.34/187.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.34/187.40 c =============================================================================== 187.34/187.40 c | 0 | 4784 4519 17081 | 5000 0 nan | 0.000 % | 187.34/187.42 c | 103 | 4769 4519 17081 | 5500 103 18 | 21.475 % | 187.34/187.44 c | 253 | 3876 4519 17081 | 6050 248 19 | 21.475 % | 187.34/187.47 c | 479 | 3876 4519 17081 | 6655 474 23 | 21.475 % | 187.44/187.51 c | 819 | 3875 4519 17081 | 7320 812 26 | 21.495 % | 187.44/187.58 c | 1325 | 3875 4519 17081 | 8052 1318 29 | 21.495 % | 187.64/187.70 c | 2086 | 3786 4519 17081 | 8857 1834 31 | 23.298 % | 187.74/187.85 c | 3225 | 3786 4519 17081 | 9743 2971 31 | 23.298 % | 188.05/188.11 c | 4937 | 3786 4519 17081 | 10717 4683 30 | 23.298 % | 188.54/188.66 c | 7501 | 3786 4519 17081 | 11789 7247 32 | 23.298 % | 189.54/189.64 c | 11345 | 3786 4519 17081 | 12968 11091 32 | 23.298 % | 191.35/191.43 c | 17111 | 3786 4519 17081 | 14265 9647 37 | 23.299 % | 193.04/193.18 c =============================================================================== 193.44/193.59 c core #174 193.44/193.59 c 193.44/193.59 c 193.44/193.59 c Core size: 265 Core Weight: 1 Total Weight: 8017 193.44/193.59 c 193.44/193.59 c 193.44/193.59 c ============================[ Search Statistics ]============================== 193.44/193.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.44/193.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.44/193.59 c =============================================================================== 193.44/193.59 c | 0 | 4995 4568 17494 | 5000 0 nan | 0.000 % | 193.54/193.62 c | 101 | 4995 4568 17494 | 5500 101 33 | 2.953 % | 193.54/193.64 c | 251 | 4341 4568 17494 | 6050 250 26 | 20.575 % | 193.54/193.67 c | 478 | 4088 4568 17494 | 6655 474 34 | 20.575 % | 193.64/193.70 c | 816 | 4088 4568 17494 | 7320 812 32 | 20.575 % | 193.64/193.78 c | 1324 | 4088 4568 17494 | 8052 1320 37 | 20.575 % | 193.74/193.89 c | 2083 | 4088 4568 17494 | 8857 2079 34 | 20.575 % | 193.94/194.07 c | 3226 | 4088 4568 17494 | 9743 3222 35 | 20.575 % | 194.34/194.42 c | 4934 | 4088 4568 17494 | 10717 4930 35 | 20.575 % | 194.94/195.03 c | 7496 | 4088 4568 17494 | 11789 7492 41 | 20.575 % | 195.84/195.91 c | 11341 | 4000 4568 17494 | 12968 8638 44 | 22.285 % | 197.54/197.61 c | 17108 | 4000 4568 17494 | 14265 7238 42 | 22.285 % | 201.04/201.16 c | 25758 | 4000 4568 17494 | 15692 7969 42 | 22.285 % | 205.03/205.17 c | 38733 | 4000 4568 17494 | 17261 12217 60 | 22.285 % | 213.93/214.09 c | 58195 | 4000 4568 17494 | 18987 12873 64 | 22.285 % | 227.83/227.96 c | 87387 | 3989 4568 17494 | 20886 11231 69 | 22.499 % | 245.82/245.90 c | 131177 | 3989 4568 17494 | 22974 21257 66 | 22.499 % | 283.62/283.80 c | 196861 | 3989 4568 17494 | 25272 13042 56 | 22.499 % | 344.20/344.32 c | 295389 | 3989 4568 17494 | 27799 25606 68 | 22.499 % | 445.67/445.82 c | 443178 | 3989 4568 17494 | 30579 25810 68 | 22.499 % | 615.92/616.16 c | 664861 | 3989 4568 17494 | 33637 20190 75 | 22.499 % | 849.16/849.48 c | 997386 | 3989 4568 17494 | 37001 33428 89 | 22.499 % | 957.91/958.29 c =============================================================================== 970.11/970.40 c core #175 970.11/970.40 c 970.11/970.40 c 970.11/970.40 c Core size: 271 Core Weight: 1 Total Weight: 8018 970.11/970.40 c 970.11/970.40 c 970.11/970.40 c ============================[ Search Statistics ]============================== 970.11/970.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 970.11/970.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 970.11/970.40 c =============================================================================== 970.11/970.40 c | 0 | 5223 4607 17970 | 5000 0 nan | 0.000 % | 970.21/970.54 c | 101 | 5223 4607 17970 | 5500 101 37 | 2.831 % | 970.21/970.57 c | 252 | 4568 4607 17970 | 6050 250 31 | 19.703 % | 970.31/970.60 c | 479 | 4316 4607 17970 | 6655 471 36 | 19.702 % | 970.31/970.65 c | 817 | 4316 4607 17970 | 7320 809 33 | 19.702 % | 970.51/970.80 c | 1330 | 4316 4607 17970 | 8052 1322 42 | 19.703 % | 970.61/970.94 c | 2089 | 4316 4607 17970 | 8857 2081 45 | 19.702 % | 970.91/971.22 c | 3228 | 4316 4607 17970 | 9743 3220 52 | 19.702 % | 971.52/971.84 c | 4938 | 4316 4607 17970 | 10717 4930 59 | 19.702 % | 972.71/973.02 c | 7501 | 4316 4607 17970 | 11789 7493 63 | 19.702 % | 974.01/974.38 c | 11347 | 4316 4607 17970 | 12968 11339 64 | 19.702 % | 977.31/977.61 c | 17114 | 4316 4607 17970 | 14265 9902 67 | 19.702 % | 981.11/981.46 c | 25764 | 4316 4607 17970 | 15692 10647 74 | 19.702 % | 984.80/985.16 c | 38738 | 4316 4607 17970 | 17261 15114 45 | 19.703 % | 992.10/992.47 c | 58201 | 4316 4607 17970 | 18987 15538 89 | 19.703 % | 1005.00/1005.38 c | 87394 | 4316 4607 17970 | 20886 14044 71 | 19.702 % | 1023.29/1023.61 c | 131184 | 4305 4607 17970 | 22974 12937 68 | 19.907 % | 1065.39/1065.77 c | 196868 | 4305 4607 17970 | 25272 15862 80 | 19.907 % | 1137.87/1138.29 c | 295397 | 4305 4607 17970 | 27799 16642 95 | 19.907 % | 1227.74/1228.17 c | 443186 | 4217 4607 17970 | 30579 25857 76 | 21.544 % | 1408.70/1409.11 c | 664871 | 4217 4607 17970 | 33637 20218 93 | 21.544 % | 1765.59/1766.17 c | 997397 | 4217 4607 17970 | 37001 29043 85 | 21.544 % |
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-2680408-1277459187/watcher-2680408-1277459187 -o /tmp/evaluation-result-2680408-1277459187/solver-2680408-1277459187 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680408-1277459187.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: 1.01 1.06 1.00 3/105 28958 /proc/meminfo: memFree=1844904/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=2576 CPUtime=0 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 87211884 2637824 217 1992294400 134512640 135752675 4293979520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 644 217 144 303 0 339 0 [startup+0.0203301 s] /proc/loadavg: 1.01 1.06 1.00 3/105 28958 /proc/meminfo: memFree=1844904/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=2576 CPUtime=0.01 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 302 0 0 0 1 0 0 0 25 0 1 0 87211884 2637824 218 1992294400 134512640 135752675 4293979520 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 644 218 145 303 0 339 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2576 [startup+0.101339 s] /proc/loadavg: 1.01 1.06 1.00 3/105 28958 /proc/meminfo: memFree=1844904/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=3100 CPUtime=0.09 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 416 0 0 0 9 0 0 0 25 0 1 0 87211884 3174400 332 1992294400 134512640 135752675 4293979520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 775 332 145 303 0 470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3100 [startup+0.301364 s] /proc/loadavg: 1.01 1.06 1.00 3/105 28958 /proc/meminfo: memFree=1844904/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=4156 CPUtime=0.29 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 688 0 0 0 28 1 0 0 25 0 1 0 87211884 4255744 604 1992294400 134512640 135752675 4293979520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 1039 604 145 303 0 734 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4156 [startup+0.701413 s] /proc/loadavg: 1.01 1.06 1.00 3/105 28958 /proc/meminfo: memFree=1844904/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=6032 CPUtime=0.7 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 1142 0 0 0 68 2 0 0 25 0 1 0 87211884 6176768 1058 1992294400 134512640 135752675 4293979520 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 1508 1058 145 303 0 1203 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 6032 [startup+1.50151 s] /proc/loadavg: 1.01 1.06 1.00 2/106 28959 /proc/meminfo: memFree=1840060/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=8920 CPUtime=1.49 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 1872 0 0 0 145 4 0 0 25 0 1 0 87211884 9134080 1788 1992294400 134512640 135752675 4293979520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 2230 1788 145 303 0 1925 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8920 [startup+3.10171 s] /proc/loadavg: 1.01 1.06 1.00 2/106 28959 /proc/meminfo: memFree=1835720/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=15120 CPUtime=3.09 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 3429 0 0 0 299 10 0 0 25 0 1 0 87211884 15482880 3345 1992294400 134512640 135752675 4293979520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 3780 3345 145 303 0 3475 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15120 [startup+6.3011 s] /proc/loadavg: 1.01 1.06 1.00 2/106 28959 /proc/meminfo: memFree=1823072/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=26556 CPUtime=6.29 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 6303 0 0 0 610 19 0 0 20 0 1 0 87211884 27193344 6219 1992294400 134512640 135752675 4293979520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 6639 6219 145 303 0 6334 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26556 [startup+12.7019 s] /proc/loadavg: 1.01 1.06 1.00 2/106 28961 /proc/meminfo: memFree=1801868/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=46940 CPUtime=12.69 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 11371 0 0 0 1232 37 0 0 25 0 1 0 87211884 48066560 11287 1992294400 134512640 135752675 4293979520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 11735 11287 145 303 0 11430 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46940 [startup+25.5005 s] /proc/loadavg: 1.00 1.06 1.00 2/106 28961 /proc/meminfo: memFree=1764544/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=82640 CPUtime=25.48 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 20299 0 0 0 2475 73 0 0 25 0 1 0 87211884 84623360 20215 1992294400 134512640 135752675 4293979520 18446744073709551615 134638128 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 20660 20215 145 303 0 20355 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82640 [startup+51.1006 s] /proc/loadavg: 1.00 1.05 1.00 2/106 28961 /proc/meminfo: memFree=1703288/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=144276 CPUtime=51.08 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 35721 0 0 0 4975 133 0 0 25 0 1 0 87211884 147738624 35637 1992294400 134512640 135752675 4293979520 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 36069 35637 145 303 0 35764 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 144276 [startup+102.308 s] /proc/loadavg: 1.00 1.04 1.00 2/106 28963 /proc/meminfo: memFree=1600120/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=246084 CPUtime=102.27 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 61158 0 0 0 10000 227 0 0 25 0 1 0 87211884 251990016 61074 1992294400 134512640 135752675 4293979520 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 61521 61074 145 303 0 61216 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 246084 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/106 28965 /proc/meminfo: memFree=1499556/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=347340 CPUtime=162.25 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 86460 0 0 0 15898 327 0 0 25 0 1 0 87211884 355676160 86376 1992294400 134512640 135752675 4293979520 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 86835 86376 145 303 0 86530 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 347340 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 28965 /proc/meminfo: memFree=1452312/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=393348 CPUtime=222.23 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 97958 0 0 0 21827 396 0 0 25 0 1 0 87211884 402788352 97874 1992294400 134512640 135752675 4293979520 18446744073709551615 134637888 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 98337 97874 146 303 0 98032 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 393348 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 28967 /proc/meminfo: memFree=1418956/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=426912 CPUtime=282.21 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 106317 0 0 0 27786 435 0 0 25 0 1 0 87211884 437157888 106233 1992294400 134512640 135752675 4293979520 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 106728 106233 146 303 0 106423 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 426912 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 28969 /proc/meminfo: memFree=1393164/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=452568 CPUtime=342.2 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 112697 0 0 0 33749 471 0 0 25 0 1 0 87211884 463429632 112613 1992294400 134512640 135752675 4293979520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 113142 112613 146 303 0 112837 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 452568 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 28971 /proc/meminfo: memFree=1367000/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=479008 CPUtime=402.18 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 119264 0 0 0 39714 504 0 0 25 0 1 0 87211884 490504192 119180 1992294400 134512640 135752675 4293979520 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 119752 119180 146 303 0 119447 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 479008 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28973 /proc/meminfo: memFree=1337736/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=508160 CPUtime=462.17 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 126539 0 0 0 45680 537 0 0 25 0 1 0 87211884 520355840 126455 1992294400 134512640 135752675 4293979520 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 127040 126455 146 303 0 126735 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 508160 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28973 /proc/meminfo: memFree=1309836/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=536640 CPUtime=522.15 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 133615 0 0 0 51646 569 0 0 25 0 1 0 87211884 549519360 133531 1992294400 134512640 135752675 4293979520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 134160 133531 146 303 0 133855 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 536640 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28975 /proc/meminfo: memFree=1283548/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=562424 CPUtime=582.13 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 140046 0 0 0 57615 598 0 0 25 0 1 0 87211884 575922176 139962 1992294400 134512640 135752675 4293979520 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 140606 139962 146 303 0 140301 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 562424 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28977 /proc/meminfo: memFree=1255400/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=590492 CPUtime=642.12 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 147000 0 0 0 63581 631 0 0 25 0 1 0 87211884 604663808 146916 1992294400 134512640 135752675 4293979520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 147623 146916 146 303 0 147318 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 590492 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28992 /proc/meminfo: memFree=1153348/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=692180 CPUtime=882.04 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 172399 0 0 0 87450 754 0 0 25 0 1 0 87211884 708792320 172315 1992294400 134512640 135752675 4293979520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 173045 172315 146 303 0 172740 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 692180 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28994 /proc/meminfo: memFree=1125944/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=720116 CPUtime=942.02 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 179349 0 0 0 93424 778 0 0 25 0 1 0 87211884 737398784 179265 1992294400 134512640 135752675 4293979520 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 180029 179265 146 303 0 179724 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 720116 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28996 /proc/meminfo: memFree=1100400/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=743856 CPUtime=1002 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 185707 0 0 0 99386 814 0 0 25 0 1 0 87211884 761708544 185526 1992294400 134512640 135752675 4293979520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 185964 185526 146 303 0 185659 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 743856 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28998 /proc/meminfo: memFree=1069400/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=775528 CPUtime=1061.99 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 193611 0 0 0 105345 854 0 0 25 0 1 0 87211884 794140672 193430 1992294400 134512640 135752675 4293979520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 193882 193430 146 303 0 193577 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 775528 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28998 /proc/meminfo: memFree=1034928/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=809676 CPUtime=1121.97 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 202108 0 0 0 111306 891 0 0 25 0 1 0 87211884 829108224 201927 1992294400 134512640 135752675 4293979520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 202419 201927 146 303 0 202114 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 809676 [startup+1182.3 s] /proc/loadavg: 1.06 1.03 1.01 2/106 29000 /proc/meminfo: memFree=999588/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=845004 CPUtime=1181.95 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 210891 0 0 0 117269 926 0 0 25 0 1 0 87211884 865284096 210710 1992294400 134512640 135752675 4293979520 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 211251 210710 146 303 0 210946 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 845004 [startup+1242.3 s] /proc/loadavg: 1.02 1.02 1.00 2/106 29002 /proc/meminfo: memFree=962512/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=881884 CPUtime=1241.94 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 220074 0 0 0 123232 962 0 0 25 0 1 0 87211884 903049216 219893 1992294400 134512640 135752675 4293979520 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 220471 219893 146 303 0 220166 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 881884 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/106 29004 /proc/meminfo: memFree=937712/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=906424 CPUtime=1301.92 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 226179 0 0 0 129206 986 0 0 25 0 1 0 87211884 928178176 225998 1992294400 134512640 135752675 4293979520 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 226606 225998 146 303 0 226301 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 906424 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 29006 /proc/meminfo: memFree=909192/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=935472 CPUtime=1361.9 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 233417 0 0 0 135170 1020 0 0 25 0 1 0 87211884 957923328 233236 1992294400 134512640 135752675 4293979520 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 233868 233236 146 303 0 233563 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 935472 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29006 /proc/meminfo: memFree=883028/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=961308 CPUtime=1421.89 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 239853 0 0 0 141140 1049 0 0 25 0 1 0 87211884 984379392 239672 1992294400 134512640 135752675 4293979520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 240327 239672 146 303 0 240022 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 961308 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29008 /proc/meminfo: memFree=856368/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=988372 CPUtime=1481.87 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 246613 0 0 0 147110 1077 0 0 25 0 1 0 87211884 1012092928 246432 1992294400 134512640 135752675 4293979520 18446744073709551615 134611724 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 247093 246432 146 303 0 246788 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 988372 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29010 /proc/meminfo: memFree=830204/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=1014212 CPUtime=1541.85 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 253050 0 0 0 153084 1101 0 0 25 0 1 0 87211884 1038553088 252869 1992294400 134512640 135752675 4293979520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 253553 252869 146 303 0 253248 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1014212 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29012 /proc/meminfo: memFree=805900/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=1038692 CPUtime=1601.84 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 259147 0 0 0 159057 1127 0 0 25 0 1 0 87211884 1063620608 258966 1992294400 134512640 135752675 4293979520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 259673 258966 146 303 0 259368 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1038692 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29014 /proc/meminfo: memFree=782092/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=1062252 CPUtime=1661.82 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 265028 0 0 0 165034 1148 0 0 25 0 1 0 87211884 1087746048 264847 1992294400 134512640 135752675 4293979520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 265563 264847 146 303 0 265258 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1062252 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29014 /proc/meminfo: memFree=757292/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=1087288 CPUtime=1721.81 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 271277 0 0 0 171007 1174 0 0 25 0 1 0 87211884 1113382912 271096 1992294400 134512640 135752675 4293979520 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 271822 271096 146 303 0 271517 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1087288 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29016 /proc/meminfo: memFree=730508/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=1113744 CPUtime=1781.79 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 277845 0 0 0 176978 1201 0 0 25 0 1 0 87211884 1140473856 277664 1992294400 134512640 135752675 4293979520 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 278436 277664 146 303 0 278131 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1113744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29016 /proc/meminfo: memFree=725548/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=1118588 CPUtime=1800.1 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4202496 279057 0 0 0 178803 1207 0 0 25 0 1 0 87211884 1145434112 278876 1992294400 134512640 135752675 4293979520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28958/statm: 279647 278876 146 303 0 279342 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1118588 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: 1.00 1.00 1.00 2/106 29016 /proc/meminfo: memFree=725548/2059040 swapFree=4139732/4192956 [pid=28958] ppid=28956 vsize=0 CPUtime=1800.2 /proc/28958/stat : 28958 (wbo1.4b) R 28956 28958 28488 0 -1 4203524 279057 0 0 0 178803 1217 0 0 25 0 1 0 87211884 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28958/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.21 CPU user time (s): 1788.03 CPU system time (s): 12.1811 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1118588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.03 system time used= 12.1811 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279057 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= 37 involuntary context switches= 4906 runsolver used 2.95055 second user time and 8.5697 second system time The end
Begin job on node080 at 2010-06-25 11:46:27 IDJOB=2680408 IDBENCH=24970 IDSOLVER=1190 FILE ID=node080/2680408-1277459187 PBS_JOBID= 11188110 Free space on /tmp= 62308 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680408-1277459187/watcher-2680408-1277459187 -o /tmp/evaluation-result-2680408-1277459187/solver-2680408-1277459187 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680408-1277459187.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dfa433e4e6a88cd1c776cef0a80ce991 RANDOM SEED=1608295385 node080.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.242 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.48 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.242 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 : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1845308 kB Buffers: 39260 kB Cached: 74524 kB SwapCached: 6228 kB Active: 57696 kB Inactive: 70344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845308 kB SwapTotal: 4192956 kB SwapFree: 4139732 kB Dirty: 2688 kB Writeback: 0 kB AnonPages: 12960 kB Mapped: 12060 kB Slab: 63852 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184716 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= 62304 MiB End job on node080 at 2010-06-25 12:16:30