Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 744.184 | 744.389 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-apex4.a.opb |
MD5SUM | 59d685b710ba34babb28c57a0abba1bc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 776 |
Best CPU time to get the best result obtained on this benchmark | 5.57315 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 776 |
Optimality of the best value was proved | NO |
Number of variables | 4316 |
Total number of constraints | 11912 |
Number of constraints which are clauses | 11912 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 160 |
Number of terms in the objective function | 4316 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4316 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4316 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680656-1277453508.opb. 0.00/0.00 c Instance file HOME/instance-2680656-1277453508.opb 0.00/0.00 c File size is 622752 bytes. 0.00/0.10 c Highest Coefficient sum: 161 0.00/0.10 c ============================[ Problem Statistics ]============================= 0.00/0.10 c | | 0.00/0.10 c | Parsing time: 0.10 s | 0.00/0.10 c | Number Variables: 4316 | 0.00/0.10 c | Number Clauses: 11912 | 0.00/0.10 c | Number Cardinality: 0 | 0.00/0.10 c | Number PB Constraints: 0 | 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 4117 11912 51500 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 844 0.09/0.11 o 844 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 6 | 4117 11913 55816 | 5000 6 10 | 0.000 % | 0.09/0.16 c | 107 | 4117 11913 55816 | 5500 107 782 | 4.611 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 841 0.09/0.17 o 841 0.09/0.17 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 116 | 4117 11914 60132 | 5000 116 723 | 4.611 % | 0.19/0.21 c | 217 | 4117 11914 60132 | 5500 217 766 | 4.611 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 840 0.19/0.23 o 840 0.19/0.23 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 224 | 4117 11915 64448 | 5000 224 742 | 4.611 % | 0.19/0.28 c | 325 | 4117 11915 64448 | 5500 325 765 | 4.611 % | 0.29/0.35 c | 476 | 4117 11915 64448 | 6050 476 771 | 4.611 % | 0.39/0.46 c | 702 | 4117 11915 64448 | 6655 702 790 | 4.611 % | 0.59/0.62 c | 1039 | 4117 11915 64448 | 7320 1039 809 | 4.611 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 838 0.59/0.63 o 838 0.59/0.63 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 1045 | 4117 11916 68764 | 5000 1045 805 | 4.611 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: 834 0.59/0.64 o 834 0.59/0.64 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 1047 | 4117 11917 73080 | 5000 1047 803 | 4.611 % | 0.59/0.69 c | 1147 | 4117 11917 73080 | 5500 1147 808 | 4.611 % | 0.69/0.77 c | 1297 | 4117 11917 73080 | 6050 1297 809 | 4.611 % | 0.79/0.88 c | 1523 | 4117 11917 73080 | 6655 1523 811 | 4.611 % | 0.99/1.08 c | 1861 | 4117 11917 73080 | 7320 1861 817 | 4.611 % | 1.39/1.43 c | 2367 | 4117 11917 73080 | 8052 2367 823 | 4.611 % | 1.69/1.78 c | 3126 | 4117 11917 73080 | 8857 3126 829 | 4.611 % | 2.39/2.42 c | 4270 | 4117 11917 73080 | 9743 4270 834 | 4.611 % | 3.40/3.43 c | 5978 | 4117 11917 73080 | 10717 5978 838 | 4.611 % | 3.40/3.44 c =============================================================================== 3.40/3.44 c New solution: 833 3.40/3.44 o 833 3.40/3.44 c Elapsed CPU time: 3.36049 s Remaining CPU time: 176.64 s 3.40/3.44 c =============================================================================== 3.40/3.44 c | 5982 | 4117 11918 77396 | 5000 5982 838 | 4.611 % | 3.40/3.46 c =============================================================================== 3.40/3.46 c New solution: 831 3.40/3.46 o 831 3.40/3.46 c Elapsed CPU time: 3.37449 s Remaining CPU time: 176.626 s 3.40/3.46 c =============================================================================== 3.40/3.46 c | 5984 | 4117 11919 81712 | 5000 2993 846 | 4.611 % | 3.49/3.54 c | 6086 | 4117 11919 81712 | 5500 3095 846 | 4.611 % | 3.59/3.65 c | 6236 | 4117 11919 81712 | 6050 3245 844 | 4.611 % | 3.68/3.77 c | 6462 | 4117 11919 81712 | 6655 3471 841 | 4.611 % | 3.89/3.95 c | 6799 | 4117 11919 81712 | 7320 3808 841 | 4.611 % | 4.29/4.31 c | 7310 | 4117 11919 81712 | 8052 4319 842 | 4.611 % | 4.69/4.73 c | 8070 | 4117 11919 81712 | 8857 5079 841 | 4.611 % | 5.39/5.49 c | 9210 | 4117 11919 81712 | 9743 6219 842 | 4.611 % | 6.69/6.72 c | 10918 | 4117 11919 81712 | 10717 7927 844 | 4.611 % | 7.98/8.06 c | 13481 | 4117 11919 81712 | 11789 10490 844 | 4.611 % | 10.08/10.11 c | 17325 | 4117 11919 81712 | 12968 14334 845 | 4.611 % | 13.30/13.40 c | 23092 | 4117 11919 81712 | 14265 12934 848 | 4.611 % | 17.88/17.96 c | 31742 | 4117 11919 81712 | 15692 12320 848 | 4.611 % | 25.48/25.52 c | 44716 | 4117 11919 81712 | 17261 15309 851 | 4.611 % | 37.68/37.74 c | 64178 | 4117 11919 81712 | 18987 13098 851 | 4.611 % | 62.88/62.99 c | 93370 | 4117 11919 81712 | 20886 17393 842 | 4.611 % | 93.26/93.39 c | 137159 | 4117 11919 81712 | 22974 18350 851 | 4.611 % | 148.35/148.42 c | 202845 | 4117 11919 81712 | 25272 18788 845 | 4.611 % | 181.64/181.80 c There are 199 assigned variables. 199 in cost function. 183.44/183.51 c core #1 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 16 Core Weight: 1 Total Weight: 200 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #2 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 11 Core Weight: 1 Total Weight: 201 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #3 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 35 Core Weight: 1 Total Weight: 202 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #4 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 40 Core Weight: 1 Total Weight: 203 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #5 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 6 Core Weight: 1 Total Weight: 204 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #6 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 3 Core Weight: 1 Total Weight: 205 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #7 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 16 Core Weight: 1 Total Weight: 206 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #8 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 13 Core Weight: 1 Total Weight: 207 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #9 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 13 Core Weight: 1 Total Weight: 208 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #10 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 3 Core Weight: 1 Total Weight: 209 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #11 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 4 Core Weight: 1 Total Weight: 210 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #12 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 12 Core Weight: 1 Total Weight: 211 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #13 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 9 Core Weight: 1 Total Weight: 212 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #14 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 5 Core Weight: 1 Total Weight: 213 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #15 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 7 Core Weight: 1 Total Weight: 214 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #16 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 4 Core Weight: 1 Total Weight: 215 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #17 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 64 Core Weight: 1 Total Weight: 216 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #18 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 16 Core Weight: 1 Total Weight: 217 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #19 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 10 Core Weight: 1 Total Weight: 218 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #20 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 26 Core Weight: 1 Total Weight: 219 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #21 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 25 Core Weight: 1 Total Weight: 220 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #22 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 12 Core Weight: 1 Total Weight: 221 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #23 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 31 Core Weight: 1 Total Weight: 222 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #24 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 3 Core Weight: 1 Total Weight: 223 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #25 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 3 Core Weight: 1 Total Weight: 224 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #26 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 4 Core Weight: 1 Total Weight: 225 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #27 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 33 Core Weight: 1 Total Weight: 226 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #28 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 4 Core Weight: 1 Total Weight: 227 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #29 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 3 Core Weight: 1 Total Weight: 228 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #30 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 15 Core Weight: 1 Total Weight: 229 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #31 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 32 Core Weight: 1 Total Weight: 230 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #32 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 30 Core Weight: 1 Total Weight: 231 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #33 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 30 Core Weight: 1 Total Weight: 232 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #34 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 11 Core Weight: 1 Total Weight: 233 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #35 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 19 Core Weight: 1 Total Weight: 234 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #36 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 16 Core Weight: 1 Total Weight: 235 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #37 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 8 Core Weight: 1 Total Weight: 236 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #38 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 16 Core Weight: 1 Total Weight: 237 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #39 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 8 Core Weight: 1 Total Weight: 238 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #40 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 3 Core Weight: 1 Total Weight: 239 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #41 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 5 Core Weight: 1 Total Weight: 240 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #42 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 5 Core Weight: 1 Total Weight: 241 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #43 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 9 Core Weight: 1 Total Weight: 242 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #44 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 34 Core Weight: 1 Total Weight: 243 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #45 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 33 Core Weight: 1 Total Weight: 244 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #46 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 11 Core Weight: 1 Total Weight: 245 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #47 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 21 Core Weight: 1 Total Weight: 246 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #48 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 17 Core Weight: 1 Total Weight: 247 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #49 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 3 Core Weight: 1 Total Weight: 248 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #50 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 4 Core Weight: 1 Total Weight: 249 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #51 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 10 Core Weight: 1 Total Weight: 250 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #52 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 13 Core Weight: 1 Total Weight: 251 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #53 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 5 Core Weight: 1 Total Weight: 252 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #54 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 7 Core Weight: 1 Total Weight: 253 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #55 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 17 Core Weight: 1 Total Weight: 254 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #56 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 52 Core Weight: 1 Total Weight: 255 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #57 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 10 Core Weight: 1 Total Weight: 256 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #58 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 19 Core Weight: 1 Total Weight: 257 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c core #59 183.44/183.51 c 183.44/183.51 c 183.44/183.51 c Core size: 7 Core Weight: 1 Total Weight: 258 183.44/183.51 c 183.44/183.51 c 185.14/185.24 c core #60 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 9 Core Weight: 1 Total Weight: 259 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #61 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 19 Core Weight: 1 Total Weight: 260 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #62 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 6 Core Weight: 1 Total Weight: 261 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #63 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 21 Core Weight: 1 Total Weight: 262 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #64 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 13 Core Weight: 1 Total Weight: 263 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #65 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 12 Core Weight: 1 Total Weight: 264 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #66 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 13 Core Weight: 1 Total Weight: 265 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #67 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 21 Core Weight: 1 Total Weight: 266 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #68 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 6 Core Weight: 1 Total Weight: 267 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #69 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 8 Core Weight: 1 Total Weight: 268 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #70 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 27 Core Weight: 1 Total Weight: 269 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #71 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 3 Core Weight: 1 Total Weight: 270 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #72 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 13 Core Weight: 1 Total Weight: 271 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #73 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 4 Core Weight: 1 Total Weight: 272 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #74 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 7 Core Weight: 1 Total Weight: 273 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #75 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 3 Core Weight: 1 Total Weight: 274 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #76 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 10 Core Weight: 1 Total Weight: 275 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #77 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 9 Core Weight: 1 Total Weight: 276 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #78 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 7 Core Weight: 1 Total Weight: 277 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #79 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 3 Core Weight: 1 Total Weight: 278 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #80 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 7 Core Weight: 1 Total Weight: 279 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #81 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 6 Core Weight: 1 Total Weight: 280 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #82 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 6 Core Weight: 1 Total Weight: 281 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #83 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 30 Core Weight: 1 Total Weight: 282 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #84 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 3 Core Weight: 1 Total Weight: 283 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #85 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 30 Core Weight: 1 Total Weight: 284 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #86 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 11 Core Weight: 1 Total Weight: 285 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #87 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 19 Core Weight: 1 Total Weight: 286 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #88 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 6 Core Weight: 1 Total Weight: 287 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #89 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 4 Core Weight: 1 Total Weight: 288 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #90 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 4 Core Weight: 1 Total Weight: 289 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #91 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 17 Core Weight: 1 Total Weight: 290 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #92 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 18 Core Weight: 1 Total Weight: 291 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #93 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 13 Core Weight: 1 Total Weight: 292 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #94 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 4 Core Weight: 1 Total Weight: 293 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #95 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 12 Core Weight: 1 Total Weight: 294 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #96 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 5 Core Weight: 1 Total Weight: 295 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #97 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 13 Core Weight: 1 Total Weight: 296 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #98 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 8 Core Weight: 1 Total Weight: 297 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #99 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 6 Core Weight: 1 Total Weight: 298 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #100 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 13 Core Weight: 1 Total Weight: 299 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #101 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 7 Core Weight: 1 Total Weight: 300 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #102 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 7 Core Weight: 1 Total Weight: 301 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #103 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 6 Core Weight: 1 Total Weight: 302 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #104 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 35 Core Weight: 1 Total Weight: 303 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #105 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 20 Core Weight: 1 Total Weight: 304 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #106 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 7 Core Weight: 1 Total Weight: 305 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #107 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 9 Core Weight: 1 Total Weight: 306 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #108 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 16 Core Weight: 1 Total Weight: 307 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #109 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 3 Core Weight: 1 Total Weight: 308 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #110 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 3 Core Weight: 1 Total Weight: 309 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #111 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 11 Core Weight: 1 Total Weight: 310 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #112 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 6 Core Weight: 1 Total Weight: 311 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #113 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 4 Core Weight: 1 Total Weight: 312 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #114 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 10 Core Weight: 1 Total Weight: 313 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #115 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 3 Core Weight: 1 Total Weight: 314 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #116 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 6 Core Weight: 1 Total Weight: 315 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #117 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 3 Core Weight: 1 Total Weight: 316 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c core #118 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 19 Core Weight: 1 Total Weight: 317 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #119 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 4 Core Weight: 1 Total Weight: 318 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #120 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 14 Core Weight: 1 Total Weight: 319 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #121 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 7 Core Weight: 1 Total Weight: 320 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #122 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 18 Core Weight: 1 Total Weight: 321 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #123 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 322 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #124 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 323 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #125 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 4 Core Weight: 1 Total Weight: 324 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #126 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 7 Core Weight: 1 Total Weight: 325 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #127 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 9 Core Weight: 1 Total Weight: 326 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #128 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 327 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #129 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 7 Core Weight: 1 Total Weight: 328 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #130 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 19 Core Weight: 1 Total Weight: 329 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #131 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 15 Core Weight: 1 Total Weight: 330 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #132 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 4 Core Weight: 1 Total Weight: 331 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #133 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 14 Core Weight: 1 Total Weight: 332 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #134 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 333 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #135 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 4 Core Weight: 1 Total Weight: 334 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #136 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 4 Core Weight: 1 Total Weight: 335 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #137 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 10 Core Weight: 1 Total Weight: 336 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #138 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 6 Core Weight: 1 Total Weight: 337 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #139 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 21 Core Weight: 1 Total Weight: 338 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #140 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 339 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #141 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 340 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #142 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 11 Core Weight: 1 Total Weight: 341 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #143 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 9 Core Weight: 1 Total Weight: 342 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #144 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 5 Core Weight: 1 Total Weight: 343 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #145 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 4 Core Weight: 1 Total Weight: 344 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #146 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 6 Core Weight: 1 Total Weight: 345 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #147 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 9 Core Weight: 1 Total Weight: 346 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #148 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 12 Core Weight: 1 Total Weight: 347 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #149 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 10 Core Weight: 1 Total Weight: 348 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #150 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 18 Core Weight: 1 Total Weight: 349 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #151 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 350 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #152 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 10 Core Weight: 1 Total Weight: 351 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #153 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 22 Core Weight: 1 Total Weight: 352 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #154 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 14 Core Weight: 1 Total Weight: 353 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #155 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 4 Core Weight: 1 Total Weight: 354 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #156 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 8 Core Weight: 1 Total Weight: 355 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #157 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 4 Core Weight: 1 Total Weight: 356 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #158 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 357 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #159 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 25 Core Weight: 1 Total Weight: 358 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #160 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 359 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #161 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 3 Core Weight: 1 Total Weight: 360 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c core #162 186.95/187.06 c 186.95/187.06 c 186.95/187.06 c Core size: 7 Core Weight: 1 Total Weight: 361 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #163 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 7 Core Weight: 1 Total Weight: 362 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #164 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 6 Core Weight: 1 Total Weight: 363 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #165 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 4 Core Weight: 1 Total Weight: 364 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #166 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 3 Core Weight: 1 Total Weight: 365 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #167 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 9 Core Weight: 1 Total Weight: 366 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #168 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 4 Core Weight: 1 Total Weight: 367 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #169 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 5 Core Weight: 1 Total Weight: 368 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #170 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 30 Core Weight: 1 Total Weight: 369 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #171 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 5 Core Weight: 1 Total Weight: 370 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #172 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 6 Core Weight: 1 Total Weight: 371 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #173 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 5 Core Weight: 1 Total Weight: 372 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #174 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 7 Core Weight: 1 Total Weight: 373 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #175 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 6 Core Weight: 1 Total Weight: 374 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c core #176 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 5 Core Weight: 1 Total Weight: 375 186.95/187.07 c 186.95/187.07 c 188.84/188.93 c core #177 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 6 Core Weight: 1 Total Weight: 376 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #178 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 14 Core Weight: 1 Total Weight: 377 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #179 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 6 Core Weight: 1 Total Weight: 378 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #180 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 6 Core Weight: 1 Total Weight: 379 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #181 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 13 Core Weight: 1 Total Weight: 380 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #182 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 5 Core Weight: 1 Total Weight: 381 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #183 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 4 Core Weight: 1 Total Weight: 382 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #184 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 3 Core Weight: 1 Total Weight: 383 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #185 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 6 Core Weight: 1 Total Weight: 384 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #186 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 15 Core Weight: 1 Total Weight: 385 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #187 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 7 Core Weight: 1 Total Weight: 386 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #188 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 4 Core Weight: 1 Total Weight: 387 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #189 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 10 Core Weight: 1 Total Weight: 388 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #190 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 15 Core Weight: 1 Total Weight: 389 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #191 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 9 Core Weight: 1 Total Weight: 390 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #192 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 8 Core Weight: 1 Total Weight: 391 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #193 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 5 Core Weight: 1 Total Weight: 392 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #194 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 7 Core Weight: 1 Total Weight: 393 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #195 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 9 Core Weight: 1 Total Weight: 394 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #196 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 4 Core Weight: 1 Total Weight: 395 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #197 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 16 Core Weight: 1 Total Weight: 396 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #198 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 7 Core Weight: 1 Total Weight: 397 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #199 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 7 Core Weight: 1 Total Weight: 398 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #200 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 3 Core Weight: 1 Total Weight: 399 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #201 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 16 Core Weight: 1 Total Weight: 400 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #202 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 11 Core Weight: 1 Total Weight: 401 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #203 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 6 Core Weight: 1 Total Weight: 402 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #204 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 26 Core Weight: 1 Total Weight: 403 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #205 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c Core size: 3 Core Weight: 1 Total Weight: 404 188.84/188.93 c 188.84/188.93 c 188.84/188.93 c core #206 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 4 Core Weight: 1 Total Weight: 405 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #207 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 3 Core Weight: 1 Total Weight: 406 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #208 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 4 Core Weight: 1 Total Weight: 407 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #209 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 4 Core Weight: 1 Total Weight: 408 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #210 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 26 Core Weight: 1 Total Weight: 409 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #211 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 13 Core Weight: 1 Total Weight: 410 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #212 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 11 Core Weight: 1 Total Weight: 411 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #213 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 5 Core Weight: 1 Total Weight: 412 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #214 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 5 Core Weight: 1 Total Weight: 413 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #215 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 9 Core Weight: 1 Total Weight: 414 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #216 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 12 Core Weight: 1 Total Weight: 415 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #217 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 9 Core Weight: 1 Total Weight: 416 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #218 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 5 Core Weight: 1 Total Weight: 417 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #219 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 24 Core Weight: 1 Total Weight: 418 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #220 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 9 Core Weight: 1 Total Weight: 419 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #221 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 6 Core Weight: 1 Total Weight: 420 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #222 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 16 Core Weight: 1 Total Weight: 421 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #223 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 8 Core Weight: 1 Total Weight: 422 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #224 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 7 Core Weight: 1 Total Weight: 423 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #225 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 6 Core Weight: 1 Total Weight: 424 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #226 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 3 Core Weight: 1 Total Weight: 425 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #227 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 3 Core Weight: 1 Total Weight: 426 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #228 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 6 Core Weight: 1 Total Weight: 427 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #229 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 7 Core Weight: 1 Total Weight: 428 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #230 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 9 Core Weight: 1 Total Weight: 429 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #231 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 5 Core Weight: 1 Total Weight: 430 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #232 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 3 Core Weight: 1 Total Weight: 431 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #233 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 4 Core Weight: 1 Total Weight: 432 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #234 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 4 Core Weight: 1 Total Weight: 433 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c core #235 188.84/188.94 c 188.84/188.94 c 188.84/188.94 c Core size: 6 Core Weight: 1 Total Weight: 434 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #236 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 435 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #237 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 8 Core Weight: 1 Total Weight: 436 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #238 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 8 Core Weight: 1 Total Weight: 437 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #239 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 4 Core Weight: 1 Total Weight: 438 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #240 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 6 Core Weight: 1 Total Weight: 439 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #241 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 8 Core Weight: 1 Total Weight: 440 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #242 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 441 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #243 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 4 Core Weight: 1 Total Weight: 442 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #244 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 443 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #245 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 4 Core Weight: 1 Total Weight: 444 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #246 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 445 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #247 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 446 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #248 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 4 Core Weight: 1 Total Weight: 447 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #249 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 448 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #250 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 449 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #251 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 6 Core Weight: 1 Total Weight: 450 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #252 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 20 Core Weight: 1 Total Weight: 451 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #253 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 452 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #254 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 453 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #255 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 8 Core Weight: 1 Total Weight: 454 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #256 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 7 Core Weight: 1 Total Weight: 455 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #257 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 456 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #258 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 6 Core Weight: 1 Total Weight: 457 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #259 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 6 Core Weight: 1 Total Weight: 458 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #260 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 459 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #261 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 6 Core Weight: 1 Total Weight: 460 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #262 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 29 Core Weight: 1 Total Weight: 461 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #263 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 11 Core Weight: 1 Total Weight: 462 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #264 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 7 Core Weight: 1 Total Weight: 463 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #265 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 21 Core Weight: 1 Total Weight: 464 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #266 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 465 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #267 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 466 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #268 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 467 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #269 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 468 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #270 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 12 Core Weight: 1 Total Weight: 469 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #271 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 6 Core Weight: 1 Total Weight: 470 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #272 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 4 Core Weight: 1 Total Weight: 471 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #273 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 4 Core Weight: 1 Total Weight: 472 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #274 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 6 Core Weight: 1 Total Weight: 473 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #275 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 474 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #276 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 475 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #277 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 476 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #278 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 7 Core Weight: 1 Total Weight: 477 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #279 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 7 Core Weight: 1 Total Weight: 478 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #280 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 4 Core Weight: 1 Total Weight: 479 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #281 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 8 Core Weight: 1 Total Weight: 480 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #282 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 481 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #283 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 18 Core Weight: 1 Total Weight: 482 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #284 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 25 Core Weight: 1 Total Weight: 483 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #285 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 484 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #286 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 8 Core Weight: 1 Total Weight: 485 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #287 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 13 Core Weight: 1 Total Weight: 486 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #288 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 487 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #289 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 9 Core Weight: 1 Total Weight: 488 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #290 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 3 Core Weight: 1 Total Weight: 489 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #291 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 5 Core Weight: 1 Total Weight: 490 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #292 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 23 Core Weight: 1 Total Weight: 491 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c core #293 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 7 Core Weight: 1 Total Weight: 492 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #294 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 17 Core Weight: 1 Total Weight: 493 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #295 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 6 Core Weight: 1 Total Weight: 494 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #296 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 9 Core Weight: 1 Total Weight: 495 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #297 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 10 Core Weight: 1 Total Weight: 496 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #298 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 17 Core Weight: 1 Total Weight: 497 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #299 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 3 Core Weight: 1 Total Weight: 498 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #300 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 3 Core Weight: 1 Total Weight: 499 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #301 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 5 Core Weight: 1 Total Weight: 500 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #302 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 3 Core Weight: 1 Total Weight: 501 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #303 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 6 Core Weight: 1 Total Weight: 502 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #304 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 18 Core Weight: 1 Total Weight: 503 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #305 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 14 Core Weight: 1 Total Weight: 504 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #306 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 5 Core Weight: 1 Total Weight: 505 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #307 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 10 Core Weight: 1 Total Weight: 506 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #308 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 10 Core Weight: 1 Total Weight: 507 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #309 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 21 Core Weight: 1 Total Weight: 508 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #310 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 26 Core Weight: 1 Total Weight: 509 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #311 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 28 Core Weight: 1 Total Weight: 510 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #312 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 25 Core Weight: 1 Total Weight: 511 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #313 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 28 Core Weight: 1 Total Weight: 512 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #314 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 4 Core Weight: 1 Total Weight: 513 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #315 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 3 Core Weight: 1 Total Weight: 514 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #316 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 12 Core Weight: 1 Total Weight: 515 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #317 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 7 Core Weight: 1 Total Weight: 516 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #318 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 11 Core Weight: 1 Total Weight: 517 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #319 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 4 Core Weight: 1 Total Weight: 518 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #320 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 5 Core Weight: 1 Total Weight: 519 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #321 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 11 Core Weight: 1 Total Weight: 520 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #322 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 17 Core Weight: 1 Total Weight: 521 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #323 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 22 Core Weight: 1 Total Weight: 522 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #324 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 5 Core Weight: 1 Total Weight: 523 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #325 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 8 Core Weight: 1 Total Weight: 524 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #326 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 9 Core Weight: 1 Total Weight: 525 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #327 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 9 Core Weight: 1 Total Weight: 526 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #328 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 12 Core Weight: 1 Total Weight: 527 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #329 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 7 Core Weight: 1 Total Weight: 528 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #330 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 7 Core Weight: 1 Total Weight: 529 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #331 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 11 Core Weight: 1 Total Weight: 530 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #332 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 3 Core Weight: 1 Total Weight: 531 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #333 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 22 Core Weight: 1 Total Weight: 532 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #334 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 3 Core Weight: 1 Total Weight: 533 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #335 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 29 Core Weight: 1 Total Weight: 534 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #336 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c Core size: 32 Core Weight: 1 Total Weight: 535 193.03/193.14 c 193.03/193.14 c 193.03/193.14 c core #337 193.03/193.14 c 193.03/193.14 c 193.03/193.15 c Core size: 5 Core Weight: 1 Total Weight: 536 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #338 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 18 Core Weight: 1 Total Weight: 537 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #339 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 10 Core Weight: 1 Total Weight: 538 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #340 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 7 Core Weight: 1 Total Weight: 539 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #341 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 8 Core Weight: 1 Total Weight: 540 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #342 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 3 Core Weight: 1 Total Weight: 541 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #343 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 26 Core Weight: 1 Total Weight: 542 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #344 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 7 Core Weight: 1 Total Weight: 543 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #345 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 16 Core Weight: 1 Total Weight: 544 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #346 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 15 Core Weight: 1 Total Weight: 545 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #347 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 14 Core Weight: 1 Total Weight: 546 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #348 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 9 Core Weight: 1 Total Weight: 547 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #349 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 16 Core Weight: 1 Total Weight: 548 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #350 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 9 Core Weight: 1 Total Weight: 549 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c core #351 193.03/193.15 c 193.03/193.15 c 193.03/193.15 c Core size: 4 Core Weight: 1 Total Weight: 550 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #352 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 14 Core Weight: 1 Total Weight: 551 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #353 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 18 Core Weight: 1 Total Weight: 552 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #354 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 4 Core Weight: 1 Total Weight: 553 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #355 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 6 Core Weight: 1 Total Weight: 554 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #356 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 11 Core Weight: 1 Total Weight: 555 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #357 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 3 Core Weight: 1 Total Weight: 556 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #358 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 4 Core Weight: 1 Total Weight: 557 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #359 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 9 Core Weight: 1 Total Weight: 558 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #360 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 17 Core Weight: 1 Total Weight: 559 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #361 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 12 Core Weight: 1 Total Weight: 560 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #362 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 11 Core Weight: 1 Total Weight: 561 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #363 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 9 Core Weight: 1 Total Weight: 562 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #364 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 27 Core Weight: 1 Total Weight: 563 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #365 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 3 Core Weight: 1 Total Weight: 564 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #366 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 7 Core Weight: 1 Total Weight: 565 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #367 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 9 Core Weight: 1 Total Weight: 566 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #368 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 15 Core Weight: 1 Total Weight: 567 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #369 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 8 Core Weight: 1 Total Weight: 568 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #370 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 12 Core Weight: 1 Total Weight: 569 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #371 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 12 Core Weight: 1 Total Weight: 570 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #372 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 25 Core Weight: 1 Total Weight: 571 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #373 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 15 Core Weight: 1 Total Weight: 572 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #374 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 11 Core Weight: 1 Total Weight: 573 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #375 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 16 Core Weight: 1 Total Weight: 574 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #376 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 11 Core Weight: 1 Total Weight: 575 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #377 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 9 Core Weight: 1 Total Weight: 576 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #378 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 21 Core Weight: 1 Total Weight: 577 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #379 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 15 Core Weight: 1 Total Weight: 578 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #380 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 14 Core Weight: 1 Total Weight: 579 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #381 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 20 Core Weight: 1 Total Weight: 580 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #382 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 9 Core Weight: 1 Total Weight: 581 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #383 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 8 Core Weight: 1 Total Weight: 582 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #384 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 28 Core Weight: 1 Total Weight: 583 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #385 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 11 Core Weight: 1 Total Weight: 584 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #386 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 12 Core Weight: 1 Total Weight: 585 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #387 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 17 Core Weight: 1 Total Weight: 586 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #388 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 16 Core Weight: 1 Total Weight: 587 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #389 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 14 Core Weight: 1 Total Weight: 588 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #390 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 15 Core Weight: 1 Total Weight: 589 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #391 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 33 Core Weight: 1 Total Weight: 590 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #392 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 14 Core Weight: 1 Total Weight: 591 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #393 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 17 Core Weight: 1 Total Weight: 592 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #394 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 23 Core Weight: 1 Total Weight: 593 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #395 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 12 Core Weight: 1 Total Weight: 594 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #396 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 12 Core Weight: 1 Total Weight: 595 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #397 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 17 Core Weight: 1 Total Weight: 596 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #398 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 11 Core Weight: 1 Total Weight: 597 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #399 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 8 Core Weight: 1 Total Weight: 598 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #400 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 9 Core Weight: 1 Total Weight: 599 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #401 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 19 Core Weight: 1 Total Weight: 600 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #402 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 10 Core Weight: 1 Total Weight: 601 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #403 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 36 Core Weight: 1 Total Weight: 602 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #404 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 25 Core Weight: 1 Total Weight: 603 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #405 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 15 Core Weight: 1 Total Weight: 604 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #406 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 16 Core Weight: 1 Total Weight: 605 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #407 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 20 Core Weight: 1 Total Weight: 606 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #408 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 16 Core Weight: 1 Total Weight: 607 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c core #409 196.33/196.49 c 196.33/196.49 c 196.33/196.49 c Core size: 13 Core Weight: 1 Total Weight: 608 196.63/196.78 c 196.63/196.78 c 196.63/196.78 c core #410 196.63/196.78 c 196.63/196.78 c 196.63/196.78 c Core size: 13 Core Weight: 1 Total Weight: 609 196.63/196.78 c 196.63/196.78 c 196.63/196.78 c core #411 196.63/196.78 c 196.63/196.78 c 196.63/196.78 c Core size: 18 Core Weight: 1 Total Weight: 610 196.63/196.78 c 196.63/196.78 c 196.63/196.78 c core #412 196.63/196.78 c 196.63/196.78 c 196.63/196.78 c Core size: 41 Core Weight: 1 Total Weight: 611 196.63/196.78 c 196.63/196.78 c 196.63/196.78 c ============================[ Search Statistics ]============================== 196.63/196.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.63/196.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.63/196.78 c =============================================================================== 196.63/196.78 c | 0 | 7046 12110 77420 | 5000 0 nan | 0.000 % | 196.63/196.79 c =============================================================================== 196.73/196.86 c core #413 196.73/196.86 c 196.73/196.86 c 196.73/196.86 c Core size: 18 Core Weight: 1 Total Weight: 612 196.73/196.86 c 196.73/196.86 c 196.73/196.86 c ============================[ Search Statistics ]============================== 196.73/196.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.73/196.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.73/196.86 c =============================================================================== 196.73/196.86 c | 0 | 7071 12112 77553 | 5000 0 nan | 0.000 % | 196.73/196.86 c =============================================================================== 196.84/196.93 c core #414 196.84/196.93 c 196.84/196.93 c 196.84/196.93 c Core size: 39 Core Weight: 1 Total Weight: 613 196.84/196.93 c 196.84/196.93 c 196.84/196.93 c ============================[ Search Statistics ]============================== 196.84/196.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.84/196.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.84/196.93 c =============================================================================== 196.84/196.93 c | 0 | 7126 12113 77914 | 5000 0 nan | 0.000 % | 196.84/196.94 c =============================================================================== 196.94/197.01 c core #415 196.94/197.01 c 196.94/197.01 c 196.94/197.01 c Core size: 15 Core Weight: 1 Total Weight: 614 196.94/197.01 c 196.94/197.01 c 196.94/197.01 c ============================[ Search Statistics ]============================== 196.94/197.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.94/197.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.94/197.01 c =============================================================================== 196.94/197.01 c | 0 | 7143 12114 77962 | 5000 0 nan | 0.000 % | 196.94/197.01 c =============================================================================== 196.94/197.08 c core #416 196.94/197.08 c 196.94/197.08 c 196.94/197.08 c Core size: 15 Core Weight: 1 Total Weight: 615 196.94/197.08 c 196.94/197.08 c 196.94/197.08 c ============================[ Search Statistics ]============================== 196.94/197.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.94/197.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.94/197.08 c =============================================================================== 196.94/197.08 c | 0 | 7155 12115 77986 | 5000 0 nan | 0.000 % | 196.94/197.09 c =============================================================================== 197.04/197.16 c core #417 197.04/197.16 c 197.04/197.16 c 197.04/197.16 c Core size: 12 Core Weight: 1 Total Weight: 616 197.04/197.16 c 197.04/197.16 c 197.04/197.16 c ============================[ Search Statistics ]============================== 197.04/197.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.04/197.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.04/197.16 c =============================================================================== 197.04/197.16 c | 0 | 7169 12116 78027 | 5000 0 nan | 0.000 % | 197.04/197.17 c =============================================================================== 197.14/197.24 c core #418 197.14/197.24 c 197.14/197.24 c 197.14/197.24 c Core size: 25 Core Weight: 1 Total Weight: 617 197.14/197.24 c 197.14/197.24 c 197.14/197.24 c ============================[ Search Statistics ]============================== 197.14/197.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.14/197.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.14/197.24 c =============================================================================== 197.14/197.24 c | 0 | 7191 12117 78115 | 5000 0 nan | 0.000 % | 197.14/197.25 c =============================================================================== 197.24/197.31 c core #419 197.24/197.31 c 197.24/197.31 c 197.24/197.31 c Core size: 16 Core Weight: 1 Total Weight: 618 197.24/197.31 c 197.24/197.31 c 197.24/197.31 c ============================[ Search Statistics ]============================== 197.24/197.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.24/197.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.24/197.31 c =============================================================================== 197.24/197.31 c | 0 | 7207 12118 78240 | 5000 0 nan | 0.000 % | 197.24/197.32 c =============================================================================== 197.24/197.39 c core #420 197.24/197.39 c 197.24/197.39 c 197.24/197.39 c Core size: 54 Core Weight: 1 Total Weight: 619 197.24/197.39 c 197.24/197.39 c 197.24/197.39 c ============================[ Search Statistics ]============================== 197.24/197.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.24/197.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.24/197.39 c =============================================================================== 197.24/197.39 c | 0 | 7267 12119 78548 | 5000 0 nan | 0.000 % | 197.34/197.40 c =============================================================================== 197.34/197.47 c core #421 197.34/197.47 c 197.34/197.47 c 197.34/197.47 c Core size: 11 Core Weight: 1 Total Weight: 620 197.34/197.47 c 197.34/197.47 c 197.34/197.47 c ============================[ Search Statistics ]============================== 197.34/197.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.34/197.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.34/197.47 c =============================================================================== 197.34/197.47 c | 0 | 7300 12120 78603 | 5000 0 nan | 0.000 % | 197.34/197.48 c =============================================================================== 197.44/197.55 c core #422 197.44/197.55 c 197.44/197.55 c 197.44/197.55 c Core size: 16 Core Weight: 1 Total Weight: 621 197.44/197.55 c 197.44/197.55 c 197.44/197.55 c ============================[ Search Statistics ]============================== 197.44/197.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.44/197.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.44/197.55 c =============================================================================== 197.44/197.55 c | 0 | 7319 12121 78686 | 5000 0 nan | 0.000 % | 197.44/197.56 c =============================================================================== 197.54/197.62 c core #423 197.54/197.62 c 197.54/197.62 c 197.54/197.62 c Core size: 9 Core Weight: 1 Total Weight: 622 197.54/197.62 c 197.54/197.62 c 197.54/197.62 c ============================[ Search Statistics ]============================== 197.54/197.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.54/197.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.54/197.62 c =============================================================================== 197.54/197.62 c | 0 | 7328 12122 78723 | 5000 0 nan | 0.000 % | 197.54/197.64 c =============================================================================== 197.64/197.70 c core #424 197.64/197.70 c 197.64/197.70 c 197.64/197.70 c Core size: 30 Core Weight: 1 Total Weight: 623 197.64/197.70 c 197.64/197.70 c 197.64/197.70 c ============================[ Search Statistics ]============================== 197.64/197.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.64/197.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.64/197.70 c =============================================================================== 197.64/197.70 c | 0 | 7351 12123 78771 | 5000 0 nan | 0.000 % | 197.64/197.71 c =============================================================================== 197.64/197.78 c core #425 197.64/197.78 c 197.64/197.78 c 197.64/197.78 c Core size: 18 Core Weight: 1 Total Weight: 624 197.64/197.78 c 197.64/197.78 c 197.64/197.78 c ============================[ Search Statistics ]============================== 197.64/197.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.64/197.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.64/197.78 c =============================================================================== 197.64/197.78 c | 0 | 7375 12124 78858 | 5000 0 nan | 0.000 % | 197.64/197.79 c =============================================================================== 197.74/197.86 c core #426 197.74/197.86 c 197.74/197.86 c 197.74/197.86 c Core size: 12 Core Weight: 1 Total Weight: 625 197.74/197.86 c 197.74/197.86 c 197.74/197.86 c ============================[ Search Statistics ]============================== 197.74/197.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.74/197.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.74/197.86 c =============================================================================== 197.74/197.86 c | 0 | 7387 12125 78888 | 5000 0 nan | 0.000 % | 197.74/197.87 c =============================================================================== 197.84/197.94 c core #427 197.84/197.94 c 197.84/197.94 c 197.84/197.94 c Core size: 18 Core Weight: 1 Total Weight: 626 197.84/197.94 c 197.84/197.94 c 197.84/197.94 c ============================[ Search Statistics ]============================== 197.84/197.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.84/197.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.84/197.94 c =============================================================================== 197.84/197.94 c | 0 | 7406 12126 79037 | 5000 0 nan | 0.000 % | 197.84/197.95 c =============================================================================== 197.95/198.02 c core #428 197.95/198.02 c 197.95/198.02 c 197.95/198.02 c Core size: 48 Core Weight: 1 Total Weight: 627 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 | 7483 12127 79310 | 5000 0 nan | 0.000 % | 197.95/198.03 c | 100 | 7483 12127 79310 | 5500 100 17 | 10.779 % | 197.95/198.03 c =============================================================================== 197.95/198.10 c core #429 197.95/198.10 c 197.95/198.10 c 197.95/198.10 c Core size: 22 Core Weight: 1 Total Weight: 628 197.95/198.10 c 197.95/198.10 c 197.95/198.10 c ============================[ Search Statistics ]============================== 197.95/198.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.95/198.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.95/198.10 c =============================================================================== 197.95/198.10 c | 0 | 7505 12128 79390 | 5000 0 nan | 0.000 % | 198.04/198.12 c | 102 | 7505 12128 79390 | 5500 102 12 | 10.719 % | 198.04/198.12 c =============================================================================== 198.04/198.18 c core #430 198.04/198.18 c 198.04/198.18 c 198.04/198.18 c Core size: 15 Core Weight: 1 Total Weight: 629 198.04/198.18 c 198.04/198.18 c 198.04/198.18 c ============================[ Search Statistics ]============================== 198.04/198.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.04/198.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.04/198.18 c =============================================================================== 198.04/198.18 c | 0 | 7524 12129 79483 | 5000 0 nan | 0.000 % | 198.14/198.20 c | 103 | 7524 12129 79483 | 5500 103 16 | 10.620 % | 198.14/198.20 c =============================================================================== 198.14/198.27 c core #431 198.14/198.27 c 198.14/198.27 c 198.14/198.27 c Core size: 33 Core Weight: 1 Total Weight: 630 198.14/198.27 c 198.14/198.27 c 198.14/198.27 c ============================[ Search Statistics ]============================== 198.14/198.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.14/198.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.14/198.27 c =============================================================================== 198.14/198.27 c | 0 | 7573 12130 79728 | 5000 0 nan | 0.000 % | 198.14/198.29 c =============================================================================== 198.23/198.35 c core #432 198.23/198.35 c 198.23/198.35 c 198.23/198.35 c Core size: 29 Core Weight: 1 Total Weight: 631 198.23/198.35 c 198.23/198.35 c 198.23/198.35 c ============================[ Search Statistics ]============================== 198.23/198.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.23/198.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.23/198.35 c =============================================================================== 198.23/198.35 c | 0 | 7600 12131 79782 | 5000 0 nan | 0.000 % | 198.23/198.37 c | 100 | 7599 12131 79782 | 5500 100 16 | 10.336 % | 198.23/198.37 c =============================================================================== 198.33/198.44 c core #433 198.33/198.44 c 198.33/198.44 c 198.33/198.44 c Core size: 24 Core Weight: 1 Total Weight: 632 198.33/198.44 c 198.33/198.44 c 198.33/198.44 c ============================[ Search Statistics ]============================== 198.33/198.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.33/198.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.33/198.44 c =============================================================================== 198.33/198.44 c | 0 | 7629 12132 79954 | 5000 0 nan | 0.000 % | 198.33/198.45 c =============================================================================== 198.43/198.52 c core #434 198.43/198.52 c 198.43/198.52 c 198.43/198.52 c Core size: 25 Core Weight: 1 Total Weight: 633 198.43/198.52 c 198.43/198.52 c 198.43/198.52 c ============================[ Search Statistics ]============================== 198.43/198.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.43/198.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.43/198.52 c =============================================================================== 198.43/198.52 c | 0 | 7654 12133 80034 | 5000 0 nan | 0.000 % | 198.43/198.53 c | 100 | 7654 12133 80034 | 5500 100 17 | 10.143 % | 198.43/198.53 c =============================================================================== 198.54/198.60 c core #435 198.54/198.60 c 198.54/198.60 c 198.54/198.60 c Core size: 32 Core Weight: 1 Total Weight: 634 198.54/198.60 c 198.54/198.60 c 198.54/198.60 c ============================[ Search Statistics ]============================== 198.54/198.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.54/198.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.54/198.60 c =============================================================================== 198.54/198.60 c | 0 | 7682 12134 80098 | 5000 0 nan | 0.000 % | 198.54/198.61 c =============================================================================== 198.54/198.68 c core #436 198.54/198.68 c 198.54/198.68 c 198.54/198.68 c Core size: 34 Core Weight: 1 Total Weight: 635 198.54/198.68 c 198.54/198.68 c 198.54/198.68 c ============================[ Search Statistics ]============================== 198.54/198.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.54/198.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.54/198.68 c =============================================================================== 198.54/198.68 c | 0 | 7724 12135 80261 | 5000 0 nan | 0.000 % | 198.54/198.69 c | 100 | 7724 12135 80261 | 5500 100 17 | 9.872 % | 198.64/198.70 c =============================================================================== 198.64/198.77 c core #437 198.64/198.77 c 198.64/198.77 c 198.64/198.77 c Core size: 46 Core Weight: 1 Total Weight: 636 198.64/198.77 c 198.64/198.77 c 198.64/198.77 c ============================[ Search Statistics ]============================== 198.64/198.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.64/198.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.64/198.77 c =============================================================================== 198.64/198.77 c | 0 | 7782 12136 80435 | 5000 0 nan | 0.000 % | 198.64/198.78 c =============================================================================== 198.74/198.85 c core #438 198.74/198.85 c 198.74/198.85 c 198.74/198.85 c Core size: 51 Core Weight: 1 Total Weight: 637 198.74/198.85 c 198.74/198.85 c 198.74/198.85 c ============================[ Search Statistics ]============================== 198.74/198.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.74/198.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.74/198.85 c =============================================================================== 198.74/198.85 c | 0 | 7830 12137 80610 | 5000 0 nan | 0.000 % | 198.74/198.87 c =============================================================================== 198.84/198.94 c core #439 198.84/198.94 c 198.84/198.94 c 198.84/198.94 c Core size: 45 Core Weight: 1 Total Weight: 638 198.84/198.94 c 198.84/198.94 c 198.84/198.94 c ============================[ Search Statistics ]============================== 198.84/198.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.84/198.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.84/198.94 c =============================================================================== 198.84/198.94 c | 0 | 7880 12138 80825 | 5000 0 nan | 0.000 % | 198.84/198.95 c =============================================================================== 198.94/199.02 c core #440 198.94/199.02 c 198.94/199.02 c 198.94/199.02 c Core size: 45 Core Weight: 1 Total Weight: 639 198.94/199.02 c 198.94/199.02 c 198.94/199.02 c ============================[ Search Statistics ]============================== 198.94/199.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.94/199.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.94/199.02 c =============================================================================== 198.94/199.02 c | 0 | 7921 12139 80934 | 5000 0 nan | 0.000 % | 198.94/199.04 c | 101 | 7920 12139 80934 | 5500 101 12 | 9.321 % | 198.94/199.04 c =============================================================================== 199.04/199.11 c core #441 199.04/199.11 c 199.04/199.11 c 199.04/199.11 c Core size: 34 Core Weight: 1 Total Weight: 640 199.04/199.11 c 199.04/199.11 c 199.04/199.11 c ============================[ Search Statistics ]============================== 199.04/199.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.04/199.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.04/199.11 c =============================================================================== 199.04/199.11 c | 0 | 7991 12140 81364 | 5000 0 nan | 0.000 % | 199.04/199.13 c =============================================================================== 199.04/199.19 c core #442 199.04/199.19 c 199.04/199.19 c 199.04/199.19 c Core size: 26 Core Weight: 1 Total Weight: 641 199.04/199.19 c 199.04/199.19 c 199.04/199.19 c ============================[ Search Statistics ]============================== 199.04/199.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.04/199.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.04/199.19 c =============================================================================== 199.04/199.19 c | 0 | 8028 12141 81514 | 5000 0 nan | 0.000 % | 199.14/199.21 c | 100 | 8025 12141 81514 | 5500 100 14 | 8.578 % | 199.14/199.22 c | 253 | 8025 12141 81514 | 6050 253 19 | 8.590 % | 199.14/199.23 c =============================================================================== 199.24/199.30 c core #443 199.24/199.30 c 199.24/199.30 c 199.24/199.30 c Core size: 70 Core Weight: 1 Total Weight: 642 199.24/199.30 c 199.24/199.30 c 199.24/199.30 c ============================[ Search Statistics ]============================== 199.24/199.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.24/199.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.24/199.30 c =============================================================================== 199.24/199.30 c | 0 | 8094 12142 81646 | 5000 0 nan | 0.000 % | 199.24/199.32 c =============================================================================== 199.24/199.39 c core #444 199.24/199.39 c 199.24/199.39 c 199.24/199.39 c Core size: 16 Core Weight: 1 Total Weight: 643 199.24/199.39 c 199.24/199.39 c 199.24/199.39 c ============================[ Search Statistics ]============================== 199.24/199.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.24/199.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.24/199.39 c =============================================================================== 199.24/199.39 c | 0 | 8107 12143 81672 | 5000 0 nan | 0.000 % | 199.33/199.40 c =============================================================================== 199.33/199.47 c core #445 199.33/199.47 c 199.33/199.47 c 199.33/199.47 c Core size: 14 Core Weight: 1 Total Weight: 644 199.33/199.47 c 199.33/199.47 c 199.33/199.47 c ============================[ Search Statistics ]============================== 199.33/199.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.33/199.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.33/199.47 c =============================================================================== 199.33/199.47 c | 0 | 8122 12144 81779 | 5000 0 nan | 0.000 % | 199.33/199.49 c | 100 | 8122 12144 81779 | 5500 100 14 | 8.412 % | 199.33/199.49 c =============================================================================== 199.43/199.56 c core #446 199.43/199.56 c 199.43/199.56 c 199.43/199.56 c Core size: 60 Core Weight: 1 Total Weight: 645 199.43/199.56 c 199.43/199.56 c 199.43/199.56 c ============================[ Search Statistics ]============================== 199.43/199.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.43/199.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.43/199.56 c =============================================================================== 199.43/199.56 c | 0 | 8179 12145 81893 | 5000 0 nan | 0.000 % | 199.43/199.58 c | 104 | 8179 12145 81893 | 5500 104 21 | 8.359 % | 199.43/199.59 c =============================================================================== 199.53/199.66 c core #447 199.53/199.66 c 199.53/199.66 c 199.53/199.66 c Core size: 21 Core Weight: 1 Total Weight: 646 199.53/199.66 c 199.53/199.66 c 199.53/199.66 c ============================[ Search Statistics ]============================== 199.53/199.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.53/199.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.53/199.66 c =============================================================================== 199.53/199.66 c | 0 | 8201 12146 82004 | 5000 0 nan | 0.000 % | 199.53/199.67 c =============================================================================== 199.64/199.75 c core #448 199.64/199.75 c 199.64/199.75 c 199.64/199.75 c Core size: 24 Core Weight: 1 Total Weight: 647 199.64/199.75 c 199.64/199.75 c 199.64/199.75 c ============================[ Search Statistics ]============================== 199.64/199.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.64/199.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.64/199.75 c =============================================================================== 199.64/199.75 c | 0 | 8223 12147 82048 | 5000 0 nan | 0.000 % | 199.64/199.76 c =============================================================================== 199.74/199.83 c core #449 199.74/199.83 c 199.74/199.83 c 199.74/199.83 c Core size: 13 Core Weight: 1 Total Weight: 648 199.74/199.83 c 199.74/199.83 c 199.74/199.83 c ============================[ Search Statistics ]============================== 199.74/199.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.74/199.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.74/199.83 c =============================================================================== 199.74/199.83 c | 0 | 8237 12148 82087 | 5000 0 nan | 0.000 % | 199.74/199.84 c =============================================================================== 199.84/199.91 c core #450 199.84/199.91 c 199.84/199.91 c 199.84/199.91 c Core size: 23 Core Weight: 1 Total Weight: 649 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 | 8262 12149 82178 | 5000 0 nan | 0.000 % | 199.84/199.93 c | 101 | 8261 12149 82178 | 5500 101 21 | 8.151 % | 199.84/199.94 c | 251 | 8261 12149 82178 | 6050 251 28 | 8.173 % | 199.84/199.95 c | 476 | 8261 12149 82178 | 6655 476 34 | 8.173 % | 199.84/199.97 c | 814 | 8257 12149 82178 | 7320 814 27 | 9.185 % | 199.84/199.97 c =============================================================================== 199.94/200.04 c core #451 199.94/200.04 c 199.94/200.04 c 199.94/200.04 c Core size: 48 Core Weight: 1 Total Weight: 650 199.94/200.04 c 199.94/200.04 c 199.94/200.04 c ============================[ Search Statistics ]============================== 199.94/200.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.94/200.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.94/200.04 c =============================================================================== 199.94/200.04 c | 0 | 8304 12150 82262 | 5000 0 nan | 0.000 % | 199.94/200.06 c =============================================================================== 200.03/200.13 c core #452 200.03/200.13 c 200.03/200.13 c 200.03/200.13 c Core size: 19 Core Weight: 1 Total Weight: 651 200.03/200.13 c 200.03/200.13 c 200.03/200.13 c ============================[ Search Statistics ]============================== 200.03/200.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.03/200.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.03/200.13 c =============================================================================== 200.03/200.13 c | 0 | 8327 12151 82376 | 5000 0 nan | 0.000 % | 200.03/200.14 c | 103 | 8327 12151 82376 | 5500 103 19 | 7.999 % | 200.03/200.15 c | 253 | 8318 12151 82376 | 6050 253 19 | 8.187 % | 200.03/200.17 c | 481 | 8303 12151 82376 | 6655 481 29 | 8.353 % | 200.03/200.18 c =============================================================================== 200.14/200.25 c core #453 200.14/200.25 c 200.14/200.25 c 200.14/200.25 c Core size: 77 Core Weight: 1 Total Weight: 652 200.14/200.25 c 200.14/200.25 c 200.14/200.25 c ============================[ Search Statistics ]============================== 200.14/200.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.14/200.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.14/200.25 c =============================================================================== 200.14/200.25 c | 0 | 8405 12152 82537 | 5000 0 nan | 0.000 % | 200.14/200.27 c | 101 | 8405 12152 82537 | 5500 101 18 | 7.911 % | 200.14/200.27 c =============================================================================== 200.24/200.35 c core #454 200.24/200.35 c 200.24/200.35 c 200.24/200.35 c Core size: 38 Core Weight: 1 Total Weight: 653 200.24/200.35 c 200.24/200.35 c 200.24/200.35 c ============================[ Search Statistics ]============================== 200.24/200.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.24/200.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.24/200.35 c =============================================================================== 200.24/200.35 c | 0 | 8438 12153 82603 | 5000 0 nan | 0.000 % | 200.24/200.36 c =============================================================================== 200.33/200.43 c core #455 200.33/200.43 c 200.33/200.43 c 200.33/200.43 c Core size: 22 Core Weight: 1 Total Weight: 654 200.33/200.43 c 200.33/200.43 c 200.33/200.43 c ============================[ Search Statistics ]============================== 200.33/200.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.33/200.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.33/200.43 c =============================================================================== 200.33/200.43 c | 0 | 8466 12155 82687 | 5000 0 nan | 0.000 % | 200.33/200.45 c =============================================================================== 200.43/200.52 c core #456 200.43/200.52 c 200.43/200.52 c 200.43/200.52 c Core size: 27 Core Weight: 1 Total Weight: 655 200.43/200.52 c 200.43/200.52 c 200.43/200.52 c ============================[ Search Statistics ]============================== 200.43/200.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.43/200.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.43/200.52 c =============================================================================== 200.43/200.52 c | 0 | 8494 12156 82788 | 5000 0 nan | 0.000 % | 200.43/200.53 c =============================================================================== 200.54/200.60 c core #457 200.54/200.60 c 200.54/200.60 c 200.54/200.60 c Core size: 19 Core Weight: 1 Total Weight: 656 200.54/200.60 c 200.54/200.60 c 200.54/200.60 c ============================[ Search Statistics ]============================== 200.54/200.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.54/200.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.54/200.60 c =============================================================================== 200.54/200.60 c | 0 | 8514 12157 82837 | 5000 0 nan | 0.000 % | 200.54/200.61 c =============================================================================== 200.54/200.68 c core #458 200.54/200.68 c 200.54/200.68 c 200.54/200.68 c Core size: 22 Core Weight: 1 Total Weight: 657 200.54/200.68 c 200.54/200.68 c 200.54/200.68 c ============================[ Search Statistics ]============================== 200.54/200.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.54/200.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.54/200.68 c =============================================================================== 200.54/200.68 c | 0 | 8544 12158 83046 | 5000 0 nan | 0.000 % | 200.54/200.69 c =============================================================================== 200.64/200.76 c core #459 200.64/200.76 c 200.64/200.76 c 200.64/200.76 c Core size: 32 Core Weight: 1 Total Weight: 658 200.64/200.76 c 200.64/200.76 c 200.64/200.76 c ============================[ Search Statistics ]============================== 200.64/200.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.64/200.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.64/200.76 c =============================================================================== 200.64/200.76 c | 0 | 8577 12159 83166 | 5000 0 nan | 0.000 % | 200.64/200.78 c | 100 | 8577 12159 83166 | 5500 100 16 | 7.426 % | 200.64/200.79 c | 255 | 8574 12159 83166 | 6050 255 14 | 7.469 % | 200.64/200.79 c =============================================================================== 200.74/200.86 c core #460 200.74/200.86 c 200.74/200.86 c 200.74/200.86 c Core size: 52 Core Weight: 1 Total Weight: 659 200.74/200.86 c 200.74/200.86 c 200.74/200.86 c ============================[ Search Statistics ]============================== 200.74/200.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.74/200.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.74/200.86 c =============================================================================== 200.74/200.86 c | 0 | 8626 12160 83264 | 5000 0 nan | 0.000 % | 200.74/200.88 c | 100 | 8626 12160 83264 | 5500 100 17 | 7.387 % | 200.74/200.88 c =============================================================================== 200.84/200.95 c core #461 200.84/200.95 c 200.84/200.95 c 200.84/200.95 c Core size: 25 Core Weight: 1 Total Weight: 660 200.84/200.95 c 200.84/200.95 c 200.84/200.95 c ============================[ Search Statistics ]============================== 200.84/200.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.84/200.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.84/200.95 c =============================================================================== 200.84/200.95 c | 0 | 8660 12161 83698 | 5000 0 nan | 0.000 % | 200.84/200.97 c =============================================================================== 200.94/201.04 c core #462 200.94/201.04 c 200.94/201.04 c 200.94/201.04 c Core size: 29 Core Weight: 1 Total Weight: 661 200.94/201.04 c 200.94/201.04 c 200.94/201.04 c ============================[ Search Statistics ]============================== 200.94/201.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.94/201.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.94/201.04 c =============================================================================== 200.94/201.04 c | 0 | 8688 12162 83807 | 5000 0 nan | 0.000 % | 200.94/201.06 c | 100 | 8688 12162 83807 | 5500 100 17 | 7.199 % | 200.94/201.07 c | 251 | 8688 12162 83807 | 6050 251 21 | 7.199 % | 200.94/201.08 c =============================================================================== 201.04/201.15 c core #463 201.04/201.15 c 201.04/201.15 c 201.04/201.15 c Core size: 29 Core Weight: 1 Total Weight: 662 201.04/201.15 c 201.04/201.15 c 201.04/201.15 c ============================[ Search Statistics ]============================== 201.04/201.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.04/201.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.04/201.15 c =============================================================================== 201.04/201.15 c | 0 | 8724 12163 84053 | 5000 0 nan | 0.000 % | 201.04/201.17 c | 103 | 8723 12163 84053 | 5500 103 20 | 7.103 % | 201.04/201.17 c =============================================================================== 201.14/201.24 c core #464 201.14/201.24 c 201.14/201.24 c 201.14/201.24 c Core size: 11 Core Weight: 1 Total Weight: 663 201.14/201.24 c 201.14/201.24 c 201.14/201.24 c ============================[ Search Statistics ]============================== 201.14/201.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.14/201.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.14/201.24 c =============================================================================== 201.14/201.24 c | 0 | 8734 12164 84077 | 5000 0 nan | 0.000 % | 201.14/201.26 c =============================================================================== 201.24/201.33 c core #465 201.24/201.33 c 201.24/201.33 c 201.24/201.33 c Core size: 24 Core Weight: 1 Total Weight: 664 201.24/201.33 c 201.24/201.33 c 201.24/201.33 c ============================[ Search Statistics ]============================== 201.24/201.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.24/201.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.24/201.33 c =============================================================================== 201.24/201.33 c | 0 | 8759 12165 84195 | 5000 0 nan | 0.000 % | 201.24/201.35 c =============================================================================== 201.34/201.42 c core #466 201.34/201.42 c 201.34/201.42 c 201.34/201.42 c Core size: 26 Core Weight: 1 Total Weight: 665 201.34/201.42 c 201.34/201.42 c 201.34/201.42 c ============================[ Search Statistics ]============================== 201.34/201.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.34/201.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.34/201.42 c =============================================================================== 201.34/201.42 c | 0 | 8788 12166 84317 | 5000 0 nan | 0.000 % | 201.34/201.43 c =============================================================================== 201.43/201.50 c core #467 201.43/201.50 c 201.43/201.50 c 201.43/201.50 c Core size: 52 Core Weight: 1 Total Weight: 666 201.43/201.50 c 201.43/201.50 c 201.43/201.50 c ============================[ Search Statistics ]============================== 201.43/201.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.43/201.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.43/201.50 c =============================================================================== 201.43/201.50 c | 0 | 8838 12167 84431 | 5000 0 nan | 0.000 % | 201.43/201.52 c | 100 | 8832 12167 84431 | 5500 100 12 | 6.934 % | 201.43/201.52 c =============================================================================== 201.43/201.59 c core #468 201.43/201.59 c 201.43/201.59 c 201.43/201.59 c Core size: 61 Core Weight: 1 Total Weight: 667 201.43/201.59 c 201.43/201.59 c 201.43/201.59 c ============================[ Search Statistics ]============================== 201.43/201.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.43/201.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.43/201.59 c =============================================================================== 201.43/201.59 c | 0 | 8896 12168 84547 | 5000 0 nan | 0.000 % | 201.53/201.61 c =============================================================================== 201.53/201.68 c core #469 201.53/201.68 c 201.53/201.68 c 201.53/201.68 c Core size: 46 Core Weight: 1 Total Weight: 668 201.53/201.68 c 201.53/201.68 c 201.53/201.68 c ============================[ Search Statistics ]============================== 201.53/201.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.53/201.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.53/201.68 c =============================================================================== 201.53/201.68 c | 0 | 8952 12169 84731 | 5000 0 nan | 0.000 % | 201.63/201.70 c =============================================================================== 201.63/201.77 c core #470 201.63/201.77 c 201.63/201.77 c 201.63/201.77 c Core size: 20 Core Weight: 1 Total Weight: 669 201.63/201.77 c 201.63/201.77 c 201.63/201.77 c ============================[ Search Statistics ]============================== 201.63/201.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.63/201.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.63/201.77 c =============================================================================== 201.63/201.77 c | 0 | 9001 12170 84877 | 5000 0 nan | 0.000 % | 201.63/201.79 c =============================================================================== 201.74/201.86 c core #471 201.74/201.86 c 201.74/201.86 c 201.74/201.86 c Core size: 21 Core Weight: 1 Total Weight: 670 201.74/201.86 c 201.74/201.86 c 201.74/201.86 c ============================[ Search Statistics ]============================== 201.74/201.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.74/201.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.74/201.86 c =============================================================================== 201.74/201.86 c | 0 | 9028 12171 84997 | 5000 0 nan | 0.000 % | 201.74/201.88 c | 101 | 9027 12171 84997 | 5500 101 19 | 6.203 % | 201.74/201.89 c | 251 | 9026 12171 84997 | 6050 251 23 | 6.224 % | 201.74/201.89 c =============================================================================== 201.83/201.96 c core #472 201.83/201.96 c 201.83/201.96 c 201.83/201.96 c Core size: 10 Core Weight: 1 Total Weight: 671 201.83/201.96 c 201.83/201.96 c 201.83/201.96 c ============================[ Search Statistics ]============================== 201.83/201.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.83/201.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.83/201.96 c =============================================================================== 201.83/201.96 c | 0 | 9037 12172 85019 | 5000 0 nan | 0.000 % | 201.83/201.99 c =============================================================================== 201.93/202.06 c core #473 201.93/202.06 c 201.93/202.06 c 201.93/202.06 c Core size: 48 Core Weight: 1 Total Weight: 672 201.93/202.06 c 201.93/202.06 c 201.93/202.06 c ============================[ Search Statistics ]============================== 201.93/202.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.93/202.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.93/202.06 c =============================================================================== 201.93/202.06 c | 0 | 9083 12173 85158 | 5000 0 nan | 0.000 % | 201.93/202.08 c | 100 | 9077 12173 85158 | 5500 100 13 | 6.181 % | 201.93/202.09 c =============================================================================== 202.03/202.16 c core #474 202.03/202.16 c 202.03/202.16 c 202.03/202.16 c Core size: 20 Core Weight: 1 Total Weight: 673 202.03/202.16 c 202.03/202.16 c 202.03/202.16 c ============================[ Search Statistics ]============================== 202.03/202.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.03/202.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.03/202.16 c =============================================================================== 202.03/202.16 c | 0 | 9110 12174 85249 | 5000 0 nan | 0.000 % | 202.03/202.18 c | 100 | 9110 12174 85249 | 5500 100 24 | 6.005 % | 202.03/202.18 c =============================================================================== 202.13/202.25 c core #475 202.13/202.25 c 202.13/202.25 c 202.13/202.25 c Core size: 41 Core Weight: 1 Total Weight: 674 202.13/202.25 c 202.13/202.25 c 202.13/202.25 c ============================[ Search Statistics ]============================== 202.13/202.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.13/202.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.13/202.25 c =============================================================================== 202.13/202.25 c | 0 | 9174 12175 85644 | 5000 0 nan | 0.000 % | 202.13/202.27 c | 100 | 9173 12175 85644 | 5500 100 18 | 5.734 % | 202.13/202.29 c | 250 | 9165 12175 85644 | 6050 250 17 | 5.816 % | 202.13/202.29 c =============================================================================== 202.23/202.37 c core #476 202.23/202.37 c 202.23/202.37 c 202.23/202.37 c Core size: 25 Core Weight: 1 Total Weight: 675 202.23/202.37 c 202.23/202.37 c 202.23/202.37 c ============================[ Search Statistics ]============================== 202.23/202.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.23/202.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.23/202.37 c =============================================================================== 202.23/202.37 c | 0 | 9197 12177 85692 | 5000 0 nan | 0.000 % | 202.23/202.38 c =============================================================================== 202.34/202.45 c core #477 202.34/202.45 c 202.34/202.45 c 202.34/202.45 c Core size: 26 Core Weight: 1 Total Weight: 676 202.34/202.45 c 202.34/202.45 c 202.34/202.45 c ============================[ Search Statistics ]============================== 202.34/202.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.34/202.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.34/202.45 c =============================================================================== 202.34/202.45 c | 0 | 9219 12178 85761 | 5000 0 nan | 0.000 % | 202.34/202.47 c | 101 | 9219 12178 85761 | 5500 101 29 | 5.688 % | 202.34/202.47 c =============================================================================== 202.45/202.55 c core #478 202.45/202.55 c 202.45/202.55 c 202.45/202.55 c Core size: 26 Core Weight: 1 Total Weight: 677 202.45/202.55 c 202.45/202.55 c 202.45/202.55 c ============================[ Search Statistics ]============================== 202.45/202.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.45/202.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.45/202.55 c =============================================================================== 202.45/202.55 c | 0 | 9257 12180 85900 | 5000 0 nan | 0.000 % | 202.45/202.57 c | 108 | 9257 12180 85900 | 5500 108 25 | 5.512 % | 202.45/202.57 c =============================================================================== 202.54/202.65 c core #479 202.54/202.65 c 202.54/202.65 c 202.54/202.65 c Core size: 57 Core Weight: 1 Total Weight: 678 202.54/202.65 c 202.54/202.65 c 202.54/202.65 c ============================[ Search Statistics ]============================== 202.54/202.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.54/202.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.54/202.65 c =============================================================================== 202.54/202.65 c | 0 | 9316 12181 86078 | 5000 0 nan | 0.000 % | 202.54/202.67 c | 100 | 9316 12181 86078 | 5500 100 23 | 5.441 % | 202.54/202.67 c =============================================================================== 202.64/202.74 c core #480 202.64/202.74 c 202.64/202.74 c 202.64/202.74 c Core size: 17 Core Weight: 1 Total Weight: 679 202.64/202.74 c 202.64/202.74 c 202.64/202.74 c ============================[ Search Statistics ]============================== 202.64/202.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.64/202.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.64/202.74 c =============================================================================== 202.64/202.74 c | 0 | 9335 12182 86168 | 5000 0 nan | 0.000 % | 202.64/202.75 c =============================================================================== 202.74/202.82 c core #481 202.74/202.82 c 202.74/202.82 c 202.74/202.82 c Core size: 8 Core Weight: 1 Total Weight: 680 202.74/202.82 c 202.74/202.82 c 202.74/202.82 c ============================[ Search Statistics ]============================== 202.74/202.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.74/202.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.74/202.82 c =============================================================================== 202.74/202.82 c | 0 | 9340 12183 86178 | 5000 0 nan | 0.000 % | 202.74/202.84 c | 103 | 9340 12183 86178 | 5500 103 18 | 5.379 % | 202.74/202.85 c | 254 | 9340 12183 86178 | 6050 254 20 | 5.379 % | 202.74/202.86 c =============================================================================== 202.83/202.93 c core #482 202.83/202.93 c 202.83/202.93 c 202.83/202.93 c Core size: 25 Core Weight: 1 Total Weight: 681 202.83/202.93 c 202.83/202.93 c 202.83/202.93 c ============================[ Search Statistics ]============================== 202.83/202.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.83/202.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.83/202.93 c =============================================================================== 202.83/202.93 c | 0 | 9363 12184 86228 | 5000 0 nan | 0.000 % | 202.83/202.95 c =============================================================================== 202.94/203.02 c core #483 202.94/203.02 c 202.94/203.02 c 202.94/203.02 c Core size: 11 Core Weight: 1 Total Weight: 682 202.94/203.02 c 202.94/203.02 c 202.94/203.02 c ============================[ Search Statistics ]============================== 202.94/203.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.94/203.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.94/203.02 c =============================================================================== 202.94/203.02 c | 0 | 9373 12185 86316 | 5000 0 nan | 0.000 % | 202.94/203.03 c =============================================================================== 203.04/203.11 c core #484 203.04/203.11 c 203.04/203.11 c 203.04/203.11 c Core size: 24 Core Weight: 1 Total Weight: 683 203.04/203.11 c 203.04/203.11 c 203.04/203.11 c ============================[ Search Statistics ]============================== 203.04/203.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.04/203.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.04/203.11 c =============================================================================== 203.04/203.11 c | 0 | 9399 12186 86407 | 5000 0 nan | 0.000 % | 203.04/203.13 c | 100 | 9399 12186 86407 | 5500 100 23 | 5.271 % | 203.04/203.13 c =============================================================================== 203.13/203.21 c core #485 203.13/203.21 c 203.13/203.21 c 203.13/203.21 c Core size: 43 Core Weight: 1 Total Weight: 684 203.13/203.21 c 203.13/203.21 c 203.13/203.21 c ============================[ Search Statistics ]============================== 203.13/203.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.13/203.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.13/203.21 c =============================================================================== 203.13/203.21 c | 0 | 9444 12187 86542 | 5000 0 nan | 0.000 % | 203.13/203.22 c =============================================================================== 203.23/203.30 c core #486 203.23/203.30 c 203.23/203.30 c 203.23/203.30 c Core size: 61 Core Weight: 1 Total Weight: 685 203.23/203.30 c 203.23/203.30 c 203.23/203.30 c ============================[ Search Statistics ]============================== 203.23/203.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.23/203.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.23/203.30 c =============================================================================== 203.23/203.30 c | 0 | 9504 12188 86662 | 5000 0 nan | 0.000 % | 203.23/203.32 c | 100 | 9504 12188 86662 | 5500 100 30 | 5.178 % | 203.23/203.32 c =============================================================================== 203.33/203.40 c core #487 203.33/203.40 c 203.33/203.40 c 203.33/203.40 c Core size: 23 Core Weight: 1 Total Weight: 686 203.33/203.40 c 203.33/203.40 c 203.33/203.40 c ============================[ Search Statistics ]============================== 203.33/203.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.33/203.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.33/203.40 c =============================================================================== 203.33/203.40 c | 0 | 9531 12189 86741 | 5000 0 nan | 0.000 % | 203.33/203.42 c =============================================================================== 203.33/203.49 c core #488 203.33/203.49 c 203.33/203.49 c 203.33/203.49 c Core size: 21 Core Weight: 1 Total Weight: 687 203.33/203.49 c 203.33/203.49 c 203.33/203.49 c ============================[ Search Statistics ]============================== 203.33/203.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.33/203.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.33/203.49 c =============================================================================== 203.33/203.49 c | 0 | 9551 12190 86781 | 5000 0 nan | 0.000 % | 203.45/203.51 c =============================================================================== 203.45/203.59 c core #489 203.45/203.59 c 203.45/203.59 c 203.45/203.59 c Core size: 34 Core Weight: 1 Total Weight: 688 203.45/203.59 c 203.45/203.59 c 203.45/203.59 c ============================[ Search Statistics ]============================== 203.45/203.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.45/203.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.45/203.59 c =============================================================================== 203.45/203.59 c | 0 | 9585 12191 86867 | 5000 0 nan | 0.000 % | 203.54/203.61 c | 100 | 9585 12191 86867 | 5500 100 18 | 5.061 % | 203.54/203.61 c =============================================================================== 203.54/203.68 c core #490 203.54/203.68 c 203.54/203.68 c 203.54/203.68 c Core size: 33 Core Weight: 1 Total Weight: 689 203.54/203.68 c 203.54/203.68 c 203.54/203.68 c ============================[ Search Statistics ]============================== 203.54/203.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.54/203.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.54/203.68 c =============================================================================== 203.54/203.68 c | 0 | 9630 12192 87124 | 5000 0 nan | 0.000 % | 203.63/203.70 c | 100 | 9630 12192 87124 | 5500 100 19 | 4.832 % | 203.63/203.71 c | 252 | 9630 12192 87124 | 6050 252 21 | 4.832 % | 203.63/203.72 c | 477 | 9630 12192 87124 | 6655 477 28 | 4.833 % | 203.63/203.74 c | 814 | 9629 12192 87124 | 7320 814 31 | 4.842 % | 203.63/203.78 c | 1323 | 9628 12192 87124 | 8052 1323 34 | 4.862 % | 203.63/203.79 c =============================================================================== 203.73/203.87 c core #491 203.73/203.87 c 203.73/203.87 c 203.73/203.87 c Core size: 11 Core Weight: 1 Total Weight: 690 203.73/203.87 c 203.73/203.87 c 203.73/203.87 c ============================[ Search Statistics ]============================== 203.73/203.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.73/203.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.73/203.87 c =============================================================================== 203.73/203.87 c | 0 | 9638 12193 87140 | 5000 0 nan | 0.000 % | 203.73/203.90 c | 101 | 9637 12193 87140 | 5500 101 18 | 4.839 % | 203.84/203.90 c | 251 | 9637 12193 87140 | 6050 251 19 | 4.839 % | 203.84/203.91 c | 476 | 9637 12193 87140 | 6655 476 24 | 4.839 % | 203.84/203.93 c | 814 | 9636 12193 87140 | 7320 814 30 | 4.858 % | 203.84/203.97 c | 1320 | 9636 12193 87140 | 8052 1320 37 | 4.858 % | 203.93/204.01 c =============================================================================== 203.93/204.09 c core #492 203.93/204.09 c 203.93/204.09 c 203.93/204.09 c Core size: 117 Core Weight: 1 Total Weight: 691 203.93/204.09 c 203.93/204.09 c 203.93/204.09 c ============================[ Search Statistics ]============================== 203.93/204.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.93/204.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.93/204.09 c =============================================================================== 203.93/204.09 c | 0 | 9745 12194 87397 | 5000 0 nan | 0.000 % | 204.03/204.11 c | 102 | 9745 12194 87397 | 5500 102 21 | 4.741 % | 204.03/204.12 c | 252 | 9745 12194 87397 | 6050 252 19 | 4.741 % | 204.03/204.14 c | 480 | 9743 12194 87397 | 6655 480 23 | 4.761 % | 204.03/204.17 c | 817 | 9743 12194 87397 | 7320 817 33 | 4.761 % | 204.14/204.20 c | 1324 | 9743 12194 87397 | 8052 1324 37 | 4.761 % | 204.14/204.27 c | 2083 | 9743 12194 87397 | 8857 2082 37 | 4.761 % | 204.23/204.38 c | 3226 | 9743 12194 87397 | 9743 3225 46 | 4.761 % | 204.54/204.65 c | 4934 | 9742 12194 87397 | 10717 2708 40 | 4.770 % | 204.64/204.77 c =============================================================================== 204.74/204.85 c core #493 204.74/204.85 c 204.74/204.85 c 204.74/204.85 c Core size: 17 Core Weight: 1 Total Weight: 692 204.74/204.85 c 204.74/204.85 c 204.74/204.85 c ============================[ Search Statistics ]============================== 204.74/204.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.74/204.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.74/204.85 c =============================================================================== 204.74/204.85 c | 0 | 9765 12195 87476 | 5000 0 nan | 0.000 % | 204.74/204.88 c | 104 | 9765 12195 87476 | 5500 104 22 | 4.676 % | 204.74/204.89 c | 254 | 9762 12195 87476 | 6050 254 19 | 4.705 % | 204.83/204.91 c | 479 | 9761 12195 87476 | 6655 479 19 | 4.725 % | 204.83/204.93 c | 818 | 9759 12195 87476 | 7320 818 31 | 4.744 % | 204.83/204.97 c | 1326 | 9757 12195 87476 | 8052 1326 42 | 4.764 % | 204.93/205.03 c =============================================================================== 205.03/205.12 c core #494 205.03/205.12 c 205.03/205.12 c 205.03/205.12 c Core size: 90 Core Weight: 1 Total Weight: 693 205.03/205.12 c 205.03/205.12 c 205.03/205.12 c ============================[ Search Statistics ]============================== 205.03/205.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.03/205.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.03/205.12 c =============================================================================== 205.03/205.12 c | 0 | 9853 12196 87652 | 5000 0 nan | 0.000 % | 205.03/205.14 c | 101 | 9853 12196 87652 | 5500 101 20 | 4.636 % | 205.03/205.15 c | 251 | 9853 12196 87652 | 6050 251 25 | 4.636 % | 205.03/205.15 c =============================================================================== 205.14/205.23 c core #495 205.14/205.23 c 205.14/205.23 c 205.14/205.23 c Core size: 23 Core Weight: 1 Total Weight: 694 205.14/205.23 c 205.14/205.23 c 205.14/205.23 c ============================[ Search Statistics ]============================== 205.14/205.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.14/205.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.14/205.23 c =============================================================================== 205.14/205.23 c | 0 | 9874 12197 87694 | 5000 0 nan | 0.000 % | 205.14/205.25 c | 100 | 9874 12197 87694 | 5500 100 11 | 4.627 % | 205.14/205.26 c =============================================================================== 205.23/205.33 c core #496 205.23/205.33 c 205.23/205.33 c 205.23/205.33 c Core size: 63 Core Weight: 1 Total Weight: 695 205.23/205.33 c 205.23/205.33 c 205.23/205.33 c ============================[ Search Statistics ]============================== 205.23/205.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.23/205.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.23/205.33 c =============================================================================== 205.23/205.33 c | 0 | 9942 12198 87899 | 5000 0 nan | 0.000 % | 205.23/205.35 c | 100 | 9942 12198 87899 | 5500 100 20 | 4.532 % | 205.23/205.36 c =============================================================================== 205.34/205.44 c core #497 205.34/205.44 c 205.34/205.44 c 205.34/205.44 c Core size: 43 Core Weight: 1 Total Weight: 696 205.34/205.44 c 205.34/205.44 c 205.34/205.44 c ============================[ Search Statistics ]============================== 205.34/205.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.34/205.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.34/205.44 c =============================================================================== 205.34/205.44 c | 0 | 10002 12199 88152 | 5000 0 nan | 0.000 % | 205.34/205.46 c | 100 | 10002 12199 88152 | 5500 100 53 | 4.305 % | 205.34/205.47 c =============================================================================== 205.43/205.55 c core #498 205.43/205.55 c 205.43/205.55 c 205.43/205.55 c Core size: 25 Core Weight: 1 Total Weight: 697 205.43/205.55 c 205.43/205.55 c 205.43/205.55 c ============================[ Search Statistics ]============================== 205.43/205.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.43/205.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.43/205.55 c =============================================================================== 205.43/205.55 c | 0 | 10024 12200 88196 | 5000 0 nan | 0.000 % | 205.43/205.56 c =============================================================================== 205.54/205.64 c core #499 205.54/205.64 c 205.54/205.64 c 205.54/205.64 c Core size: 19 Core Weight: 1 Total Weight: 698 205.54/205.64 c 205.54/205.64 c 205.54/205.64 c ============================[ Search Statistics ]============================== 205.54/205.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.54/205.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.54/205.64 c =============================================================================== 205.54/205.64 c | 0 | 10047 12201 88296 | 5000 0 nan | 0.000 % | 205.54/205.66 c | 100 | 10044 12201 88296 | 5500 100 12 | 4.261 % | 205.54/205.67 c | 250 | 10044 12201 88296 | 6050 250 13 | 4.261 % | 205.54/205.67 c =============================================================================== 205.64/205.75 c core #500 205.64/205.75 c 205.64/205.75 c 205.64/205.75 c Core size: 34 Core Weight: 1 Total Weight: 699 205.64/205.75 c 205.64/205.75 c 205.64/205.75 c ============================[ Search Statistics ]============================== 205.64/205.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.64/205.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.64/205.75 c =============================================================================== 205.64/205.75 c | 0 | 10078 12202 88358 | 5000 0 nan | 0.000 % | 205.64/205.78 c | 100 | 10077 12202 88358 | 5500 100 14 | 4.229 % | 205.64/205.79 c | 253 | 10076 12202 88358 | 6050 253 21 | 4.239 % | 205.64/205.80 c | 478 | 10072 12202 88358 | 6655 478 22 | 4.277 % | 205.74/205.82 c | 815 | 10072 12202 88358 | 7320 815 26 | 4.277 % | 205.74/205.86 c | 1325 | 10072 12202 88358 | 8052 1325 29 | 4.277 % | 205.74/205.86 c =============================================================================== 205.84/205.95 c core #501 205.84/205.95 c 205.84/205.95 c 205.84/205.95 c Core size: 73 Core Weight: 1 Total Weight: 700 205.84/205.95 c 205.84/205.95 c 205.84/205.95 c ============================[ Search Statistics ]============================== 205.84/205.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.84/205.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.84/205.95 c =============================================================================== 205.84/205.95 c | 0 | 10152 12203 88521 | 5000 0 nan | 0.000 % | 205.84/205.98 c | 100 | 10152 12203 88521 | 5500 100 47 | 4.163 % | 205.84/205.99 c | 251 | 10109 12203 88521 | 6050 251 31 | 5.268 % | 205.94/206.00 c | 476 | 10109 12203 88521 | 6655 476 29 | 5.268 % | 205.94/206.03 c =============================================================================== 206.03/206.10 c core #502 206.03/206.10 c 206.03/206.10 c 206.03/206.10 c Core size: 50 Core Weight: 1 Total Weight: 701 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 | 10193 12204 88603 | 5000 0 nan | 0.000 % | 206.03/206.12 c =============================================================================== 206.13/206.20 c core #503 206.13/206.20 c 206.13/206.20 c 206.13/206.20 c Core size: 15 Core Weight: 1 Total Weight: 702 206.13/206.20 c 206.13/206.20 c 206.13/206.20 c ============================[ Search Statistics ]============================== 206.13/206.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.13/206.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.13/206.20 c =============================================================================== 206.13/206.20 c | 0 | 10205 12205 88627 | 5000 0 nan | 0.000 % | 206.13/206.22 c =============================================================================== 206.24/206.30 c core #504 206.24/206.30 c 206.24/206.30 c 206.24/206.30 c Core size: 22 Core Weight: 1 Total Weight: 703 206.24/206.30 c 206.24/206.30 c 206.24/206.30 c ============================[ Search Statistics ]============================== 206.24/206.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.24/206.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.24/206.30 c =============================================================================== 206.24/206.30 c | 0 | 10223 12207 88666 | 5000 0 nan | 0.000 % | 206.24/206.32 c | 101 | 10223 12207 88666 | 5500 101 26 | 4.135 % | 206.24/206.33 c =============================================================================== 206.33/206.40 c core #505 206.33/206.40 c 206.33/206.40 c 206.33/206.40 c Core size: 29 Core Weight: 1 Total Weight: 704 206.33/206.40 c 206.33/206.40 c 206.33/206.40 c ============================[ Search Statistics ]============================== 206.33/206.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.33/206.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.33/206.40 c =============================================================================== 206.33/206.40 c | 0 | 10256 12208 88762 | 5000 0 nan | 0.000 % | 206.33/206.43 c | 100 | 10256 12208 88762 | 5500 100 21 | 4.069 % | 206.33/206.44 c | 250 | 10256 12208 88762 | 6050 250 22 | 4.069 % | 206.33/206.45 c | 475 | 10256 12208 88762 | 6655 475 20 | 4.069 % | 206.33/206.47 c =============================================================================== 206.43/206.55 c core #506 206.43/206.55 c 206.43/206.55 c 206.43/206.55 c Core size: 66 Core Weight: 1 Total Weight: 705 206.43/206.55 c 206.43/206.55 c 206.43/206.55 c ============================[ Search Statistics ]============================== 206.43/206.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.43/206.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.43/206.55 c =============================================================================== 206.43/206.55 c | 0 | 10320 12210 88893 | 5000 0 nan | 0.000 % | 206.43/206.57 c | 101 | 10320 12210 88893 | 5500 101 19 | 4.045 % | 206.43/206.58 c =============================================================================== 206.54/206.65 c core #507 206.54/206.65 c 206.54/206.65 c 206.54/206.65 c Core size: 18 Core Weight: 1 Total Weight: 706 206.54/206.65 c 206.54/206.65 c 206.54/206.65 c ============================[ Search Statistics ]============================== 206.54/206.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.54/206.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.54/206.65 c =============================================================================== 206.54/206.65 c | 0 | 10338 12211 88963 | 5000 0 nan | 0.000 % | 206.54/206.68 c | 100 | 10338 12211 88963 | 5500 100 19 | 4.020 % | 206.54/206.69 c | 250 | 10338 12211 88963 | 6050 250 28 | 4.020 % | 206.54/206.70 c =============================================================================== 206.64/206.77 c core #508 206.64/206.77 c 206.64/206.77 c 206.64/206.77 c Core size: 19 Core Weight: 1 Total Weight: 707 206.64/206.77 c 206.64/206.77 c 206.64/206.77 c ============================[ Search Statistics ]============================== 206.64/206.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.64/206.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.64/206.77 c =============================================================================== 206.64/206.77 c | 0 | 10359 12212 89095 | 5000 0 nan | 0.000 % | 206.74/206.80 c | 100 | 10356 12212 89095 | 5500 100 12 | 4.014 % | 206.74/206.81 c | 250 | 10355 12212 89095 | 6050 250 13 | 4.014 % | 206.74/206.83 c | 476 | 10352 12212 89095 | 6655 476 16 | 4.042 % | 206.74/206.84 c =============================================================================== 206.84/206.92 c core #509 206.84/206.92 c 206.84/206.92 c 206.84/206.92 c Core size: 84 Core Weight: 1 Total Weight: 708 206.84/206.92 c 206.84/206.92 c 206.84/206.92 c ============================[ Search Statistics ]============================== 206.84/206.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.84/206.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.84/206.92 c =============================================================================== 206.84/206.92 c | 0 | 10462 12213 89630 | 5000 0 nan | 0.000 % | 206.84/206.95 c | 100 | 10462 12213 89630 | 5500 100 54 | 3.762 % | 206.84/206.95 c =============================================================================== 206.93/207.03 c core #510 206.93/207.03 c 206.93/207.03 c 206.93/207.03 c Core size: 63 Core Weight: 1 Total Weight: 709 206.93/207.03 c 206.93/207.03 c 206.93/207.03 c ============================[ Search Statistics ]============================== 206.93/207.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.93/207.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.93/207.03 c =============================================================================== 206.93/207.03 c | 0 | 10531 12214 89821 | 5000 0 nan | 0.000 % | 206.93/207.06 c | 102 | 10531 12214 89821 | 5500 102 18 | 3.677 % | 206.93/207.07 c | 252 | 10529 12214 89821 | 6050 252 23 | 3.695 % | 206.93/207.08 c | 477 | 10529 12214 89821 | 6655 477 27 | 3.695 % | 207.04/207.11 c | 814 | 10527 12214 89821 | 7320 814 31 | 3.741 % | 207.04/207.14 c | 1320 | 10527 12214 89821 | 8052 1320 36 | 3.741 % | 207.13/207.20 c | 2082 | 10526 12214 89821 | 8857 2082 40 | 3.750 % | 207.13/207.25 c =============================================================================== 207.23/207.34 c core #511 207.23/207.34 c 207.23/207.34 c 207.23/207.34 c Core size: 134 Core Weight: 1 Total Weight: 710 207.23/207.34 c 207.23/207.34 c 207.23/207.34 c ============================[ Search Statistics ]============================== 207.23/207.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.23/207.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.23/207.34 c =============================================================================== 207.23/207.34 c | 0 | 10665 12215 90101 | 5000 0 nan | 0.000 % | 207.23/207.36 c =============================================================================== 207.34/207.44 c core #512 207.34/207.44 c 207.34/207.44 c 207.34/207.44 c Core size: 24 Core Weight: 1 Total Weight: 711 207.34/207.44 c 207.34/207.44 c 207.34/207.44 c ============================[ Search Statistics ]============================== 207.34/207.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.34/207.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.34/207.44 c =============================================================================== 207.34/207.44 c | 0 | 10686 12216 90143 | 5000 0 nan | 0.000 % | 207.34/207.47 c | 105 | 10686 12216 90143 | 5500 105 41 | 3.599 % | 207.34/207.47 c | 255 | 10686 12216 90143 | 6050 255 43 | 3.599 % | 207.34/207.49 c | 481 | 10686 12216 90143 | 6655 481 50 | 3.599 % | 207.43/207.52 c | 818 | 10686 12216 90143 | 7320 818 52 | 3.599 % | 207.43/207.56 c | 1325 | 10686 12216 90143 | 8052 1325 69 | 3.599 % | 207.53/207.64 c | 2084 | 10686 12216 90143 | 8857 2084 66 | 3.599 % | 207.63/207.77 c | 3223 | 10684 12216 90143 | 9743 3222 74 | 3.618 % | 207.84/207.98 c | 4932 | 10684 12216 90143 | 10717 4931 73 | 3.618 % | 208.23/208.36 c | 7494 | 10684 12216 90143 | 11789 7493 75 | 3.618 % | 208.83/208.97 c | 11341 | 10684 12216 90143 | 12968 11340 84 | 3.618 % | 209.93/210.09 c | 17107 | 10683 12216 90143 | 14265 10231 90 | 3.627 % | 210.14/210.26 c =============================================================================== 210.23/210.37 c core #513 210.23/210.37 c 210.23/210.37 c 210.23/210.37 c Core size: 19 Core Weight: 1 Total Weight: 712 210.23/210.37 c 210.23/210.37 c 210.23/210.37 c ============================[ Search Statistics ]============================== 210.23/210.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.23/210.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.23/210.37 c =============================================================================== 210.23/210.37 c | 0 | 10706 12217 90191 | 5000 0 nan | 0.000 % | 210.33/210.40 c | 101 | 10706 12217 90191 | 5500 101 35 | 3.576 % | 210.33/210.41 c | 252 | 10706 12217 90191 | 6050 252 32 | 3.576 % | 210.33/210.41 c =============================================================================== 210.33/210.49 c core #514 210.33/210.49 c 210.33/210.49 c 210.33/210.49 c Core size: 34 Core Weight: 1 Total Weight: 713 210.33/210.49 c 210.33/210.49 c 210.33/210.49 c ============================[ Search Statistics ]============================== 210.33/210.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.33/210.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.33/210.49 c =============================================================================== 210.33/210.49 c | 0 | 10750 12218 90382 | 5000 0 nan | 0.000 % | 210.43/210.52 c | 101 | 10746 12218 90382 | 5500 101 11 | 3.494 % | 210.43/210.53 c =============================================================================== 210.53/210.61 c core #515 210.53/210.61 c 210.53/210.61 c 210.53/210.61 c Core size: 52 Core Weight: 1 Total Weight: 714 210.53/210.61 c 210.53/210.61 c 210.53/210.61 c ============================[ Search Statistics ]============================== 210.53/210.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.53/210.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.53/210.61 c =============================================================================== 210.53/210.61 c | 0 | 10801 12219 90484 | 5000 0 nan | 0.000 % | 210.53/210.63 c =============================================================================== 210.63/210.71 c core #516 210.63/210.71 c 210.63/210.71 c 210.63/210.71 c Core size: 37 Core Weight: 1 Total Weight: 715 210.63/210.71 c 210.63/210.71 c 210.63/210.71 c ============================[ Search Statistics ]============================== 210.63/210.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.63/210.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.63/210.71 c =============================================================================== 210.63/210.71 c | 0 | 10838 12220 90574 | 5000 0 nan | 0.000 % | 210.63/210.74 c =============================================================================== 210.73/210.82 c core #517 210.73/210.82 c 210.73/210.82 c 210.73/210.82 c Core size: 18 Core Weight: 1 Total Weight: 716 210.73/210.82 c 210.73/210.82 c 210.73/210.82 c ============================[ Search Statistics ]============================== 210.73/210.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.73/210.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.73/210.82 c =============================================================================== 210.73/210.82 c | 0 | 10855 12221 90633 | 5000 0 nan | 0.000 % | 210.73/210.85 c | 101 | 10855 12221 90633 | 5500 101 23 | 3.382 % | 210.73/210.86 c | 251 | 10855 12221 90633 | 6050 251 30 | 3.382 % | 210.73/210.86 c =============================================================================== 210.83/210.95 c core #518 210.83/210.95 c 210.83/210.95 c 210.83/210.95 c Core size: 35 Core Weight: 1 Total Weight: 717 210.83/210.95 c 210.83/210.95 c 210.83/210.95 c ============================[ Search Statistics ]============================== 210.83/210.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.83/210.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.83/210.95 c =============================================================================== 210.83/210.95 c | 0 | 10887 12222 90697 | 5000 0 nan | 0.000 % | 210.83/210.97 c | 100 | 10887 12222 90697 | 5500 100 21 | 3.373 % | 210.83/210.98 c | 250 | 10886 12222 90697 | 6050 250 18 | 3.382 % | 210.83/210.99 c =============================================================================== 210.93/211.07 c core #519 210.93/211.07 c 210.93/211.07 c 210.93/211.07 c Core size: 20 Core Weight: 1 Total Weight: 718 210.93/211.07 c 210.93/211.07 c 210.93/211.07 c ============================[ Search Statistics ]============================== 210.93/211.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.93/211.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.93/211.07 c =============================================================================== 210.93/211.07 c | 0 | 10914 12223 90997 | 5000 0 nan | 0.000 % | 210.93/211.09 c | 100 | 10914 12223 90997 | 5500 100 22 | 3.288 % | 211.03/211.11 c =============================================================================== 211.03/211.18 c core #520 211.03/211.18 c 211.03/211.18 c 211.03/211.18 c Core size: 32 Core Weight: 1 Total Weight: 719 211.03/211.18 c 211.03/211.18 c 211.03/211.18 c ============================[ Search Statistics ]============================== 211.03/211.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.03/211.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.03/211.18 c =============================================================================== 211.03/211.18 c | 0 | 10946 12224 91076 | 5000 0 nan | 0.000 % | 211.14/211.21 c | 100 | 10944 12224 91076 | 5500 100 20 | 3.287 % | 211.14/211.21 c | 250 | 10944 12224 91076 | 6050 250 21 | 3.287 % | 211.14/211.23 c | 475 | 10942 12224 91076 | 6655 475 22 | 3.340 % | 211.14/211.25 c =============================================================================== 211.24/211.33 c core #521 211.24/211.33 c 211.24/211.33 c 211.24/211.33 c Core size: 12 Core Weight: 1 Total Weight: 720 211.24/211.33 c 211.24/211.33 c 211.24/211.33 c ============================[ Search Statistics ]============================== 211.24/211.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.24/211.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.24/211.33 c =============================================================================== 211.24/211.33 c | 0 | 10958 12225 91121 | 5000 0 nan | 0.000 % | 211.24/211.36 c | 100 | 10958 12225 91121 | 5500 100 21 | 3.241 % | 211.24/211.37 c | 250 | 10957 12225 91121 | 6050 250 17 | 3.249 % | 211.24/211.38 c | 475 | 10955 12225 91121 | 6655 475 27 | 3.267 % | 211.33/211.40 c | 814 | 10954 12225 91121 | 7320 814 28 | 3.285 % | 211.33/211.43 c | 1322 | 10953 12225 91121 | 8052 1322 38 | 3.285 % | 211.33/211.49 c | 2083 | 10953 12225 91121 | 8857 2083 42 | 3.285 % | 211.53/211.61 c | 3226 | 10953 12225 91121 | 9743 3226 42 | 3.285 % | 211.73/211.80 c | 4934 | 10953 12225 91121 | 10717 4910 39 | 3.285 % | 211.73/211.84 c =============================================================================== 211.83/211.98 c core #522 211.83/211.98 c 211.83/211.98 c 211.83/211.98 c Core size: 108 Core Weight: 1 Total Weight: 721 211.83/211.98 c 211.83/211.98 c 211.83/211.98 c ============================[ Search Statistics ]============================== 211.83/211.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.83/211.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.83/211.98 c =============================================================================== 211.83/211.98 c | 0 | 11063 12226 91331 | 5000 0 nan | 0.000 % | 211.93/212.01 c | 100 | 11063 12226 91331 | 5500 100 21 | 3.211 % | 211.93/212.03 c | 254 | 11063 12226 91331 | 6050 254 38 | 3.211 % | 211.93/212.04 c | 479 | 11063 12226 91331 | 6655 479 46 | 3.211 % | 211.93/212.07 c | 816 | 11063 12226 91331 | 7320 816 50 | 3.211 % | 212.03/212.11 c | 1327 | 11063 12226 91331 | 8052 1327 61 | 3.211 % | 212.03/212.18 c | 2086 | 11063 12226 91331 | 8857 2086 61 | 3.211 % | 212.13/212.20 c =============================================================================== 212.13/212.28 c core #523 212.13/212.28 c 212.13/212.28 c 212.13/212.28 c Core size: 23 Core Weight: 1 Total Weight: 722 212.13/212.28 c 212.13/212.28 c 212.13/212.28 c ============================[ Search Statistics ]============================== 212.13/212.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.13/212.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.13/212.28 c =============================================================================== 212.13/212.28 c | 0 | 11090 12227 91465 | 5000 0 nan | 0.000 % | 212.24/212.31 c | 102 | 11090 12227 91465 | 5500 102 15 | 3.153 % | 212.24/212.31 c =============================================================================== 212.24/212.39 c core #524 212.24/212.39 c 212.24/212.39 c 212.24/212.39 c Core size: 58 Core Weight: 1 Total Weight: 723 212.24/212.39 c 212.24/212.39 c 212.24/212.39 c ============================[ Search Statistics ]============================== 212.24/212.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.24/212.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.24/212.39 c =============================================================================== 212.24/212.39 c | 0 | 11145 12228 91591 | 5000 0 nan | 0.000 % | 212.34/212.41 c | 101 | 11145 12228 91591 | 5500 101 22 | 3.112 % | 212.34/212.43 c | 251 | 11143 12228 91591 | 6050 251 34 | 3.130 % | 212.34/212.45 c | 478 | 11143 12228 91591 | 6655 478 37 | 3.130 % | 212.34/212.48 c | 815 | 11142 12228 91591 | 7320 815 44 | 3.303 % | 212.43/212.52 c | 1321 | 11115 12228 91591 | 8052 1318 39 | 3.390 % | 212.43/212.57 c =============================================================================== 212.53/212.66 c core #525 212.53/212.66 c 212.53/212.66 c 212.53/212.66 c Core size: 99 Core Weight: 1 Total Weight: 724 212.53/212.66 c 212.53/212.66 c 212.53/212.66 c ============================[ Search Statistics ]============================== 212.53/212.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.53/212.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.53/212.66 c =============================================================================== 212.53/212.66 c | 0 | 11236 12229 91773 | 5000 0 nan | 0.000 % | 212.53/212.69 c | 100 | 11236 12229 91773 | 5500 100 18 | 3.088 % | 212.63/212.70 c | 250 | 11231 12229 91773 | 6050 250 23 | 3.131 % | 212.63/212.72 c =============================================================================== 212.73/212.80 c core #526 212.73/212.80 c 212.73/212.80 c 212.73/212.80 c Core size: 71 Core Weight: 1 Total Weight: 725 212.73/212.80 c 212.73/212.80 c 212.73/212.80 c ============================[ Search Statistics ]============================== 212.73/212.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.73/212.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.73/212.80 c =============================================================================== 212.73/212.80 c | 0 | 11305 12230 91911 | 5000 0 nan | 0.000 % | 212.73/212.82 c | 100 | 11305 12230 91911 | 5500 100 25 | 3.070 % | 212.73/212.84 c | 250 | 11305 12230 91911 | 6050 250 27 | 3.070 % | 212.73/212.87 c | 475 | 11303 12230 91911 | 6655 475 23 | 3.087 % | 212.73/212.89 c | 812 | 11303 12230 91911 | 7320 812 38 | 3.087 % | 212.83/212.93 c | 1320 | 11303 12230 91911 | 8052 1320 44 | 3.087 % | 212.93/213.00 c | 2079 | 11303 12230 91911 | 8857 2079 50 | 3.087 % | 213.03/213.12 c | 3222 | 11303 12230 91911 | 9743 3184 53 | 3.095 % | 213.23/213.35 c | 4936 | 11302 12230 91911 | 10717 4898 53 | 3.095 % | 213.53/213.69 c | 7498 | 11302 12230 91911 | 11789 7460 52 | 3.095 % | 214.23/214.33 c | 11343 | 11301 12230 91911 | 12968 11301 51 | 3.104 % | 214.44/214.56 c =============================================================================== 214.73/214.82 c core #527 214.73/214.82 c 214.73/214.82 c 214.73/214.82 c Core size: 123 Core Weight: 1 Total Weight: 726 214.73/214.82 c 214.73/214.82 c 214.73/214.82 c ============================[ Search Statistics ]============================== 214.73/214.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.73/214.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.73/214.82 c =============================================================================== 214.73/214.82 c | 0 | 11429 12231 92169 | 5000 0 nan | 0.000 % | 214.73/214.85 c | 100 | 11429 12231 92169 | 5500 100 31 | 3.013 % | 214.73/214.86 c | 251 | 11429 12231 92169 | 6050 251 33 | 3.013 % | 214.73/214.87 c =============================================================================== 214.83/214.95 c core #528 214.83/214.95 c 214.83/214.95 c 214.83/214.95 c Core size: 37 Core Weight: 1 Total Weight: 727 214.83/214.95 c 214.83/214.95 c 214.83/214.95 c ============================[ Search Statistics ]============================== 214.83/214.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.83/214.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.83/214.95 c =============================================================================== 214.83/214.95 c | 0 | 11475 12232 92438 | 5000 0 nan | 0.000 % | 214.83/214.97 c | 101 | 11475 12232 92438 | 5500 101 38 | 2.911 % | 214.83/214.98 c | 251 | 11473 12232 92438 | 6050 251 42 | 3.080 % | 214.94/215.00 c | 476 | 11473 12232 92438 | 6655 476 52 | 3.080 % | 214.94/215.03 c | 813 | 11470 12232 92438 | 7320 813 53 | 3.097 % | 214.94/215.07 c | 1319 | 11470 12232 92438 | 8052 1319 52 | 3.097 % | 215.03/215.17 c | 2078 | 11468 12232 92438 | 8857 2078 61 | 3.114 % | 215.23/215.31 c | 3217 | 11439 12232 92438 | 9743 3214 62 | 3.985 % | 215.33/215.48 c | 4928 | 11435 12232 92438 | 10717 4925 60 | 3.985 % | 215.63/215.76 c =============================================================================== 215.83/215.90 c core #529 215.83/215.90 c 215.83/215.90 c 215.83/215.90 c Core size: 171 Core Weight: 1 Total Weight: 728 215.83/215.90 c 215.83/215.90 c 215.83/215.90 c ============================[ Search Statistics ]============================== 215.83/215.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.83/215.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.83/215.90 c =============================================================================== 215.83/215.90 c | 0 | 11649 12233 92829 | 5000 0 nan | 0.000 % | 215.83/215.94 c | 101 | 11649 12233 92829 | 5500 101 20 | 2.820 % | 215.83/215.95 c | 251 | 11649 12233 92829 | 6050 251 22 | 2.820 % | 215.83/215.96 c | 481 | 11649 12233 92829 | 6655 481 26 | 2.820 % | 215.83/215.98 c | 819 | 11649 12233 92829 | 7320 819 28 | 2.820 % | 215.94/216.02 c =============================================================================== 216.03/216.10 c core #530 216.03/216.10 c 216.03/216.10 c 216.03/216.10 c Core size: 19 Core Weight: 1 Total Weight: 729 216.03/216.10 c 216.03/216.10 c 216.03/216.10 c ============================[ Search Statistics ]============================== 216.03/216.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.03/216.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.03/216.10 c =============================================================================== 216.03/216.10 c | 0 | 11666 12234 92863 | 5000 0 nan | 0.000 % | 216.03/216.13 c | 100 | 11666 12234 92863 | 5500 100 18 | 2.816 % | 216.03/216.16 c | 252 | 11665 12234 92863 | 6050 252 14 | 2.824 % | 216.03/216.19 c | 477 | 11659 12234 92863 | 6655 477 22 | 2.874 % | 216.13/216.20 c =============================================================================== 216.13/216.28 c core #531 216.13/216.28 c 216.13/216.28 c 216.13/216.28 c Core size: 35 Core Weight: 1 Total Weight: 730 216.13/216.28 c 216.13/216.28 c 216.13/216.28 c ============================[ Search Statistics ]============================== 216.13/216.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.13/216.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.13/216.28 c =============================================================================== 216.13/216.28 c | 0 | 11719 12236 93113 | 5000 0 nan | 0.000 % | 216.23/216.32 c | 101 | 11718 12236 93113 | 5500 101 25 | 2.602 % | 216.23/216.34 c | 255 | 11713 12236 93113 | 6050 255 20 | 2.668 % | 216.23/216.36 c | 480 | 11712 12236 93113 | 6655 480 26 | 2.676 % | 216.23/216.39 c | 817 | 11712 12236 93113 | 7320 817 32 | 2.676 % | 216.33/216.43 c | 1327 | 11711 12236 93113 | 8052 1327 40 | 2.685 % | 216.43/216.50 c | 2086 | 11707 12236 93113 | 8857 2008 56 | 2.693 % | 216.53/216.64 c | 3225 | 11697 12236 93113 | 9743 3147 68 | 2.926 % | 216.64/216.70 c =============================================================================== 216.64/216.79 c core #532 216.64/216.79 c 216.64/216.79 c 216.64/216.79 c Core size: 32 Core Weight: 1 Total Weight: 731 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 | 11747 12237 93195 | 5000 0 nan | 0.000 % | 216.74/216.82 c | 100 | 11747 12237 93195 | 5500 100 23 | 2.579 % | 216.74/216.83 c =============================================================================== 216.83/216.91 c core #533 216.83/216.91 c 216.83/216.91 c 216.83/216.91 c Core size: 21 Core Weight: 1 Total Weight: 732 216.83/216.91 c 216.83/216.91 c 216.83/216.91 c ============================[ Search Statistics ]============================== 216.83/216.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.83/216.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.83/216.91 c =============================================================================== 216.83/216.91 c | 0 | 11767 12238 93235 | 5000 0 nan | 0.000 % | 216.83/216.93 c | 100 | 11767 12238 93235 | 5500 100 16 | 2.575 % | 216.83/216.95 c | 252 | 11767 12238 93235 | 6050 252 18 | 2.575 % | 216.83/216.97 c | 477 | 11767 12238 93235 | 6655 477 25 | 2.575 % | 216.83/216.98 c | 814 | 11766 12238 93235 | 7320 814 29 | 2.583 % | 216.93/217.01 c | 1320 | 11766 12238 93235 | 8052 1320 36 | 2.583 % | 216.93/217.07 c | 2079 | 11766 12238 93235 | 8857 2079 37 | 2.583 % | 217.03/217.15 c | 3219 | 11765 12238 93235 | 9743 3184 43 | 2.591 % | 217.13/217.27 c | 4927 | 11759 12238 93235 | 10717 4892 40 | 2.641 % | 217.43/217.52 c =============================================================================== 217.53/217.61 c core #534 217.53/217.61 c 217.53/217.61 c 217.53/217.61 c Core size: 35 Core Weight: 1 Total Weight: 733 217.53/217.61 c 217.53/217.61 c 217.53/217.61 c ============================[ Search Statistics ]============================== 217.53/217.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.53/217.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.53/217.61 c =============================================================================== 217.53/217.61 c | 0 | 11801 12239 93337 | 5000 0 nan | 0.000 % | 217.53/217.64 c | 104 | 11801 12239 93337 | 5500 104 40 | 2.560 % | 217.53/217.66 c | 254 | 11801 12239 93337 | 6050 254 27 | 2.560 % | 217.53/217.68 c | 479 | 11782 12239 93337 | 6655 479 21 | 2.774 % | 217.63/217.70 c =============================================================================== 217.63/217.79 c core #535 217.63/217.79 c 217.63/217.79 c 217.63/217.79 c Core size: 84 Core Weight: 1 Total Weight: 734 217.63/217.79 c 217.63/217.79 c 217.63/217.79 c ============================[ Search Statistics ]============================== 217.63/217.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.63/217.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.63/217.79 c =============================================================================== 217.63/217.79 c | 0 | 11883 12240 93501 | 5000 0 nan | 0.000 % | 217.74/217.82 c | 101 | 11883 12240 93501 | 5500 101 20 | 2.542 % | 217.74/217.83 c =============================================================================== 217.83/217.91 c core #536 217.83/217.91 c 217.83/217.91 c 217.83/217.91 c Core size: 39 Core Weight: 1 Total Weight: 735 217.83/217.91 c 217.83/217.91 c 217.83/217.91 c ============================[ Search Statistics ]============================== 217.83/217.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.83/217.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.83/217.91 c =============================================================================== 217.83/217.91 c | 0 | 11930 12241 93723 | 5000 0 nan | 0.000 % | 217.83/217.94 c | 101 | 11929 12241 93723 | 5500 101 19 | 2.469 % | 217.83/217.97 c | 253 | 11927 12241 93723 | 6050 253 15 | 2.485 % | 217.93/218.01 c | 479 | 11923 12241 93723 | 6655 479 17 | 2.535 % | 217.93/218.01 c =============================================================================== 218.03/218.10 c core #537 218.03/218.10 c 218.03/218.10 c 218.03/218.10 c Core size: 16 Core Weight: 1 Total Weight: 736 218.03/218.10 c 218.03/218.10 c 218.03/218.10 c ============================[ Search Statistics ]============================== 218.03/218.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.03/218.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.03/218.10 c =============================================================================== 218.03/218.10 c | 0 | 11948 12243 93812 | 5000 0 nan | 0.000 % | 218.03/218.13 c | 100 | 11948 12243 93812 | 5500 100 18 | 2.425 % | 218.03/218.14 c =============================================================================== 218.13/218.22 c core #538 218.13/218.22 c 218.13/218.22 c 218.13/218.22 c Core size: 35 Core Weight: 1 Total Weight: 737 218.13/218.22 c 218.13/218.22 c 218.13/218.22 c ============================[ Search Statistics ]============================== 218.13/218.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.13/218.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.13/218.22 c =============================================================================== 218.13/218.22 c | 0 | 11979 12244 93874 | 5000 0 nan | 0.000 % | 218.13/218.25 c | 102 | 11979 12244 93874 | 5500 102 35 | 2.419 % | 218.13/218.28 c | 252 | 11975 12244 93874 | 6050 252 26 | 2.468 % | 218.23/218.31 c | 478 | 11974 12244 93874 | 6655 478 39 | 2.485 % | 218.23/218.35 c | 815 | 11974 12244 93874 | 7320 815 53 | 2.485 % | 218.33/218.40 c | 1322 | 11974 12244 93874 | 8052 1322 63 | 2.485 % | 218.43/218.50 c | 2081 | 11971 12244 93874 | 8857 2074 70 | 2.485 % | 218.53/218.63 c | 3220 | 11967 12244 93874 | 9743 3213 66 | 2.517 % | 218.84/218.92 c | 4930 | 11967 12244 93874 | 10717 4923 78 | 2.517 % | 219.23/219.33 c | 7494 | 11967 12244 93874 | 11789 7302 87 | 2.517 % | 220.23/220.34 c | 11341 | 11967 12244 93874 | 12968 11149 98 | 2.517 % | 222.23/222.34 c | 17107 | 11967 12244 93874 | 14265 10218 100 | 2.680 % | 225.02/225.15 c | 25757 | 11946 12244 93874 | 15692 11514 95 | 2.688 % | 225.02/225.18 c =============================================================================== 225.63/225.71 c core #539 225.63/225.71 c 225.63/225.71 c 225.63/225.71 c Core size: 138 Core Weight: 1 Total Weight: 738 225.63/225.71 c 225.63/225.71 c 225.63/225.71 c ============================[ Search Statistics ]============================== 225.63/225.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.63/225.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.63/225.71 c =============================================================================== 225.63/225.71 c | 0 | 12117 12245 94160 | 5000 0 nan | 0.000 % | 225.63/225.75 c | 104 | 12117 12245 94160 | 5500 104 23 | 2.369 % | 225.63/225.77 c | 254 | 12117 12245 94160 | 6050 254 28 | 2.369 % | 225.73/225.80 c | 479 | 12113 12245 94160 | 6655 479 26 | 2.401 % | 225.73/225.84 c | 816 | 12113 12245 94160 | 7320 816 45 | 2.401 % | 225.73/225.88 c | 1323 | 12113 12245 94160 | 8052 1323 55 | 2.401 % | 225.83/225.96 c | 2083 | 12113 12245 94160 | 8857 2031 54 | 2.401 % | 226.03/226.10 c | 3222 | 12113 12245 94160 | 9743 3170 64 | 2.401 % | 226.23/226.31 c | 4930 | 12113 12245 94160 | 10717 4878 71 | 2.401 % | 226.73/226.85 c | 7494 | 12113 12245 94160 | 11789 7442 79 | 2.401 % | 227.33/227.43 c | 11338 | 12113 12245 94160 | 12968 11286 79 | 2.401 % | 228.84/228.98 c | 17106 | 12113 12245 94160 | 14265 10337 86 | 2.401 % | 231.42/231.55 c | 25759 | 12113 12245 94160 | 15692 11572 92 | 2.401 % | 235.83/235.98 c | 38733 | 12111 12245 94160 | 17261 13698 92 | 2.417 % | 237.32/237.41 c =============================================================================== 238.22/238.37 c core #540 238.22/238.37 c 238.22/238.37 c 238.22/238.37 c Core size: 146 Core Weight: 1 Total Weight: 739 238.22/238.37 c 238.22/238.37 c 238.22/238.37 c ============================[ Search Statistics ]============================== 238.22/238.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.22/238.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.22/238.37 c =============================================================================== 238.22/238.37 c | 0 | 12261 12246 94448 | 5000 0 nan | 0.000 % | 238.33/238.41 c | 100 | 12261 12246 94448 | 5500 100 22 | 2.342 % | 238.33/238.43 c | 250 | 12261 12246 94448 | 6050 250 28 | 2.342 % | 238.33/238.45 c | 479 | 12261 12246 94448 | 6655 479 26 | 2.342 % | 238.33/238.47 c | 817 | 12261 12246 94448 | 7320 817 27 | 2.342 % | 238.42/238.53 c =============================================================================== 238.53/238.61 c core #541 238.53/238.61 c 238.53/238.61 c 238.53/238.61 c Core size: 17 Core Weight: 1 Total Weight: 740 238.53/238.61 c 238.53/238.61 c 238.53/238.61 c ============================[ Search Statistics ]============================== 238.53/238.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.53/238.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.53/238.61 c =============================================================================== 238.53/238.61 c | 0 | 12275 12247 94476 | 5000 0 nan | 0.000 % | 238.53/238.64 c | 101 | 12275 12247 94476 | 5500 101 23 | 2.339 % | 238.53/238.65 c | 252 | 12275 12247 94476 | 6050 252 33 | 2.339 % | 238.64/238.71 c | 480 | 12272 12247 94476 | 6655 480 25 | 2.371 % | 238.64/238.74 c | 820 | 12272 12247 94476 | 7320 820 32 | 2.371 % | 238.73/238.83 c | 1327 | 12261 12247 94476 | 8052 1324 30 | 2.474 % | 238.73/238.87 c | 2086 | 12260 12247 94476 | 8857 2083 36 | 2.482 % | 238.83/238.96 c | 3225 | 12256 12247 94476 | 9743 3222 40 | 2.514 % | 239.02/239.12 c | 4934 | 12255 12247 94476 | 10717 4931 46 | 2.522 % | 239.33/239.44 c | 7496 | 12252 12247 94476 | 11789 7398 48 | 2.522 % | 239.92/240.04 c | 11340 | 12240 12247 94476 | 12968 11242 57 | 2.618 % | 240.03/240.12 c =============================================================================== 240.23/240.32 c core #542 240.23/240.32 c 240.23/240.32 c 240.23/240.32 c Core size: 116 Core Weight: 1 Total Weight: 741 240.23/240.32 c 240.23/240.32 c 240.23/240.32 c ============================[ Search Statistics ]============================== 240.23/240.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.23/240.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.23/240.32 c =============================================================================== 240.23/240.32 c | 0 | 12389 12249 94707 | 5000 0 nan | 0.000 % | 240.23/240.36 c | 100 | 12389 12249 94707 | 5500 100 36 | 2.318 % | 240.23/240.38 c | 251 | 12389 12249 94707 | 6050 251 24 | 2.318 % | 240.32/240.42 c | 476 | 12360 12249 94707 | 6655 476 21 | 2.578 % | 240.32/240.45 c | 813 | 12355 12249 94707 | 7320 813 20 | 2.586 % | 240.42/240.50 c | 1320 | 12352 12249 94707 | 8052 1293 20 | 2.626 % | 240.42/240.53 c =============================================================================== 240.52/240.62 c core #543 240.52/240.62 c 240.52/240.62 c 240.52/240.62 c Core size: 93 Core Weight: 1 Total Weight: 742 240.52/240.62 c 240.52/240.62 c 240.52/240.62 c ============================[ Search Statistics ]============================== 240.52/240.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.52/240.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.52/240.62 c =============================================================================== 240.52/240.62 c | 0 | 12477 12250 94883 | 5000 0 nan | 0.000 % | 240.52/240.65 c | 100 | 12476 12250 94883 | 5500 100 27 | 2.310 % | 240.52/240.67 c | 251 | 12472 12250 94883 | 6050 251 20 | 2.404 % | 240.63/240.71 c | 476 | 12472 12250 94883 | 6655 476 20 | 2.404 % | 240.63/240.74 c | 813 | 12467 12250 94883 | 7320 813 31 | 2.443 % | 240.63/240.78 c | 1321 | 12453 12250 94883 | 8052 1268 27 | 2.490 % | 240.72/240.83 c =============================================================================== 240.83/240.92 c core #544 240.83/240.92 c 240.83/240.92 c 240.83/240.92 c Core size: 19 Core Weight: 1 Total Weight: 743 240.83/240.92 c 240.83/240.92 c 240.83/240.92 c ============================[ Search Statistics ]============================== 240.83/240.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.83/240.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.83/240.92 c =============================================================================== 240.83/240.92 c | 0 | 12497 12251 94936 | 5000 0 nan | 0.000 % | 240.83/240.96 c | 100 | 12496 12251 94936 | 5500 100 25 | 2.291 % | 240.83/240.99 c | 254 | 12495 12251 94936 | 6050 254 42 | 2.307 % | 240.93/241.03 c | 482 | 12495 12251 94936 | 6655 482 31 | 2.307 % | 240.93/241.05 c | 822 | 12495 12251 94936 | 7320 822 40 | 2.307 % | 240.93/241.08 c | 1329 | 12470 12251 94936 | 8052 1278 43 | 2.487 % | 241.02/241.11 c =============================================================================== 241.13/241.21 c core #545 241.13/241.21 c 241.13/241.21 c 241.13/241.21 c Core size: 59 Core Weight: 1 Total Weight: 744 241.13/241.21 c 241.13/241.21 c 241.13/241.21 c ============================[ Search Statistics ]============================== 241.13/241.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.13/241.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.13/241.21 c =============================================================================== 241.13/241.21 c | 0 | 12554 12252 95050 | 5000 0 nan | 0.000 % | 241.13/241.24 c | 102 | 12554 12252 95050 | 5500 102 43 | 2.265 % | 241.13/241.26 c | 253 | 12554 12252 95050 | 6050 253 32 | 2.265 % | 241.13/241.30 c | 479 | 12552 12252 95050 | 6655 479 33 | 2.281 % | 241.23/241.32 c | 817 | 12548 12252 95050 | 7320 817 28 | 2.320 % | 241.23/241.35 c | 1324 | 12546 12252 95050 | 8052 1324 24 | 2.328 % | 241.23/241.36 c =============================================================================== 241.32/241.46 c core #546 241.32/241.46 c 241.32/241.46 c 241.32/241.46 c Core size: 61 Core Weight: 1 Total Weight: 745 241.32/241.46 c 241.32/241.46 c 241.32/241.46 c ============================[ Search Statistics ]============================== 241.32/241.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.32/241.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.32/241.46 c =============================================================================== 241.32/241.46 c | 0 | 12612 12253 95166 | 5000 0 nan | 0.000 % | 241.32/241.49 c | 100 | 12612 12253 95166 | 5500 100 27 | 2.255 % | 241.42/241.51 c | 252 | 12611 12253 95166 | 6050 252 51 | 2.263 % | 241.42/241.54 c | 477 | 12611 12253 95166 | 6655 477 41 | 2.263 % | 241.42/241.56 c | 815 | 12603 12253 95166 | 7320 815 31 | 2.341 % | 241.53/241.65 c | 1321 | 12555 12253 95166 | 8052 1053 27 | 3.309 % | 241.63/241.71 c | 2080 | 12553 12253 95166 | 8857 1812 48 | 3.309 % | 241.73/241.82 c | 3221 | 12551 12253 95166 | 9743 2953 52 | 3.325 % | 241.82/241.98 c | 4929 | 12474 12253 95166 | 10717 4565 63 | 3.325 % | 242.22/242.33 c | 7491 | 12474 12253 95166 | 11789 7127 81 | 3.325 % | 242.83/242.91 c | 11336 | 12474 12253 95166 | 12968 10972 90 | 3.325 % | 243.92/244.01 c | 17103 | 12474 12253 95166 | 14265 9804 90 | 3.325 % | 245.52/245.64 c | 25752 | 12474 12253 95166 | 15692 10954 104 | 3.325 % | 249.22/249.37 c | 38728 | 12474 12253 95166 | 17261 15742 131 | 3.325 % | 249.22/249.39 c =============================================================================== 249.42/249.53 c core #547 249.42/249.53 c 249.42/249.53 c 249.42/249.53 c Core size: 20 Core Weight: 1 Total Weight: 746 249.42/249.53 c 249.42/249.53 c 249.42/249.53 c ============================[ Search Statistics ]============================== 249.42/249.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 249.42/249.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 249.42/249.53 c =============================================================================== 249.42/249.53 c | 0 | 12639 12254 95361 | 5000 0 nan | 0.000 % | 249.52/249.60 c | 101 | 12631 12254 95361 | 5500 101 15 | 2.260 % | 249.52/249.62 c | 251 | 12631 12254 95361 | 6050 251 25 | 2.260 % | 249.52/249.65 c | 476 | 12631 12254 95361 | 6655 476 38 | 2.260 % | 249.52/249.69 c | 813 | 12627 12254 95361 | 7320 780 33 | 2.275 % | 249.62/249.73 c | 1324 | 12627 12254 95361 | 8052 1291 31 | 2.275 % | 249.62/249.78 c | 2087 | 12620 12254 95361 | 8857 2054 29 | 2.353 % | 249.73/249.89 c =============================================================================== 249.82/249.98 c core #548 249.82/249.98 c 249.82/249.98 c 249.82/249.98 c Core size: 30 Core Weight: 1 Total Weight: 747 249.82/249.98 c 249.82/249.98 c 249.82/249.98 c ============================[ Search Statistics ]============================== 249.82/249.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 249.82/249.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 249.82/249.98 c =============================================================================== 249.82/249.98 c | 0 | 12668 12255 95419 | 5000 0 nan | 0.000 % | 249.92/250.00 c | 102 | 12668 12255 95419 | 5500 102 79 | 2.178 % | 249.92/250.03 c | 252 | 12668 12255 95419 | 6050 252 52 | 2.178 % | 249.92/250.04 c =============================================================================== 250.02/250.12 c core #549 250.02/250.12 c 250.02/250.12 c 250.02/250.12 c Core size: 43 Core Weight: 1 Total Weight: 748 250.02/250.12 c 250.02/250.12 c 250.02/250.12 c ============================[ Search Statistics ]============================== 250.02/250.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 250.02/250.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 250.02/250.12 c =============================================================================== 250.02/250.12 c | 0 | 12721 12256 95755 | 5000 0 nan | 0.000 % | 250.02/250.16 c | 103 | 12721 12256 95755 | 5500 103 50 | 2.063 % | 250.02/250.17 c | 254 | 12721 12256 95755 | 6050 254 46 | 2.063 % | 250.02/250.19 c | 482 | 12721 12256 95755 | 6655 482 85 | 2.063 % | 250.13/250.22 c =============================================================================== 250.22/250.30 c core #550 250.22/250.30 c 250.22/250.30 c 250.22/250.30 c Core size: 34 Core Weight: 1 Total Weight: 749 250.22/250.30 c 250.22/250.30 c 250.22/250.30 c ============================[ Search Statistics ]============================== 250.22/250.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 250.22/250.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 250.22/250.30 c =============================================================================== 250.22/250.30 c | 0 | 12753 12257 95819 | 5000 0 nan | 0.000 % | 250.22/250.33 c | 100 | 12753 12257 95819 | 5500 100 14 | 2.058 % | 250.22/250.36 c | 250 | 12753 12257 95819 | 6050 250 18 | 2.058 % | 250.22/250.37 c | 478 | 12753 12257 95819 | 6655 478 28 | 2.058 % | 250.32/250.40 c | 816 | 12752 12257 95819 | 7320 816 26 | 2.074 % | 250.32/250.43 c | 1322 | 12751 12257 95819 | 8052 1322 26 | 2.081 % | 250.42/250.51 c | 2082 | 12749 12257 95819 | 8857 1842 38 | 2.089 % | 250.52/250.61 c | 3227 | 12724 12257 95819 | 9743 2987 37 | 2.304 % | 250.52/250.64 c =============================================================================== 250.62/250.74 c core #551 250.62/250.74 c 250.62/250.74 c 250.62/250.74 c Core size: 70 Core Weight: 1 Total Weight: 750 250.62/250.74 c 250.62/250.74 c 250.62/250.74 c ============================[ Search Statistics ]============================== 250.62/250.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 250.62/250.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 250.62/250.74 c =============================================================================== 250.62/250.74 c | 0 | 12821 12258 95955 | 5000 0 nan | 0.000 % | 250.62/250.77 c | 100 | 12821 12258 95955 | 5500 100 45 | 2.048 % | 250.73/250.80 c | 251 | 12821 12258 95955 | 6050 251 32 | 2.048 % | 250.73/250.85 c | 476 | 12819 12258 95955 | 6655 476 30 | 2.063 % | 250.73/250.89 c | 813 | 12818 12258 95955 | 7320 813 44 | 2.070 % | 250.82/250.95 c | 1319 | 12818 12258 95955 | 8052 1315 58 | 2.070 % | 250.92/251.05 c | 2081 | 12818 12258 95955 | 8857 2077 86 | 2.070 % | 251.12/251.22 c | 3225 | 12818 12258 95955 | 9743 3221 110 | 2.070 % | 251.42/251.54 c | 4934 | 12818 12258 95955 | 10717 4930 124 | 2.070 % | 252.02/252.13 c | 7496 | 12818 12258 95955 | 11789 7492 145 | 2.070 % | 253.12/253.26 c | 11340 | 12818 12258 95955 | 12968 11336 164 | 2.070 % | 255.62/255.70 c | 17108 | 12818 12258 95955 | 14265 10390 189 | 2.070 % | 258.32/258.45 c | 25757 | 12818 12258 95955 | 15692 11729 157 | 2.070 % | 262.12/262.29 c | 38732 | 12776 12258 95955 | 17261 16628 118 | 2.452 % | 271.21/271.39 c | 58193 | 12772 12258 95955 | 18987 18026 141 | 2.483 % | 281.71/281.89 c | 87386 | 12754 12258 95955 | 20886 17160 116 | 2.559 % | 299.31/299.41 c | 131175 | 12721 12258 95955 | 22974 17253 152 | 2.941 % | 302.21/302.35 c =============================================================================== 303.31/303.43 c core #552 303.31/303.43 c 303.31/303.43 c 303.31/303.43 c Core size: 341 Core Weight: 1 Total Weight: 751 303.31/303.43 c 303.31/303.43 c 303.31/303.43 c ============================[ Search Statistics ]============================== 303.31/303.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 303.31/303.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 303.31/303.43 c =============================================================================== 303.31/303.43 c | 0 | 13158 12259 96629 | 5000 0 nan | 0.000 % | 303.31/303.49 c | 104 | 13158 12259 96629 | 5500 104 38 | 1.996 % | 303.41/303.52 c | 254 | 13158 12259 96629 | 6050 254 29 | 1.996 % | 303.41/303.53 c | 484 | 13158 12259 96629 | 6655 484 25 | 1.996 % | 303.41/303.56 c | 821 | 13157 12259 96629 | 7320 821 31 | 2.004 % | 303.51/303.61 c | 1328 | 13154 12259 96629 | 8052 1328 37 | 2.026 % | 303.62/303.72 c | 2091 | 13152 12259 96629 | 8857 2002 61 | 2.041 % | 303.71/303.85 c | 3231 | 13152 12259 96629 | 9743 3142 82 | 2.041 % | 304.01/304.10 c | 4940 | 13152 12259 96629 | 10717 4850 110 | 2.041 % | 304.50/304.61 c | 7504 | 13152 12259 96629 | 11789 7414 143 | 2.041 % | 305.51/305.60 c | 11348 | 13152 12259 96629 | 12968 11258 165 | 2.041 % | 306.91/307.01 c | 17114 | 13152 12259 96629 | 14265 9716 200 | 2.041 % | 309.50/309.63 c | 25766 | 13152 12259 96629 | 15692 10230 202 | 2.041 % | 312.81/312.92 c | 38742 | 13152 12259 96629 | 17261 14435 166 | 2.041 % | 316.90/317.09 c | 58208 | 13152 12259 96629 | 18987 14514 155 | 2.041 % | 317.30/317.43 c =============================================================================== 317.50/317.61 c core #553 317.50/317.61 c 317.50/317.61 c 317.50/317.61 c Core size: 30 Core Weight: 1 Total Weight: 752 317.50/317.61 c 317.50/317.61 c 317.50/317.61 c ============================[ Search Statistics ]============================== 317.50/317.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 317.50/317.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 317.50/317.61 c =============================================================================== 317.50/317.61 c | 0 | 13186 12261 96687 | 5000 0 nan | 0.000 % | 317.50/317.66 c | 100 | 13185 12261 96687 | 5500 100 29 | 1.999 % | 317.50/317.68 c | 250 | 13185 12261 96687 | 6050 250 99 | 1.999 % | 317.60/317.72 c | 475 | 13183 12261 96687 | 6655 475 68 | 2.014 % | 317.60/317.74 c | 812 | 13183 12261 96687 | 7320 812 52 | 2.014 % | 317.60/317.77 c | 1318 | 13181 12261 96687 | 8052 1318 42 | 2.029 % | 317.70/317.85 c | 2077 | 13173 12261 96687 | 8857 2046 36 | 2.103 % | 317.81/317.96 c | 3216 | 13172 12261 96687 | 9743 3185 33 | 2.111 % | 318.01/318.12 c | 4931 | 13167 12261 96687 | 10717 3183 51 | 2.133 % | 318.30/318.44 c | 7494 | 13166 12261 96687 | 11789 5746 59 | 2.141 % | 319.10/319.22 c | 11339 | 13165 12261 96687 | 12968 9589 66 | 2.148 % | 319.40/319.50 c =============================================================================== 319.60/319.74 c core #554 319.60/319.74 c 319.60/319.74 c 319.60/319.74 c Core size: 116 Core Weight: 1 Total Weight: 753 319.60/319.74 c 319.60/319.74 c 319.60/319.74 c ============================[ Search Statistics ]============================== 319.60/319.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 319.60/319.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 319.60/319.74 c =============================================================================== 319.60/319.74 c | 0 | 13297 12262 96909 | 5000 0 nan | 0.000 % | 319.60/319.78 c | 100 | 13297 12262 96909 | 5500 100 16 | 1.976 % | 319.60/319.79 c | 254 | 13297 12262 96909 | 6050 254 27 | 1.976 % | 319.70/319.81 c | 481 | 13295 12262 96909 | 6655 481 25 | 2.049 % | 319.70/319.86 c | 821 | 13292 12262 96909 | 7320 821 26 | 2.072 % | 319.81/319.91 c | 1329 | 13272 12262 96909 | 8052 1206 24 | 2.160 % | 319.81/319.98 c | 2090 | 13272 12262 96909 | 8857 1967 24 | 2.160 % | 320.01/320.11 c | 3229 | 13271 12262 96909 | 9743 3106 46 | 2.167 % | 320.11/320.28 c | 4939 | 13271 12262 96909 | 10717 4803 47 | 2.167 % | 320.40/320.53 c | 7501 | 13271 12262 96909 | 11789 7365 46 | 2.167 % | 321.00/321.11 c | 11349 | 13268 12262 96909 | 12968 11202 49 | 2.212 % | 321.10/321.27 c =============================================================================== 321.40/321.50 c core #555 321.40/321.50 c 321.40/321.50 c 321.40/321.50 c Core size: 228 Core Weight: 1 Total Weight: 754 321.40/321.50 c 321.40/321.50 c 321.40/321.50 c ============================[ Search Statistics ]============================== 321.40/321.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 321.40/321.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 321.40/321.51 c =============================================================================== 321.40/321.51 c | 0 | 13531 12263 97567 | 5000 0 nan | 0.000 % | 321.40/321.56 c | 100 | 13531 12263 97567 | 5500 100 26 | 1.892 % | 321.40/321.58 c | 252 | 13531 12263 97567 | 6050 252 43 | 1.892 % | 321.50/321.61 c | 478 | 13531 12263 97567 | 6655 478 35 | 1.892 % | 321.50/321.64 c | 816 | 13531 12263 97567 | 7320 816 29 | 1.892 % | 321.50/321.67 c | 1323 | 13531 12263 97567 | 8052 1323 28 | 1.892 % | 321.60/321.74 c | 2083 | 13530 12263 97567 | 8857 2051 26 | 1.900 % | 321.70/321.85 c | 3223 | 13525 12263 97567 | 9743 3191 31 | 1.965 % | 321.90/322.05 c | 4932 | 13516 12263 97567 | 10717 4900 43 | 2.059 % | 322.21/322.32 c | 7495 | 13496 12263 97567 | 11789 7293 47 | 2.146 % | 322.50/322.62 c =============================================================================== 322.60/322.76 c core #556 322.60/322.76 c 322.60/322.76 c 322.60/322.76 c Core size: 196 Core Weight: 1 Total Weight: 755 322.60/322.76 c 322.60/322.76 c 322.60/322.76 c ============================[ Search Statistics ]============================== 322.60/322.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 322.60/322.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 322.60/322.76 c =============================================================================== 322.60/322.76 c | 0 | 13727 12265 97992 | 5000 0 nan | 0.000 % | 322.60/322.79 c | 100 | 13727 12265 97992 | 5500 100 53 | 1.845 % | 322.70/322.81 c | 251 | 13727 12265 97992 | 6050 251 41 | 1.845 % | 322.70/322.86 c | 477 | 13725 12265 97992 | 6655 477 32 | 1.859 % | 322.70/322.88 c | 814 | 13725 12265 97992 | 7320 814 27 | 1.859 % | 322.80/322.95 c | 1322 | 13725 12265 97992 | 8052 1322 38 | 1.859 % | 322.90/323.03 c | 2081 | 13714 12265 97992 | 8857 2079 31 | 1.938 % | 323.00/323.14 c | 3221 | 13664 12265 97992 | 9743 3219 26 | 2.574 % | 323.20/323.35 c | 4935 | 13663 12265 97992 | 10717 4933 36 | 2.574 % | 323.60/323.72 c | 7499 | 13625 12265 97992 | 11789 6963 51 | 2.574 % | 324.50/324.64 c | 11343 | 13625 12265 97992 | 12968 10807 92 | 2.574 % | 326.10/326.29 c | 17117 | 13625 12265 97992 | 14265 9589 176 | 2.574 % | 329.60/329.76 c | 25766 | 13625 12265 97992 | 15692 10753 214 | 2.574 % | 336.80/336.93 c | 38742 | 13625 12265 97992 | 17261 15562 243 | 2.574 % | 348.19/348.35 c | 58203 | 13625 12265 97992 | 18987 17079 264 | 2.574 % | 361.09/361.28 c | 87395 | 13558 12265 97992 | 20886 14047 153 | 3.060 % | 386.39/386.54 c | 131184 | 13558 12265 97992 | 22974 24375 223 | 3.060 % | 402.48/402.64 c =============================================================================== 402.78/402.94 c core #557 402.78/402.94 c 402.78/402.94 c 402.78/402.94 c Core size: 28 Core Weight: 1 Total Weight: 756 402.78/402.94 c 402.78/402.94 c 402.78/402.94 c ============================[ Search Statistics ]============================== 402.78/402.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 402.78/402.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 402.78/402.94 c =============================================================================== 402.78/402.94 c | 0 | 13772 12267 98084 | 5000 0 nan | 0.000 % | 402.78/403.00 c | 100 | 13772 12267 98084 | 5500 100 40 | 1.671 % | 402.88/403.03 c | 251 | 13772 12267 98084 | 6050 251 43 | 1.671 % | 402.88/403.08 c | 476 | 13772 12267 98084 | 6655 476 53 | 1.671 % | 402.98/403.12 c | 813 | 13769 12267 98084 | 7320 813 47 | 1.692 % | 402.98/403.16 c | 1319 | 13769 12267 98084 | 8052 1317 41 | 1.692 % | 403.08/403.21 c | 2079 | 13769 12267 98084 | 8857 2077 36 | 1.692 % | 403.18/403.32 c | 3218 | 13769 12267 98084 | 9743 3216 36 | 1.692 % | 403.28/403.47 c | 4930 | 13769 12267 98084 | 10717 4928 40 | 1.692 % | 403.58/403.77 c | 7492 | 13762 12267 98084 | 11789 7489 50 | 1.778 % | 404.18/404.32 c | 11347 | 13758 12267 98084 | 12968 11344 73 | 1.806 % | 405.38/405.51 c | 17113 | 13752 12267 98084 | 14265 9999 119 | 1.814 % | 406.08/406.30 c =============================================================================== 406.37/406.54 c core #558 406.37/406.54 c 406.37/406.54 c 406.37/406.54 c Core size: 380 Core Weight: 1 Total Weight: 757 406.37/406.54 c 406.37/406.54 c 406.37/406.54 c ============================[ Search Statistics ]============================== 406.37/406.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 406.37/406.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 406.37/406.54 c =============================================================================== 406.37/406.54 c | 0 | 14151 12268 98842 | 5000 0 nan | 0.000 % | 406.37/406.59 c | 101 | 14151 12268 98842 | 5500 101 47 | 1.627 % | 406.48/406.61 c | 251 | 14151 12268 98842 | 6050 251 31 | 1.627 % | 406.48/406.64 c | 476 | 14151 12268 98842 | 6655 476 31 | 1.627 % | 406.58/406.71 c | 813 | 14145 12268 98842 | 7320 813 25 | 1.668 % | 406.58/406.76 c | 1320 | 14136 12268 98842 | 8052 1314 26 | 1.731 % | 406.68/406.82 c | 2081 | 14131 12268 98842 | 8857 2075 27 | 1.766 % | 406.78/406.95 c | 3222 | 14129 12268 98842 | 9743 3216 48 | 1.780 % | 407.08/407.21 c | 4933 | 14117 12268 98842 | 10717 4596 78 | 2.009 % | 407.48/407.61 c | 7497 | 14117 12268 98842 | 11789 7160 96 | 2.009 % | 408.18/408.31 c | 11341 | 14073 12268 98842 | 12968 11001 106 | 2.315 % | 409.38/409.58 c | 17108 | 14072 12268 98842 | 14265 9476 114 | 2.315 % | 411.97/412.19 c | 25757 | 14072 12268 98842 | 15692 10579 177 | 2.315 % | 418.88/419.00 c | 38736 | 14052 12268 98842 | 17261 15190 240 | 2.315 % | 426.98/427.13 c | 58198 | 14052 12268 98842 | 18987 16687 210 | 2.315 % | 427.07/427.23 c =============================================================================== 427.27/427.41 c core #559 427.27/427.41 c 427.27/427.41 c 427.27/427.41 c Core size: 10 Core Weight: 1 Total Weight: 758 427.27/427.41 c 427.27/427.41 c 427.27/427.41 c ============================[ Search Statistics ]============================== 427.27/427.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 427.27/427.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 427.27/427.41 c =============================================================================== 427.27/427.41 c | 0 | 14160 12269 98860 | 5000 0 nan | 0.000 % | 427.27/427.47 c | 100 | 14160 12269 98860 | 5500 100 20 | 1.626 % | 427.38/427.50 c | 250 | 14159 12269 98860 | 6050 250 34 | 1.633 % | 427.38/427.55 c | 476 | 14158 12269 98860 | 6655 476 31 | 1.640 % | 427.38/427.59 c | 814 | 14158 12269 98860 | 7320 814 49 | 1.640 % | 427.48/427.64 c | 1320 | 14158 12269 98860 | 8052 1298 43 | 1.640 % | 427.58/427.73 c | 2079 | 14158 12269 98860 | 8857 2057 53 | 1.640 % | 427.67/427.87 c | 3226 | 14158 12269 98860 | 9743 3204 64 | 1.640 % | 427.88/428.06 c | 4934 | 14156 12269 98860 | 10717 4910 68 | 1.653 % | 428.27/428.40 c | 7497 | 14151 12269 98860 | 11789 7467 78 | 1.688 % | 429.07/429.29 c | 11341 | 14140 12269 98860 | 12968 11311 111 | 1.931 % | 430.87/431.04 c | 17110 | 14136 12269 98860 | 14265 9753 210 | 1.931 % | 433.68/433.89 c | 25761 | 14136 12269 98860 | 15692 10488 205 | 1.931 % | 438.78/438.94 c | 38737 | 14111 12269 98860 | 17261 14519 248 | 1.966 % | 447.87/448.06 c | 58198 | 14109 12269 98860 | 18987 15513 260 | 1.980 % | 463.46/463.66 c | 87394 | 14107 12269 98860 | 20886 14350 188 | 1.994 % | 477.46/477.66 c | 131184 | 14053 12269 98860 | 22974 20597 248 | 2.452 % | 487.16/487.38 c =============================================================================== 487.75/487.99 c core #560 487.75/487.99 c 487.75/487.99 c 487.75/487.99 c Core size: 462 Core Weight: 1 Total Weight: 759 487.75/487.99 c 487.75/487.99 c 487.75/487.99 c ============================[ Search Statistics ]============================== 487.75/487.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 487.75/487.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 487.75/487.99 c =============================================================================== 487.75/487.99 c | 0 | 14624 12270 99849 | 5000 0 nan | 0.000 % | 487.85/488.06 c | 100 | 14624 12270 99849 | 5500 100 23 | 1.548 % | 487.85/488.08 c | 250 | 14624 12270 99849 | 6050 250 37 | 1.548 % | 487.95/488.11 c | 475 | 14624 12270 99849 | 6655 475 44 | 1.548 % | 487.95/488.14 c | 816 | 14623 12270 99849 | 7320 816 34 | 1.555 % | 488.06/488.21 c | 1323 | 14622 12270 99849 | 8052 1323 29 | 1.562 % | 488.15/488.30 c | 2085 | 14612 12270 99849 | 8857 1748 38 | 1.663 % | 488.26/488.43 c | 3224 | 14607 12270 99849 | 9743 2887 61 | 1.663 % | 488.36/488.58 c | 4933 | 14607 12270 99849 | 10717 4557 64 | 1.663 % | 488.85/489.02 c | 7495 | 14607 12270 99849 | 11789 7119 81 | 1.663 % | 489.46/489.63 c | 11345 | 14607 12270 99849 | 12968 10969 93 | 1.663 % | 490.96/491.19 c | 17112 | 14607 12270 99849 | 14265 9081 178 | 1.663 % | 493.76/493.98 c | 25761 | 14607 12270 99849 | 15692 9823 228 | 1.663 % | 497.75/497.95 c | 38736 | 14607 12270 99849 | 17261 13907 223 | 1.663 % | 505.65/505.84 c | 58200 | 14605 12270 99849 | 18987 14796 198 | 1.676 % | 510.05/510.20 c =============================================================================== 510.15/510.40 c core #561 510.15/510.40 c 510.15/510.40 c 510.15/510.40 c Core size: 83 Core Weight: 1 Total Weight: 760 510.15/510.40 c 510.15/510.40 c 510.15/510.40 c ============================[ Search Statistics ]============================== 510.15/510.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 510.15/510.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 510.15/510.40 c =============================================================================== 510.15/510.40 c | 0 | 14705 12271 100011 | 5000 0 nan | 0.000 % | 510.25/510.46 c | 100 | 14705 12271 100011 | 5500 100 42 | 1.540 % | 510.25/510.49 c | 250 | 14704 12271 100011 | 6050 250 27 | 1.547 % | 510.36/510.54 c | 480 | 14701 12271 100011 | 6655 480 37 | 1.567 % | 510.36/510.56 c | 817 | 14701 12271 100011 | 7320 817 31 | 1.567 % | 510.45/510.63 c | 1323 | 14701 12271 100011 | 8052 1306 41 | 1.567 % | 510.55/510.70 c | 2082 | 14700 12271 100011 | 8857 2065 66 | 1.573 % | 510.64/510.80 c | 3221 | 14700 12271 100011 | 9743 3204 64 | 1.573 % | 510.85/511.01 c | 4935 | 14695 12271 100011 | 10717 4917 65 | 1.614 % | 511.15/511.31 c | 7498 | 14685 12271 100011 | 11789 7480 74 | 1.674 % | 511.75/511.94 c | 11342 | 14681 12271 100011 | 12968 11324 87 | 1.701 % | 513.25/513.47 c | 17128 | 14678 12271 100011 | 14265 9963 126 | 1.721 % | 516.65/516.83 c | 25777 | 14676 12271 100011 | 15692 11249 147 | 1.734 % | 522.35/522.51 c | 38752 | 14668 12271 100011 | 17261 16219 126 | 1.794 % | 523.95/524.13 c =============================================================================== 524.25/524.42 c core #562 524.25/524.42 c 524.25/524.42 c 524.25/524.42 c Core size: 179 Core Weight: 1 Total Weight: 761 524.25/524.42 c 524.25/524.42 c 524.25/524.42 c ============================[ Search Statistics ]============================== 524.25/524.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 524.25/524.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 524.25/524.42 c =============================================================================== 524.25/524.42 c | 0 | 14890 12272 100583 | 5000 0 nan | 0.000 % | 524.25/524.48 c | 100 | 14890 12272 100583 | 5500 100 21 | 1.469 % | 524.34/524.51 c | 250 | 14889 12272 100583 | 6050 250 19 | 1.476 % | 524.34/524.56 c | 476 | 14888 12272 100583 | 6655 476 18 | 1.482 % | 524.45/524.61 c | 813 | 14888 12272 100583 | 7320 813 48 | 1.482 % | 524.45/524.68 c | 1319 | 14884 12272 100583 | 8052 1316 52 | 1.509 % | 524.55/524.78 c | 2079 | 14881 12272 100583 | 8857 2076 54 | 1.529 % | 524.75/524.93 c | 3218 | 14881 12272 100583 | 9743 3215 82 | 1.529 % | 524.95/525.11 c | 4928 | 14881 12272 100583 | 10717 4854 77 | 1.529 % | 525.25/525.48 c | 7493 | 14881 12272 100583 | 11789 7419 97 | 1.529 % | 526.04/526.21 c | 11337 | 14881 12272 100583 | 12968 11263 122 | 1.529 % | 527.34/527.58 c | 17106 | 14881 12272 100583 | 14265 9666 182 | 1.529 % | 530.75/530.96 c | 25755 | 14881 12272 100583 | 15692 10214 187 | 1.529 % | 535.94/536.12 c | 38729 | 14881 12272 100583 | 17261 14648 209 | 1.529 % | 543.94/544.17 c | 58197 | 14880 12272 100583 | 18987 15208 259 | 1.535 % | 559.53/559.79 c | 87391 | 14860 12272 100583 | 20886 13580 328 | 1.760 % | 584.03/584.23 c | 131180 | 14813 12272 100583 | 22974 21713 230 | 1.985 % | 622.52/622.79 c | 196867 | 14795 12272 100583 | 25272 15576 245 | 2.170 % | 680.20/680.42 c | 295393 | 14784 12272 100583 | 27799 20030 159 | 2.170 % | 718.39/718.61 c | 443182 | 14759 12272 100583 | 30579 20673 113 | 2.336 % |
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-2680656-1277453508/watcher-2680656-1277453508 -o /tmp/evaluation-result-2680656-1277453508/solver-2680656-1277453508 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680656-1277453508.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.82 3/105 28600 /proc/meminfo: memFree=1044200/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=4052 CPUtime=0 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 458 0 0 0 0 0 0 0 25 0 1 0 86644012 4149248 377 1992294400 134512640 135752675 4287284352 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 1013 377 135 303 0 555 0 [startup+0.10195 s] /proc/loadavg: 0.99 0.97 0.82 3/105 28600 /proc/meminfo: memFree=1044200/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=4512 CPUtime=0.09 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 861 0 0 0 9 0 0 0 18 0 1 0 86644012 4620288 627 1992294400 134512640 135752675 4287284352 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 1128 630 141 303 0 823 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4512 [startup+0.20096 s] /proc/loadavg: 0.99 0.97 0.82 3/105 28600 /proc/meminfo: memFree=1044200/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=4924 CPUtime=0.19 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 1021 0 0 0 18 1 0 0 18 0 1 0 86644012 5042176 787 1992294400 134512640 135752675 4287284352 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 1231 787 145 303 0 926 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4924 [startup+0.300973 s] /proc/loadavg: 0.99 0.97 0.82 3/105 28600 /proc/meminfo: memFree=1044200/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=5568 CPUtime=0.29 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 1183 0 0 0 28 1 0 0 18 0 1 0 86644012 5701632 949 1992294400 134512640 135752675 4287284352 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 1392 949 145 303 0 1087 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5568 [startup+0.701022 s] /proc/loadavg: 0.99 0.97 0.82 3/105 28600 /proc/meminfo: memFree=1044200/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=8524 CPUtime=0.69 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 1921 0 0 0 65 4 0 0 18 0 1 0 86644012 8728576 1687 1992294400 134512640 135752675 4287284352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 2131 1687 145 303 0 1826 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8524 [startup+1.50112 s] /proc/loadavg: 0.99 0.97 0.82 2/106 28601 /proc/meminfo: memFree=1035388/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=13136 CPUtime=1.49 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 3070 0 0 0 143 6 0 0 19 0 1 0 86644012 13451264 2836 1992294400 134512640 135752675 4287284352 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 3284 2836 145 303 0 2979 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13136 [startup+3.10132 s] /proc/loadavg: 0.99 0.97 0.82 2/106 28601 /proc/meminfo: memFree=1028444/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=23368 CPUtime=3.09 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 5629 0 0 0 301 8 0 0 25 0 1 0 86644012 23928832 5395 1992294400 134512640 135752675 4287284352 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 5842 5395 145 303 0 5537 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23368 [startup+6.30071 s] /proc/loadavg: 0.99 0.97 0.82 2/106 28601 /proc/meminfo: memFree=1009596/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=39868 CPUtime=6.29 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 9742 0 0 0 616 13 0 0 25 0 1 0 86644012 40824832 9508 1992294400 134512640 135752675 4287284352 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 9967 9508 145 303 0 9662 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39868 [startup+12.7005 s] /proc/loadavg: 0.99 0.97 0.82 2/106 28601 /proc/meminfo: memFree=969420/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=80060 CPUtime=12.69 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 19788 0 0 0 1249 20 0 0 25 0 1 0 86644012 81981440 19554 1992294400 134512640 135752675 4287284352 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 20015 19554 145 303 0 19710 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 80060 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.82 2/106 28601 /proc/meminfo: memFree=888448/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=158388 CPUtime=25.48 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 39361 0 0 0 2513 35 0 0 25 0 1 0 86644012 162189312 39127 1992294400 134512640 135752675 4287284352 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 39597 39127 145 303 0 39292 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 158388 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.83 2/106 28601 /proc/meminfo: memFree=764572/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=283184 CPUtime=51.08 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 70552 0 0 0 5049 59 0 0 25 0 1 0 86644012 289980416 70318 1992294400 134512640 135752675 4287284352 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 70796 70318 145 303 0 70491 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 283184 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.83 2/106 28603 /proc/meminfo: memFree=524012/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=521056 CPUtime=102.27 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 130028 0 0 0 10125 102 0 0 25 0 1 0 86644012 533561344 129794 1992294400 134512640 135752675 4287284352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 130264 129794 145 303 0 129959 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 521056 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.84 2/106 28605 /proc/meminfo: memFree=268076/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=779144 CPUtime=162.25 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 194514 0 0 0 16067 158 0 0 25 0 1 0 86644012 797843456 194280 1992294400 134512640 135752675 4287284352 18446744073709551615 134639367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 194786 194280 145 303 0 194481 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 779144 [startup+222.308 s] /proc/loadavg: 0.99 0.97 0.84 2/106 28607 /proc/meminfo: memFree=152756/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=891548 CPUtime=222.23 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 224703 0 0 0 21961 262 0 0 25 0 1 0 86644012 912945152 222438 1992294400 134512640 135752675 4287284352 18446744073709551615 134611942 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 222887 222438 146 303 0 222582 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 891548 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.85 2/106 28607 /proc/meminfo: memFree=71040/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=974572 CPUtime=282.21 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 245572 0 0 0 27817 404 0 0 25 0 1 0 86644012 997961728 243189 1992294400 134512640 135752675 4287284352 18446744073709551615 134612072 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 243643 243189 146 303 0 243338 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 974572 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.85 2/106 28609 /proc/meminfo: memFree=9536/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=1067756 CPUtime=342.2 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 268898 0 0 0 33690 530 0 0 25 0 1 0 86644012 1093382144 266515 1992294400 134512640 135752675 4287284352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 266939 266515 146 303 0 266634 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1067756 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.86 2/106 28611 /proc/meminfo: memFree=10664/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=1182500 CPUtime=402.18 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 297545 0 0 0 39608 610 0 0 25 0 1 0 86644012 1210880000 295162 1992294400 134512640 135752675 4287284352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 295625 295162 146 303 0 295320 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1182500 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.87 2/106 28613 /proc/meminfo: memFree=9232/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=1280184 CPUtime=462.16 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 322135 0 0 0 45503 713 0 0 25 0 1 0 86644012 1310908416 319586 1992294400 134512640 135752675 4287284352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 320046 319586 146 303 0 319741 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1280184 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.87 2/106 28615 /proc/meminfo: memFree=9464/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=1381356 CPUtime=522.15 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 347391 0 0 0 51384 831 0 0 25 0 1 0 86644012 1414508544 344842 1992294400 134512640 135752675 4287284352 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 345339 344842 146 303 0 345034 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1381356 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28615 /proc/meminfo: memFree=9576/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=1503540 CPUtime=582.13 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 377930 0 0 0 57305 908 0 0 25 0 1 0 86644012 1539624960 375381 1992294400 134512640 135752675 4287284352 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 375885 375381 146 303 0 375580 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1503540 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28617 /proc/meminfo: memFree=9672/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=1614588 CPUtime=642.11 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 405683 0 0 0 63244 967 0 0 25 0 1 0 86644012 1653338112 403134 1992294400 134512640 135752675 4287284352 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 403647 403134 146 303 0 403342 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1614588 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.89 2/106 28619 /proc/meminfo: memFree=10564/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=1739884 CPUtime=702.1 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 436962 0 0 0 69164 1046 0 0 25 0 1 0 86644012 1781641216 434413 1992294400 134512640 135752675 4287284352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 434971 434413 146 303 0 434666 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1739884 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+744.201 s] /proc/loadavg: 0.99 0.97 0.89 2/106 28621 /proc/meminfo: memFree=10472/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=1843320 CPUtime=743.99 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4202496 462801 0 0 0 73276 1123 0 0 25 0 1 0 86644012 1887559680 460252 1992294400 134512640 135752675 4287284352 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28600/statm: 460830 460252 146 303 0 460525 0 Current children cumulated CPU time (s) 743.99 Current children cumulated vsize (KiB) 1843320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+744.309 s] /proc/loadavg: 0.99 0.97 0.89 2/106 28621 /proc/meminfo: memFree=10472/2059040 swapFree=4139732/4192956 [pid=28600] ppid=28598 vsize=0 CPUtime=744.09 /proc/28600/stat : 28600 (wbo1.4b) R 28598 28600 28488 0 -1 4203524 462802 0 0 0 73276 1133 0 0 25 0 1 0 86644012 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28600/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 744.09 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 744.389 CPU time (s): 744.184 CPU user time (s): 732.77 CPU system time (s): 11.4143 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1843320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 732.77 system time used= 11.4143 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462802 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= 103 involuntary context switches= 1853 runsolver used 1.3058 second user time and 3.51946 second system time The end
Begin job on node080 at 2010-06-25 10:11:49 IDJOB=2680656 IDBENCH=2047 IDSOLVER=1190 FILE ID=node080/2680656-1277453508 PBS_JOBID= 11188110 Free space on /tmp= 62308 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680656-1277453508/watcher-2680656-1277453508 -o /tmp/evaluation-result-2680656-1277453508/solver-2680656-1277453508 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680656-1277453508.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 59d685b710ba34babb28c57a0abba1bc RANDOM SEED=795713866 node080.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1044604 kB Buffers: 203952 kB Cached: 692808 kB SwapCached: 6744 kB Active: 401784 kB Inactive: 509252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1044604 kB SwapTotal: 4192956 kB SwapFree: 4139732 kB Dirty: 3244 kB Writeback: 0 kB AnonPages: 12540 kB Mapped: 11892 kB Slab: 81540 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183772 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62304 MiB End job on node080 at 2010-06-25 10:24:15