Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.11 | 1800.59 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb |
MD5SUM | 0155c0c96434984f6ded6bb7ada20c0c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6548 |
Best CPU time to get the best result obtained on this benchmark | 3.65144 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6548 |
Optimality of the best value was proved | YES |
Number of variables | 2655 |
Total number of constraints | 146 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 145 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 2655 |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
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-2680732-1277451709.opb. 0.00/0.00 c Instance file HOME/instance-2680732-1277451709.opb 0.00/0.00 c File size is 125155 bytes. 0.00/0.02 c Highest Coefficient sum: 2701 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 2655 | 0.00/0.02 c | Number Clauses: 144 | 0.00/0.02 c | Number Cardinality: 146 | 0.00/0.02 c | Number PB Constraints: 1 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2655 291 22251 | 5000 0 nan | 0.000 % | 0.03/0.09 c | 101 | 2655 291 22251 | 5500 101 265 | 0.000 % | 0.09/0.16 c | 252 | 2655 291 22251 | 6050 252 191 | 0.000 % | 0.19/0.27 c | 477 | 2655 291 22251 | 6655 477 184 | 0.000 % | 0.29/0.38 c | 817 | 2655 291 22251 | 7320 817 187 | 0.000 % | 0.58/0.66 c | 1323 | 2655 291 22251 | 8052 1323 242 | 0.000 % | 0.99/1.07 c | 2086 | 2655 291 22251 | 8857 2086 234 | 0.000 % | 1.48/1.58 c | 3225 | 2655 291 22251 | 9743 3225 200 | 0.000 % | 2.49/2.52 c | 4933 | 2655 291 22251 | 10717 4933 188 | 0.000 % | 3.99/4.07 c | 7496 | 2655 291 22251 | 11789 7496 212 | 0.000 % | 6.29/6.35 c | 11340 | 2655 291 22251 | 12968 11340 207 | 0.000 % | 14.38/14.45 c | 17106 | 2655 291 22251 | 14265 9458 419 | 0.000 % | 19.28/19.32 c | 25756 | 2655 291 22251 | 15692 9692 163 | 0.000 % | 30.08/30.18 c | 38730 | 2655 291 22251 | 17261 13529 324 | 0.000 % | 46.08/46.19 c | 58192 | 2655 291 22251 | 18987 13132 263 | 0.000 % | 60.97/61.02 c | 87384 | 2655 291 22251 | 20886 20837 139 | 0.000 % | 92.27/92.37 c | 131174 | 2655 291 22251 | 22974 15521 204 | 0.000 % | 158.04/158.16 c | 196858 | 2655 291 22251 | 25272 13989 445 | 0.000 % | 180.94/181.03 c There are 0 assigned variables. 0 in cost function. 181.84/181.97 c core #1 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 36 Core Weight: 180 Total Weight: 180 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #2 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 59 Core Weight: 53 Total Weight: 233 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #3 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 93 Core Weight: 33 Total Weight: 266 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #4 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 80 Core Weight: 12 Total Weight: 278 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #5 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 99 Core Weight: 18 Total Weight: 296 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #6 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 46 Core Weight: 25 Total Weight: 321 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #7 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 82 Core Weight: 2 Total Weight: 323 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #8 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 51 Core Weight: 140 Total Weight: 463 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #9 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 75 Core Weight: 24 Total Weight: 487 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #10 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 25 Core Weight: 1 Total Weight: 488 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #11 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 63 Core Weight: 9 Total Weight: 497 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #12 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 88 Core Weight: 2 Total Weight: 499 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #13 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 108 Core Weight: 14 Total Weight: 513 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #14 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 108 Core Weight: 28 Total Weight: 541 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #15 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 58 Core Weight: 9 Total Weight: 550 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #16 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 131 Core Weight: 1 Total Weight: 551 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #17 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 77 Core Weight: 40 Total Weight: 591 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #18 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 139 Core Weight: 4 Total Weight: 595 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #19 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 210 Core Weight: 7 Total Weight: 602 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #20 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 242 Core Weight: 3 Total Weight: 605 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #21 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 53 Core Weight: 15 Total Weight: 620 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #22 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 226 Core Weight: 4 Total Weight: 624 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #23 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 225 Core Weight: 20 Total Weight: 644 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #24 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 51 Core Weight: 78 Total Weight: 722 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #25 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 14 Core Weight: 26 Total Weight: 748 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #26 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 76 Core Weight: 1 Total Weight: 749 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #27 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 50 Core Weight: 94 Total Weight: 843 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #28 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 100 Core Weight: 40 Total Weight: 883 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #29 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 32 Core Weight: 6 Total Weight: 889 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #30 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 101 Core Weight: 2 Total Weight: 891 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #31 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 52 Core Weight: 20 Total Weight: 911 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #32 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 152 Core Weight: 1 Total Weight: 912 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #33 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 151 Core Weight: 13 Total Weight: 925 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #34 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 169 Core Weight: 2 Total Weight: 927 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #35 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 169 Core Weight: 3 Total Weight: 930 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #36 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 167 Core Weight: 2 Total Weight: 932 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #37 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 92 Core Weight: 35 Total Weight: 967 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #38 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 14 Core Weight: 55 Total Weight: 1022 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #39 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 50 Core Weight: 88 Total Weight: 1110 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #40 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 99 Core Weight: 1 Total Weight: 1111 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #41 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 176 Core Weight: 3 Total Weight: 1114 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #42 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 243 Core Weight: 1 Total Weight: 1115 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #43 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 104 Core Weight: 2 Total Weight: 1117 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #44 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 103 Core Weight: 2 Total Weight: 1119 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #45 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 102 Core Weight: 2 Total Weight: 1121 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #46 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 101 Core Weight: 34 Total Weight: 1155 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #47 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 61 Core Weight: 41 Total Weight: 1196 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #48 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 14 Core Weight: 32 Total Weight: 1228 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #49 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 158 Core Weight: 37 Total Weight: 1265 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #50 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 68 Core Weight: 1 Total Weight: 1266 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #51 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 47 Core Weight: 19 Total Weight: 1285 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #52 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 85 Core Weight: 87 Total Weight: 1372 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #53 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 360 Core Weight: 4 Total Weight: 1376 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #54 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 134 Core Weight: 6 Total Weight: 1382 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #55 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 40 Core Weight: 21 Total Weight: 1403 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #56 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 72 Core Weight: 23 Total Weight: 1426 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #57 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 103 Core Weight: 1 Total Weight: 1427 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c core #58 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 256 Core Weight: 26 Total Weight: 1453 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #59 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 115 Core Weight: 12 Total Weight: 1465 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #60 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 239 Core Weight: 1 Total Weight: 1466 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #61 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 120 Core Weight: 12 Total Weight: 1478 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #62 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 137 Core Weight: 4 Total Weight: 1482 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #63 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 137 Core Weight: 8 Total Weight: 1490 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #64 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 136 Core Weight: 4 Total Weight: 1494 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #65 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 21 Core Weight: 81 Total Weight: 1575 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #66 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 21 Core Weight: 81 Total Weight: 1656 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #67 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 41 Core Weight: 38 Total Weight: 1694 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #68 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 263 Core Weight: 1 Total Weight: 1695 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #69 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 234 Core Weight: 3 Total Weight: 1698 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #70 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 233 Core Weight: 1 Total Weight: 1699 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #71 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 41 Core Weight: 4 Total Weight: 1703 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #72 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 349 Core Weight: 6 Total Weight: 1709 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #73 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 265 Core Weight: 2 Total Weight: 1711 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #74 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 356 Core Weight: 2 Total Weight: 1713 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #75 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 41 Core Weight: 9 Total Weight: 1722 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #76 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 87 Core Weight: 11 Total Weight: 1733 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #77 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 41 Core Weight: 22 Total Weight: 1755 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #78 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 108 Core Weight: 24 Total Weight: 1779 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #79 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 342 Core Weight: 1 Total Weight: 1780 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #80 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 341 Core Weight: 1 Total Weight: 1781 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #81 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 340 Core Weight: 1 Total Weight: 1782 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #82 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 74 Core Weight: 44 Total Weight: 1826 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #83 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 357 Core Weight: 1 Total Weight: 1827 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #84 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 42 Core Weight: 24 Total Weight: 1851 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #85 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 78 Core Weight: 28 Total Weight: 1879 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #86 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 115 Core Weight: 1 Total Weight: 1880 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #87 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 114 Core Weight: 15 Total Weight: 1895 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #88 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 425 Core Weight: 1 Total Weight: 1896 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #89 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 66 Core Weight: 5 Total Weight: 1901 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #90 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 141 Core Weight: 6 Total Weight: 1907 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #91 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 158 Core Weight: 9 Total Weight: 1916 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #92 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 204 Core Weight: 1 Total Weight: 1917 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #93 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 203 Core Weight: 1 Total Weight: 1918 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #94 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 201 Core Weight: 3 Total Weight: 1921 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #95 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 36 Core Weight: 3 Total Weight: 1924 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #96 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 161 Core Weight: 12 Total Weight: 1936 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #97 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 240 Core Weight: 10 Total Weight: 1946 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #98 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 181 Core Weight: 3 Total Weight: 1949 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #99 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 50 Core Weight: 18 Total Weight: 1967 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #100 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 80 Core Weight: 10 Total Weight: 1977 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #101 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 96 Core Weight: 20 Total Weight: 1997 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #102 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 96 Core Weight: 3 Total Weight: 2000 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #103 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 46 Core Weight: 1 Total Weight: 2001 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #104 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 179 Core Weight: 1 Total Weight: 2002 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #105 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 178 Core Weight: 2 Total Weight: 2004 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #106 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 48 Core Weight: 8 Total Weight: 2012 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #107 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 202 Core Weight: 3 Total Weight: 2015 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #108 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 201 Core Weight: 14 Total Weight: 2029 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #109 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 292 Core Weight: 2 Total Weight: 2031 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #110 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 36 Core Weight: 12 Total Weight: 2043 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #111 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 195 Core Weight: 2 Total Weight: 2045 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #112 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 37 Core Weight: 40 Total Weight: 2085 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #113 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 26 Core Weight: 28 Total Weight: 2113 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #114 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 21 Core Weight: 47 Total Weight: 2160 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #115 183.55/183.67 c 186.14/186.21 c 186.14/186.21 c Core size: 61 Core Weight: 16 Total Weight: 2176 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #116 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 79 Core Weight: 4 Total Weight: 2180 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #117 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 41 Core Weight: 9 Total Weight: 2189 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #118 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 58 Core Weight: 8 Total Weight: 2197 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #119 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 117 Core Weight: 2 Total Weight: 2199 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #120 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 162 Core Weight: 3 Total Weight: 2202 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #121 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 161 Core Weight: 1 Total Weight: 2203 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #122 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 51 Core Weight: 7 Total Weight: 2210 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #123 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 71 Core Weight: 23 Total Weight: 2233 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #124 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 65 Core Weight: 20 Total Weight: 2253 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #125 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 217 Core Weight: 1 Total Weight: 2254 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #126 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 42 Core Weight: 5 Total Weight: 2259 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #127 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 60 Core Weight: 8 Total Weight: 2267 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #128 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 64 Core Weight: 11 Total Weight: 2278 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #129 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 207 Core Weight: 1 Total Weight: 2279 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #130 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 206 Core Weight: 3 Total Weight: 2282 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #131 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 206 Core Weight: 2 Total Weight: 2284 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #132 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 97 Core Weight: 4 Total Weight: 2288 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #133 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 96 Core Weight: 22 Total Weight: 2310 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #134 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 72 Core Weight: 21 Total Weight: 2331 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #135 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 65 Core Weight: 22 Total Weight: 2353 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #136 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 224 Core Weight: 1 Total Weight: 2354 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #137 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 5 Core Weight: 37 Total Weight: 2391 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #138 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 39 Core Weight: 4 Total Weight: 2395 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #139 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 81 Core Weight: 17 Total Weight: 2412 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #140 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 102 Core Weight: 4 Total Weight: 2416 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #141 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 189 Core Weight: 1 Total Weight: 2417 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #142 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 56 Core Weight: 1 Total Weight: 2418 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #143 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 60 Core Weight: 8 Total Weight: 2426 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #144 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 54 Core Weight: 91 Total Weight: 2517 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #145 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 181 Core Weight: 2 Total Weight: 2519 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #146 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 212 Core Weight: 3 Total Weight: 2522 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #147 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 40 Core Weight: 54 Total Weight: 2576 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #148 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 264 Core Weight: 3 Total Weight: 2579 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #149 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 430 Core Weight: 2 Total Weight: 2581 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #150 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 429 Core Weight: 2 Total Weight: 2583 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #151 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 143 Core Weight: 1 Total Weight: 2584 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #152 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 142 Core Weight: 5 Total Weight: 2589 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #153 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 122 Core Weight: 2 Total Weight: 2591 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #154 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 123 Core Weight: 3 Total Weight: 2594 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #155 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 197 Core Weight: 2 Total Weight: 2596 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #156 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 89 Core Weight: 2 Total Weight: 2598 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #157 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 143 Core Weight: 3 Total Weight: 2601 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #158 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 211 Core Weight: 1 Total Weight: 2602 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #159 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 196 Core Weight: 1 Total Weight: 2603 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #160 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 62 Core Weight: 43 Total Weight: 2646 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #161 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 89 Core Weight: 31 Total Weight: 2677 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #162 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 146 Core Weight: 2 Total Weight: 2679 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #163 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 414 Core Weight: 1 Total Weight: 2680 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #164 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 123 Core Weight: 8 Total Weight: 2688 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #165 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 142 Core Weight: 1 Total Weight: 2689 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #166 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 455 Core Weight: 1 Total Weight: 2690 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #167 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 374 Core Weight: 3 Total Weight: 2693 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #168 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 373 Core Weight: 2 Total Weight: 2695 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #169 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 371 Core Weight: 1 Total Weight: 2696 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #170 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 370 Core Weight: 1 Total Weight: 2697 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c core #171 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 369 Core Weight: 1 Total Weight: 2698 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #172 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 697 Core Weight: 1 Total Weight: 2699 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #173 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 696 Core Weight: 1 Total Weight: 2700 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #174 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 81 Core Weight: 4 Total Weight: 2704 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #175 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 158 Core Weight: 1 Total Weight: 2705 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #176 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 104 Core Weight: 4 Total Weight: 2709 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #177 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 231 Core Weight: 7 Total Weight: 2716 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #178 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 147 Core Weight: 2 Total Weight: 2718 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #179 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 146 Core Weight: 4 Total Weight: 2722 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #180 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 128 Core Weight: 3 Total Weight: 2725 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #181 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 64 Core Weight: 29 Total Weight: 2754 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #182 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 68 Core Weight: 2 Total Weight: 2756 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #183 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 145 Core Weight: 3 Total Weight: 2759 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #184 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 148 Core Weight: 5 Total Weight: 2764 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #185 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 491 Core Weight: 1 Total Weight: 2765 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #186 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 490 Core Weight: 8 Total Weight: 2773 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #187 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 60 Core Weight: 21 Total Weight: 2794 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #188 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 187 Core Weight: 1 Total Weight: 2795 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #189 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 28 Core Weight: 10 Total Weight: 2805 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #190 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 64 Core Weight: 25 Total Weight: 2830 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #191 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 127 Core Weight: 3 Total Weight: 2833 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #192 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 264 Core Weight: 1 Total Weight: 2834 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #193 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 30 Core Weight: 30 Total Weight: 2864 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #194 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 52 Core Weight: 68 Total Weight: 2932 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #195 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 45 Core Weight: 49 Total Weight: 2981 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #196 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 355 Core Weight: 1 Total Weight: 2982 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #197 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 309 Core Weight: 3 Total Weight: 2985 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #198 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 233 Core Weight: 3 Total Weight: 2988 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #199 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 159 Core Weight: 3 Total Weight: 2991 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #200 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 229 Core Weight: 1 Total Weight: 2992 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #201 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 464 Core Weight: 2 Total Weight: 2994 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #202 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 387 Core Weight: 2 Total Weight: 2996 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #203 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 543 Core Weight: 2 Total Weight: 2998 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #204 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 274 Core Weight: 2 Total Weight: 3000 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #205 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 273 Core Weight: 2 Total Weight: 3002 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #206 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 273 Core Weight: 5 Total Weight: 3007 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #207 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 283 Core Weight: 1 Total Weight: 3008 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #208 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 114 Core Weight: 3 Total Weight: 3011 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #209 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 114 Core Weight: 1 Total Weight: 3012 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #210 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 114 Core Weight: 1 Total Weight: 3013 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #211 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 114 Core Weight: 3 Total Weight: 3016 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c core #212 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c Core size: 194 Core Weight: 1 Total Weight: 3017 189.05/189.19 c 189.05/189.19 c 189.05/189.19 c ============================[ Search Statistics ]============================== 189.05/189.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.05/189.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.05/189.19 c =============================================================================== 189.05/189.19 c | 0 | 31910 34823 58048 | 11607 0 nan | 0.000 % | 189.05/189.20 c =============================================================================== 189.24/189.31 c core #213 189.24/189.31 c 189.24/189.31 c 189.24/189.31 c Core size: 105 Core Weight: 5 Total Weight: 3022 189.24/189.31 c 189.24/189.31 c 189.24/189.31 c ============================[ Search Statistics ]============================== 189.24/189.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.24/189.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.24/189.31 c =============================================================================== 189.24/189.31 c | 0 | 32013 34925 58204 | 11641 0 nan | 0.000 % | 189.24/189.33 c =============================================================================== 189.34/189.45 c core #214 189.34/189.45 c 189.34/189.45 c 189.34/189.45 c Core size: 215 Core Weight: 1 Total Weight: 3023 189.34/189.45 c 189.34/189.45 c 189.34/189.45 c ============================[ Search Statistics ]============================== 189.34/189.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.45 c =============================================================================== 189.34/189.45 c | 0 | 32227 35134 58522 | 11711 0 nan | 0.000 % | 189.34/189.47 c =============================================================================== 189.44/189.58 c core #215 189.44/189.58 c 189.44/189.58 c 189.44/189.58 c Core size: 260 Core Weight: 1 Total Weight: 3024 189.44/189.58 c 189.44/189.58 c 189.44/189.58 c ============================[ Search Statistics ]============================== 189.44/189.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.44/189.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.44/189.58 c =============================================================================== 189.44/189.58 c | 0 | 32482 35388 58815 | 11796 0 nan | 0.000 % | 189.54/189.61 c =============================================================================== 189.64/189.72 c core #216 189.64/189.72 c 189.64/189.72 c 189.64/189.72 c Core size: 284 Core Weight: 1 Total Weight: 3025 189.64/189.72 c 189.64/189.72 c 189.64/189.72 c ============================[ Search Statistics ]============================== 189.64/189.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.72 c =============================================================================== 189.64/189.72 c | 0 | 32764 35667 59160 | 11889 0 nan | 0.000 % | 189.64/189.75 c =============================================================================== 189.74/189.86 c core #217 189.74/189.86 c 189.74/189.86 c 189.74/189.86 c Core size: 281 Core Weight: 1 Total Weight: 3026 189.74/189.86 c 189.74/189.86 c 189.74/189.86 c ============================[ Search Statistics ]============================== 189.74/189.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.74/189.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.74/189.86 c =============================================================================== 189.74/189.86 c | 0 | 33046 35941 59533 | 11980 0 nan | 0.000 % | 189.74/189.89 c =============================================================================== 189.94/190.01 c core #218 189.94/190.01 c 189.94/190.01 c 189.94/190.01 c Core size: 284 Core Weight: 1 Total Weight: 3027 189.94/190.01 c 189.94/190.01 c 189.94/190.01 c ============================[ Search Statistics ]============================== 189.94/190.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.94/190.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.94/190.01 c =============================================================================== 189.94/190.01 c | 0 | 33327 36221 59922 | 12073 0 nan | 0.000 % | 189.94/190.03 c =============================================================================== 190.04/190.15 c core #219 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 184 Core Weight: 1 Total Weight: 3028 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c ============================[ Search Statistics ]============================== 190.04/190.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.04/190.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.04/190.15 c =============================================================================== 190.04/190.15 c | 0 | 33507 36398 60168 | 12132 0 nan | 0.000 % | 190.04/190.16 c =============================================================================== 190.15/190.28 c core #220 190.15/190.28 c 190.15/190.28 c 190.15/190.28 c Core size: 132 Core Weight: 38 Total Weight: 3066 190.15/190.28 c 190.15/190.28 c 190.15/190.28 c ============================[ Search Statistics ]============================== 190.15/190.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.15/190.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.15/190.28 c =============================================================================== 190.15/190.28 c | 0 | 33635 36523 60300 | 12174 0 nan | 0.000 % | 190.15/190.30 c =============================================================================== 190.34/190.42 c core #221 190.34/190.42 c 190.34/190.42 c 190.34/190.42 c Core size: 132 Core Weight: 1 Total Weight: 3067 190.34/190.42 c 190.34/190.42 c 190.34/190.42 c ============================[ Search Statistics ]============================== 190.34/190.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.34/190.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.34/190.42 c =============================================================================== 190.34/190.42 c | 0 | 33763 36648 60432 | 12216 0 nan | 0.000 % | 190.34/190.45 c =============================================================================== 190.44/190.58 c core #222 190.44/190.58 c 190.44/190.58 c 190.44/190.58 c Core size: 353 Core Weight: 3 Total Weight: 3070 190.44/190.58 c 190.44/190.58 c 190.44/190.58 c ============================[ Search Statistics ]============================== 190.44/190.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.44/190.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.44/190.58 c =============================================================================== 190.44/190.58 c | 0 | 34112 36996 60831 | 12332 0 nan | 0.000 % | 190.53/190.60 c =============================================================================== 190.63/190.72 c core #223 190.63/190.72 c 190.63/190.72 c 190.63/190.72 c Core size: 87 Core Weight: 1 Total Weight: 3071 190.63/190.72 c 190.63/190.72 c 190.63/190.72 c ============================[ Search Statistics ]============================== 190.63/190.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.63/190.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.63/190.72 c =============================================================================== 190.63/190.72 c | 0 | 34197 37080 60935 | 12360 0 nan | 0.000 % | 190.63/190.76 c =============================================================================== 190.74/190.88 c core #224 190.74/190.88 c 190.74/190.88 c 190.74/190.88 c Core size: 402 Core Weight: 1 Total Weight: 3072 190.74/190.88 c 190.74/190.88 c 190.74/190.88 c ============================[ Search Statistics ]============================== 190.74/190.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.74/190.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.74/190.88 c =============================================================================== 190.74/190.88 c | 0 | 34596 37470 61451 | 12490 0 nan | 0.000 % | 190.84/190.91 c =============================================================================== 190.94/191.04 c core #225 190.94/191.04 c 190.94/191.04 c 190.94/191.04 c Core size: 337 Core Weight: 1 Total Weight: 3073 190.94/191.04 c 190.94/191.04 c 190.94/191.04 c ============================[ Search Statistics ]============================== 190.94/191.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.94/191.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.94/191.04 c =============================================================================== 190.94/191.04 c | 0 | 34931 37796 61917 | 12598 0 nan | 0.000 % | 190.94/191.06 c =============================================================================== 191.04/191.19 c core #226 191.04/191.19 c 191.04/191.19 c 191.04/191.19 c Core size: 194 Core Weight: 1 Total Weight: 3074 191.04/191.19 c 191.04/191.19 c 191.04/191.19 c ============================[ Search Statistics ]============================== 191.04/191.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.04/191.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.04/191.19 c =============================================================================== 191.04/191.19 c | 0 | 35123 37987 62147 | 12662 0 nan | 0.000 % | 191.14/191.23 c =============================================================================== 191.24/191.36 c core #227 191.24/191.36 c 191.24/191.36 c 191.24/191.36 c Core size: 574 Core Weight: 1 Total Weight: 3075 191.24/191.36 c 191.24/191.36 c 191.24/191.36 c ============================[ Search Statistics ]============================== 191.24/191.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.24/191.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.24/191.36 c =============================================================================== 191.24/191.36 c | 0 | 35696 38539 62980 | 12846 0 nan | 0.000 % | 191.24/191.38 c =============================================================================== 191.43/191.51 c core #228 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 181 Core Weight: 1 Total Weight: 3076 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c ============================[ Search Statistics ]============================== 191.43/191.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.43/191.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.43/191.51 c =============================================================================== 191.43/191.51 c | 0 | 35874 38716 63238 | 12905 0 nan | 0.000 % | 191.43/191.54 c =============================================================================== 191.54/191.67 c core #229 191.54/191.67 c 191.54/191.67 c 191.54/191.67 c Core size: 358 Core Weight: 1 Total Weight: 3077 191.54/191.67 c 191.54/191.67 c 191.54/191.67 c ============================[ Search Statistics ]============================== 191.54/191.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.54/191.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.54/191.67 c =============================================================================== 191.54/191.67 c | 0 | 36229 39062 63811 | 13020 0 nan | 0.000 % | 191.54/191.70 c =============================================================================== 191.74/191.83 c core #230 191.74/191.83 c 191.74/191.83 c 191.74/191.83 c Core size: 201 Core Weight: 1 Total Weight: 3078 191.74/191.83 c 191.74/191.83 c 191.74/191.83 c ============================[ Search Statistics ]============================== 191.74/191.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.83 c =============================================================================== 191.74/191.83 c | 0 | 36429 39259 64105 | 13086 0 nan | 0.000 % | 191.74/191.84 c =============================================================================== 191.84/191.98 c core #231 191.84/191.98 c 191.84/191.98 c 191.84/191.98 c Core size: 132 Core Weight: 3 Total Weight: 3081 191.84/191.98 c 191.84/191.98 c 191.84/191.98 c ============================[ Search Statistics ]============================== 191.84/191.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.84/191.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.84/191.98 c =============================================================================== 191.84/191.98 c | 0 | 36557 39384 64237 | 13128 0 nan | 0.000 % | 191.94/192.00 c =============================================================================== 192.04/192.13 c core #232 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 251 Core Weight: 1 Total Weight: 3082 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c ============================[ Search Statistics ]============================== 192.04/192.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.04/192.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.04/192.13 c =============================================================================== 192.04/192.13 c | 0 | 36804 39625 64524 | 13208 0 nan | 0.000 % | 192.04/192.16 c =============================================================================== 192.24/192.30 c core #233 192.24/192.30 c 192.24/192.30 c 192.24/192.30 c Core size: 176 Core Weight: 1 Total Weight: 3083 192.24/192.30 c 192.24/192.30 c 192.24/192.30 c ============================[ Search Statistics ]============================== 192.24/192.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.24/192.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.24/192.30 c =============================================================================== 192.24/192.30 c | 0 | 36976 39796 64816 | 13265 0 nan | 0.000 % | 192.24/192.33 c =============================================================================== 192.35/192.46 c core #234 192.35/192.46 c 192.35/192.46 c 192.35/192.46 c Core size: 176 Core Weight: 1 Total Weight: 3084 192.35/192.46 c 192.35/192.46 c 192.35/192.46 c ============================[ Search Statistics ]============================== 192.35/192.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.35/192.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.35/192.46 c =============================================================================== 192.35/192.46 c | 0 | 37150 39953 65141 | 13317 0 nan | 0.000 % | 192.35/192.49 c =============================================================================== 192.54/192.63 c core #235 192.54/192.63 c 192.54/192.63 c 192.54/192.63 c Core size: 176 Core Weight: 1 Total Weight: 3085 192.54/192.63 c 192.54/192.63 c 192.54/192.63 c ============================[ Search Statistics ]============================== 192.54/192.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.63 c =============================================================================== 192.54/192.63 c | 0 | 37322 40124 65419 | 13374 0 nan | 0.000 % | 192.54/192.66 c =============================================================================== 192.63/192.79 c core #236 192.63/192.79 c 192.63/192.79 c 192.63/192.79 c Core size: 175 Core Weight: 1 Total Weight: 3086 192.63/192.79 c 192.63/192.79 c 192.63/192.79 c ============================[ Search Statistics ]============================== 192.63/192.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.63/192.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.63/192.79 c =============================================================================== 192.63/192.79 c | 0 | 37493 40279 65714 | 13426 0 nan | 0.000 % | 192.73/192.81 c =============================================================================== 192.84/192.95 c core #237 192.84/192.95 c 192.84/192.95 c 192.84/192.95 c Core size: 323 Core Weight: 1 Total Weight: 3087 192.84/192.95 c 192.84/192.95 c 192.84/192.95 c ============================[ Search Statistics ]============================== 192.84/192.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.84/192.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.84/192.95 c =============================================================================== 192.84/192.95 c | 0 | 37811 40585 66120 | 13528 0 nan | 0.000 % | 192.84/192.99 c =============================================================================== 193.04/193.13 c core #238 193.04/193.13 c 193.04/193.13 c 193.04/193.13 c Core size: 208 Core Weight: 2 Total Weight: 3089 193.04/193.13 c 193.04/193.13 c 193.04/193.13 c ============================[ Search Statistics ]============================== 193.04/193.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.13 c =============================================================================== 193.04/193.13 c | 0 | 38017 40790 66432 | 13596 0 nan | 0.000 % | 193.04/193.16 c =============================================================================== 193.23/193.30 c core #239 193.23/193.30 c 193.23/193.30 c 193.23/193.30 c Core size: 364 Core Weight: 1 Total Weight: 3090 193.23/193.30 c 193.23/193.30 c 193.23/193.30 c ============================[ Search Statistics ]============================== 193.23/193.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.23/193.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.23/193.30 c =============================================================================== 193.23/193.30 c | 0 | 38379 41149 66861 | 13716 0 nan | 0.000 % | 193.23/193.33 c =============================================================================== 193.34/193.47 c core #240 193.34/193.47 c 193.34/193.47 c 193.34/193.47 c Core size: 175 Core Weight: 1 Total Weight: 3091 193.34/193.47 c 193.34/193.47 c 193.34/193.47 c ============================[ Search Statistics ]============================== 193.34/193.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.34/193.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.34/193.47 c =============================================================================== 193.34/193.47 c | 0 | 38553 41316 67387 | 13772 0 nan | 0.000 % | 193.45/193.50 c =============================================================================== 193.55/193.65 c core #241 193.55/193.65 c 193.55/193.65 c 193.55/193.65 c Core size: 442 Core Weight: 1 Total Weight: 3092 193.55/193.65 c 193.55/193.65 c 193.55/193.65 c ============================[ Search Statistics ]============================== 193.55/193.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.55/193.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.55/193.65 c =============================================================================== 193.55/193.65 c | 0 | 38990 41742 67942 | 13914 0 nan | 0.000 % | 193.55/193.68 c =============================================================================== 193.74/193.83 c core #242 193.74/193.83 c 193.74/193.83 c 193.74/193.83 c Core size: 291 Core Weight: 1 Total Weight: 3093 193.74/193.83 c 193.74/193.83 c 193.74/193.83 c ============================[ Search Statistics ]============================== 193.74/193.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.74/193.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.74/193.83 c =============================================================================== 193.74/193.83 c | 0 | 39281 42011 68385 | 14003 0 nan | 0.000 % | 193.74/193.86 c =============================================================================== 193.94/194.00 c core #243 193.94/194.00 c 193.94/194.00 c 193.94/194.00 c Core size: 281 Core Weight: 1 Total Weight: 3094 193.94/194.00 c 193.94/194.00 c 193.94/194.00 c ============================[ Search Statistics ]============================== 193.94/194.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.00 c =============================================================================== 193.94/194.00 c | 0 | 39560 42280 68907 | 14093 0 nan | 0.000 % | 193.94/194.04 c =============================================================================== 194.04/194.19 c core #244 194.04/194.19 c 194.04/194.19 c 194.04/194.19 c Core size: 281 Core Weight: 1 Total Weight: 3095 194.04/194.19 c 194.04/194.19 c 194.04/194.19 c ============================[ Search Statistics ]============================== 194.04/194.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.19 c =============================================================================== 194.04/194.19 c | 0 | 39837 42548 69320 | 14182 0 nan | 0.000 % | 194.14/194.23 c =============================================================================== 194.24/194.38 c core #245 194.24/194.38 c 194.24/194.38 c 194.24/194.38 c Core size: 281 Core Weight: 1 Total Weight: 3096 194.24/194.38 c 194.24/194.38 c 194.24/194.38 c ============================[ Search Statistics ]============================== 194.24/194.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.24/194.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.24/194.38 c =============================================================================== 194.24/194.38 c | 0 | 40114 42816 69868 | 14272 0 nan | 0.000 % | 194.34/194.43 c =============================================================================== 194.44/194.58 c core #246 194.44/194.58 c 194.44/194.58 c 194.44/194.58 c Core size: 344 Core Weight: 1 Total Weight: 3097 194.44/194.58 c 194.44/194.58 c 194.44/194.58 c ============================[ Search Statistics ]============================== 194.44/194.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.44/194.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.44/194.58 c =============================================================================== 194.44/194.58 c | 0 | 40457 43157 70337 | 14385 0 nan | 0.000 % | 194.55/194.61 c =============================================================================== 194.65/194.76 c core #247 194.65/194.76 c 194.65/194.76 c 194.65/194.76 c Core size: 305 Core Weight: 1 Total Weight: 3098 194.65/194.76 c 194.65/194.76 c 194.65/194.76 c ============================[ Search Statistics ]============================== 194.65/194.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.65/194.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.65/194.76 c =============================================================================== 194.65/194.76 c | 0 | 40761 43451 70710 | 14483 0 nan | 0.000 % | 194.65/194.79 c =============================================================================== 194.83/194.94 c core #248 194.83/194.94 c 194.83/194.94 c 194.83/194.94 c Core size: 127 Core Weight: 1 Total Weight: 3099 194.83/194.94 c 194.83/194.94 c 194.83/194.94 c ============================[ Search Statistics ]============================== 194.83/194.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.83/194.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.83/194.94 c =============================================================================== 194.83/194.94 c | 0 | 40884 43571 70837 | 14523 0 nan | 0.000 % | 194.83/194.97 c =============================================================================== 195.03/195.13 c core #249 195.03/195.13 c 195.03/195.13 c 195.03/195.13 c Core size: 354 Core Weight: 1 Total Weight: 3100 195.03/195.13 c 195.03/195.13 c 195.03/195.13 c ============================[ Search Statistics ]============================== 195.03/195.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.03/195.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.03/195.13 c =============================================================================== 195.03/195.13 c | 0 | 41234 43903 71356 | 14634 0 nan | 0.000 % | 195.03/195.17 c =============================================================================== 195.24/195.32 c core #250 195.24/195.32 c 195.24/195.32 c 195.24/195.32 c Core size: 349 Core Weight: 2 Total Weight: 3102 195.24/195.32 c 195.24/195.32 c 195.24/195.32 c ============================[ Search Statistics ]============================== 195.24/195.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.24/195.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.24/195.32 c =============================================================================== 195.24/195.32 c | 0 | 41581 44240 72033 | 14746 0 nan | 0.000 % | 195.24/195.35 c =============================================================================== 195.43/195.51 c core #251 195.43/195.51 c 195.43/195.51 c 195.43/195.51 c Core size: 284 Core Weight: 1 Total Weight: 3103 195.43/195.51 c 195.43/195.51 c 195.43/195.51 c ============================[ Search Statistics ]============================== 195.43/195.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.43/195.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.43/195.51 c =============================================================================== 195.43/195.51 c | 0 | 41866 44523 72476 | 14841 0 nan | 0.000 % | 195.43/195.54 c =============================================================================== 195.54/195.70 c core #252 195.54/195.70 c 195.54/195.70 c 195.54/195.70 c Core size: 421 Core Weight: 1 Total Weight: 3104 195.54/195.70 c 195.54/195.70 c 195.54/195.70 c ============================[ Search Statistics ]============================== 195.54/195.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.54/195.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.54/195.70 c =============================================================================== 195.54/195.70 c | 0 | 42287 44940 72969 | 14980 0 nan | 0.000 % | 195.65/195.75 c =============================================================================== 195.84/195.91 c core #253 195.84/195.91 c 195.84/195.91 c 195.84/195.91 c Core size: 397 Core Weight: 1 Total Weight: 3105 195.84/195.91 c 195.84/195.91 c 195.84/195.91 c ============================[ Search Statistics ]============================== 195.84/195.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.84/195.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.84/195.91 c =============================================================================== 195.84/195.91 c | 0 | 42683 45319 73705 | 15106 0 nan | 0.000 % | 195.84/195.94 c =============================================================================== 196.04/196.10 c core #254 196.04/196.10 c 196.04/196.10 c 196.04/196.10 c Core size: 441 Core Weight: 1 Total Weight: 3106 196.04/196.10 c 196.04/196.10 c 196.04/196.10 c ============================[ Search Statistics ]============================== 196.04/196.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.04/196.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.04/196.10 c =============================================================================== 196.04/196.10 c | 0 | 43111 45729 74280 | 15243 0 nan | 0.000 % | 196.04/196.13 c =============================================================================== 196.13/196.29 c core #255 196.13/196.29 c 196.13/196.29 c 196.13/196.29 c Core size: 445 Core Weight: 1 Total Weight: 3107 196.13/196.29 c 196.13/196.29 c 196.13/196.29 c ============================[ Search Statistics ]============================== 196.13/196.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.13/196.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.13/196.29 c =============================================================================== 196.13/196.29 c | 0 | 43544 46141 74881 | 15380 0 nan | 0.000 % | 196.23/196.36 c =============================================================================== 196.43/196.52 c core #256 196.43/196.52 c 196.43/196.52 c 196.43/196.52 c Core size: 377 Core Weight: 1 Total Weight: 3108 196.43/196.52 c 196.43/196.52 c 196.43/196.52 c ============================[ Search Statistics ]============================== 196.43/196.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.43/196.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.43/196.52 c =============================================================================== 196.43/196.52 c | 0 | 43924 46506 75752 | 15502 0 nan | 0.000 % | 196.43/196.55 c =============================================================================== 196.64/196.71 c core #257 196.64/196.71 c 196.64/196.71 c 196.64/196.71 c Core size: 127 Core Weight: 5 Total Weight: 3113 196.64/196.71 c 196.64/196.71 c 196.64/196.71 c ============================[ Search Statistics ]============================== 196.64/196.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.64/196.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.64/196.71 c =============================================================================== 196.64/196.71 c | 0 | 44047 46628 75883 | 15542 0 nan | 0.000 % | 196.64/196.74 c =============================================================================== 196.75/196.90 c core #258 196.75/196.90 c 196.75/196.90 c 196.75/196.90 c Core size: 233 Core Weight: 4 Total Weight: 3117 196.75/196.90 c 196.75/196.90 c 196.75/196.90 c ============================[ Search Statistics ]============================== 196.75/196.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.75/196.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.75/196.90 c =============================================================================== 196.75/196.90 c | 0 | 44275 46855 76207 | 15618 0 nan | 0.000 % | 196.85/196.94 c =============================================================================== 197.04/197.11 c core #259 197.04/197.11 c 197.04/197.11 c 197.04/197.11 c Core size: 268 Core Weight: 1 Total Weight: 3118 197.04/197.11 c 197.04/197.11 c 197.04/197.11 c ============================[ Search Statistics ]============================== 197.04/197.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.04/197.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.04/197.11 c =============================================================================== 197.04/197.11 c | 0 | 44536 47104 76584 | 15701 0 nan | 0.000 % | 197.04/197.18 c =============================================================================== 197.23/197.35 c core #260 197.23/197.35 c 197.23/197.35 c 197.23/197.35 c Core size: 678 Core Weight: 1 Total Weight: 3119 197.23/197.35 c 197.23/197.35 c 197.23/197.35 c ============================[ Search Statistics ]============================== 197.23/197.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.23/197.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.23/197.35 c =============================================================================== 197.23/197.35 c | 0 | 45212 47746 77774 | 15915 0 nan | 0.000 % | 197.33/197.42 c =============================================================================== 197.44/197.59 c core #261 197.44/197.59 c 197.44/197.59 c 197.44/197.59 c Core size: 517 Core Weight: 1 Total Weight: 3120 197.44/197.59 c 197.44/197.59 c 197.44/197.59 c ============================[ Search Statistics ]============================== 197.44/197.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.44/197.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.44/197.59 c =============================================================================== 197.44/197.59 c | 0 | 45726 48246 78697 | 16082 0 nan | 0.000 % | 197.54/197.65 c =============================================================================== 197.74/197.82 c core #262 197.74/197.82 c 197.74/197.82 c 197.74/197.82 c Core size: 465 Core Weight: 1 Total Weight: 3121 197.74/197.82 c 197.74/197.82 c 197.74/197.82 c ============================[ Search Statistics ]============================== 197.74/197.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.74/197.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.74/197.82 c =============================================================================== 197.74/197.82 c | 0 | 46186 48686 79458 | 16228 0 nan | 0.000 % | 197.74/197.85 c =============================================================================== 197.95/198.02 c core #263 197.95/198.02 c 197.95/198.02 c 197.95/198.02 c Core size: 127 Core Weight: 2 Total Weight: 3123 197.95/198.02 c 197.95/198.02 c 197.95/198.02 c ============================[ Search Statistics ]============================== 197.95/198.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.95/198.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.95/198.02 c =============================================================================== 197.95/198.02 c | 0 | 46309 48806 79585 | 16268 0 nan | 0.000 % | 197.95/198.05 c =============================================================================== 198.14/198.21 c core #264 198.14/198.21 c 198.14/198.21 c 198.14/198.21 c Core size: 118 Core Weight: 1 Total Weight: 3124 198.14/198.21 c 198.14/198.21 c 198.14/198.21 c ============================[ Search Statistics ]============================== 198.14/198.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.14/198.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.14/198.21 c =============================================================================== 198.14/198.21 c | 0 | 46424 48920 79778 | 16306 0 nan | 0.000 % | 198.14/198.23 c =============================================================================== 198.33/198.41 c core #265 198.33/198.41 c 198.33/198.41 c 198.33/198.41 c Core size: 199 Core Weight: 1 Total Weight: 3125 198.33/198.41 c 198.33/198.41 c 198.33/198.41 c ============================[ Search Statistics ]============================== 198.33/198.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.33/198.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.33/198.41 c =============================================================================== 198.33/198.41 c | 0 | 46619 49114 80002 | 16371 0 nan | 0.000 % | 198.33/198.48 c =============================================================================== 198.53/198.65 c core #266 198.53/198.65 c 198.53/198.65 c 198.53/198.65 c Core size: 715 Core Weight: 1 Total Weight: 3126 198.53/198.65 c 198.53/198.65 c 198.53/198.65 c ============================[ Search Statistics ]============================== 198.53/198.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.53/198.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.53/198.65 c =============================================================================== 198.53/198.65 c | 0 | 47333 49808 81148 | 16602 0 nan | 0.000 % | 198.53/198.69 c =============================================================================== 198.74/198.86 c core #267 198.74/198.86 c 198.74/198.86 c 198.74/198.86 c Core size: 118 Core Weight: 1 Total Weight: 3127 198.74/198.86 c 198.74/198.86 c 198.74/198.86 c ============================[ Search Statistics ]============================== 198.74/198.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.74/198.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.74/198.86 c =============================================================================== 198.74/198.86 c | 0 | 47447 49922 81269 | 16640 0 nan | 0.000 % | 198.74/198.89 c =============================================================================== 198.94/199.07 c core #268 198.94/199.07 c 198.94/199.07 c 198.94/199.07 c Core size: 117 Core Weight: 3 Total Weight: 3130 198.94/199.07 c 198.94/199.07 c 198.94/199.07 c ============================[ Search Statistics ]============================== 198.94/199.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.94/199.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.94/199.07 c =============================================================================== 198.94/199.07 c | 0 | 47562 50036 81460 | 16678 0 nan | 0.000 % | 198.94/199.09 c =============================================================================== 199.14/199.27 c core #269 199.14/199.27 c 199.14/199.27 c 199.14/199.27 c Core size: 194 Core Weight: 2 Total Weight: 3132 199.14/199.27 c 199.14/199.27 c 199.14/199.27 c ============================[ Search Statistics ]============================== 199.14/199.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.14/199.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.14/199.27 c =============================================================================== 199.14/199.27 c | 0 | 47753 50222 81707 | 16740 0 nan | 0.000 % | 199.23/199.31 c =============================================================================== 199.34/199.49 c core #270 199.34/199.49 c 199.34/199.49 c 199.34/199.49 c Core size: 392 Core Weight: 1 Total Weight: 3133 199.34/199.49 c 199.34/199.49 c 199.34/199.49 c ============================[ Search Statistics ]============================== 199.34/199.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.34/199.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.34/199.49 c =============================================================================== 199.34/199.49 c | 0 | 48141 50603 82124 | 16867 0 nan | 0.000 % | 199.44/199.52 c =============================================================================== 199.53/199.70 c core #271 199.53/199.70 c 199.53/199.70 c 199.53/199.70 c Core size: 252 Core Weight: 1 Total Weight: 3134 199.53/199.70 c 199.53/199.70 c 199.53/199.70 c ============================[ Search Statistics ]============================== 199.53/199.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.53/199.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.53/199.70 c =============================================================================== 199.53/199.70 c | 0 | 48392 50849 82405 | 16949 0 nan | 0.000 % | 199.63/199.73 c =============================================================================== 199.84/199.91 c core #272 199.84/199.91 c 199.84/199.91 c 199.84/199.91 c Core size: 198 Core Weight: 1 Total Weight: 3135 199.84/199.91 c 199.84/199.91 c 199.84/199.91 c ============================[ Search Statistics ]============================== 199.84/199.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.84/199.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.84/199.91 c =============================================================================== 199.84/199.91 c | 0 | 48587 51041 82675 | 17013 0 nan | 0.000 % | 199.84/199.97 c =============================================================================== 200.04/200.15 c core #273 200.04/200.15 c 200.04/200.15 c 200.04/200.15 c Core size: 350 Core Weight: 1 Total Weight: 3136 200.04/200.15 c 200.04/200.15 c 200.04/200.15 c ============================[ Search Statistics ]============================== 200.04/200.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.04/200.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.04/200.15 c =============================================================================== 200.04/200.15 c | 0 | 48937 51379 83141 | 17126 0 nan | 0.000 % | 200.04/200.18 c =============================================================================== 200.23/200.36 c core #274 200.23/200.36 c 200.23/200.36 c 200.23/200.36 c Core size: 431 Core Weight: 1 Total Weight: 3137 200.23/200.36 c 200.23/200.36 c 200.23/200.36 c ============================[ Search Statistics ]============================== 200.23/200.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.23/200.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.23/200.36 c =============================================================================== 200.23/200.36 c | 0 | 49358 51793 83645 | 17264 0 nan | 0.000 % | 200.23/200.39 c =============================================================================== 200.43/200.57 c core #275 200.43/200.57 c 200.43/200.57 c 200.43/200.57 c Core size: 307 Core Weight: 1 Total Weight: 3138 200.43/200.57 c 200.43/200.57 c 200.43/200.57 c ============================[ Search Statistics ]============================== 200.43/200.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.43/200.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.43/200.57 c =============================================================================== 200.43/200.57 c | 0 | 49657 52087 84039 | 17362 0 nan | 0.000 % | 200.54/200.62 c =============================================================================== 200.74/200.80 c core #276 200.74/200.80 c 200.74/200.80 c 200.74/200.80 c Core size: 393 Core Weight: 1 Total Weight: 3139 200.74/200.80 c 200.74/200.80 c 200.74/200.80 c ============================[ Search Statistics ]============================== 200.74/200.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.74/200.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.74/200.80 c =============================================================================== 200.74/200.80 c | 0 | 50041 52470 84533 | 17490 0 nan | 0.000 % | 200.74/200.84 c =============================================================================== 200.93/201.02 c core #277 200.93/201.02 c 200.93/201.02 c 200.93/201.02 c Core size: 464 Core Weight: 1 Total Weight: 3140 200.93/201.02 c 200.93/201.02 c 200.93/201.02 c ============================[ Search Statistics ]============================== 200.93/201.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.93/201.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.93/201.02 c =============================================================================== 200.93/201.02 c | 0 | 50497 52923 85026 | 17641 0 nan | 0.000 % | 200.93/201.07 c =============================================================================== 201.14/201.26 c core #278 201.14/201.26 c 201.14/201.26 c 201.14/201.26 c Core size: 460 Core Weight: 1 Total Weight: 3141 201.14/201.26 c 201.14/201.26 c 201.14/201.26 c ============================[ Search Statistics ]============================== 201.14/201.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.14/201.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.14/201.26 c =============================================================================== 201.14/201.26 c | 0 | 50945 53368 85487 | 17789 0 nan | 0.000 % | 201.14/201.29 c =============================================================================== 201.34/201.47 c core #279 201.34/201.47 c 201.34/201.47 c 201.34/201.47 c Core size: 195 Core Weight: 1 Total Weight: 3142 201.34/201.47 c 201.34/201.47 c 201.34/201.47 c ============================[ Search Statistics ]============================== 201.34/201.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.34/201.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.34/201.47 c =============================================================================== 201.34/201.47 c | 0 | 51134 53555 85706 | 17851 0 nan | 0.000 % | 201.43/201.50 c =============================================================================== 201.53/201.69 c core #280 201.53/201.69 c 201.53/201.69 c 201.53/201.69 c Core size: 113 Core Weight: 3 Total Weight: 3145 201.53/201.69 c 201.53/201.69 c 201.53/201.69 c ============================[ Search Statistics ]============================== 201.53/201.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.53/201.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.53/201.69 c =============================================================================== 201.53/201.69 c | 0 | 51243 53664 85822 | 17888 0 nan | 0.000 % | 201.63/201.72 c =============================================================================== 201.83/201.90 c core #281 201.83/201.90 c 201.83/201.90 c 201.83/201.90 c Core size: 128 Core Weight: 2 Total Weight: 3147 201.83/201.90 c 201.83/201.90 c 201.83/201.90 c ============================[ Search Statistics ]============================== 201.83/201.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.83/201.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.83/201.90 c =============================================================================== 201.83/201.90 c | 0 | 51367 53785 86149 | 17928 0 nan | 0.000 % | 201.93/202.01 c =============================================================================== 202.04/202.19 c core #282 202.04/202.19 c 202.04/202.19 c 202.04/202.19 c Core size: 734 Core Weight: 1 Total Weight: 3148 202.04/202.19 c 202.04/202.19 c 202.04/202.19 c ============================[ Search Statistics ]============================== 202.04/202.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.04/202.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.04/202.19 c =============================================================================== 202.04/202.19 c | 0 | 52099 54498 87288 | 18166 0 nan | 0.000 % | 202.14/202.23 c =============================================================================== 202.34/202.42 c core #283 202.34/202.42 c 202.34/202.42 c 202.34/202.42 c Core size: 313 Core Weight: 1 Total Weight: 3149 202.34/202.42 c 202.34/202.42 c 202.34/202.42 c ============================[ Search Statistics ]============================== 202.34/202.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.34/202.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.34/202.42 c =============================================================================== 202.34/202.42 c | 0 | 52408 54797 87695 | 18265 0 nan | 0.000 % | 202.34/202.46 c =============================================================================== 202.53/202.65 c core #284 202.53/202.65 c 202.53/202.65 c 202.53/202.65 c Core size: 148 Core Weight: 1 Total Weight: 3150 202.53/202.65 c 202.53/202.65 c 202.53/202.65 c ============================[ Search Statistics ]============================== 202.53/202.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.53/202.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.53/202.65 c =============================================================================== 202.53/202.65 c | 0 | 52548 54936 87894 | 18312 0 nan | 0.000 % | 202.53/202.69 c =============================================================================== 202.74/202.88 c core #285 202.74/202.88 c 202.74/202.88 c 202.74/202.88 c Core size: 126 Core Weight: 3 Total Weight: 3153 202.74/202.88 c 202.74/202.88 c 202.74/202.88 c ============================[ Search Statistics ]============================== 202.74/202.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.74/202.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.74/202.88 c =============================================================================== 202.74/202.88 c | 0 | 52669 55054 88099 | 18351 0 nan | 0.000 % | 202.84/202.92 c =============================================================================== 203.03/203.11 c core #286 203.03/203.11 c 203.03/203.11 c 203.03/203.11 c Core size: 421 Core Weight: 1 Total Weight: 3154 203.03/203.11 c 203.03/203.11 c 203.03/203.11 c ============================[ Search Statistics ]============================== 203.03/203.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.03/203.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.03/203.11 c =============================================================================== 203.03/203.11 c | 0 | 53081 55458 88586 | 18486 0 nan | 0.000 % | 203.03/203.16 c =============================================================================== 203.23/203.35 c core #287 203.23/203.35 c 203.23/203.35 c 203.23/203.35 c Core size: 345 Core Weight: 1 Total Weight: 3155 203.23/203.35 c 203.23/203.35 c 203.23/203.35 c ============================[ Search Statistics ]============================== 203.23/203.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.23/203.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.23/203.35 c =============================================================================== 203.23/203.35 c | 0 | 53422 55794 88949 | 18598 0 nan | 0.000 % | 203.34/203.42 c =============================================================================== 203.54/203.61 c core #288 203.54/203.61 c 203.54/203.61 c 203.54/203.61 c Core size: 551 Core Weight: 1 Total Weight: 3156 203.54/203.61 c 203.54/203.61 c 203.54/203.61 c ============================[ Search Statistics ]============================== 203.54/203.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.54/203.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.54/203.61 c =============================================================================== 203.54/203.61 c | 0 | 53967 56316 89844 | 18772 0 nan | 0.000 % | 203.54/203.65 c =============================================================================== 203.73/203.84 c core #289 203.73/203.84 c 203.73/203.84 c 203.73/203.84 c Core size: 118 Core Weight: 1 Total Weight: 3157 203.73/203.84 c 203.73/203.84 c 203.73/203.84 c ============================[ Search Statistics ]============================== 203.73/203.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.73/203.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.73/203.84 c =============================================================================== 203.73/203.84 c | 0 | 54080 56428 90106 | 18809 0 nan | 0.000 % | 203.73/203.89 c =============================================================================== 203.94/204.08 c core #290 203.94/204.08 c 203.94/204.08 c 203.94/204.08 c Core size: 118 Core Weight: 1 Total Weight: 3158 203.94/204.08 c 203.94/204.08 c 203.94/204.08 c ============================[ Search Statistics ]============================== 203.94/204.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.94/204.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.94/204.08 c =============================================================================== 203.94/204.08 c | 0 | 54193 56539 90413 | 18846 0 nan | 0.000 % | 204.04/204.13 c =============================================================================== 204.24/204.32 c core #291 204.24/204.32 c 204.24/204.32 c 204.24/204.32 c Core size: 589 Core Weight: 1 Total Weight: 3159 204.24/204.32 c 204.24/204.32 c 204.24/204.32 c ============================[ Search Statistics ]============================== 204.24/204.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.24/204.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.24/204.32 c =============================================================================== 204.24/204.32 c | 0 | 54777 57105 91078 | 19035 0 nan | 0.000 % | 204.24/204.36 c =============================================================================== 204.44/204.55 c core #292 204.44/204.55 c 204.44/204.55 c 204.44/204.55 c Core size: 245 Core Weight: 1 Total Weight: 3160 204.44/204.55 c 204.44/204.55 c 204.44/204.55 c ============================[ Search Statistics ]============================== 204.44/204.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.44/204.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.44/204.55 c =============================================================================== 204.44/204.55 c | 0 | 55016 57337 91341 | 19112 0 nan | 0.000 % | 204.54/204.61 c =============================================================================== 204.74/204.80 c core #293 204.74/204.80 c 204.74/204.80 c 204.74/204.80 c Core size: 446 Core Weight: 1 Total Weight: 3161 204.74/204.80 c 204.74/204.80 c 204.74/204.80 c ============================[ Search Statistics ]============================== 204.74/204.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.74/204.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.74/204.80 c =============================================================================== 204.74/204.80 c | 0 | 55456 57752 92022 | 19250 0 nan | 0.000 % | 204.74/204.90 c =============================================================================== 204.93/205.09 c core #294 204.93/205.09 c 204.93/205.09 c 204.93/205.09 c Core size: 925 Core Weight: 1 Total Weight: 3162 204.93/205.09 c 204.93/205.09 c 204.93/205.09 c ============================[ Search Statistics ]============================== 204.93/205.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.93/205.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.93/205.09 c =============================================================================== 204.93/205.09 c | 0 | 56439 58671 93167 | 19557 0 nan | 0.000 % | 205.03/205.15 c =============================================================================== 205.24/205.34 c core #295 205.24/205.34 c 205.24/205.34 c 205.24/205.34 c Core size: 417 Core Weight: 1 Total Weight: 3163 205.24/205.34 c 205.24/205.34 c 205.24/205.34 c ============================[ Search Statistics ]============================== 205.24/205.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.24/205.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.24/205.34 c =============================================================================== 205.24/205.34 c | 0 | 56837 59057 93641 | 19685 0 nan | 0.000 % | 205.24/205.40 c =============================================================================== 205.44/205.59 c core #296 205.44/205.59 c 205.44/205.59 c 205.44/205.59 c Core size: 209 Core Weight: 1 Total Weight: 3164 205.44/205.59 c 205.44/205.59 c 205.44/205.59 c ============================[ Search Statistics ]============================== 205.44/205.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.44/205.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.44/205.59 c =============================================================================== 205.44/205.59 c | 0 | 57047 59258 94064 | 19752 0 nan | 0.000 % | 205.54/205.66 c =============================================================================== 205.74/205.85 c core #297 205.74/205.85 c 205.74/205.85 c 205.74/205.85 c Core size: 340 Core Weight: 1 Total Weight: 3165 205.74/205.85 c 205.74/205.85 c 205.74/205.85 c ============================[ Search Statistics ]============================== 205.74/205.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.74/205.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.74/205.85 c =============================================================================== 205.74/205.85 c | 0 | 57379 59583 94533 | 19861 0 nan | 0.000 % | 205.83/205.90 c =============================================================================== 206.03/206.10 c core #298 206.03/206.10 c 206.03/206.10 c 206.03/206.10 c Core size: 227 Core Weight: 1 Total Weight: 3166 206.03/206.10 c 206.03/206.10 c 206.03/206.10 c ============================[ Search Statistics ]============================== 206.03/206.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.03/206.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.03/206.10 c =============================================================================== 206.03/206.10 c | 0 | 57595 59795 94799 | 19931 0 nan | 0.000 % | 206.03/206.17 c =============================================================================== 206.23/206.37 c core #299 206.23/206.37 c 206.23/206.37 c 206.23/206.37 c Core size: 326 Core Weight: 1 Total Weight: 3167 206.23/206.37 c 206.23/206.37 c 206.23/206.37 c ============================[ Search Statistics ]============================== 206.23/206.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.23/206.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.23/206.37 c =============================================================================== 206.23/206.37 c | 0 | 57915 60081 95337 | 20027 0 nan | 0.000 % | 206.33/206.41 c =============================================================================== 206.54/206.60 c core #300 206.54/206.60 c 206.54/206.60 c 206.54/206.60 c Core size: 265 Core Weight: 1 Total Weight: 3168 206.54/206.60 c 206.54/206.60 c 206.54/206.60 c ============================[ Search Statistics ]============================== 206.54/206.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.54/206.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.54/206.60 c =============================================================================== 206.54/206.60 c | 0 | 58174 60332 95694 | 20110 0 nan | 0.000 % | 206.54/206.65 c =============================================================================== 206.74/206.85 c core #301 206.74/206.85 c 206.74/206.85 c 206.74/206.85 c Core size: 568 Core Weight: 1 Total Weight: 3169 206.74/206.85 c 206.74/206.85 c 206.74/206.85 c ============================[ Search Statistics ]============================== 206.74/206.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.74/206.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.74/206.85 c =============================================================================== 206.74/206.85 c | 0 | 58732 60872 96302 | 20290 0 nan | 0.000 % | 206.83/206.91 c =============================================================================== 207.03/207.11 c core #302 207.03/207.11 c 207.03/207.11 c 207.03/207.11 c Core size: 616 Core Weight: 1 Total Weight: 3170 207.03/207.11 c 207.03/207.11 c 207.03/207.11 c ============================[ Search Statistics ]============================== 207.03/207.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.03/207.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.03/207.11 c =============================================================================== 207.03/207.11 c | 0 | 59338 61469 97040 | 20489 0 nan | 0.000 % | 207.03/207.18 c =============================================================================== 207.23/207.38 c core #303 207.23/207.38 c 207.23/207.38 c 207.23/207.38 c Core size: 705 Core Weight: 1 Total Weight: 3171 207.23/207.38 c 207.23/207.38 c 207.23/207.38 c ============================[ Search Statistics ]============================== 207.23/207.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.23/207.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.23/207.38 c =============================================================================== 207.23/207.38 c | 0 | 60038 62143 97842 | 20714 0 nan | 0.000 % | 207.33/207.44 c =============================================================================== 207.53/207.64 c core #304 207.53/207.64 c 207.53/207.64 c 207.53/207.64 c Core size: 437 Core Weight: 1 Total Weight: 3172 207.53/207.64 c 207.53/207.64 c 207.53/207.64 c ============================[ Search Statistics ]============================== 207.53/207.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.53/207.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.53/207.64 c =============================================================================== 207.53/207.64 c | 0 | 60469 62554 98619 | 20851 0 nan | 0.000 % | 207.64/207.70 c =============================================================================== 207.74/207.90 c core #305 207.74/207.90 c 207.74/207.90 c 207.74/207.90 c Core size: 521 Core Weight: 1 Total Weight: 3173 207.74/207.90 c 207.74/207.90 c 207.74/207.90 c ============================[ Search Statistics ]============================== 207.74/207.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.74/207.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.74/207.90 c =============================================================================== 207.74/207.90 c | 0 | 60978 63054 99207 | 21018 0 nan | 0.000 % | 207.84/207.97 c =============================================================================== 208.03/208.17 c core #306 208.03/208.17 c 208.03/208.17 c 208.03/208.17 c Core size: 470 Core Weight: 1 Total Weight: 3174 208.03/208.17 c 208.03/208.17 c 208.03/208.17 c ============================[ Search Statistics ]============================== 208.03/208.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.03/208.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.03/208.17 c =============================================================================== 208.03/208.17 c | 0 | 61434 63491 99800 | 21163 0 nan | 0.000 % | 208.14/208.26 c =============================================================================== 208.34/208.46 c core #307 208.34/208.46 c 208.34/208.46 c 208.34/208.46 c Core size: 686 Core Weight: 1 Total Weight: 3175 208.34/208.46 c 208.34/208.46 c 208.34/208.46 c ============================[ Search Statistics ]============================== 208.34/208.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.34/208.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.34/208.46 c =============================================================================== 208.34/208.46 c | 0 | 62119 64136 100882 | 21378 0 nan | 0.000 % | 208.43/208.55 c =============================================================================== 208.63/208.75 c core #308 208.63/208.75 c 208.63/208.75 c 208.63/208.75 c Core size: 1087 Core Weight: 1 Total Weight: 3176 208.63/208.75 c 208.63/208.75 c 208.63/208.75 c ============================[ Search Statistics ]============================== 208.63/208.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.63/208.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.63/208.75 c =============================================================================== 208.63/208.75 c | 0 | 63197 65158 102490 | 21719 0 nan | 0.000 % | 208.74/208.81 c =============================================================================== 208.94/209.02 c core #309 208.94/209.02 c 208.94/209.02 c 208.94/209.02 c Core size: 494 Core Weight: 1 Total Weight: 3177 208.94/209.02 c 208.94/209.02 c 208.94/209.02 c ============================[ Search Statistics ]============================== 208.94/209.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.94/209.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.94/209.02 c =============================================================================== 208.94/209.02 c | 0 | 63681 65635 103071 | 21878 0 nan | 0.000 % | 208.94/209.09 c =============================================================================== 209.24/209.30 c core #310 209.24/209.30 c 209.24/209.30 c 209.24/209.30 c Core size: 926 Core Weight: 1 Total Weight: 3178 209.24/209.30 c 209.24/209.30 c 209.24/209.30 c ============================[ Search Statistics ]============================== 209.24/209.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.24/209.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.24/209.30 c =============================================================================== 209.24/209.30 c | 0 | 64590 66516 104540 | 22172 0 nan | 0.000 % | 209.24/209.36 c =============================================================================== 209.43/209.57 c core #311 209.43/209.57 c 209.43/209.57 c 209.43/209.57 c Core size: 585 Core Weight: 1 Total Weight: 3179 209.43/209.57 c 209.43/209.57 c 209.43/209.57 c ============================[ Search Statistics ]============================== 209.43/209.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.43/209.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.43/209.57 c =============================================================================== 209.43/209.57 c | 0 | 65176 67095 105459 | 22365 0 nan | 0.000 % | 209.53/209.65 c =============================================================================== 209.74/209.86 c core #312 209.74/209.86 c 209.74/209.86 c 209.74/209.86 c Core size: 943 Core Weight: 1 Total Weight: 3180 209.74/209.86 c 209.74/209.86 c 209.74/209.86 c ============================[ Search Statistics ]============================== 209.74/209.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.74/209.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.74/209.86 c =============================================================================== 209.74/209.86 c | 0 | 66103 68013 106552 | 22671 0 nan | 0.000 % | 209.83/209.91 c =============================================================================== 210.04/210.12 c core #313 210.04/210.12 c 210.04/210.12 c 210.04/210.12 c Core size: 288 Core Weight: 1 Total Weight: 3181 210.04/210.12 c 210.04/210.12 c 210.04/210.12 c ============================[ Search Statistics ]============================== 210.04/210.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.04/210.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.04/210.12 c =============================================================================== 210.04/210.12 c | 0 | 66379 68279 106854 | 22759 0 nan | 0.000 % | 210.13/210.20 c =============================================================================== 210.34/210.41 c core #314 210.34/210.41 c 210.34/210.41 c 210.34/210.41 c Core size: 428 Core Weight: 1 Total Weight: 3182 210.34/210.41 c 210.34/210.41 c 210.34/210.41 c ============================[ Search Statistics ]============================== 210.34/210.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.34/210.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.34/210.41 c =============================================================================== 210.34/210.41 c | 0 | 66804 68691 107375 | 22897 0 nan | 0.000 % | 210.34/210.49 c =============================================================================== 210.63/210.70 c core #315 210.63/210.70 c 210.63/210.70 c 210.63/210.70 c Core size: 755 Core Weight: 1 Total Weight: 3183 210.63/210.70 c 210.63/210.70 c 210.63/210.70 c ============================[ Search Statistics ]============================== 210.63/210.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.63/210.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.63/210.70 c =============================================================================== 210.63/210.70 c | 0 | 67627 69406 108542 | 23135 0 nan | 0.000 % | 210.63/210.76 c =============================================================================== 210.83/210.97 c core #316 210.83/210.97 c 210.83/210.97 c 210.83/210.97 c Core size: 411 Core Weight: 1 Total Weight: 3184 210.83/210.97 c 210.83/210.97 c 210.83/210.97 c ============================[ Search Statistics ]============================== 210.83/210.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.83/210.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.83/210.97 c =============================================================================== 210.83/210.97 c | 0 | 68037 69790 109244 | 23263 0 nan | 0.000 % | 210.93/211.05 c =============================================================================== 211.14/211.26 c core #317 211.14/211.26 c 211.14/211.26 c 211.14/211.26 c Core size: 719 Core Weight: 1 Total Weight: 3185 211.14/211.26 c 211.14/211.26 c 211.14/211.26 c ============================[ Search Statistics ]============================== 211.14/211.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.14/211.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.14/211.26 c =============================================================================== 211.14/211.26 c | 0 | 68753 70484 110052 | 23494 0 nan | 0.000 % | 211.23/211.33 c =============================================================================== 211.43/211.54 c core #318 211.43/211.54 c 211.43/211.54 c 211.43/211.54 c Core size: 596 Core Weight: 1 Total Weight: 3186 211.43/211.54 c 211.43/211.54 c 211.43/211.54 c ============================[ Search Statistics ]============================== 211.43/211.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.43/211.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.43/211.54 c =============================================================================== 211.43/211.54 c | 0 | 69349 71046 110949 | 23682 0 nan | 0.000 % | 211.54/211.61 c =============================================================================== 211.73/211.82 c core #319 211.73/211.82 c 211.73/211.82 c 211.73/211.82 c Core size: 696 Core Weight: 1 Total Weight: 3187 211.73/211.82 c 211.73/211.82 c 211.73/211.82 c ============================[ Search Statistics ]============================== 211.73/211.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.73/211.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.73/211.82 c =============================================================================== 211.73/211.82 c | 0 | 70042 71716 111741 | 23905 0 nan | 0.000 % | 211.73/211.89 c =============================================================================== 212.04/212.10 c core #320 212.04/212.10 c 212.04/212.10 c 212.04/212.10 c Core size: 555 Core Weight: 1 Total Weight: 3188 212.04/212.10 c 212.04/212.10 c 212.04/212.10 c ============================[ Search Statistics ]============================== 212.04/212.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.04/212.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.04/212.10 c =============================================================================== 212.04/212.10 c | 0 | 70577 72234 112583 | 24078 0 nan | 0.000 % | 212.04/212.18 c =============================================================================== 212.33/212.40 c core #321 212.33/212.40 c 212.33/212.40 c 212.33/212.40 c Core size: 926 Core Weight: 1 Total Weight: 3189 212.33/212.40 c 212.33/212.40 c 212.33/212.40 c ============================[ Search Statistics ]============================== 212.33/212.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.33/212.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.33/212.40 c =============================================================================== 212.33/212.40 c | 0 | 71480 73111 113558 | 24370 0 nan | 0.000 % | 212.33/212.49 c =============================================================================== 212.63/212.71 c core #322 212.63/212.71 c 212.63/212.71 c 212.63/212.71 c Core size: 838 Core Weight: 1 Total Weight: 3190 212.63/212.71 c 212.63/212.71 c 212.63/212.71 c ============================[ Search Statistics ]============================== 212.63/212.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.63/212.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.63/212.71 c =============================================================================== 212.63/212.71 c | 0 | 72320 73914 115028 | 24638 0 nan | 0.000 % | 212.63/212.76 c =============================================================================== 212.83/212.97 c core #323 212.83/212.97 c 212.83/212.97 c 212.83/212.97 c Core size: 370 Core Weight: 1 Total Weight: 3191 212.83/212.97 c 212.83/212.97 c 212.83/212.97 c ============================[ Search Statistics ]============================== 212.83/212.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.83/212.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.83/212.97 c =============================================================================== 212.83/212.97 c | 0 | 72689 74272 115550 | 24757 0 nan | 0.000 % | 212.93/213.04 c =============================================================================== 213.13/213.26 c core #324 213.13/213.26 c 213.13/213.26 c 213.13/213.26 c Core size: 547 Core Weight: 1 Total Weight: 3192 213.13/213.26 c 213.13/213.26 c 213.13/213.26 c ============================[ Search Statistics ]============================== 213.13/213.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.13/213.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.13/213.26 c =============================================================================== 213.13/213.26 c | 0 | 73236 74771 116520 | 24923 0 nan | 0.000 % | 213.24/213.35 c =============================================================================== 213.43/213.56 c core #325 213.43/213.56 c 213.43/213.56 c 213.43/213.56 c Core size: 796 Core Weight: 1 Total Weight: 3193 213.43/213.56 c 213.43/213.56 c 213.43/213.56 c ============================[ Search Statistics ]============================== 213.43/213.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.43/213.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.43/213.56 c =============================================================================== 213.43/213.56 c | 0 | 74011 75543 117435 | 25181 0 nan | 0.000 % | 213.53/213.64 c =============================================================================== 213.74/213.86 c core #326 213.74/213.86 c 213.74/213.86 c 213.74/213.86 c Core size: 853 Core Weight: 1 Total Weight: 3194 213.74/213.86 c 213.74/213.86 c 213.74/213.86 c ============================[ Search Statistics ]============================== 213.74/213.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.74/213.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.74/213.86 c =============================================================================== 213.74/213.86 c | 0 | 74852 76355 118650 | 25451 0 nan | 0.000 % | 213.83/213.94 c =============================================================================== 214.04/214.16 c core #327 214.04/214.16 c 214.04/214.16 c 214.04/214.16 c Core size: 746 Core Weight: 1 Total Weight: 3195 214.04/214.16 c 214.04/214.16 c 214.04/214.16 c ============================[ Search Statistics ]============================== 214.04/214.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.04/214.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.04/214.16 c =============================================================================== 214.04/214.16 c | 0 | 75588 77065 119709 | 25688 0 nan | 0.000 % | 214.14/214.28 c =============================================================================== 214.34/214.50 c core #328 214.34/214.50 c 214.34/214.50 c 214.34/214.50 c Core size: 857 Core Weight: 1 Total Weight: 3196 214.34/214.50 c 214.34/214.50 c 214.34/214.50 c ============================[ Search Statistics ]============================== 214.34/214.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.34/214.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.34/214.50 c =============================================================================== 214.34/214.50 c | 0 | 76444 77851 121121 | 25950 0 nan | 0.000 % | 214.44/214.58 c =============================================================================== 214.73/214.80 c core #329 214.73/214.80 c 214.73/214.80 c 214.73/214.80 c Core size: 501 Core Weight: 1 Total Weight: 3197 214.73/214.80 c 214.73/214.80 c 214.73/214.80 c ============================[ Search Statistics ]============================== 214.73/214.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.73/214.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.73/214.80 c =============================================================================== 214.73/214.80 c | 0 | 76944 78291 122324 | 26097 0 nan | 0.000 % | 214.83/214.94 c =============================================================================== 215.03/215.16 c core #330 215.03/215.16 c 215.03/215.16 c 215.03/215.16 c Core size: 648 Core Weight: 1 Total Weight: 3198 215.03/215.16 c 215.03/215.16 c 215.03/215.16 c ============================[ Search Statistics ]============================== 215.03/215.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.03/215.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.03/215.16 c =============================================================================== 215.03/215.16 c | 0 | 77590 78867 123343 | 26289 0 nan | 0.000 % | 215.14/215.24 c =============================================================================== 215.33/215.46 c core #331 215.33/215.46 c 215.33/215.46 c 215.33/215.46 c Core size: 542 Core Weight: 1 Total Weight: 3199 215.33/215.46 c 215.33/215.46 c 215.33/215.46 c ============================[ Search Statistics ]============================== 215.33/215.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.33/215.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.33/215.46 c =============================================================================== 215.33/215.46 c | 0 | 78129 79371 124131 | 26457 0 nan | 0.000 % | 215.43/215.55 c =============================================================================== 215.64/215.77 c core #332 215.64/215.77 c 215.64/215.77 c 215.64/215.77 c Core size: 583 Core Weight: 1 Total Weight: 3200 215.64/215.77 c 215.64/215.77 c 215.64/215.77 c ============================[ Search Statistics ]============================== 215.64/215.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.64/215.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.64/215.77 c =============================================================================== 215.64/215.77 c | 0 | 78704 79917 125051 | 26639 0 nan | 0.000 % | 215.73/215.89 c =============================================================================== 216.03/216.12 c core #333 216.03/216.12 c 216.03/216.12 c 216.03/216.12 c Core size: 713 Core Weight: 1 Total Weight: 3201 216.03/216.12 c 216.03/216.12 c 216.03/216.12 c ============================[ Search Statistics ]============================== 216.03/216.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.03/216.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.03/216.12 c =============================================================================== 216.03/216.12 c | 0 | 79410 80564 126439 | 26854 0 nan | 0.000 % | 216.13/216.22 c =============================================================================== 216.34/216.44 c core #334 216.34/216.44 c 216.34/216.44 c 216.34/216.44 c Core size: 523 Core Weight: 1 Total Weight: 3202 216.34/216.44 c 216.34/216.44 c 216.34/216.44 c ============================[ Search Statistics ]============================== 216.34/216.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.34/216.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.34/216.44 c =============================================================================== 216.34/216.44 c | 0 | 79927 81070 127149 | 27023 0 nan | 0.000 % | 216.43/216.56 c =============================================================================== 216.64/216.79 c core #335 216.64/216.79 c 216.64/216.79 c 216.64/216.79 c Core size: 500 Core Weight: 1 Total Weight: 3203 216.64/216.79 c 216.64/216.79 c 216.64/216.79 c ============================[ Search Statistics ]============================== 216.64/216.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.64/216.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.64/216.79 c =============================================================================== 216.64/216.79 c | 0 | 80424 81537 127789 | 27179 0 nan | 0.000 % | 216.83/216.90 c =============================================================================== 217.03/217.13 c core #336 217.03/217.13 c 217.03/217.13 c 217.03/217.13 c Core size: 421 Core Weight: 1 Total Weight: 3204 217.03/217.13 c 217.03/217.13 c 217.03/217.13 c ============================[ Search Statistics ]============================== 217.03/217.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.03/217.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.03/217.13 c =============================================================================== 217.03/217.13 c | 0 | 80839 81892 128548 | 27297 0 nan | 0.000 % | 217.14/217.27 c =============================================================================== 217.43/217.50 c core #337 217.43/217.50 c 217.43/217.50 c 217.43/217.50 c Core size: 946 Core Weight: 1 Total Weight: 3205 217.43/217.50 c 217.43/217.50 c 217.43/217.50 c ============================[ Search Statistics ]============================== 217.43/217.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.43/217.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.43/217.50 c =============================================================================== 217.43/217.50 c | 0 | 81785 82756 130445 | 27585 0 nan | 0.000 % | 217.53/217.61 c =============================================================================== 217.74/217.84 c core #338 217.74/217.84 c 217.74/217.84 c 217.74/217.84 c Core size: 936 Core Weight: 1 Total Weight: 3206 217.74/217.84 c 217.74/217.84 c 217.74/217.84 c ============================[ Search Statistics ]============================== 217.74/217.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.74/217.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.74/217.84 c =============================================================================== 217.74/217.84 c | 0 | 82715 83667 131674 | 27889 0 nan | 0.000 % | 217.83/217.94 c =============================================================================== 218.04/218.17 c core #339 218.04/218.17 c 218.04/218.17 c 218.04/218.17 c Core size: 880 Core Weight: 1 Total Weight: 3207 218.04/218.17 c 218.04/218.17 c 218.04/218.17 c ============================[ Search Statistics ]============================== 218.04/218.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.04/218.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.04/218.17 c =============================================================================== 218.04/218.17 c | 0 | 83591 84501 133128 | 28167 0 nan | 0.000 % | 218.24/218.37 c =============================================================================== 218.53/218.60 c core #340 218.53/218.60 c 218.53/218.60 c 218.53/218.60 c Core size: 873 Core Weight: 1 Total Weight: 3208 218.53/218.60 c 218.53/218.60 c 218.53/218.60 c ============================[ Search Statistics ]============================== 218.53/218.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.53/218.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.53/218.60 c =============================================================================== 218.53/218.60 c | 0 | 84453 85340 134400 | 28446 0 nan | 0.000 % | 218.63/218.73 c =============================================================================== 218.84/218.97 c core #341 218.84/218.97 c 218.84/218.97 c 218.84/218.97 c Core size: 934 Core Weight: 1 Total Weight: 3209 218.84/218.97 c 218.84/218.97 c 218.84/218.97 c ============================[ Search Statistics ]============================== 218.84/218.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.84/218.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.84/218.97 c =============================================================================== 218.84/218.97 c | 0 | 85383 86232 136028 | 28744 0 nan | 0.000 % | 219.03/219.12 c =============================================================================== 219.24/219.36 c core #342 219.24/219.36 c 219.24/219.36 c 219.24/219.36 c Core size: 1115 Core Weight: 1 Total Weight: 3210 219.24/219.36 c 219.24/219.36 c 219.24/219.36 c ============================[ Search Statistics ]============================== 219.24/219.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.24/219.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.24/219.36 c =============================================================================== 219.24/219.36 c | 0 | 86485 87297 137584 | 29099 0 nan | 0.000 % | 219.34/219.50 c =============================================================================== 219.63/219.73 c core #343 219.63/219.73 c 219.63/219.73 c 219.63/219.73 c Core size: 697 Core Weight: 1 Total Weight: 3211 219.63/219.73 c 219.63/219.73 c 219.63/219.73 c ============================[ Search Statistics ]============================== 219.63/219.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.63/219.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.63/219.73 c =============================================================================== 219.63/219.73 c | 0 | 87176 87922 138672 | 29307 0 nan | 0.000 % | 219.84/219.98 c =============================================================================== 220.13/220.22 c core #344 220.13/220.22 c 220.13/220.22 c 220.13/220.22 c Core size: 1651 Core Weight: 1 Total Weight: 3212 220.13/220.22 c 220.13/220.22 c 220.13/220.22 c ============================[ Search Statistics ]============================== 220.13/220.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.13/220.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.13/220.22 c =============================================================================== 220.13/220.22 c | 0 | 88816 89447 140971 | 29815 0 nan | 0.000 % | 220.23/220.34 c =============================================================================== 220.43/220.58 c core #345 220.43/220.58 c 220.43/220.58 c 220.43/220.58 c Core size: 420 Core Weight: 1 Total Weight: 3213 220.43/220.58 c 220.43/220.58 c 220.43/220.58 c ============================[ Search Statistics ]============================== 220.43/220.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.43/220.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.43/220.58 c =============================================================================== 220.43/220.58 c | 0 | 89224 89800 141679 | 29933 0 nan | 0.000 % | 220.63/220.73 c | 100 | 89217 89800 141679 | 32926 95 118 | 2.553 % | 220.63/220.76 c =============================================================================== 220.94/221.01 c core #346 220.94/221.01 c 220.94/221.01 c 220.94/221.01 c Core size: 1207 Core Weight: 1 Total Weight: 3214 220.94/221.01 c 220.94/221.01 c 220.94/221.01 c ============================[ Search Statistics ]============================== 220.94/221.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.94/221.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.94/221.01 c =============================================================================== 220.94/221.01 c | 0 | 90436 90924 144590 | 30308 0 nan | 0.000 % | 221.04/221.13 c =============================================================================== 221.24/221.37 c core #347 221.24/221.37 c 221.24/221.37 c 221.24/221.37 c Core size: 947 Core Weight: 1 Total Weight: 3215 221.24/221.37 c 221.24/221.37 c 221.24/221.37 c ============================[ Search Statistics ]============================== 221.24/221.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 221.24/221.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 221.24/221.37 c =============================================================================== 221.24/221.37 c | 0 | 91365 91830 145880 | 30610 0 nan | 0.000 % | 221.43/221.56 c =============================================================================== 221.73/221.82 c core #348 221.73/221.82 c 221.73/221.82 c 221.73/221.82 c Core size: 1017 Core Weight: 1 Total Weight: 3216 221.73/221.82 c 221.73/221.82 c 221.73/221.82 c ============================[ Search Statistics ]============================== 221.73/221.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 221.73/221.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 221.73/221.82 c =============================================================================== 221.73/221.82 c | 0 | 92382 92756 147508 | 30918 0 nan | 0.000 % | 221.83/221.95 c =============================================================================== 222.04/222.20 c core #349 222.04/222.20 c 222.04/222.20 c 222.04/222.20 c Core size: 783 Core Weight: 1 Total Weight: 3217 222.04/222.20 c 222.04/222.20 c 222.04/222.20 c ============================[ Search Statistics ]============================== 222.04/222.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.04/222.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.04/222.20 c =============================================================================== 222.04/222.20 c | 0 | 93167 93486 148855 | 31162 0 nan | 0.000 % | 222.24/222.33 c =============================================================================== 222.43/222.58 c core #350 222.43/222.58 c 222.43/222.58 c 222.43/222.58 c Core size: 693 Core Weight: 1 Total Weight: 3218 222.43/222.58 c 222.43/222.58 c 222.43/222.58 c ============================[ Search Statistics ]============================== 222.43/222.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.43/222.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.43/222.58 c =============================================================================== 222.43/222.58 c | 0 | 93850 94063 150113 | 31354 0 nan | 0.000 % | 222.73/222.83 c =============================================================================== 222.93/223.08 c core #351 222.93/223.08 c 222.93/223.08 c 222.93/223.08 c Core size: 1049 Core Weight: 1 Total Weight: 3219 222.93/223.08 c 222.93/223.08 c 222.93/223.08 c ============================[ Search Statistics ]============================== 222.93/223.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.93/223.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.93/223.08 c =============================================================================== 222.93/223.08 c | 0 | 94902 94992 152380 | 31664 0 nan | 0.000 % | 223.14/223.24 c =============================================================================== 223.33/223.48 c core #352 223.33/223.48 c 223.33/223.48 c 223.33/223.48 c Core size: 1215 Core Weight: 1 Total Weight: 3220 223.33/223.48 c 223.33/223.48 c 223.33/223.48 c ============================[ Search Statistics ]============================== 223.33/223.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.33/223.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.33/223.48 c =============================================================================== 223.33/223.48 c | 0 | 96122 96109 154899 | 32036 0 nan | 0.000 % | 223.53/223.68 c =============================================================================== 223.83/223.92 c core #353 223.83/223.92 c 223.83/223.92 c 223.83/223.92 c Core size: 992 Core Weight: 1 Total Weight: 3221 223.83/223.92 c 223.83/223.92 c 223.83/223.92 c ============================[ Search Statistics ]============================== 223.83/223.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.83/223.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.83/223.92 c =============================================================================== 223.83/223.92 c | 0 | 97100 97030 156292 | 32343 0 nan | 0.000 % | 224.03/224.19 c =============================================================================== 224.34/224.43 c core #354 224.34/224.43 c 224.34/224.43 c 224.34/224.43 c Core size: 1481 Core Weight: 1 Total Weight: 3222 224.34/224.43 c 224.34/224.43 c 224.34/224.43 c ============================[ Search Statistics ]============================== 224.34/224.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.34/224.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.34/224.43 c =============================================================================== 224.34/224.43 c | 0 | 98585 98337 159005 | 32779 0 nan | 0.000 % | 224.43/224.52 c =============================================================================== 224.63/224.77 c core #355 224.63/224.77 c 224.63/224.77 c 224.63/224.77 c Core size: 478 Core Weight: 1 Total Weight: 3223 224.63/224.77 c 224.63/224.77 c 224.63/224.77 c ============================[ Search Statistics ]============================== 224.63/224.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.63/224.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.63/224.77 c =============================================================================== 224.63/224.77 c | 0 | 99059 98787 160007 | 32929 0 nan | 0.000 % | 224.83/224.93 c =============================================================================== 225.03/225.19 c core #356 225.03/225.19 c 225.03/225.19 c 225.03/225.19 c Core size: 890 Core Weight: 1 Total Weight: 3224 225.03/225.19 c 225.03/225.19 c 225.03/225.19 c ============================[ Search Statistics ]============================== 225.03/225.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.03/225.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.03/225.19 c =============================================================================== 225.03/225.19 c | 0 | 99953 99556 162184 | 33185 0 nan | 0.000 % | 225.33/225.46 c =============================================================================== 225.63/225.72 c core #357 225.63/225.72 c 225.63/225.72 c 225.63/225.72 c Core size: 792 Core Weight: 1 Total Weight: 3225 225.63/225.72 c 225.63/225.72 c 225.63/225.72 c ============================[ Search Statistics ]============================== 225.63/225.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.63/225.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.63/225.72 c =============================================================================== 225.63/225.72 c | 0 | 100742 100215 163668 | 33405 0 nan | 0.000 % | 225.73/225.84 c =============================================================================== 226.03/226.10 c core #358 226.03/226.10 c 226.03/226.10 c 226.03/226.10 c Core size: 472 Core Weight: 1 Total Weight: 3226 226.03/226.10 c 226.03/226.10 c 226.03/226.10 c ============================[ Search Statistics ]============================== 226.03/226.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.03/226.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.03/226.10 c =============================================================================== 226.03/226.10 c | 0 | 101213 100629 164738 | 33543 0 nan | 0.000 % | 226.13/226.29 c =============================================================================== 226.44/226.55 c core #359 226.44/226.55 c 226.44/226.55 c 226.44/226.55 c Core size: 1138 Core Weight: 1 Total Weight: 3227 226.44/226.55 c 226.44/226.55 c 226.44/226.55 c ============================[ Search Statistics ]============================== 226.44/226.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.44/226.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.44/226.55 c =============================================================================== 226.44/226.55 c | 0 | 102354 101638 166929 | 33879 0 nan | 0.000 % | 226.63/226.76 c =============================================================================== 226.93/227.02 c core #360 226.93/227.02 c 226.93/227.02 c 226.93/227.02 c Core size: 775 Core Weight: 1 Total Weight: 3228 226.93/227.02 c 226.93/227.02 c 226.93/227.02 c ============================[ Search Statistics ]============================== 226.93/227.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.93/227.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.93/227.02 c =============================================================================== 226.93/227.02 c | 0 | 103129 102301 168506 | 34100 0 nan | 0.000 % | 227.13/227.22 c =============================================================================== 227.33/227.48 c core #361 227.33/227.48 c 227.33/227.48 c 227.33/227.48 c Core size: 683 Core Weight: 1 Total Weight: 3229 227.33/227.48 c 227.33/227.48 c 227.33/227.48 c ============================[ Search Statistics ]============================== 227.33/227.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.33/227.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.33/227.48 c =============================================================================== 227.33/227.48 c | 0 | 103807 102932 169443 | 34310 0 nan | 0.000 % | 227.63/227.75 c =============================================================================== 227.93/228.00 c core #362 227.93/228.00 c 227.93/228.00 c 227.93/228.00 c Core size: 984 Core Weight: 1 Total Weight: 3230 227.93/228.00 c 227.93/228.00 c 227.93/228.00 c ============================[ Search Statistics ]============================== 227.93/228.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.93/228.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.93/228.00 c =============================================================================== 227.93/228.00 c | 0 | 104790 103802 171414 | 34600 0 nan | 0.000 % | 228.03/228.19 c | 100 | 104782 103802 171414 | 38060 92 75 | 2.111 % | 228.13/228.21 c =============================================================================== 228.33/228.48 c core #363 228.33/228.48 c 228.33/228.48 c 228.33/228.48 c Core size: 512 Core Weight: 1 Total Weight: 3231 228.33/228.48 c 228.33/228.48 c 228.33/228.48 c ============================[ Search Statistics ]============================== 228.33/228.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.33/228.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.33/228.48 c =============================================================================== 228.33/228.48 c | 0 | 105304 104245 172714 | 34748 0 nan | 0.000 % | 228.53/228.65 c | 100 | 105293 104245 172714 | 38223 96 64 | 2.102 % | 228.64/228.70 c =============================================================================== 228.83/228.97 c core #364 228.83/228.97 c 228.83/228.97 c 228.83/228.97 c Core size: 805 Core Weight: 1 Total Weight: 3232 228.83/228.97 c 228.83/228.97 c 228.83/228.97 c ============================[ Search Statistics ]============================== 228.83/228.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.83/228.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.83/228.97 c =============================================================================== 228.83/228.97 c | 0 | 106109 104981 174445 | 34993 0 nan | 0.000 % | 229.03/229.17 c | 101 | 105998 104981 174445 | 38493 86 161 | 3.013 % | 229.13/229.20 c =============================================================================== 229.33/229.47 c core #365 229.33/229.47 c 229.33/229.47 c 229.33/229.47 c Core size: 1303 Core Weight: 1 Total Weight: 3233 229.33/229.47 c 229.33/229.47 c 229.33/229.47 c ============================[ Search Statistics ]============================== 229.33/229.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.33/229.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.33/229.47 c =============================================================================== 229.33/229.47 c | 0 | 107405 106220 177358 | 35406 0 nan | 0.000 % | 229.43/229.58 c =============================================================================== 229.74/229.85 c core #366 229.74/229.85 c 229.74/229.85 c 229.74/229.85 c Core size: 394 Core Weight: 1 Total Weight: 3234 229.74/229.85 c 229.74/229.85 c 229.74/229.85 c ============================[ Search Statistics ]============================== 229.74/229.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.74/229.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.74/229.85 c =============================================================================== 229.74/229.85 c | 0 | 107800 106562 178388 | 35520 0 nan | 0.000 % | 230.03/230.10 c | 100 | 107686 106562 178388 | 39072 69 139 | 2.140 % | 230.03/230.18 c =============================================================================== 230.33/230.43 c core #367 230.33/230.43 c 230.33/230.43 c 230.33/230.43 c Core size: 1281 Core Weight: 1 Total Weight: 3235 230.33/230.43 c 230.33/230.43 c 230.33/230.43 c ============================[ Search Statistics ]============================== 230.33/230.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.33/230.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.33/230.43 c =============================================================================== 230.33/230.43 c | 0 | 109079 107610 181100 | 35870 0 nan | 0.000 % | 230.53/230.63 c =============================================================================== 230.73/230.88 c core #368 230.73/230.88 c 230.73/230.88 c 230.73/230.88 c Core size: 553 Core Weight: 1 Total Weight: 3236 230.73/230.88 c 230.73/230.88 c 230.73/230.88 c ============================[ Search Statistics ]============================== 230.73/230.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.73/230.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.73/230.88 c =============================================================================== 230.73/230.88 c | 0 | 109631 108110 182625 | 36036 0 nan | 0.000 % | 231.03/231.14 c =============================================================================== 231.33/231.41 c core #369 231.33/231.41 c 231.33/231.41 c 231.33/231.41 c Core size: 667 Core Weight: 1 Total Weight: 3237 231.33/231.41 c 231.33/231.41 c 231.33/231.41 c ============================[ Search Statistics ]============================== 231.33/231.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.33/231.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.33/231.41 c =============================================================================== 231.33/231.41 c | 0 | 110300 108707 184405 | 36235 0 nan | 0.000 % | 231.53/231.61 c =============================================================================== 231.73/231.89 c core #370 231.73/231.89 c 231.73/231.89 c 231.73/231.89 c Core size: 1080 Core Weight: 1 Total Weight: 3238 231.73/231.89 c 231.73/231.89 c 231.73/231.89 c ============================[ Search Statistics ]============================== 231.73/231.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.73/231.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.73/231.89 c =============================================================================== 231.73/231.89 c | 0 | 111381 109629 187213 | 36543 0 nan | 0.000 % | 231.94/232.09 c =============================================================================== 232.22/232.37 c core #371 232.22/232.37 c 232.22/232.37 c 232.22/232.37 c Core size: 1089 Core Weight: 1 Total Weight: 3239 232.22/232.37 c 232.22/232.37 c 232.22/232.37 c ============================[ Search Statistics ]============================== 232.22/232.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.22/232.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.22/232.37 c =============================================================================== 232.22/232.37 c | 0 | 112470 110602 189372 | 36867 0 nan | 0.000 % | 232.43/232.59 c =============================================================================== 232.73/232.85 c core #372 232.73/232.85 c 232.73/232.85 c 232.73/232.85 c Core size: 734 Core Weight: 1 Total Weight: 3240 232.73/232.85 c 232.73/232.85 c 232.73/232.85 c ============================[ Search Statistics ]============================== 232.73/232.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.73/232.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.73/232.85 c =============================================================================== 232.73/232.85 c | 0 | 113199 111266 190713 | 37088 0 nan | 0.000 % | 233.03/233.12 c =============================================================================== 233.32/233.40 c core #373 233.32/233.40 c 233.32/233.40 c 233.32/233.40 c Core size: 823 Core Weight: 1 Total Weight: 3241 233.32/233.40 c 233.32/233.40 c 233.32/233.40 c ============================[ Search Statistics ]============================== 233.32/233.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.32/233.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.32/233.40 c =============================================================================== 233.32/233.40 c | 0 | 114022 112006 192819 | 37335 0 nan | 0.000 % | 233.53/233.64 c =============================================================================== 233.82/233.90 c core #374 233.82/233.90 c 233.82/233.90 c 233.82/233.90 c Core size: 524 Core Weight: 1 Total Weight: 3242 233.82/233.90 c 233.82/233.90 c 233.82/233.90 c ============================[ Search Statistics ]============================== 233.82/233.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.82/233.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.82/233.90 c =============================================================================== 233.82/233.90 c | 0 | 114542 112493 193844 | 37497 0 nan | 0.000 % | 234.14/234.25 c | 101 | 114285 112493 193844 | 41247 99 140 | 2.114 % | 234.24/234.38 c =============================================================================== 234.53/234.66 c core #375 234.53/234.66 c 234.53/234.66 c 234.53/234.66 c Core size: 1251 Core Weight: 1 Total Weight: 3243 234.53/234.66 c 234.53/234.66 c 234.53/234.66 c ============================[ Search Statistics ]============================== 234.53/234.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.53/234.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.53/234.66 c =============================================================================== 234.53/234.66 c | 0 | 115787 113656 196219 | 37885 0 nan | 0.000 % | 234.83/234.96 c =============================================================================== 235.12/235.24 c core #376 235.12/235.24 c 235.12/235.24 c 235.12/235.24 c Core size: 620 Core Weight: 1 Total Weight: 3244 235.12/235.24 c 235.12/235.24 c 235.12/235.24 c ============================[ Search Statistics ]============================== 235.12/235.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.12/235.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.12/235.24 c =============================================================================== 235.12/235.24 c | 0 | 116501 114238 197931 | 38079 0 nan | 0.000 % | 235.53/235.60 c | 100 | 116491 114238 197931 | 41887 86 57 | 1.790 % | 235.53/235.66 c =============================================================================== 235.83/235.94 c core #377 235.83/235.94 c 235.83/235.94 c 235.83/235.94 c Core size: 418 Core Weight: 1 Total Weight: 3245 235.83/235.94 c 235.83/235.94 c 235.83/235.94 c ============================[ Search Statistics ]============================== 235.83/235.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.83/235.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.83/235.94 c =============================================================================== 235.83/235.94 c | 0 | 116918 114643 199150 | 38214 0 nan | 0.000 % | 236.03/236.17 c =============================================================================== 236.33/236.46 c core #378 236.33/236.46 c 236.33/236.46 c 236.33/236.46 c Core size: 701 Core Weight: 1 Total Weight: 3246 236.33/236.46 c 236.33/236.46 c 236.33/236.46 c ============================[ Search Statistics ]============================== 236.33/236.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.33/236.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.33/236.46 c =============================================================================== 236.33/236.46 c | 0 | 117620 115287 200669 | 38429 0 nan | 0.000 % | 236.53/236.64 c =============================================================================== 236.83/236.90 c core #379 236.83/236.90 c 236.83/236.90 c 236.83/236.90 c Core size: 547 Core Weight: 1 Total Weight: 3247 236.83/236.90 c 236.83/236.90 c 236.83/236.90 c ============================[ Search Statistics ]============================== 236.83/236.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.83/236.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.83/236.90 c =============================================================================== 236.83/236.90 c | 0 | 118164 115807 201531 | 38602 0 nan | 0.000 % | 237.12/237.20 c | 101 | 118160 115807 201531 | 42462 96 236 | 1.754 % | 237.22/237.36 c =============================================================================== 237.53/237.65 c core #380 237.53/237.65 c 237.53/237.65 c 237.53/237.65 c Core size: 1999 Core Weight: 1 Total Weight: 3248 237.53/237.65 c 237.53/237.65 c 237.53/237.65 c ============================[ Search Statistics ]============================== 237.53/237.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.53/237.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.53/237.65 c =============================================================================== 237.53/237.65 c | 0 | 120162 117495 205804 | 39165 0 nan | 0.000 % | 237.73/237.89 c =============================================================================== 238.03/238.16 c core #381 238.03/238.16 c 238.03/238.16 c 238.03/238.16 c Core size: 1227 Core Weight: 1 Total Weight: 3249 238.03/238.16 c 238.03/238.16 c 238.03/238.16 c ============================[ Search Statistics ]============================== 238.03/238.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.03/238.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.03/238.16 c =============================================================================== 238.03/238.16 c | 0 | 121386 118507 208466 | 39502 0 nan | 0.000 % | 238.42/238.53 c | 100 | 121384 118507 208466 | 43452 98 195 | 1.698 % | 238.53/238.63 c =============================================================================== 238.82/238.92 c core #382 238.82/238.92 c 238.82/238.92 c 238.82/238.92 c Core size: 1403 Core Weight: 1 Total Weight: 3250 238.82/238.92 c 238.82/238.92 c 238.82/238.92 c ============================[ Search Statistics ]============================== 238.82/238.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.82/238.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.82/238.92 c =============================================================================== 238.82/238.92 c | 0 | 122779 119822 210777 | 39940 0 nan | 0.000 % | 239.03/239.17 c =============================================================================== 239.33/239.44 c core #383 239.33/239.44 c 239.33/239.44 c 239.33/239.44 c Core size: 293 Core Weight: 1 Total Weight: 3251 239.33/239.44 c 239.33/239.44 c 239.33/239.44 c ============================[ Search Statistics ]============================== 239.33/239.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.33/239.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.33/239.44 c =============================================================================== 239.33/239.44 c | 0 | 123073 120090 211534 | 40030 0 nan | 0.000 % | 239.53/239.68 c | 102 | 123066 120090 211534 | 44033 99 56 | 1.675 % | 239.63/239.74 c =============================================================================== 239.93/240.02 c core #384 239.93/240.02 c 239.93/240.02 c 239.93/240.02 c Core size: 1270 Core Weight: 1 Total Weight: 3252 239.93/240.02 c 239.93/240.02 c 239.93/240.02 c ============================[ Search Statistics ]============================== 239.93/240.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.93/240.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.93/240.02 c =============================================================================== 239.93/240.02 c | 0 | 124344 121194 214642 | 40398 0 nan | 0.000 % | 240.13/240.25 c =============================================================================== 240.42/240.54 c core #385 240.42/240.54 c 240.42/240.54 c 240.42/240.54 c Core size: 730 Core Weight: 1 Total Weight: 3253 240.42/240.54 c 240.42/240.54 c 240.42/240.54 c ============================[ Search Statistics ]============================== 240.42/240.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.42/240.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.42/240.54 c =============================================================================== 240.42/240.54 c | 0 | 125065 121816 216539 | 40605 0 nan | 0.000 % | 240.73/240.84 c | 100 | 125053 121816 216539 | 44665 76 125 | 1.643 % | 240.73/240.88 c =============================================================================== 241.03/241.19 c core #386 241.03/241.19 c 241.03/241.19 c 241.03/241.19 c Core size: 1098 Core Weight: 1 Total Weight: 3254 241.03/241.19 c 241.03/241.19 c 241.03/241.19 c ============================[ Search Statistics ]============================== 241.03/241.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.03/241.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.03/241.19 c =============================================================================== 241.03/241.19 c | 0 | 126162 122816 219015 | 40938 0 nan | 0.000 % | 241.23/241.32 c =============================================================================== 241.53/241.60 c core #387 241.53/241.60 c 241.53/241.60 c 241.53/241.60 c Core size: 261 Core Weight: 1 Total Weight: 3255 241.53/241.60 c 241.53/241.60 c 241.53/241.60 c ============================[ Search Statistics ]============================== 241.53/241.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.53/241.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.53/241.60 c =============================================================================== 241.53/241.60 c | 0 | 126417 123061 219514 | 41020 0 nan | 0.000 % | 241.83/241.92 c | 106 | 126415 123061 219514 | 45122 104 104 | 1.613 % | 242.02/242.14 c | 256 | 125851 123061 219514 | 49634 139 65 | 2.052 % | 242.12/242.25 c =============================================================================== 242.42/242.55 c core #388 242.42/242.55 c 242.42/242.55 c 242.42/242.55 c Core size: 1169 Core Weight: 1 Total Weight: 3256 242.42/242.55 c 242.42/242.55 c 242.42/242.55 c ============================[ Search Statistics ]============================== 242.42/242.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 242.42/242.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 242.42/242.55 c =============================================================================== 242.42/242.55 c | 0 | 127587 124098 222958 | 41366 0 nan | 0.000 % | 242.73/242.89 c | 100 | 127582 124098 222958 | 45502 95 76 | 1.594 % | 243.03/243.16 c =============================================================================== 243.32/243.46 c core #389 243.32/243.46 c 243.32/243.46 c 243.32/243.46 c Core size: 1704 Core Weight: 1 Total Weight: 3257 243.32/243.46 c 243.32/243.46 c 243.32/243.46 c ============================[ Search Statistics ]============================== 243.32/243.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 243.32/243.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 243.32/243.46 c =============================================================================== 243.32/243.46 c | 0 | 129290 125293 227020 | 41764 0 nan | 0.000 % | 243.73/243.80 c | 100 | 129272 125293 227020 | 45940 69 148 | 1.580 % | 243.73/243.84 c =============================================================================== 244.03/244.13 c core #390 244.03/244.13 c 244.03/244.13 c 244.03/244.13 c Core size: 886 Core Weight: 1 Total Weight: 3258 244.03/244.13 c 244.03/244.13 c 244.03/244.13 c ============================[ Search Statistics ]============================== 244.03/244.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 244.03/244.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 244.03/244.13 c =============================================================================== 244.03/244.13 c | 0 | 130178 126068 229481 | 42022 0 nan | 0.000 % | 244.33/244.45 c | 100 | 130178 126068 229481 | 46224 100 143 | 1.550 % | 244.63/244.76 c | 251 | 130157 126068 229481 | 50847 238 140 | 1.565 % | 244.73/244.88 c =============================================================================== 245.02/245.19 c core #391 245.02/245.19 c 245.02/245.19 c 245.02/245.19 c Core size: 1660 Core Weight: 1 Total Weight: 3259 245.02/245.19 c 245.02/245.19 c 245.02/245.19 c ============================[ Search Statistics ]============================== 245.02/245.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.02/245.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.02/245.19 c =============================================================================== 245.02/245.19 c | 0 | 131837 127508 233404 | 42502 0 nan | 0.000 % | 245.53/245.66 c =============================================================================== 245.83/245.97 c core #392 245.83/245.97 c 245.83/245.97 c 245.83/245.97 c Core size: 1268 Core Weight: 1 Total Weight: 3260 245.83/245.97 c 245.83/245.97 c 245.83/245.97 c ============================[ Search Statistics ]============================== 245.83/245.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.83/245.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.83/245.97 c =============================================================================== 245.83/245.97 c | 0 | 133100 128460 236108 | 42820 0 nan | 0.000 % | 246.24/246.39 c | 102 | 133095 128460 236108 | 47102 101 94 | 1.512 % | 246.63/246.72 c =============================================================================== 246.93/247.01 c core #393 246.93/247.01 c 246.93/247.01 c 246.93/247.01 c Core size: 2323 Core Weight: 1 Total Weight: 3261 246.93/247.01 c 246.93/247.01 c 246.93/247.01 c ============================[ Search Statistics ]============================== 246.93/247.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.93/247.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.93/247.01 c =============================================================================== 246.93/247.01 c | 0 | 135422 130389 240745 | 43463 0 nan | 0.000 % | 247.33/247.40 c | 102 | 135415 130389 240745 | 47809 92 203 | 1.485 % | 247.62/247.77 c =============================================================================== 247.92/248.07 c core #394 247.92/248.07 c 247.92/248.07 c 247.92/248.07 c Core size: 2187 Core Weight: 1 Total Weight: 3262 247.92/248.07 c 247.92/248.07 c 247.92/248.07 c ============================[ Search Statistics ]============================== 247.92/248.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 247.92/248.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 247.92/248.07 c =============================================================================== 247.92/248.07 c | 0 | 137607 132070 245923 | 44023 0 nan | 0.000 % | 248.33/248.45 c | 100 | 137605 132070 245923 | 48425 99 108 | 1.450 % | 248.43/248.55 c =============================================================================== 248.72/248.87 c core #395 248.72/248.87 c 248.72/248.87 c 248.72/248.87 c Core size: 1604 Core Weight: 1 Total Weight: 3263 248.72/248.87 c 248.72/248.87 c 248.72/248.87 c ============================[ Search Statistics ]============================== 248.72/248.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 248.72/248.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 248.72/248.87 c =============================================================================== 248.72/248.87 c | 0 | 139204 133285 250045 | 44428 0 nan | 0.000 % | 249.02/249.14 c | 100 | 139197 133285 250045 | 48871 93 201 | 1.431 % | 249.32/249.43 c | 252 | 139170 133285 250045 | 53758 230 338 | 1.509 % | 249.53/249.67 c =============================================================================== 249.92/250.01 c core #396 249.92/250.01 c 249.92/250.01 c 249.92/250.01 c Core size: 2991 Core Weight: 1 Total Weight: 3264 249.92/250.01 c 249.92/250.01 c 249.92/250.01 c ============================[ Search Statistics ]============================== 249.92/250.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 249.92/250.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 249.92/250.01 c =============================================================================== 249.92/250.01 c | 0 | 142173 135471 256524 | 45157 0 nan | 0.000 % | 250.12/250.29 c | 100 | 142167 135471 256524 | 49672 98 64 | 1.395 % | 250.43/250.54 c =============================================================================== 250.73/250.87 c core #397 250.73/250.87 c 250.73/250.87 c 250.73/250.87 c Core size: 1589 Core Weight: 1 Total Weight: 3265 250.73/250.87 c 250.73/250.87 c 250.73/250.87 c ============================[ Search Statistics ]============================== 250.73/250.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 250.73/250.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 250.73/250.87 c =============================================================================== 250.73/250.87 c | 0 | 143748 136671 260040 | 45557 0 nan | 0.000 % | 251.23/251.32 c | 100 | 143743 136671 260040 | 50112 97 128 | 1.376 % | 251.73/251.80 c =============================================================================== 252.02/252.15 c core #398 252.02/252.15 c 252.02/252.15 c 252.02/252.15 c Core size: 2703 Core Weight: 1 Total Weight: 3266 252.02/252.15 c 252.02/252.15 c 252.02/252.15 c ============================[ Search Statistics ]============================== 252.02/252.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 252.02/252.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 252.02/252.15 c =============================================================================== 252.02/252.15 c | 0 | 146463 138798 266968 | 46266 0 nan | 0.000 % | 252.32/252.49 c | 100 | 146461 138798 266968 | 50892 96 83 | 1.339 % | 252.42/252.56 c =============================================================================== 252.72/252.88 c core #399 252.72/252.88 c 252.72/252.88 c 252.72/252.88 c Core size: 917 Core Weight: 1 Total Weight: 3267 252.72/252.88 c 252.72/252.88 c 252.72/252.88 c ============================[ Search Statistics ]============================== 252.72/252.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 252.72/252.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 252.72/252.88 c =============================================================================== 252.72/252.88 c | 0 | 147378 139568 269126 | 46522 0 nan | 0.000 % | 253.02/253.15 c =============================================================================== 253.32/253.46 c core #400 253.32/253.46 c 253.32/253.46 c 253.32/253.46 c Core size: 253 Core Weight: 1 Total Weight: 3268 253.32/253.46 c 253.32/253.46 c 253.32/253.46 c ============================[ Search Statistics ]============================== 253.32/253.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 253.32/253.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 253.32/253.46 c =============================================================================== 253.32/253.46 c | 0 | 147626 139792 269640 | 46597 0 nan | 0.000 % | 253.72/253.83 c | 100 | 147620 139792 269640 | 51257 98 107 | 1.329 % | 254.03/254.15 c | 250 | 147618 139792 269640 | 56382 234 96 | 1.330 % | 254.63/254.74 c | 476 | 147613 139792 269640 | 62021 451 204 | 1.333 % | 254.93/255.06 c =============================================================================== 255.22/255.38 c core #401 255.22/255.38 c 255.22/255.38 c 255.22/255.38 c Core size: 3154 Core Weight: 1 Total Weight: 3269 255.22/255.38 c 255.22/255.38 c 255.22/255.38 c ============================[ Search Statistics ]============================== 255.22/255.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 255.22/255.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 255.22/255.38 c =============================================================================== 255.22/255.38 c | 0 | 150789 141807 278406 | 47269 0 nan | 0.000 % | 255.63/255.74 c | 100 | 150789 141807 278406 | 51995 100 89 | 1.288 % | 256.02/256.12 c | 250 | 150780 141807 278406 | 57195 243 154 | 1.294 % | 256.52/256.62 c | 476 | 150759 141807 278406 | 62915 449 251 | 1.362 % | 256.62/256.79 c =============================================================================== 257.03/257.12 c core #402 257.03/257.12 c 257.03/257.12 c 257.03/257.12 c Core size: 2778 Core Weight: 1 Total Weight: 3270 257.03/257.12 c 257.03/257.12 c 257.03/257.12 c ============================[ Search Statistics ]============================== 257.03/257.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 257.03/257.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 257.03/257.12 c =============================================================================== 257.03/257.12 c | 0 | 153565 143885 284511 | 47961 0 nan | 0.000 % | 257.42/257.51 c | 100 | 153565 143885 284511 | 52757 100 96 | 1.260 % | 257.62/257.70 c =============================================================================== 257.92/258.02 c core #403 257.92/258.02 c 257.92/258.02 c 257.92/258.02 c Core size: 671 Core Weight: 1 Total Weight: 3271 257.92/258.02 c 257.92/258.02 c 257.92/258.02 c ============================[ Search Statistics ]============================== 257.92/258.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 257.92/258.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 257.92/258.02 c =============================================================================== 257.92/258.02 c | 0 | 154235 144424 286018 | 48141 0 nan | 0.000 % | 258.32/258.43 c | 100 | 154235 144424 286018 | 52955 100 89 | 1.254 % | 258.52/258.69 c | 251 | 154234 144424 286018 | 58251 250 136 | 1.254 % | 259.02/259.19 c | 478 | 154225 144424 286018 | 64076 465 265 | 1.260 % | 259.53/259.66 c =============================================================================== 259.92/260.02 c core #404 259.92/260.02 c 259.92/260.02 c 259.92/260.02 c Core size: 2905 Core Weight: 1 Total Weight: 3272 259.92/260.02 c 259.92/260.02 c 259.92/260.02 c ============================[ Search Statistics ]============================== 259.92/260.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 259.92/260.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 259.92/260.02 c =============================================================================== 259.92/260.02 c | 0 | 157162 146494 293647 | 48831 0 nan | 0.000 % | 260.33/260.48 c | 100 | 157162 146494 293647 | 53714 100 157 | 1.205 % | 260.53/260.62 c =============================================================================== 260.83/260.96 c core #405 260.83/260.96 c 260.83/260.96 c 260.83/260.96 c Core size: 342 Core Weight: 1 Total Weight: 3273 260.83/260.96 c 260.83/260.96 c 260.83/260.96 c ============================[ Search Statistics ]============================== 260.83/260.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 260.83/260.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 260.83/260.96 c =============================================================================== 260.83/260.96 c | 0 | 157487 146796 294119 | 48932 0 nan | 0.000 % | 261.32/261.45 c | 100 | 157481 146796 294119 | 53825 91 71 | 1.207 % | 261.63/261.80 c | 250 | 157476 146796 294119 | 59207 237 88 | 1.210 % | 261.73/261.85 c =============================================================================== 262.13/262.20 c core #406 262.13/262.20 c 262.13/262.20 c 262.13/262.20 c Core size: 385 Core Weight: 1 Total Weight: 3274 262.13/262.20 c 262.13/262.20 c 262.13/262.20 c ============================[ Search Statistics ]============================== 262.13/262.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 262.13/262.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 262.13/262.20 c =============================================================================== 262.13/262.20 c | 0 | 157869 147126 294668 | 49042 0 nan | 0.000 % | 262.22/262.39 c =============================================================================== 262.62/262.72 c core #407 262.62/262.72 c 262.62/262.72 c 262.62/262.72 c Core size: 315 Core Weight: 1 Total Weight: 3275 262.62/262.72 c 262.62/262.72 c 262.62/262.72 c ============================[ Search Statistics ]============================== 262.62/262.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 262.62/262.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 262.62/262.72 c =============================================================================== 262.62/262.72 c | 0 | 158180 147381 295156 | 49127 0 nan | 0.000 % | 262.83/262.97 c | 100 | 158180 147381 295156 | 54039 100 78 | 1.197 % | 263.12/263.27 c | 252 | 158178 147381 295156 | 59443 249 136 | 1.199 % | 263.32/263.47 c =============================================================================== 263.72/263.82 c core #408 263.72/263.82 c 263.72/263.82 c 263.72/263.82 c Core size: 1568 Core Weight: 1 Total Weight: 3276 263.72/263.82 c 263.72/263.82 c 263.72/263.82 c ============================[ Search Statistics ]============================== 263.72/263.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 263.72/263.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 263.72/263.82 c =============================================================================== 263.72/263.82 c | 0 | 159742 148633 298284 | 49544 0 nan | 0.000 % | 264.03/264.11 c | 104 | 159742 148633 298284 | 54498 104 108 | 1.186 % | 264.33/264.49 c | 258 | 159739 148633 298284 | 59948 257 109 | 1.188 % | 264.93/265.07 c | 485 | 159731 148633 298284 | 65943 470 166 | 1.193 % | 265.32/265.44 c =============================================================================== 265.62/265.77 c core #409 265.62/265.77 c 265.62/265.77 c 265.62/265.77 c Core size: 3356 Core Weight: 1 Total Weight: 3277 265.62/265.77 c 265.62/265.77 c 265.62/265.77 c ============================[ Search Statistics ]============================== 265.62/265.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 265.62/265.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 265.62/265.77 c =============================================================================== 265.62/265.77 c | 0 | 163091 150891 305378 | 50297 0 nan | 0.000 % | 266.13/266.22 c | 100 | 163091 150891 305378 | 55326 100 95 | 1.158 % | 266.52/266.62 c | 250 | 163084 150891 305378 | 60859 246 108 | 1.162 % | 266.62/266.72 c =============================================================================== 266.92/267.09 c core #410 266.92/267.09 c 266.92/267.09 c 266.92/267.09 c Core size: 1173 Core Weight: 1 Total Weight: 3278 266.92/267.09 c 266.92/267.09 c 266.92/267.09 c ============================[ Search Statistics ]============================== 266.92/267.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 266.92/267.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 266.92/267.09 c =============================================================================== 266.92/267.09 c | 0 | 164263 151856 308037 | 50618 0 nan | 0.000 % | 267.32/267.47 c | 102 | 164263 151856 308037 | 55680 102 276 | 1.148 % | 267.82/267.93 c | 259 | 164262 151856 308037 | 61248 258 324 | 1.149 % | 268.23/268.40 c | 487 | 164242 151856 308037 | 67373 483 263 | 1.161 % | 269.02/269.11 c | 825 | 164230 151856 308037 | 74110 809 246 | 1.169 % | 269.12/269.28 c =============================================================================== 269.52/269.64 c core #411 269.52/269.64 c 269.52/269.64 c 269.52/269.64 c Core size: 1848 Core Weight: 1 Total Weight: 3279 269.52/269.64 c 269.52/269.64 c 269.52/269.64 c ============================[ Search Statistics ]============================== 269.52/269.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 269.52/269.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 269.52/269.64 c =============================================================================== 269.52/269.64 c | 0 | 166113 153304 312041 | 51101 0 nan | 0.000 % | 269.72/269.82 c =============================================================================== 270.02/270.16 c core #412 270.02/270.16 c 270.02/270.16 c 270.02/270.16 c Core size: 378 Core Weight: 1 Total Weight: 3280 270.02/270.16 c 270.02/270.16 c 270.02/270.16 c ============================[ Search Statistics ]============================== 270.02/270.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 270.02/270.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 270.02/270.16 c =============================================================================== 270.02/270.16 c | 0 | 166488 153645 313037 | 51215 0 nan | 0.000 % | 270.43/270.50 c | 102 | 166479 153645 313037 | 56336 92 115 | 1.134 % | 270.43/270.56 c =============================================================================== 270.82/270.91 c core #413 270.82/270.91 c 270.82/270.91 c 270.82/270.91 c Core size: 1104 Core Weight: 1 Total Weight: 3281 270.82/270.91 c 270.82/270.91 c 270.82/270.91 c ============================[ Search Statistics ]============================== 270.82/270.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 270.82/270.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 270.82/270.91 c =============================================================================== 270.82/270.91 c | 0 | 167594 154605 316077 | 51535 0 nan | 0.000 % | 271.12/271.24 c | 100 | 167590 154605 316077 | 56688 98 71 | 1.120 % | 271.62/271.76 c | 250 | 167587 154605 316077 | 62357 242 109 | 1.122 % | 272.22/272.30 c =============================================================================== 272.52/272.65 c core #414 272.52/272.65 c 272.52/272.65 c 272.52/272.65 c Core size: 2800 Core Weight: 1 Total Weight: 3282 272.52/272.65 c 272.52/272.65 c 272.52/272.65 c ============================[ Search Statistics ]============================== 272.52/272.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 272.52/272.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 272.52/272.65 c =============================================================================== 272.52/272.65 c | 0 | 170400 156645 323128 | 52215 0 nan | 0.000 % | 272.82/272.94 c | 100 | 170399 156645 323128 | 57436 100 66 | 1.094 % | 273.12/273.22 c | 250 | 170389 156645 323128 | 63180 231 104 | 1.100 % | 273.22/273.35 c =============================================================================== 273.62/273.71 c core #415 273.62/273.71 c 273.62/273.71 c 273.62/273.71 c Core size: 1524 Core Weight: 1 Total Weight: 3283 273.62/273.71 c 273.62/273.71 c 273.62/273.71 c ============================[ Search Statistics ]============================== 273.62/273.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 273.62/273.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 273.62/273.71 c =============================================================================== 273.62/273.71 c | 0 | 171926 157885 327057 | 52628 0 nan | 0.000 % | 274.01/274.14 c | 102 | 171926 157885 327057 | 57891 102 119 | 1.081 % | 274.21/274.34 c =============================================================================== 274.52/274.69 c core #416 274.52/274.69 c 274.52/274.69 c 274.52/274.69 c Core size: 868 Core Weight: 1 Total Weight: 3284 274.52/274.69 c 274.52/274.69 c 274.52/274.69 c ============================[ Search Statistics ]============================== 274.52/274.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 274.52/274.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 274.52/274.69 c =============================================================================== 274.52/274.69 c | 0 | 172789 158555 329301 | 52851 0 nan | 0.000 % | 275.12/275.21 c | 100 | 172786 158555 329301 | 58136 97 101 | 1.075 % | 275.42/275.55 c | 250 | 172783 158555 329301 | 63950 244 95 | 1.078 % | 275.92/276.05 c =============================================================================== 276.22/276.40 c core #417 276.22/276.40 c 276.22/276.40 c 276.22/276.40 c Core size: 2242 Core Weight: 1 Total Weight: 3285 276.22/276.40 c 276.22/276.40 c 276.22/276.40 c ============================[ Search Statistics ]============================== 276.22/276.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 276.22/276.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 276.22/276.40 c =============================================================================== 276.22/276.40 c | 0 | 175010 160338 334756 | 53446 0 nan | 0.000 % | 276.82/276.91 c | 100 | 175006 160338 334756 | 58790 99 83 | 1.058 % | 277.22/277.30 c | 254 | 175003 160338 334756 | 64669 245 124 | 1.059 % | 277.72/277.87 c | 479 | 175001 160338 334756 | 71136 466 161 | 1.061 % | 278.82/278.97 c | 816 | 174998 160338 334756 | 78250 796 187 | 1.062 % | 279.41/279.54 c =============================================================================== 279.82/279.91 c core #418 279.82/279.91 c 279.82/279.91 c 279.82/279.91 c Core size: 3181 Core Weight: 1 Total Weight: 3286 279.82/279.91 c 279.82/279.91 c 279.82/279.91 c ============================[ Search Statistics ]============================== 279.82/279.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 279.82/279.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 279.82/279.91 c =============================================================================== 279.82/279.91 c | 0 | 178191 162544 341681 | 54181 0 nan | 0.000 % | 280.42/280.59 c | 100 | 178182 162544 341681 | 59599 90 92 | 1.040 % | 281.11/281.23 c | 250 | 178178 162544 341681 | 65559 234 232 | 1.042 % | 281.53/281.63 c =============================================================================== 281.92/282.00 c core #419 281.92/282.00 c 281.92/282.00 c 281.92/282.00 c Core size: 2748 Core Weight: 1 Total Weight: 3287 281.92/282.00 c 281.92/282.00 c 281.92/282.00 c ============================[ Search Statistics ]============================== 281.92/282.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 281.92/282.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 281.92/282.00 c =============================================================================== 281.92/282.00 c | 0 | 180946 164030 348549 | 54676 0 nan | 0.000 % | 282.31/282.44 c | 102 | 180944 164030 348549 | 60144 99 82 | 1.015 % | 282.52/282.70 c =============================================================================== 282.91/283.08 c core #420 282.91/283.08 c 282.91/283.08 c 282.91/283.08 c Core size: 1303 Core Weight: 1 Total Weight: 3288 282.91/283.08 c 282.91/283.08 c 282.91/283.08 c ============================[ Search Statistics ]============================== 282.91/283.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 282.91/283.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 282.91/283.08 c =============================================================================== 282.91/283.08 c | 0 | 182228 165043 351021 | 55014 0 nan | 0.000 % | 283.21/283.39 c | 100 | 182228 165043 351021 | 60515 100 112 | 1.007 % | 283.72/283.88 c =============================================================================== 284.12/284.25 c core #421 284.12/284.25 c 284.12/284.25 c 284.12/284.25 c Core size: 855 Core Weight: 1 Total Weight: 3289 284.12/284.25 c 284.12/284.25 c 284.12/284.25 c ============================[ Search Statistics ]============================== 284.12/284.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 284.12/284.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 284.12/284.25 c =============================================================================== 284.12/284.25 c | 0 | 183082 165687 353325 | 55229 0 nan | 0.000 % | 284.52/284.64 c | 101 | 183082 165687 353325 | 60751 101 117 | 1.000 % | 285.02/285.11 c | 253 | 183080 165687 353325 | 66827 252 132 | 1.001 % | 285.22/285.39 c =============================================================================== 285.61/285.78 c core #422 285.61/285.78 c 285.61/285.78 c 285.61/285.78 c Core size: 1216 Core Weight: 1 Total Weight: 3290 285.61/285.78 c 285.61/285.78 c 285.61/285.78 c ============================[ Search Statistics ]============================== 285.61/285.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 285.61/285.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 285.61/285.78 c =============================================================================== 285.61/285.78 c | 0 | 184295 166479 357100 | 55493 0 nan | 0.000 % | 286.01/286.16 c | 100 | 184294 166479 357100 | 61042 99 64 | 0.991 % | 286.52/286.63 c | 252 | 184293 166479 357100 | 67146 250 136 | 0.991 % | 286.72/286.84 c =============================================================================== 287.02/287.19 c core #423 287.02/287.19 c 287.02/287.19 c 287.02/287.19 c Core size: 1583 Core Weight: 1 Total Weight: 3291 287.02/287.19 c 287.02/287.19 c 287.02/287.19 c ============================[ Search Statistics ]============================== 287.02/287.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 287.02/287.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 287.02/287.19 c =============================================================================== 287.02/287.19 c | 0 | 185875 167661 360178 | 55887 0 nan | 0.000 % | 287.51/287.61 c | 100 | 185874 167661 360178 | 61475 99 84 | 0.982 % | 287.91/288.08 c | 250 | 185869 167661 360178 | 67623 240 143 | 0.985 % | 288.61/288.75 c =============================================================================== 289.02/289.15 c core #424 289.02/289.15 c 289.02/289.15 c 289.02/289.15 c Core size: 2738 Core Weight: 1 Total Weight: 3292 289.02/289.15 c 289.02/289.15 c 289.02/289.15 c ============================[ Search Statistics ]============================== 289.02/289.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 289.02/289.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 289.02/289.15 c =============================================================================== 289.02/289.15 c | 0 | 188596 169482 366102 | 56494 0 nan | 0.000 % | 289.41/289.57 c | 102 | 188594 169482 366102 | 62143 100 155 | 0.966 % | 289.81/289.98 c | 252 | 188591 169482 366102 | 68357 243 231 | 0.967 % | 290.61/290.70 c | 489 | 188589 169482 366102 | 75193 478 305 | 12.403 % | 290.71/290.81 c =============================================================================== 291.12/291.21 c core #425 291.12/291.21 c 291.12/291.21 c 291.12/291.21 c Core size: 3217 Core Weight: 1 Total Weight: 3293 291.12/291.21 c 291.12/291.21 c 291.12/291.21 c ============================[ Search Statistics ]============================== 291.12/291.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 291.12/291.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 291.12/291.21 c =============================================================================== 291.12/291.21 c | 0 | 191806 171631 374121 | 57210 0 nan | 0.000 % | 291.42/291.55 c | 100 | 191806 171631 374121 | 62931 100 90 | 0.943 % | 291.91/292.01 c | 253 | 191805 171631 374121 | 69224 252 177 | 0.943 % | 292.51/292.65 c | 478 | 191804 171631 374121 | 76146 476 217 | 0.944 % | 293.62/293.72 c | 815 | 191798 171631 374121 | 83761 799 248 | 0.947 % | 295.31/295.41 c | 1321 | 191787 171631 374121 | 92137 1291 348 | 0.952 % | 295.82/295.97 c =============================================================================== 296.32/296.40 c core #426 296.32/296.40 c 296.32/296.40 c 296.32/296.40 c Core size: 5229 Core Weight: 1 Total Weight: 3294 296.32/296.40 c 296.32/296.40 c 296.32/296.40 c ============================[ Search Statistics ]============================== 296.32/296.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 296.32/296.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 296.32/296.40 c =============================================================================== 296.32/296.40 c | 0 | 197030 174313 386783 | 58104 0 nan | 0.000 % | 296.71/296.83 c | 100 | 197030 174313 386783 | 63914 100 139 | 0.911 % | 297.11/297.25 c | 251 | 197025 174313 386783 | 70306 248 108 | 0.914 % | 297.81/297.98 c | 476 | 197022 174313 386783 | 77336 459 140 | 0.915 % | 298.51/298.70 c | 813 | 197020 174313 386783 | 85070 789 168 | 0.916 % | 299.91/300.00 c | 1320 | 197004 174313 386783 | 93577 1237 192 | 0.924 % | 300.22/300.30 c =============================================================================== 300.51/300.68 c core #427 300.51/300.68 c 300.51/300.68 c 300.51/300.68 c Core size: 2562 Core Weight: 1 Total Weight: 3295 300.51/300.68 c 300.51/300.68 c 300.51/300.68 c ============================[ Search Statistics ]============================== 300.51/300.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 300.51/300.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 300.51/300.68 c =============================================================================== 300.51/300.68 c | 0 | 199577 175890 392490 | 58630 0 nan | 0.000 % | 301.01/301.13 c | 101 | 199577 175890 392490 | 64493 101 122 | 0.898 % | 301.32/301.48 c | 251 | 199577 175890 392490 | 70942 251 103 | 0.898 % | 301.81/301.95 c | 476 | 199571 175890 392490 | 78036 474 163 | 0.901 % | 302.81/302.95 c | 813 | 199567 175890 392490 | 85840 790 210 | 0.903 % | 304.10/304.28 c | 1320 | 199563 175890 392490 | 94424 1288 303 | 0.905 % | 304.40/304.59 c =============================================================================== 304.81/304.99 c core #428 304.81/304.99 c 304.81/304.99 c 304.81/304.99 c Core size: 4402 Core Weight: 1 Total Weight: 3296 304.81/304.99 c 304.81/304.99 c 304.81/304.99 c ============================[ Search Statistics ]============================== 304.81/304.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 304.81/304.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 304.81/304.99 c =============================================================================== 304.81/304.99 c | 0 | 203968 178443 402370 | 59481 0 nan | 0.000 % | 305.31/305.41 c | 100 | 203962 178443 402370 | 65429 98 105 | 0.879 % | 305.62/305.77 c | 250 | 203962 178443 402370 | 71972 248 118 | 0.879 % | 306.11/306.26 c | 476 | 203958 178443 402370 | 79169 458 143 | 0.881 % | 307.21/307.33 c | 813 | 203956 178443 402370 | 87086 773 192 | 0.882 % | 308.41/308.55 c | 1319 | 203955 178443 402370 | 95794 1279 250 | 0.882 % | 309.61/309.72 c =============================================================================== 310.02/310.14 c core #429 310.02/310.14 c 310.02/310.14 c 310.02/310.14 c Core size: 5126 Core Weight: 1 Total Weight: 3297 310.02/310.14 c 310.02/310.14 c 310.02/310.14 c ============================[ Search Statistics ]============================== 310.02/310.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 310.02/310.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 310.02/310.14 c =============================================================================== 310.02/310.14 c | 0 | 209071 181023 414908 | 60341 0 nan | 0.000 % | 310.50/310.68 c | 100 | 209071 181023 414908 | 66375 100 302 | 0.848 % | 311.11/311.24 c | 250 | 209071 181023 414908 | 73012 250 171 | 0.848 % | 312.01/312.13 c | 476 | 209070 181023 414908 | 80313 474 150 | 0.848 % | 313.31/313.46 c | 815 | 209051 181023 414908 | 88345 737 129 | 0.857 % | 315.30/315.49 c | 1322 | 209046 181023 414908 | 97179 1225 241 | 0.860 % | 317.81/317.92 c | 2081 | 209041 181023 414908 | 106897 1926 293 | 0.862 % | 321.31/321.49 c | 3222 | 209038 181023 414908 | 117587 3056 458 | 0.864 % | 325.01/325.19 c =============================================================================== 325.60/325.70 c core #430 325.60/325.70 c 325.60/325.70 c 325.60/325.70 c Core size: 9467 Core Weight: 1 Total Weight: 3298 325.60/325.70 c 325.60/325.70 c 325.60/325.70 c ============================[ Search Statistics ]============================== 325.60/325.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 325.60/325.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 325.60/325.70 c =============================================================================== 325.60/325.70 c | 0 | 218505 184274 435420 | 61424 0 nan | 0.000 % | 326.10/326.23 c | 101 | 218505 184274 435420 | 67567 101 86 | 0.810 % | 326.52/326.64 c | 252 | 218505 184274 435420 | 74323 252 74 | 0.810 % | 327.11/327.22 c | 479 | 218503 184274 435420 | 81756 477 91 | 0.811 % | 328.00/328.14 c | 816 | 218500 184274 435420 | 89931 806 109 | 0.813 % | 329.41/329.52 c | 1323 | 218499 184274 435420 | 98925 1306 154 | 0.813 % | 331.81/331.92 c | 2082 | 218488 184274 435420 | 108817 2031 156 | 0.818 % | 335.10/335.23 c | 3222 | 218472 184274 435420 | 119699 3075 209 | 0.825 % | 338.51/338.69 c | 4930 | 218466 184274 435420 | 131669 4767 439 | 0.828 % | 344.00/344.14 c =============================================================================== 344.50/344.67 c core #431 344.50/344.67 c 344.50/344.67 c 344.50/344.67 c Core size: 7739 Core Weight: 1 Total Weight: 3299 344.50/344.67 c 344.50/344.67 c 344.50/344.67 c ============================[ Search Statistics ]============================== 344.50/344.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 344.50/344.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 344.50/344.67 c =============================================================================== 344.50/344.67 c | 0 | 226251 187116 452780 | 62372 0 nan | 0.000 % | 345.00/345.18 c | 100 | 226251 187116 452780 | 68609 100 139 | 0.778 % | 345.50/345.67 c | 250 | 226248 187116 452780 | 75470 243 114 | 0.780 % | 346.31/346.46 c | 475 | 226240 187116 452780 | 83017 448 161 | 0.783 % | 347.51/347.64 c | 817 | 226234 187116 452780 | 91318 782 422 | 0.786 % | 349.61/349.70 c | 1323 | 226226 187116 452780 | 100450 1285 407 | 0.789 % | 351.70/351.89 c | 2082 | 226160 187116 452780 | 110495 1983 343 | 0.818 % | 355.20/355.37 c | 3221 | 226160 187116 452780 | 121545 3115 424 | 0.818 % | 360.10/360.28 c | 4929 | 226056 187116 452780 | 133699 4806 614 | 0.864 % | 366.69/366.82 c | 7491 | 226037 187116 452780 | 147069 7261 742 | 0.872 % | 379.69/379.81 c | 11338 | 226029 187116 452780 | 161776 11100 934 | 0.917 % | 404.28/404.40 c | 17105 | 225928 187116 452780 | 177954 16761 1074 | 0.920 % | 410.98/411.17 c =============================================================================== 411.78/411.96 c core #432 411.78/411.96 c 411.78/411.96 c 411.78/411.96 c Core size: 10823 Core Weight: 1 Total Weight: 3300 411.78/411.96 c 411.78/411.96 c 411.78/411.96 c ============================[ Search Statistics ]============================== 411.78/411.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 411.78/411.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 411.78/411.96 c =============================================================================== 411.78/411.96 c | 0 | 237056 190401 477383 | 63467 0 nan | 0.000 % | 412.39/412.52 c | 100 | 237056 190401 477383 | 69813 100 91 | 0.739 % | 412.69/412.89 c | 250 | 237056 190401 477383 | 76795 250 95 | 0.739 % | 413.28/413.40 c | 475 | 237056 190401 477383 | 84474 475 158 | 0.739 % | 414.59/414.74 c | 813 | 237050 190401 477383 | 92922 792 140 | 0.742 % | 416.69/416.85 c | 1321 | 237050 190401 477383 | 102214 1300 134 | 0.742 % | 419.48/419.69 c | 2080 | 237048 190401 477383 | 112435 2055 153 | 0.742 % | 422.48/422.67 c | 3220 | 237042 190401 477383 | 123679 3180 192 | 0.745 % | 428.37/428.58 c | 4928 | 237029 190401 477383 | 136047 4856 237 | 0.751 % | 437.47/437.63 c | 7490 | 237016 190401 477383 | 149651 7216 330 | 0.756 % | 448.88/449.03 c | 11334 | 237004 190401 477383 | 164617 11000 484 | 0.761 % | 465.46/465.68 c | 17104 | 237001 190401 477383 | 181078 16717 722 | 0.762 % | 517.76/517.93 c | 25757 | 236993 190401 477383 | 199186 25292 943 | 0.765 % | 661.52/661.79 c | 38732 | 236985 190401 477383 | 219105 38267 1172 | 0.769 % | 911.06/911.37 c | 58193 | 236978 190401 477383 | 241015 57630 1374 | 0.772 % | 1035.93/1036.21 c =============================================================================== 1038.23/1038.53 c core #433 1038.23/1038.53 c 1038.23/1038.53 c 1038.23/1038.53 c Core size: 14982 Core Weight: 1 Total Weight: 3301 1038.23/1038.53 c 1038.23/1038.53 c 1038.23/1038.53 c ============================[ Search Statistics ]============================== 1038.23/1038.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1038.23/1038.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1038.23/1038.53 c =============================================================================== 1038.23/1038.53 c | 0 | 252039 194104 511086 | 64701 0 nan | 0.000 % | 1038.73/1039.04 c | 101 | 252039 194104 511086 | 71171 101 198 | 0.692 % | 1039.02/1039.34 c | 252 | 252039 194104 511086 | 78288 252 220 | 0.692 % | 1039.52/1039.80 c | 478 | 252038 194104 511086 | 86117 477 327 | 0.693 % | 1039.92/1040.26 c | 815 | 252038 194104 511086 | 94729 814 319 | 0.693 % | 1041.33/1041.67 c | 1324 | 252032 194104 511086 | 104202 1322 362 | 0.695 % | 1042.92/1043.20 c | 2083 | 252032 194104 511086 | 114622 2072 466 | 0.695 % | 1046.32/1046.65 c | 3225 | 252032 194104 511086 | 126084 3214 459 | 0.695 % | 1050.62/1050.99 c | 4934 | 252029 194104 511086 | 138693 4918 563 | 0.696 % | 1057.12/1057.44 c | 7497 | 252027 194104 511086 | 152562 7474 619 | 0.697 % | 1067.12/1067.49 c | 11342 | 252024 194104 511086 | 167818 11300 736 | 0.698 % | 1086.42/1086.80 c | 17108 | 252021 194104 511086 | 184600 17040 851 | 0.699 % | 1117.70/1118.04 c | 25757 | 252015 194104 511086 | 203060 25661 888 | 0.702 % | 1197.58/1197.94 c | 38732 | 252011 194104 511086 | 223366 38636 1089 | 0.703 % | 1370.82/1371.21 c | 58195 | 252003 194104 511086 | 245703 58080 1220 | 0.717 % | 1697.14/1697.64 c | 87389 | 251976 194104 511086 | 270273 87224 1369 | 0.717 % |
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-2680732-1277451709/watcher-2680732-1277451709 -o /tmp/evaluation-result-2680732-1277451709/solver-2680732-1277451709 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680732-1277451709.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 1/106 26252 /proc/meminfo: memFree=1291572/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=3008 CPUtime=0 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 362 0 0 0 0 0 0 0 23 0 1 0 86464663 3080192 280 1992294400 134512640 135752675 4287302048 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 752 280 139 303 0 416 0 [startup+0.0396029 s] /proc/loadavg: 0.00 0.00 0.00 1/106 26252 /proc/meminfo: memFree=1291572/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=3488 CPUtime=0.03 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 619 0 0 0 3 0 0 0 18 0 1 0 86464663 3571712 453 1992294400 134512640 135752675 4287302048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 872 453 144 303 0 567 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3488 [startup+0.101609 s] /proc/loadavg: 0.00 0.00 0.00 1/106 26252 /proc/meminfo: memFree=1291572/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=3620 CPUtime=0.09 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 621 0 0 0 9 0 0 0 18 0 1 0 86464663 3706880 455 1992294400 134512640 135752675 4287302048 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 905 455 145 303 0 600 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3620 [startup+0.300631 s] /proc/loadavg: 0.00 0.00 0.00 1/106 26252 /proc/meminfo: memFree=1291572/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=3884 CPUtime=0.29 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 709 0 0 0 29 0 0 0 18 0 1 0 86464663 3977216 543 1992294400 134512640 135752675 4287302048 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 971 543 145 303 0 666 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3884 [startup+0.700671 s] /proc/loadavg: 0.00 0.00 0.00 1/106 26252 /proc/meminfo: memFree=1291572/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=4940 CPUtime=0.69 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 965 0 0 0 68 1 0 0 18 0 1 0 86464663 5058560 799 1992294400 134512640 135752675 4287302048 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 1235 800 145 303 0 930 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4940 [startup+1.50075 s] /proc/loadavg: 0.00 0.00 0.00 2/107 26253 /proc/meminfo: memFree=1288340/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=6260 CPUtime=1.48 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 1293 0 0 0 147 1 0 0 20 0 1 0 86464663 6410240 1127 1992294400 134512640 135752675 4287302048 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 1565 1127 145 303 0 1260 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6260 [startup+3.10092 s] /proc/loadavg: 0.08 0.02 0.01 2/107 26253 /proc/meminfo: memFree=1286480/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=8752 CPUtime=3.08 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 1914 0 0 0 306 2 0 0 25 0 1 0 86464663 8962048 1748 1992294400 134512640 135752675 4287302048 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 2188 1748 145 303 0 1883 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8752 [startup+6.30125 s] /proc/loadavg: 0.08 0.02 0.01 2/107 26253 /proc/meminfo: memFree=1280900/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=13748 CPUtime=6.29 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 3182 0 0 0 624 5 0 0 25 0 1 0 86464663 14077952 3016 1992294400 134512640 135752675 4287302048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 3437 3016 145 303 0 3132 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13748 [startup+12.7009 s] /proc/loadavg: 0.37 0.08 0.03 2/107 26253 /proc/meminfo: memFree=1269740/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=24440 CPUtime=12.68 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 5849 0 0 0 1260 8 0 0 25 0 1 0 86464663 25026560 5683 1992294400 134512640 135752675 4287302048 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 6110 5683 145 303 0 5805 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24440 [startup+25.5012 s] /proc/loadavg: 0.47 0.11 0.04 2/107 26253 /proc/meminfo: memFree=1250768/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=43112 CPUtime=25.48 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 10499 0 0 0 2532 16 0 0 25 0 1 0 86464663 44146688 10333 1992294400 134512640 135752675 4287302048 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 10778 10333 145 303 0 10473 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43112 [startup+51.1019 s] /proc/loadavg: 0.65 0.18 0.06 2/107 26253 /proc/meminfo: memFree=1214684/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=79544 CPUtime=51.07 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 19610 0 0 0 5077 30 0 0 25 0 1 0 86464663 81453056 19444 1992294400 134512640 135752675 4287302048 18446744073709551615 134607284 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 19886 19444 145 303 0 19581 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 79544 [startup+102.309 s] /proc/loadavg: 0.86 0.32 0.11 2/107 26255 /proc/meminfo: memFree=1147724/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=145648 CPUtime=102.27 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 36136 0 0 0 10168 59 0 0 25 0 1 0 86464663 149143552 35970 1992294400 134512640 135752675 4287302048 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 36412 35970 145 303 0 36107 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 145648 [startup+162.301 s] /proc/loadavg: 0.95 0.44 0.16 2/107 26257 /proc/meminfo: memFree=1067744/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=226332 CPUtime=162.25 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 56312 0 0 0 16137 88 0 0 25 0 1 0 86464663 231763968 56146 1992294400 134512640 135752675 4287302048 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 56583 56146 145 303 0 56278 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 226332 [startup+222.301 s] /proc/loadavg: 0.98 0.54 0.21 2/107 26259 /proc/meminfo: memFree=989996/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=298020 CPUtime=222.24 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 166445 0 0 0 21946 278 0 0 18 0 1 0 86464663 305172480 73660 1992294400 134512640 135752675 4287302048 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 74505 73660 146 303 0 74200 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 298020 [startup+282.302 s] /proc/loadavg: 0.99 0.62 0.26 2/107 26261 /proc/meminfo: memFree=937172/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=359712 CPUtime=282.21 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 345035 0 0 0 27543 678 0 0 18 0 1 0 86464663 368345088 88626 1992294400 134512640 135752675 4287302048 18446744073709551615 134595761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 89928 88626 146 303 0 89623 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 359712 [startup+342.302 s] /proc/loadavg: 0.99 0.69 0.30 2/107 26261 /proc/meminfo: memFree=906172/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=390548 CPUtime=342.2 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 391181 0 0 0 33436 784 0 0 25 0 1 0 86464663 399921152 96248 1992294400 134512640 135752675 4287302048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 97637 96248 146 303 0 97332 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 390548 [startup+402.301 s] /proc/loadavg: 0.99 0.74 0.34 2/107 26263 /proc/meminfo: memFree=849132/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=446880 CPUtime=402.19 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 410676 0 0 0 39408 811 0 0 25 0 1 0 86464663 457605120 110449 1992294400 134512640 135752675 4287302048 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 111720 110449 146 303 0 111415 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 446880 [startup+462.3 s] /proc/loadavg: 0.99 0.79 0.38 2/107 26265 /proc/meminfo: memFree=818752/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=480348 CPUtime=462.17 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 422600 0 0 0 45374 843 0 0 25 0 1 0 86464663 491876352 117732 1992294400 134512640 135752675 4287302048 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 120087 117732 146 303 0 119782 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 480348 [startup+522.3 s] /proc/loadavg: 0.99 0.82 0.41 2/107 26267 /proc/meminfo: memFree=814908/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=485436 CPUtime=522.15 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 423905 0 0 0 51365 850 0 0 25 0 1 0 86464663 497086464 119037 1992294400 134512640 135752675 4287302048 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 121359 119037 146 303 0 121054 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 485436 [startup+582.301 s] /proc/loadavg: 1.10 0.88 0.46 2/107 26269 /proc/meminfo: memFree=779692/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=520292 CPUtime=582.13 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 432579 0 0 0 57354 859 0 0 25 0 1 0 86464663 532779008 127711 1992294400 134512640 135752675 4287302048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 130073 127711 146 303 0 129768 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 520292 [startup+642.301 s] /proc/loadavg: 1.10 0.91 0.50 2/107 26269 /proc/meminfo: memFree=743856/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=555800 CPUtime=642.13 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 441469 0 0 0 63344 869 0 0 25 0 1 0 86464663 569139200 136601 1992294400 134512640 135752675 4287302048 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 138950 136601 146 303 0 138645 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 555800 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.08 1.00 0.62 2/107 26277 /proc/meminfo: memFree=609812/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=689660 CPUtime=882.06 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 474929 0 0 0 87300 906 0 0 25 0 1 0 86464663 706211840 170061 1992294400 134512640 135752675 4287302048 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 172415 170061 146 303 0 172110 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 689660 [startup+942.301 s] /proc/loadavg: 1.07 1.01 0.65 2/107 26277 /proc/meminfo: memFree=584392/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=715192 CPUtime=942.05 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 481301 0 0 0 93292 913 0 0 25 0 1 0 86464663 732356608 176433 1992294400 134512640 135752675 4287302048 18446744073709551615 134639507 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 178798 176433 146 303 0 178493 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 715192 [startup+1002.3 s] /proc/loadavg: 1.11 1.04 0.68 2/107 26279 /proc/meminfo: memFree=559468/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=740112 CPUtime=1002.03 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 487493 0 0 0 99283 920 0 0 25 0 1 0 86464663 757874688 182625 1992294400 134512640 135752675 4287302048 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 185028 182625 146 303 0 184723 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 740112 [startup+1062.3 s] /proc/loadavg: 1.04 1.03 0.69 2/107 26281 /proc/meminfo: memFree=521028/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=776820 CPUtime=1062.02 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 501512 0 0 0 105256 946 0 0 25 0 1 0 86464663 795463680 192021 1992294400 134512640 135752675 4287302048 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 194205 192021 146 303 0 193900 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 776820 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 0.71 2/107 26283 /proc/meminfo: memFree=521028/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=776820 CPUtime=1122 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 501519 0 0 0 111245 955 0 0 25 0 1 0 86464663 795463680 192028 1992294400 134512640 135752675 4287302048 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 194205 192028 146 303 0 193900 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 776820 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 0.73 2/107 26294 /proc/meminfo: memFree=521028/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=776820 CPUtime=1181.97 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 501523 0 0 0 117238 959 0 0 25 0 1 0 86464663 795463680 192032 1992294400 134512640 135752675 4287302048 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 194205 192032 146 303 0 193900 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 776820 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 0.74 2/107 26294 /proc/meminfo: memFree=521028/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=776820 CPUtime=1241.96 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 501546 0 0 0 123231 965 0 0 25 0 1 0 86464663 795463680 192055 1992294400 134512640 135752675 4287302048 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 194205 192055 146 303 0 193900 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 776820 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.75 2/107 26296 /proc/meminfo: memFree=521028/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=776820 CPUtime=1301.95 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 501550 0 0 0 129226 969 0 0 25 0 1 0 86464663 795463680 192059 1992294400 134512640 135752675 4287302048 18446744073709551615 134612093 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 194205 192059 146 303 0 193900 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 776820 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.76 2/107 26298 /proc/meminfo: memFree=521028/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=776820 CPUtime=1361.93 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 501553 0 0 0 135219 974 0 0 25 0 1 0 86464663 795463680 192062 1992294400 134512640 135752675 4287302048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 194205 192062 146 303 0 193900 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 776820 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.77 2/107 26300 /proc/meminfo: memFree=521028/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=776820 CPUtime=1421.92 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 501562 0 0 0 141213 979 0 0 25 0 1 0 86464663 795463680 192071 1992294400 134512640 135752675 4287302048 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 194205 192071 146 303 0 193900 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 776820 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.79 2/107 26302 /proc/meminfo: memFree=521028/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=776820 CPUtime=1481.89 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 501563 0 0 0 147208 981 0 0 25 0 1 0 86464663 795463680 192072 1992294400 134512640 135752675 4287302048 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 194205 192072 146 303 0 193900 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 776820 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.80 2/107 26302 /proc/meminfo: memFree=521028/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=776820 CPUtime=1541.88 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 501609 0 0 0 153204 984 0 0 25 0 1 0 86464663 795463680 192118 1992294400 134512640 135752675 4287302048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 194205 192118 146 303 0 193900 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 776820 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.81 2/107 26304 /proc/meminfo: memFree=497716/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=800592 CPUtime=1601.86 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 507545 0 0 0 159194 992 0 0 25 0 1 0 86464663 819806208 198054 1992294400 134512640 135752675 4287302048 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 200148 198054 146 303 0 199843 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 800592 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.82 2/107 26306 /proc/meminfo: memFree=456052/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=842196 CPUtime=1661.84 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 517919 0 0 0 165179 1005 0 0 25 0 1 0 86464663 862408704 208428 1992294400 134512640 135752675 4287302048 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 210549 208428 146 303 0 210244 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 842196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.83 2/107 26308 /proc/meminfo: memFree=414760/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=883984 CPUtime=1721.83 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 528378 0 0 0 171166 1017 0 0 25 0 1 0 86464663 905199616 218887 1992294400 134512640 135752675 4287302048 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 220996 218887 146 303 0 220691 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 883984 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.83 2/107 26310 /proc/meminfo: memFree=388844/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=909096 CPUtime=1781.82 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 534573 0 0 0 177157 1025 0 0 25 0 1 0 86464663 930914304 225082 1992294400 134512640 135752675 4287302048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 227274 225082 146 303 0 226969 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 909096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.83 2/107 26310 /proc/meminfo: memFree=380412/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=917408 CPUtime=1800.02 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 536637 0 0 0 178974 1028 0 0 25 0 1 0 86464663 939425792 227146 1992294400 134512640 135752675 4287302048 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 229352 227146 146 303 0 229047 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 917408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.83 2/107 26310 /proc/meminfo: memFree=380412/2059040 swapFree=4140024/4192956 [pid=26252] ppid=26250 vsize=917408 CPUtime=1800.02 /proc/26252/stat : 26252 (wbo1.4b) R 26250 26252 26227 0 -1 4202496 536637 0 0 0 178974 1028 0 0 25 0 1 0 86464663 939425792 227146 1992294400 134512640 135752675 4287302048 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26252/statm: 229352 227146 146 303 0 229047 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 917408 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.59 CPU time (s): 1800.11 CPU user time (s): 1789.74 CPU system time (s): 10.3674 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 917408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.74 system time used= 10.3674 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 536637 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= 127 involuntary context switches= 4161 runsolver used 2.96855 second user time and 8.5627 second system time The end
Begin job on node083 at 2010-06-25 09:41:49 IDJOB=2680732 IDBENCH=1851 IDSOLVER=1190 FILE ID=node083/2680732-1277451709 PBS_JOBID= 11188107 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680732-1277451709/watcher-2680732-1277451709 -o /tmp/evaluation-result-2680732-1277451709/solver-2680732-1277451709 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680732-1277451709.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c RANDOM SEED=1143222047 node083.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.262 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.52 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.262 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.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1292100 kB Buffers: 198920 kB Cached: 458520 kB SwapCached: 5620 kB Active: 330992 kB Inactive: 339532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1292100 kB SwapTotal: 4192956 kB SwapFree: 4140024 kB Dirty: 2996 kB Writeback: 0 kB AnonPages: 11480 kB Mapped: 11900 kB Slab: 74384 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182640 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= 62492 MiB End job on node083 at 2010-06-25 10:11:52