Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.04 | 1800.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_3.opb |
MD5SUM | 18e694be8bacc67580164c28dde5ca1c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -68 |
Best CPU time to get the best result obtained on this benchmark | 1800.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 107 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75294 |
Sum of products size (including duplicates) | 150588 |
Number of different products | 37647 |
Sum of products size | 75294 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702471-1278568224.opb. 0.00/0.00 c Instance file HOME/instance-2702471-1278568224.opb 0.00/0.00 c File size is 3309323 bytes. 0.50/0.54 c Highest Coefficient sum: 107 0.50/0.54 c ============================[ Problem Statistics ]============================= 0.50/0.54 c | | 0.50/0.54 c | Parsing time: 0.53 s | 0.50/0.54 c | Number Variables: 38647 | 0.50/0.54 c | Number Clauses: 37647 | 0.50/0.54 c | Number Cardinality: 2000 | 0.50/0.54 c | Number PB Constraints: 37647 | 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 1000 77294 186795 | 25764 0 nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 0 0.69/0.70 o 0 0.69/0.70 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 1000 77295 187795 | 25765 0 nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: -1 0.69/0.71 o -1 0.69/0.71 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 1000 77296 188795 | 25765 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: -2 0.69/0.73 o -2 0.69/0.73 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 1000 77297 189795 | 25765 0 nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: -3 0.69/0.74 o -3 0.69/0.74 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 1000 77298 190795 | 25766 0 nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: -4 0.69/0.76 o -4 0.69/0.76 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 1 | 1000 77299 191795 | 25766 1 997 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: -5 0.69/0.77 o -5 0.69/0.77 c Elapsed CPU time: 0.743886 s Remaining CPU time: 179.256 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 2 | 1000 77300 192795 | 25766 2 996 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: -6 0.69/0.79 o -6 0.69/0.79 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 4 | 1000 77301 193795 | 25767 4 996 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: -7 0.79/0.80 o -7 0.79/0.80 c Elapsed CPU time: 0.774882 s Remaining CPU time: 179.225 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 10 | 1000 77302 194795 | 25767 10 995 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: -8 0.79/0.82 o -8 0.79/0.82 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 21 | 1000 77303 195795 | 25767 21 994 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: -9 0.79/0.84 o -9 0.79/0.84 c Elapsed CPU time: 0.808877 s Remaining CPU time: 179.191 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 39 | 1000 77304 196795 | 25768 39 994 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: -10 0.79/0.86 o -10 0.79/0.86 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 56 | 1000 77305 197795 | 25768 56 993 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: -11 0.79/0.88 o -11 0.79/0.88 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 90 | 1000 77306 198795 | 25768 90 992 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -12 0.89/0.91 o -12 0.89/0.91 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 134 | 1000 77307 199795 | 25769 134 991 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: -13 0.89/0.94 o -13 0.89/0.94 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 221 | 1000 77308 200795 | 25769 221 990 | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: -14 0.89/0.98 o -14 0.89/0.98 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 292 | 1000 77309 201795 | 25769 292 990 | 0.000 % | 1.00/1.00 c =============================================================================== 1.00/1.00 c New solution: -15 1.00/1.00 o -15 1.00/1.00 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s 1.00/1.00 c =============================================================================== 1.00/1.00 c | 317 | 1000 77310 202795 | 25770 317 990 | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c New solution: -16 1.00/1.03 o -16 1.00/1.03 c Elapsed CPU time: 0.992849 s Remaining CPU time: 179.007 s 1.00/1.03 c =============================================================================== 1.00/1.03 c | 338 | 1000 77311 203795 | 25770 338 990 | 0.000 % | 1.00/1.06 c | 438 | 1000 77311 203795 | 28347 438 989 | 97.412 % | 1.00/1.09 c =============================================================================== 1.00/1.09 c New solution: -17 1.00/1.09 o -17 1.00/1.09 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s 1.00/1.09 c =============================================================================== 1.00/1.09 c | 480 | 1000 77312 204795 | 25770 480 989 | 97.412 % | 1.09/1.12 c | 581 | 1000 77312 204795 | 28347 581 988 | 97.412 % | 1.09/1.17 c | 731 | 1000 77312 204795 | 31182 731 988 | 97.412 % | 1.19/1.25 c | 959 | 1000 77312 204795 | 34300 959 987 | 97.412 % | 1.30/1.30 c =============================================================================== 1.30/1.30 c New solution: -18 1.30/1.30 o -18 1.30/1.30 c Elapsed CPU time: 1.26081 s Remaining CPU time: 178.739 s 1.30/1.30 c =============================================================================== 1.30/1.30 c | 1080 | 1000 77313 205795 | 25771 1080 987 | 97.412 % | 1.30/1.33 c | 1181 | 1000 77313 205795 | 28348 1181 986 | 97.412 % | 1.30/1.39 c | 1331 | 1000 77313 205795 | 31182 1331 986 | 97.412 % | 1.39/1.48 c | 1556 | 1000 77313 205795 | 34301 1556 987 | 97.412 % | 1.59/1.62 c | 1894 | 1000 77313 205795 | 37731 1894 986 | 97.412 % | 1.69/1.77 c =============================================================================== 1.69/1.77 c New solution: -19 1.69/1.77 o -19 1.69/1.77 c Elapsed CPU time: 1.72374 s Remaining CPU time: 178.276 s 1.69/1.77 c =============================================================================== 1.69/1.77 c | 2180 | 1000 77314 206795 | 25771 2180 986 | 97.412 % | 1.79/1.82 c | 2281 | 1000 77314 206795 | 28348 2281 986 | 97.412 % | 1.79/1.89 c | 2431 | 1000 77314 206795 | 31183 2431 986 | 97.412 % | 1.99/2.02 c | 2656 | 1000 77314 206795 | 34301 2656 985 | 97.412 % | 2.19/2.22 c | 2995 | 1000 77314 206795 | 37731 2995 986 | 97.412 % | 2.49/2.52 c | 3503 | 1000 77314 206795 | 41504 3503 986 | 97.412 % | 2.80/2.80 c =============================================================================== 2.80/2.80 c New solution: -20 2.80/2.80 o -20 2.80/2.80 c Elapsed CPU time: 2.74458 s Remaining CPU time: 177.255 s 2.80/2.80 c =============================================================================== 2.80/2.80 c | 3997 | 1000 77315 207795 | 25771 3997 987 | 97.412 % | 2.80/2.88 c | 4098 | 1000 77315 207795 | 28348 4098 988 | 97.412 % | 2.99/3.01 c | 4249 | 1000 77315 207795 | 31183 4249 988 | 97.412 % | 3.09/3.16 c | 4475 | 1000 77315 207795 | 34302 4475 987 | 97.412 % | 3.39/3.43 c | 4815 | 1000 77315 207795 | 37732 4815 988 | 97.412 % | 3.79/3.81 c | 5322 | 1000 77315 207795 | 41505 5322 988 | 97.412 % | 4.30/4.36 c | 6082 | 1000 77315 207795 | 45656 6082 987 | 97.412 % | 5.09/5.15 c =============================================================================== 5.09/5.15 c New solution: -21 5.09/5.15 o -21 5.09/5.15 c Elapsed CPU time: 5.06023 s Remaining CPU time: 174.94 s 5.09/5.15 c =============================================================================== 5.09/5.15 c | 6889 | 1000 77316 208795 | 25772 6889 987 | 97.412 % | 5.19/5.24 c | 6990 | 1000 77316 208795 | 28349 6990 987 | 97.412 % | 5.30/5.39 c | 7141 | 1000 77316 208795 | 31184 7141 987 | 97.412 % | 5.50/5.57 c | 7368 | 1000 77316 208795 | 34302 7368 986 | 97.412 % | 5.89/5.96 c | 7705 | 1000 77316 208795 | 37732 7705 986 | 97.412 % | 6.39/6.45 c | 8211 | 1000 77316 208795 | 41506 8211 986 | 97.412 % | 6.99/7.06 c | 8971 | 1000 77316 208795 | 45656 8971 985 | 97.412 % | 8.19/8.22 c | 10110 | 1000 77316 208795 | 50222 10110 985 | 97.412 % | 8.79/8.85 c =============================================================================== 8.79/8.85 c New solution: -22 8.79/8.85 o -22 8.79/8.85 c Elapsed CPU time: 8.73667 s Remaining CPU time: 171.263 s 8.79/8.85 c =============================================================================== 8.79/8.85 c | 10481 | 1000 77317 209795 | 25772 10481 985 | 97.412 % | 8.98/9.00 c | 10581 | 1000 77317 209795 | 28349 10581 985 | 97.412 % | 9.29/9.30 c | 10731 | 1000 77317 209795 | 31184 10731 985 | 97.412 % | 9.59/9.63 c | 10957 | 1000 77317 209795 | 34302 10957 985 | 97.412 % | 9.99/10.07 c | 11295 | 1000 77317 209795 | 37733 11295 985 | 97.412 % | 10.69/10.77 c | 11802 | 1000 77317 209795 | 41506 11802 985 | 97.412 % | 11.59/11.67 c | 12561 | 1000 77317 209795 | 45657 12561 985 | 97.412 % | 12.99/13.09 c | 13702 | 1000 77317 209795 | 50222 13702 985 | 97.412 % | 15.39/15.43 c | 15411 | 1000 77317 209795 | 55245 15411 984 | 97.412 % | 15.69/15.72 c =============================================================================== 15.69/15.72 c New solution: -23 15.69/15.72 o -23 15.69/15.72 c Elapsed CPU time: 15.5526 s Remaining CPU time: 164.447 s 15.69/15.72 c =============================================================================== 15.69/15.72 c | 15685 | 1000 77318 210795 | 25772 15685 984 | 97.412 % | 15.79/15.82 c | 15786 | 1000 77318 210795 | 28349 15786 984 | 97.412 % | 15.89/15.98 c | 15938 | 1000 77318 210795 | 31184 15938 984 | 97.412 % | 16.18/16.21 c | 16164 | 1000 77318 210795 | 34303 16164 984 | 97.412 % | 16.59/16.63 c | 16503 | 1000 77318 210795 | 37733 16503 984 | 97.412 % | 17.19/17.21 c | 17013 | 1000 77318 210795 | 41507 17013 984 | 97.412 % | 17.98/18.01 c | 17772 | 1000 77318 210795 | 45657 17772 984 | 97.412 % | 20.19/20.30 c | 18911 | 1000 77318 210795 | 50223 18911 983 | 97.412 % | 25.19/25.29 c =============================================================================== 25.19/25.29 c New solution: -24 25.19/25.29 o -24 25.19/25.29 c Elapsed CPU time: 25.0722 s Remaining CPU time: 154.928 s 25.19/25.29 c =============================================================================== 25.19/25.29 c | 20493 | 1000 77319 211795 | 25773 20493 983 | 97.412 % | 25.68/25.71 c | 20594 | 1000 77319 211795 | 28350 20594 983 | 97.412 % | 25.98/26.00 c | 20744 | 1000 77319 211795 | 31185 20744 983 | 97.412 % | 26.98/27.05 c | 20969 | 1000 77319 211795 | 34303 20969 983 | 97.412 % | 27.88/27.92 c | 21308 | 1000 77319 211795 | 37734 21308 983 | 97.412 % | 28.78/28.83 c | 21814 | 1000 77319 211795 | 41507 21814 983 | 97.412 % | 30.80/30.84 c | 22575 | 1000 77319 211795 | 45658 22575 983 | 97.412 % | 33.58/33.61 c | 23715 | 1000 77319 211795 | 50224 23715 982 | 97.412 % | 37.88/37.90 c | 25424 | 1000 77319 211795 | 55246 25424 982 | 97.412 % | 54.48/54.52 c | 27988 | 1000 77319 211795 | 60771 27988 982 | 97.412 % | 78.77/78.85 c | 31833 | 1000 77319 211795 | 66848 31833 981 | 97.412 % | 119.77/119.85 c | 37600 | 1000 77319 211795 | 73533 37600 981 | 97.412 % | 155.06/155.14 c | 46249 | 1000 77319 211795 | 80886 46249 980 | 97.412 % | 169.15/169.28 c =============================================================================== 169.15/169.28 c New solution: -25 169.15/169.28 o -25 169.15/169.28 c Elapsed CPU time: 168.675 s Remaining CPU time: 11.3246 s 169.15/169.28 c =============================================================================== 169.15/169.28 c | 50727 | 1000 77320 212795 | 25773 50727 980 | 97.412 % | 169.85/169.93 c | 50828 | 1000 77320 212795 | 28350 50828 980 | 97.412 % | 170.24/170.32 c | 50979 | 1000 77320 212795 | 31185 50979 980 | 97.412 % | 171.65/171.72 c | 51205 | 1000 77320 212795 | 34304 51205 980 | 97.412 % | 173.44/173.57 c | 51542 | 1000 77320 212795 | 37734 51542 980 | 97.412 % | 177.24/177.38 c | 52049 | 1000 77320 212795 | 41508 52049 980 | 97.412 % | 180.54/180.65 c There are 37647 assigned variables. 0 in cost function. 184.14/184.20 c core #1 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -999 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #2 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -998 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #3 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -997 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #4 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -996 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #5 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -995 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #6 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -994 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #7 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -993 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #8 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -992 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #9 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -991 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #10 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -990 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #11 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -989 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #12 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -988 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #13 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -987 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #14 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -986 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #15 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -985 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #16 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -984 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #17 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -983 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #18 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -982 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #19 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -981 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #20 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -980 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #21 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -979 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #22 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -978 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #23 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -977 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #24 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -976 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #25 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -975 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #26 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -974 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #27 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -973 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #28 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -972 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #29 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -971 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #30 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -970 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #31 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -969 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #32 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -968 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #33 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -967 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #34 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -966 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #35 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -965 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #36 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -964 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #37 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -963 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #38 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -962 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #39 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -961 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #40 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -960 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #41 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -959 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #42 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -958 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #43 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -957 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #44 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -956 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #45 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -955 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #46 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -954 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #47 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -953 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #48 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -952 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #49 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -951 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #50 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -950 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #51 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -949 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #52 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -948 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #53 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -947 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #54 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -946 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #55 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -945 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #56 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -944 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #57 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -943 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #58 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -942 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c core #59 184.14/184.20 c 184.14/184.20 c 184.14/184.20 c Core size: 3 Core Weight: 1 Total Weight: -941 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #60 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -940 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #61 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -939 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #62 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -938 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #63 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -937 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #64 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -936 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #65 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -935 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #66 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -934 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #67 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -933 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #68 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -932 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #69 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -931 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #70 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -930 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #71 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -929 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #72 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -928 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #73 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -927 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #74 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -926 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #75 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -925 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #76 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -924 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #77 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -923 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #78 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -922 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #79 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -921 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #80 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -920 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #81 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -919 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #82 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -918 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #83 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -917 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #84 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -916 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #85 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -915 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #86 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -914 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #87 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -913 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c core #88 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 3 Core Weight: 1 Total Weight: -912 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #89 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -911 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #90 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -910 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #91 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -909 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #92 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -908 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #93 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -907 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #94 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -906 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #95 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -905 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #96 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -904 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #97 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -903 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #98 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -902 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #99 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -901 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #100 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -900 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #101 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -899 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #102 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -898 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #103 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -897 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #104 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -896 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #105 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -895 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #106 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -894 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #107 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -893 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #108 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -892 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #109 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -891 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #110 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -890 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #111 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -889 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #112 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -888 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #113 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -887 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #114 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -886 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #115 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -885 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #116 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -884 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c core #117 187.64/187.80 c 187.64/187.80 c 187.64/187.80 c Core size: 3 Core Weight: 1 Total Weight: -883 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #118 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -882 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #119 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -881 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #120 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -880 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #121 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -879 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #122 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -878 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #123 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -877 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #124 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -876 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #125 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -875 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #126 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -874 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #127 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -873 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #128 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -872 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #129 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -871 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #130 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -870 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #131 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -869 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c core #132 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 3 Core Weight: 1 Total Weight: -868 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #133 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -867 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #134 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -866 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #135 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -865 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #136 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -864 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #137 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -863 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #138 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -862 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #139 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -861 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #140 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -860 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #141 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -859 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #142 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -858 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #143 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -857 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #144 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -856 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #145 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -855 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #146 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -854 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #147 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -853 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #148 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -852 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #149 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -851 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #150 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -850 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #151 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -849 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #152 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -848 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #153 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -847 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #154 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -846 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #155 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -845 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #156 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -844 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #157 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -843 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #158 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -842 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #159 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -841 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #160 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -840 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #161 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -839 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #162 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -838 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #163 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -837 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #164 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -836 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #165 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -835 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #166 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -834 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #167 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -833 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #168 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -832 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #169 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -831 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #170 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -830 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #171 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -829 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #172 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -828 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #173 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -827 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #174 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -826 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c core #175 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 3 Core Weight: 1 Total Weight: -825 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #176 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -824 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #177 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -823 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #178 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -822 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #179 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -821 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #180 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -820 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #181 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -819 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #182 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -818 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #183 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -817 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #184 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -816 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #185 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -815 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #186 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -814 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #187 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -813 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #188 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -812 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #189 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -811 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #190 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -810 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #191 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -809 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #192 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -808 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #193 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -807 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #194 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -806 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #195 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -805 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #196 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -804 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #197 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -803 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #198 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -802 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #199 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -801 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #200 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -800 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #201 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -799 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #202 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -798 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #203 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -797 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #204 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -796 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #205 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -795 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #206 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -794 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #207 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -793 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #208 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -792 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #209 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -791 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #210 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -790 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #211 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -789 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #212 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -788 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #213 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -787 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #214 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -786 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #215 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -785 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #216 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -784 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #217 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -783 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #218 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -782 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #219 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -781 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #220 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -780 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #221 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -779 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #222 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -778 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #223 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -777 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #224 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -776 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #225 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -775 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #226 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -774 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #227 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -773 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #228 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -772 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #229 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -771 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #230 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -770 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #231 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -769 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #232 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -768 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c core #233 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 3 Core Weight: 1 Total Weight: -767 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #234 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -766 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #235 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -765 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #236 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -764 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #237 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -763 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #238 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -762 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #239 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -761 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #240 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -760 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #241 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -759 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #242 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -758 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #243 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -757 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #244 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -756 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #245 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -755 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #246 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -754 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #247 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -753 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #248 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -752 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #249 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -751 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #250 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -750 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #251 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -749 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #252 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -748 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #253 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -747 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #254 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -746 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #255 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -745 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #256 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -744 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #257 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -743 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #258 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -742 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #259 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -741 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #260 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -740 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #261 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -739 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #262 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -738 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #263 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -737 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #264 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -736 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #265 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -735 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #266 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -734 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #267 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -733 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #268 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -732 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #269 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -731 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #270 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -730 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #271 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -729 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #272 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -728 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #273 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -727 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #274 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -726 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #275 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -725 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #276 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -724 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #277 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -723 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #278 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -722 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #279 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -721 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #280 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -720 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #281 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -719 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #282 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -718 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #283 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -717 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #284 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -716 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #285 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -715 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #286 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -714 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #287 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -713 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #288 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -712 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #289 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -711 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c core #290 200.83/200.95 c 200.83/200.95 c 200.83/200.95 c Core size: 3 Core Weight: 1 Total Weight: -710 200.83/200.95 c 206.14/206.25 c 206.14/206.25 c core #291 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -709 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #292 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -708 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #293 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -707 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #294 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -706 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #295 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -705 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #296 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -704 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #297 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -703 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #298 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -702 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #299 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -701 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #300 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -700 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #301 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -699 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #302 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -698 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #303 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -697 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #304 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -696 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #305 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -695 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #306 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -694 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #307 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -693 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #308 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -692 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #309 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -691 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #310 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -690 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #311 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -689 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #312 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -688 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #313 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -687 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #314 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -686 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #315 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -685 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #316 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -684 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #317 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -683 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #318 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -682 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #319 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -681 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #320 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -680 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #321 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -679 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #322 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -678 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #323 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -677 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #324 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -676 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #325 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -675 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #326 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -674 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #327 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -673 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #328 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -672 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #329 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -671 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #330 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -670 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #331 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -669 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #332 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -668 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #333 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -667 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #334 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -666 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #335 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -665 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #336 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -664 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #337 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -663 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #338 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -662 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #339 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -661 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #340 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -660 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #341 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -659 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #342 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -658 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #343 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -657 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #344 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -656 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #345 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -655 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #346 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -654 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #347 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -653 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c core #348 206.14/206.25 c 206.14/206.25 c 206.14/206.25 c Core size: 3 Core Weight: 1 Total Weight: -652 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #349 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -651 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #350 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -650 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #351 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -649 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #352 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -648 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #353 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -647 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #354 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -646 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #355 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -645 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #356 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -644 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #357 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -643 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #358 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -642 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #359 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -641 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #360 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -640 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #361 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -639 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #362 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -638 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #363 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -637 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #364 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -636 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #365 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -635 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #366 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -634 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #367 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -633 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #368 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -632 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #369 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -631 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #370 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -630 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #371 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -629 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #372 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -628 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #373 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -627 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #374 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -626 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #375 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -625 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #376 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -624 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #377 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -623 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #378 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -622 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #379 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -621 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #380 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -620 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #381 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -619 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #382 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -618 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #383 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -617 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #384 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -616 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #385 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -615 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #386 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -614 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #387 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -613 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #388 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -612 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #389 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -611 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #390 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -610 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #391 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -609 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #392 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -608 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #393 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -607 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #394 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -606 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #395 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -605 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #396 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -604 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #397 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -603 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #398 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -602 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #399 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -601 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #400 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -600 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #401 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -599 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #402 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -598 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #403 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -597 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #404 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -596 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #405 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -595 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c core #406 211.74/211.87 c 211.74/211.87 c 211.74/211.87 c Core size: 3 Core Weight: 1 Total Weight: -594 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #407 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -593 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #408 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -592 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #409 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -591 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #410 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -590 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #411 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -589 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #412 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -588 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #413 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -587 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #414 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -586 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #415 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -585 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #416 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -584 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #417 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -583 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #418 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -582 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #419 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -581 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #420 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -580 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #421 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -579 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #422 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -578 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #423 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -577 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #424 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -576 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #425 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -575 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #426 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -574 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #427 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -573 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #428 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -572 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #429 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -571 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #430 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -570 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #431 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -569 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #432 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -568 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #433 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -567 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #434 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -566 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #435 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -565 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #436 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -564 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #437 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -563 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #438 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -562 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #439 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -561 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #440 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -560 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #441 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -559 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #442 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -558 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #443 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -557 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #444 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -556 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #445 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -555 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #446 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -554 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #447 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -553 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #448 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -552 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #449 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -551 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #450 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -550 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #451 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -549 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #452 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -548 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #453 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -547 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #454 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -546 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #455 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -545 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #456 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -544 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #457 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -543 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #458 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -542 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #459 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -541 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #460 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -540 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #461 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -539 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #462 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -538 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #463 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c Core size: 3 Core Weight: 1 Total Weight: -537 217.54/217.69 c 217.54/217.69 c 217.54/217.69 c core #464 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -536 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #465 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -535 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #466 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -534 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #467 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -533 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #468 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -532 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #469 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -531 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #470 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -530 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #471 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -529 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #472 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -528 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #473 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -527 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #474 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -526 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #475 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -525 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #476 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -524 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #477 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -523 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #478 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -522 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #479 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -521 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #480 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -520 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #481 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -519 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #482 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -518 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #483 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -517 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #484 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -516 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #485 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -515 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #486 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -514 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #487 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -513 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #488 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -512 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #489 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -511 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #490 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -510 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #491 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -509 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #492 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 3 Core Weight: 1 Total Weight: -508 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #493 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 7 Core Weight: 1 Total Weight: -507 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #494 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 7 Core Weight: 1 Total Weight: -506 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #495 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 7 Core Weight: 1 Total Weight: -505 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #496 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 11 Core Weight: 1 Total Weight: -504 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #497 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 7 Core Weight: 1 Total Weight: -503 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #498 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 10 Core Weight: 1 Total Weight: -502 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #499 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 19 Core Weight: 1 Total Weight: -501 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #500 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 22 Core Weight: 1 Total Weight: -500 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #501 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 18 Core Weight: 1 Total Weight: -499 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c core #502 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c Core size: 26 Core Weight: 1 Total Weight: -498 221.83/221.91 c 221.83/221.91 c 221.83/221.91 c ============================[ Search Statistics ]============================== 221.83/221.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 221.83/221.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 221.83/221.91 c =============================================================================== 221.83/221.91 c | 0 | 2054 76822 104402 | 25607 0 nan | 0.000 % | 221.83/221.92 c =============================================================================== 221.93/222.02 c core #503 221.93/222.02 c 221.93/222.02 c 221.93/222.02 c Core size: 10 Core Weight: 1 Total Weight: -497 221.93/222.02 c 221.93/222.02 c 221.93/222.02 c ============================[ Search Statistics ]============================== 221.93/222.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 221.93/222.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 221.93/222.02 c =============================================================================== 221.93/222.02 c | 0 | 2060 76823 104414 | 25607 0 nan | 0.000 % | 221.93/222.03 c =============================================================================== 222.04/222.14 c core #504 222.04/222.14 c 222.04/222.14 c 222.04/222.14 c Core size: 10 Core Weight: 1 Total Weight: -496 222.04/222.14 c 222.04/222.14 c 222.04/222.14 c ============================[ Search Statistics ]============================== 222.04/222.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.04/222.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.04/222.14 c =============================================================================== 222.04/222.14 c | 0 | 2066 76824 104426 | 25608 0 nan | 0.000 % | 222.04/222.15 c =============================================================================== 222.14/222.26 c core #505 222.14/222.26 c 222.14/222.26 c 222.14/222.26 c Core size: 10 Core Weight: 1 Total Weight: -495 222.14/222.26 c 222.14/222.26 c 222.14/222.26 c ============================[ Search Statistics ]============================== 222.14/222.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.14/222.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.14/222.26 c =============================================================================== 222.14/222.26 c | 0 | 2072 76825 104438 | 25608 0 nan | 0.000 % | 222.14/222.27 c =============================================================================== 222.23/222.38 c core #506 222.23/222.38 c 222.23/222.38 c 222.23/222.38 c Core size: 10 Core Weight: 1 Total Weight: -494 222.23/222.38 c 222.23/222.38 c 222.23/222.38 c ============================[ Search Statistics ]============================== 222.23/222.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.23/222.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.23/222.38 c =============================================================================== 222.23/222.38 c | 0 | 2078 76826 104450 | 25608 0 nan | 0.000 % | 222.23/222.39 c =============================================================================== 222.43/222.50 c core #507 222.43/222.50 c 222.43/222.50 c 222.43/222.50 c Core size: 10 Core Weight: 1 Total Weight: -493 222.43/222.50 c 222.43/222.50 c 222.43/222.50 c ============================[ Search Statistics ]============================== 222.43/222.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.43/222.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.43/222.50 c =============================================================================== 222.43/222.50 c | 0 | 2084 76827 104462 | 25609 0 nan | 0.000 % | 222.43/222.51 c =============================================================================== 222.53/222.62 c core #508 222.53/222.62 c 222.53/222.62 c 222.53/222.62 c Core size: 10 Core Weight: 1 Total Weight: -492 222.53/222.62 c 222.53/222.62 c 222.53/222.62 c ============================[ Search Statistics ]============================== 222.53/222.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.53/222.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.53/222.62 c =============================================================================== 222.53/222.62 c | 0 | 2090 76828 104474 | 25609 0 nan | 0.000 % | 222.53/222.63 c =============================================================================== 222.63/222.74 c core #509 222.63/222.74 c 222.63/222.74 c 222.63/222.74 c Core size: 10 Core Weight: 1 Total Weight: -491 222.63/222.74 c 222.63/222.74 c 222.63/222.74 c ============================[ Search Statistics ]============================== 222.63/222.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.63/222.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.63/222.74 c =============================================================================== 222.63/222.74 c | 0 | 2096 76829 104486 | 25609 0 nan | 0.000 % | 222.63/222.76 c =============================================================================== 222.73/222.86 c core #510 222.73/222.86 c 222.73/222.86 c 222.73/222.86 c Core size: 10 Core Weight: 1 Total Weight: -490 222.73/222.86 c 222.73/222.86 c 222.73/222.86 c ============================[ Search Statistics ]============================== 222.73/222.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.73/222.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.73/222.86 c =============================================================================== 222.73/222.86 c | 0 | 2102 76830 104498 | 25610 0 nan | 0.000 % | 222.73/222.88 c =============================================================================== 222.83/222.99 c core #511 222.83/222.99 c 222.83/222.99 c 222.83/222.99 c Core size: 10 Core Weight: 1 Total Weight: -489 222.83/222.99 c 222.83/222.99 c 222.83/222.99 c ============================[ Search Statistics ]============================== 222.83/222.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.83/222.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.83/222.99 c =============================================================================== 222.83/222.99 c | 0 | 2108 76831 104510 | 25610 0 nan | 0.000 % | 222.93/223.00 c =============================================================================== 223.03/223.11 c core #512 223.03/223.11 c 223.03/223.11 c 223.03/223.11 c Core size: 10 Core Weight: 1 Total Weight: -488 223.03/223.11 c 223.03/223.11 c 223.03/223.11 c ============================[ Search Statistics ]============================== 223.03/223.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.03/223.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.03/223.11 c =============================================================================== 223.03/223.11 c | 0 | 2114 76832 104522 | 25610 0 nan | 0.000 % | 223.03/223.13 c =============================================================================== 223.14/223.23 c core #513 223.14/223.23 c 223.14/223.23 c 223.14/223.23 c Core size: 10 Core Weight: 1 Total Weight: -487 223.14/223.23 c 223.14/223.23 c 223.14/223.23 c ============================[ Search Statistics ]============================== 223.14/223.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.14/223.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.14/223.23 c =============================================================================== 223.14/223.23 c | 0 | 2120 76833 104534 | 25611 0 nan | 0.000 % | 223.14/223.25 c =============================================================================== 223.24/223.36 c core #514 223.24/223.36 c 223.24/223.36 c 223.24/223.36 c Core size: 12 Core Weight: 1 Total Weight: -486 223.24/223.36 c 223.24/223.36 c 223.24/223.36 c ============================[ Search Statistics ]============================== 223.24/223.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.24/223.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.24/223.36 c =============================================================================== 223.24/223.36 c | 0 | 2128 76834 104550 | 25611 0 nan | 0.000 % | 223.24/223.38 c =============================================================================== 223.33/223.48 c core #515 223.33/223.48 c 223.33/223.48 c 223.33/223.48 c Core size: 10 Core Weight: 1 Total Weight: -485 223.33/223.48 c 223.33/223.48 c 223.33/223.48 c ============================[ Search Statistics ]============================== 223.33/223.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.33/223.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.33/223.48 c =============================================================================== 223.33/223.48 c | 0 | 2134 76835 104562 | 25611 0 nan | 0.000 % | 223.33/223.49 c =============================================================================== 223.53/223.61 c core #516 223.53/223.61 c 223.53/223.61 c 223.53/223.61 c Core size: 10 Core Weight: 1 Total Weight: -484 223.53/223.61 c 223.53/223.61 c 223.53/223.61 c ============================[ Search Statistics ]============================== 223.53/223.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.53/223.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.53/223.61 c =============================================================================== 223.53/223.61 c | 0 | 2140 76836 104574 | 25612 0 nan | 0.000 % | 223.53/223.62 c =============================================================================== 223.63/223.73 c core #517 223.63/223.73 c 223.63/223.73 c 223.63/223.73 c Core size: 10 Core Weight: 1 Total Weight: -483 223.63/223.73 c 223.63/223.73 c 223.63/223.73 c ============================[ Search Statistics ]============================== 223.63/223.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.63/223.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.63/223.73 c =============================================================================== 223.63/223.73 c | 0 | 2146 76837 104586 | 25612 0 nan | 0.000 % | 223.63/223.75 c =============================================================================== 223.73/223.86 c core #518 223.73/223.86 c 223.73/223.86 c 223.73/223.86 c Core size: 10 Core Weight: 1 Total Weight: -482 223.73/223.86 c 223.73/223.86 c 223.73/223.86 c ============================[ Search Statistics ]============================== 223.73/223.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.73/223.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.73/223.86 c =============================================================================== 223.73/223.86 c | 0 | 2152 76838 104598 | 25612 0 nan | 0.000 % | 223.73/223.87 c =============================================================================== 223.83/223.98 c core #519 223.83/223.98 c 223.83/223.98 c 223.83/223.98 c Core size: 10 Core Weight: 1 Total Weight: -481 223.83/223.98 c 223.83/223.98 c 223.83/223.98 c ============================[ Search Statistics ]============================== 223.83/223.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.83/223.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.83/223.98 c =============================================================================== 223.83/223.98 c | 0 | 2158 76839 104610 | 25613 0 nan | 0.000 % | 223.83/223.98 c =============================================================================== 224.03/224.10 c core #520 224.03/224.10 c 224.03/224.10 c 224.03/224.10 c Core size: 10 Core Weight: 1 Total Weight: -480 224.03/224.10 c 224.03/224.10 c 224.03/224.10 c ============================[ Search Statistics ]============================== 224.03/224.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.03/224.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.03/224.10 c =============================================================================== 224.03/224.10 c | 0 | 2164 76840 104622 | 25613 0 nan | 0.000 % | 224.03/224.11 c =============================================================================== 224.13/224.22 c core #521 224.13/224.22 c 224.13/224.22 c 224.13/224.22 c Core size: 10 Core Weight: 1 Total Weight: -479 224.13/224.22 c 224.13/224.22 c 224.13/224.22 c ============================[ Search Statistics ]============================== 224.13/224.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.13/224.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.13/224.22 c =============================================================================== 224.13/224.22 c | 0 | 2170 76841 104634 | 25613 0 nan | 0.000 % | 224.13/224.23 c =============================================================================== 224.24/224.34 c core #522 224.24/224.34 c 224.24/224.34 c 224.24/224.34 c Core size: 10 Core Weight: 1 Total Weight: -478 224.24/224.34 c 224.24/224.34 c 224.24/224.34 c ============================[ Search Statistics ]============================== 224.24/224.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.24/224.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.24/224.34 c =============================================================================== 224.24/224.34 c | 0 | 2176 76842 104646 | 25614 0 nan | 0.000 % | 224.24/224.35 c =============================================================================== 224.34/224.46 c core #523 224.34/224.46 c 224.34/224.46 c 224.34/224.46 c Core size: 10 Core Weight: 1 Total Weight: -477 224.34/224.46 c 224.34/224.46 c 224.34/224.46 c ============================[ Search Statistics ]============================== 224.34/224.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.34/224.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.34/224.46 c =============================================================================== 224.34/224.46 c | 0 | 2182 76843 104658 | 25614 0 nan | 0.000 % | 224.34/224.47 c =============================================================================== 224.43/224.58 c core #524 224.43/224.58 c 224.43/224.58 c 224.43/224.58 c Core size: 10 Core Weight: 1 Total Weight: -476 224.43/224.58 c 224.43/224.58 c 224.43/224.58 c ============================[ Search Statistics ]============================== 224.43/224.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.43/224.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.43/224.58 c =============================================================================== 224.43/224.58 c | 0 | 2188 76844 104670 | 25614 0 nan | 0.000 % | 224.43/224.59 c =============================================================================== 224.63/224.71 c core #525 224.63/224.71 c 224.63/224.71 c 224.63/224.71 c Core size: 10 Core Weight: 1 Total Weight: -475 224.63/224.71 c 224.63/224.71 c 224.63/224.71 c ============================[ Search Statistics ]============================== 224.63/224.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.63/224.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.63/224.71 c =============================================================================== 224.63/224.71 c | 0 | 2194 76845 104682 | 25615 0 nan | 0.000 % | 224.63/224.72 c =============================================================================== 224.73/224.83 c core #526 224.73/224.83 c 224.73/224.83 c 224.73/224.83 c Core size: 10 Core Weight: 1 Total Weight: -474 224.73/224.83 c 224.73/224.83 c 224.73/224.83 c ============================[ Search Statistics ]============================== 224.73/224.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.73/224.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.73/224.83 c =============================================================================== 224.73/224.83 c | 0 | 2200 76846 104694 | 25615 0 nan | 0.000 % | 224.73/224.84 c =============================================================================== 224.83/224.95 c core #527 224.83/224.95 c 224.83/224.95 c 224.83/224.95 c Core size: 10 Core Weight: 1 Total Weight: -473 224.83/224.95 c 224.83/224.95 c 224.83/224.95 c ============================[ Search Statistics ]============================== 224.83/224.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.83/224.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.83/224.95 c =============================================================================== 224.83/224.95 c | 0 | 2206 76847 104706 | 25615 0 nan | 0.000 % | 224.83/224.97 c =============================================================================== 224.93/225.08 c core #528 224.93/225.08 c 224.93/225.08 c 224.93/225.08 c Core size: 10 Core Weight: 1 Total Weight: -472 224.93/225.08 c 224.93/225.08 c 224.93/225.08 c ============================[ Search Statistics ]============================== 224.93/225.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.93/225.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.93/225.08 c =============================================================================== 224.93/225.08 c | 0 | 2212 76848 104718 | 25616 0 nan | 0.000 % | 224.93/225.09 c =============================================================================== 225.13/225.20 c core #529 225.13/225.20 c 225.13/225.20 c 225.13/225.20 c Core size: 10 Core Weight: 1 Total Weight: -471 225.13/225.20 c 225.13/225.20 c 225.13/225.20 c ============================[ Search Statistics ]============================== 225.13/225.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.13/225.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.13/225.20 c =============================================================================== 225.13/225.20 c | 0 | 2218 76849 104730 | 25616 0 nan | 0.000 % | 225.13/225.21 c =============================================================================== 225.24/225.32 c core #530 225.24/225.32 c 225.24/225.32 c 225.24/225.32 c Core size: 10 Core Weight: 1 Total Weight: -470 225.24/225.32 c 225.24/225.32 c 225.24/225.32 c ============================[ Search Statistics ]============================== 225.24/225.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.24/225.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.24/225.32 c =============================================================================== 225.24/225.32 c | 0 | 2224 76850 104742 | 25616 0 nan | 0.000 % | 225.24/225.34 c =============================================================================== 225.34/225.45 c core #531 225.34/225.45 c 225.34/225.45 c 225.34/225.45 c Core size: 10 Core Weight: 1 Total Weight: -469 225.34/225.45 c 225.34/225.45 c 225.34/225.45 c ============================[ Search Statistics ]============================== 225.34/225.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.34/225.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.34/225.45 c =============================================================================== 225.34/225.45 c | 0 | 2230 76851 104754 | 25617 0 nan | 0.000 % | 225.34/225.45 c =============================================================================== 225.44/225.57 c core #532 225.44/225.57 c 225.44/225.57 c 225.44/225.57 c Core size: 10 Core Weight: 1 Total Weight: -468 225.44/225.57 c 225.44/225.57 c 225.44/225.57 c ============================[ Search Statistics ]============================== 225.44/225.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.44/225.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.44/225.57 c =============================================================================== 225.44/225.57 c | 0 | 2236 76852 104766 | 25617 0 nan | 0.000 % | 225.44/225.58 c =============================================================================== 225.53/225.69 c core #533 225.53/225.69 c 225.53/225.69 c 225.53/225.69 c Core size: 14 Core Weight: 1 Total Weight: -467 225.53/225.69 c 225.53/225.69 c 225.53/225.69 c ============================[ Search Statistics ]============================== 225.53/225.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.53/225.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.53/225.69 c =============================================================================== 225.53/225.69 c | 0 | 2244 76853 104782 | 25617 0 nan | 0.000 % | 225.63/225.70 c =============================================================================== 225.73/225.82 c core #534 225.73/225.82 c 225.73/225.82 c 225.73/225.82 c Core size: 10 Core Weight: 1 Total Weight: -466 225.73/225.82 c 225.73/225.82 c 225.73/225.82 c ============================[ Search Statistics ]============================== 225.73/225.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.73/225.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.73/225.82 c =============================================================================== 225.73/225.82 c | 0 | 2250 76854 104794 | 25618 0 nan | 0.000 % | 225.73/225.82 c =============================================================================== 225.83/225.94 c core #535 225.83/225.94 c 225.83/225.94 c 225.83/225.94 c Core size: 12 Core Weight: 1 Total Weight: -465 225.83/225.94 c 225.83/225.94 c 225.83/225.94 c ============================[ Search Statistics ]============================== 225.83/225.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.83/225.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.83/225.94 c =============================================================================== 225.83/225.94 c | 0 | 2258 76855 104810 | 25618 0 nan | 0.000 % | 225.83/225.95 c =============================================================================== 225.93/226.07 c core #536 225.93/226.07 c 225.93/226.07 c 225.93/226.07 c Core size: 10 Core Weight: 1 Total Weight: -464 225.93/226.07 c 225.93/226.07 c 225.93/226.07 c ============================[ Search Statistics ]============================== 225.93/226.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.93/226.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.93/226.07 c =============================================================================== 225.93/226.07 c | 0 | 2264 76856 104822 | 25618 0 nan | 0.000 % | 225.93/226.08 c =============================================================================== 226.03/226.19 c core #537 226.03/226.19 c 226.03/226.19 c 226.03/226.19 c Core size: 10 Core Weight: 1 Total Weight: -463 226.03/226.19 c 226.03/226.19 c 226.03/226.19 c ============================[ Search Statistics ]============================== 226.03/226.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.03/226.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.03/226.19 c =============================================================================== 226.03/226.19 c | 0 | 2270 76857 104834 | 25619 0 nan | 0.000 % | 226.13/226.20 c =============================================================================== 226.23/226.31 c core #538 226.23/226.31 c 226.23/226.31 c 226.23/226.31 c Core size: 10 Core Weight: 1 Total Weight: -462 226.23/226.31 c 226.23/226.31 c 226.23/226.31 c ============================[ Search Statistics ]============================== 226.23/226.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.23/226.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.23/226.31 c =============================================================================== 226.23/226.31 c | 0 | 2276 76858 104846 | 25619 0 nan | 0.000 % | 226.23/226.32 c =============================================================================== 226.33/226.43 c core #539 226.33/226.43 c 226.33/226.43 c 226.33/226.43 c Core size: 10 Core Weight: 1 Total Weight: -461 226.33/226.43 c 226.33/226.43 c 226.33/226.43 c ============================[ Search Statistics ]============================== 226.33/226.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.33/226.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.33/226.43 c =============================================================================== 226.33/226.43 c | 0 | 2282 76859 104858 | 25619 0 nan | 0.000 % | 226.33/226.44 c =============================================================================== 226.44/226.56 c core #540 226.44/226.56 c 226.44/226.56 c 226.44/226.56 c Core size: 12 Core Weight: 1 Total Weight: -460 226.44/226.56 c 226.44/226.56 c 226.44/226.56 c ============================[ Search Statistics ]============================== 226.44/226.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.44/226.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.44/226.56 c =============================================================================== 226.44/226.56 c | 0 | 2290 76860 104874 | 25620 0 nan | 0.000 % | 226.44/226.56 c =============================================================================== 226.54/226.68 c core #541 226.54/226.68 c 226.54/226.68 c 226.54/226.68 c Core size: 10 Core Weight: 1 Total Weight: -459 226.54/226.68 c 226.54/226.68 c 226.54/226.68 c ============================[ Search Statistics ]============================== 226.54/226.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.54/226.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.54/226.68 c =============================================================================== 226.54/226.68 c | 0 | 2296 76861 104886 | 25620 0 nan | 0.000 % | 226.54/226.69 c =============================================================================== 226.73/226.80 c core #542 226.73/226.80 c 226.73/226.80 c 226.73/226.80 c Core size: 10 Core Weight: 1 Total Weight: -458 226.73/226.80 c 226.73/226.80 c 226.73/226.80 c ============================[ Search Statistics ]============================== 226.73/226.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.73/226.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.73/226.80 c =============================================================================== 226.73/226.80 c | 0 | 2302 76862 104898 | 25620 0 nan | 0.000 % | 226.73/226.81 c =============================================================================== 226.83/226.93 c core #543 226.83/226.93 c 226.83/226.93 c 226.83/226.93 c Core size: 10 Core Weight: 1 Total Weight: -457 226.83/226.93 c 226.83/226.93 c 226.83/226.93 c ============================[ Search Statistics ]============================== 226.83/226.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.83/226.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.83/226.93 c =============================================================================== 226.83/226.93 c | 0 | 2308 76863 104910 | 25621 0 nan | 0.000 % | 226.83/226.94 c =============================================================================== 226.93/227.05 c core #544 226.93/227.05 c 226.93/227.05 c 226.93/227.05 c Core size: 10 Core Weight: 1 Total Weight: -456 226.93/227.05 c 226.93/227.05 c 226.93/227.05 c ============================[ Search Statistics ]============================== 226.93/227.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.93/227.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.93/227.05 c =============================================================================== 226.93/227.05 c | 0 | 2314 76864 104922 | 25621 0 nan | 0.000 % | 226.93/227.06 c =============================================================================== 227.03/227.18 c core #545 227.03/227.18 c 227.03/227.18 c 227.03/227.18 c Core size: 10 Core Weight: 1 Total Weight: -455 227.03/227.18 c 227.03/227.18 c 227.03/227.18 c ============================[ Search Statistics ]============================== 227.03/227.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.03/227.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.03/227.18 c =============================================================================== 227.03/227.18 c | 0 | 2320 76865 104934 | 25621 0 nan | 0.000 % | 227.03/227.19 c =============================================================================== 227.23/227.30 c core #546 227.23/227.30 c 227.23/227.30 c 227.23/227.30 c Core size: 14 Core Weight: 1 Total Weight: -454 227.23/227.30 c 227.23/227.30 c 227.23/227.30 c ============================[ Search Statistics ]============================== 227.23/227.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.23/227.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.23/227.30 c =============================================================================== 227.23/227.30 c | 0 | 2328 76866 104950 | 25622 0 nan | 0.000 % | 227.23/227.31 c =============================================================================== 227.33/227.43 c core #547 227.33/227.43 c 227.33/227.43 c 227.33/227.43 c Core size: 10 Core Weight: 1 Total Weight: -453 227.33/227.43 c 227.33/227.43 c 227.33/227.43 c ============================[ Search Statistics ]============================== 227.33/227.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.33/227.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.33/227.43 c =============================================================================== 227.33/227.43 c | 0 | 2334 76867 104962 | 25622 0 nan | 0.000 % | 227.33/227.44 c =============================================================================== 227.43/227.55 c core #548 227.43/227.55 c 227.43/227.55 c 227.43/227.55 c Core size: 10 Core Weight: 1 Total Weight: -452 227.43/227.55 c 227.43/227.55 c 227.43/227.55 c ============================[ Search Statistics ]============================== 227.43/227.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.43/227.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.43/227.55 c =============================================================================== 227.43/227.55 c | 0 | 2340 76868 104974 | 25622 0 nan | 0.000 % | 227.43/227.56 c =============================================================================== 227.54/227.68 c core #549 227.54/227.68 c 227.54/227.68 c 227.54/227.68 c Core size: 10 Core Weight: 1 Total Weight: -451 227.54/227.68 c 227.54/227.68 c 227.54/227.68 c ============================[ Search Statistics ]============================== 227.54/227.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.54/227.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.54/227.68 c =============================================================================== 227.54/227.68 c | 0 | 2346 76869 104986 | 25623 0 nan | 0.000 % | 227.54/227.68 c =============================================================================== 227.73/227.80 c core #550 227.73/227.80 c 227.73/227.80 c 227.73/227.80 c Core size: 10 Core Weight: 1 Total Weight: -450 227.73/227.80 c 227.73/227.80 c 227.73/227.80 c ============================[ Search Statistics ]============================== 227.73/227.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.73/227.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.73/227.80 c =============================================================================== 227.73/227.80 c | 0 | 2352 76870 104998 | 25623 0 nan | 0.000 % | 227.73/227.81 c =============================================================================== 227.83/227.92 c core #551 227.83/227.92 c 227.83/227.92 c 227.83/227.92 c Core size: 14 Core Weight: 1 Total Weight: -449 227.83/227.92 c 227.83/227.92 c 227.83/227.92 c ============================[ Search Statistics ]============================== 227.83/227.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.83/227.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.83/227.92 c =============================================================================== 227.83/227.92 c | 0 | 2360 76871 105014 | 25623 0 nan | 0.000 % | 227.83/227.93 c =============================================================================== 227.93/228.05 c core #552 227.93/228.05 c 227.93/228.05 c 227.93/228.05 c Core size: 10 Core Weight: 1 Total Weight: -448 227.93/228.05 c 227.93/228.05 c 227.93/228.05 c ============================[ Search Statistics ]============================== 227.93/228.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.93/228.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.93/228.05 c =============================================================================== 227.93/228.05 c | 0 | 2366 76872 105026 | 25624 0 nan | 0.000 % | 227.93/228.06 c =============================================================================== 228.03/228.18 c core #553 228.03/228.18 c 228.03/228.18 c 228.03/228.18 c Core size: 10 Core Weight: 1 Total Weight: -447 228.03/228.18 c 228.03/228.18 c 228.03/228.18 c ============================[ Search Statistics ]============================== 228.03/228.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.03/228.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.03/228.18 c =============================================================================== 228.03/228.18 c | 0 | 2372 76873 105038 | 25624 0 nan | 0.000 % | 228.03/228.18 c =============================================================================== 228.23/228.30 c core #554 228.23/228.30 c 228.23/228.30 c 228.23/228.30 c Core size: 10 Core Weight: 1 Total Weight: -446 228.23/228.30 c 228.23/228.30 c 228.23/228.30 c ============================[ Search Statistics ]============================== 228.23/228.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.23/228.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.23/228.30 c =============================================================================== 228.23/228.30 c | 0 | 2378 76874 105050 | 25624 0 nan | 0.000 % | 228.23/228.30 c =============================================================================== 228.33/228.42 c core #555 228.33/228.42 c 228.33/228.42 c 228.33/228.42 c Core size: 10 Core Weight: 1 Total Weight: -445 228.33/228.42 c 228.33/228.42 c 228.33/228.42 c ============================[ Search Statistics ]============================== 228.33/228.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.33/228.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.33/228.42 c =============================================================================== 228.33/228.42 c | 0 | 2384 76875 105062 | 25625 0 nan | 0.000 % | 228.33/228.43 c =============================================================================== 228.43/228.55 c core #556 228.43/228.55 c 228.43/228.55 c 228.43/228.55 c Core size: 16 Core Weight: 1 Total Weight: -444 228.43/228.55 c 228.43/228.55 c 228.43/228.55 c ============================[ Search Statistics ]============================== 228.43/228.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.43/228.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.43/228.55 c =============================================================================== 228.43/228.55 c | 0 | 2394 76876 105082 | 25625 0 nan | 0.000 % | 228.43/228.56 c =============================================================================== 228.53/228.68 c core #557 228.53/228.68 c 228.53/228.68 c 228.53/228.68 c Core size: 14 Core Weight: 1 Total Weight: -443 228.53/228.68 c 228.53/228.68 c 228.53/228.68 c ============================[ Search Statistics ]============================== 228.53/228.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.53/228.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.53/228.68 c =============================================================================== 228.53/228.68 c | 0 | 2402 76877 105098 | 25625 0 nan | 0.000 % | 228.53/228.68 c =============================================================================== 228.64/228.80 c core #558 228.64/228.80 c 228.64/228.80 c 228.64/228.80 c Core size: 10 Core Weight: 1 Total Weight: -442 228.64/228.80 c 228.64/228.80 c 228.64/228.80 c ============================[ Search Statistics ]============================== 228.64/228.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.64/228.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.64/228.80 c =============================================================================== 228.64/228.80 c | 0 | 2408 76878 105110 | 25626 0 nan | 0.000 % | 228.74/228.81 c =============================================================================== 228.83/228.93 c core #559 228.83/228.93 c 228.83/228.93 c 228.83/228.93 c Core size: 12 Core Weight: 1 Total Weight: -441 228.83/228.93 c 228.83/228.93 c 228.83/228.93 c ============================[ Search Statistics ]============================== 228.83/228.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.83/228.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.83/228.93 c =============================================================================== 228.83/228.93 c | 0 | 2414 76879 105122 | 25626 0 nan | 0.000 % | 228.83/228.94 c =============================================================================== 228.93/229.06 c core #560 228.93/229.06 c 228.93/229.06 c 228.93/229.06 c Core size: 10 Core Weight: 1 Total Weight: -440 228.93/229.06 c 228.93/229.06 c 228.93/229.06 c ============================[ Search Statistics ]============================== 228.93/229.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.93/229.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.93/229.06 c =============================================================================== 228.93/229.06 c | 0 | 2420 76880 105134 | 25626 0 nan | 0.000 % | 228.93/229.07 c =============================================================================== 229.03/229.18 c core #561 229.03/229.18 c 229.03/229.18 c 229.03/229.18 c Core size: 16 Core Weight: 1 Total Weight: -439 229.03/229.18 c 229.03/229.18 c 229.03/229.18 c ============================[ Search Statistics ]============================== 229.03/229.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.03/229.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.03/229.18 c =============================================================================== 229.03/229.18 c | 0 | 2430 76881 105154 | 25627 0 nan | 0.000 % | 229.03/229.19 c =============================================================================== 229.23/229.31 c core #562 229.23/229.31 c 229.23/229.31 c 229.23/229.31 c Core size: 12 Core Weight: 1 Total Weight: -438 229.23/229.31 c 229.23/229.31 c 229.23/229.31 c ============================[ Search Statistics ]============================== 229.23/229.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.23/229.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.23/229.31 c =============================================================================== 229.23/229.31 c | 0 | 2438 76882 105170 | 25627 0 nan | 0.000 % | 229.23/229.32 c =============================================================================== 229.33/229.44 c core #563 229.33/229.44 c 229.33/229.44 c 229.33/229.44 c Core size: 14 Core Weight: 1 Total Weight: -437 229.33/229.44 c 229.33/229.44 c 229.33/229.44 c ============================[ Search Statistics ]============================== 229.33/229.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.33/229.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.33/229.44 c =============================================================================== 229.33/229.44 c | 0 | 2446 76883 105186 | 25627 0 nan | 0.000 % | 229.33/229.45 c =============================================================================== 229.43/229.57 c core #564 229.43/229.57 c 229.43/229.57 c 229.43/229.57 c Core size: 10 Core Weight: 1 Total Weight: -436 229.43/229.57 c 229.43/229.57 c 229.43/229.57 c ============================[ Search Statistics ]============================== 229.43/229.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.43/229.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.43/229.57 c =============================================================================== 229.43/229.57 c | 0 | 2452 76884 105198 | 25628 0 nan | 0.000 % | 229.43/229.58 c =============================================================================== 229.63/229.70 c core #565 229.63/229.70 c 229.63/229.70 c 229.63/229.70 c Core size: 16 Core Weight: 1 Total Weight: -435 229.63/229.70 c 229.63/229.70 c 229.63/229.70 c ============================[ Search Statistics ]============================== 229.63/229.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.63/229.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.63/229.70 c =============================================================================== 229.63/229.70 c | 0 | 2462 76885 105218 | 25628 0 nan | 0.000 % | 229.63/229.70 c =============================================================================== 229.74/229.82 c core #566 229.74/229.82 c 229.74/229.82 c 229.74/229.82 c Core size: 10 Core Weight: 1 Total Weight: -434 229.74/229.82 c 229.74/229.82 c 229.74/229.82 c ============================[ Search Statistics ]============================== 229.74/229.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.74/229.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.74/229.82 c =============================================================================== 229.74/229.82 c | 0 | 2468 76886 105230 | 25628 0 nan | 0.000 % | 229.74/229.83 c =============================================================================== 229.84/229.95 c core #567 229.84/229.95 c 229.84/229.95 c 229.84/229.95 c Core size: 10 Core Weight: 1 Total Weight: -433 229.84/229.95 c 229.84/229.95 c 229.84/229.95 c ============================[ Search Statistics ]============================== 229.84/229.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.84/229.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.84/229.95 c =============================================================================== 229.84/229.95 c | 0 | 2474 76887 105242 | 25629 0 nan | 0.000 % | 229.84/229.96 c =============================================================================== 229.93/230.08 c core #568 229.93/230.08 c 229.93/230.08 c 229.93/230.08 c Core size: 10 Core Weight: 1 Total Weight: -432 229.93/230.08 c 229.93/230.08 c 229.93/230.08 c ============================[ Search Statistics ]============================== 229.93/230.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.93/230.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.93/230.08 c =============================================================================== 229.93/230.08 c | 0 | 2480 76888 105254 | 25629 0 nan | 0.000 % | 229.93/230.09 c =============================================================================== 230.13/230.21 c core #569 230.13/230.21 c 230.13/230.21 c 230.13/230.21 c Core size: 14 Core Weight: 1 Total Weight: -431 230.13/230.21 c 230.13/230.21 c 230.13/230.21 c ============================[ Search Statistics ]============================== 230.13/230.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.13/230.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.13/230.21 c =============================================================================== 230.13/230.21 c | 0 | 2488 76889 105270 | 25629 0 nan | 0.000 % | 230.13/230.21 c =============================================================================== 230.23/230.34 c core #570 230.23/230.34 c 230.23/230.34 c 230.23/230.34 c Core size: 12 Core Weight: 1 Total Weight: -430 230.23/230.34 c 230.23/230.34 c 230.23/230.34 c ============================[ Search Statistics ]============================== 230.23/230.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.23/230.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.23/230.34 c =============================================================================== 230.23/230.34 c | 0 | 2496 76890 105286 | 25630 0 nan | 0.000 % | 230.23/230.35 c =============================================================================== 230.33/230.47 c core #571 230.33/230.47 c 230.33/230.47 c 230.33/230.47 c Core size: 14 Core Weight: 1 Total Weight: -429 230.33/230.47 c 230.33/230.47 c 230.33/230.47 c ============================[ Search Statistics ]============================== 230.33/230.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.33/230.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.33/230.47 c =============================================================================== 230.33/230.47 c | 0 | 2504 76891 105302 | 25630 0 nan | 0.000 % | 230.33/230.47 c =============================================================================== 230.43/230.60 c core #572 230.43/230.60 c 230.43/230.60 c 230.43/230.60 c Core size: 12 Core Weight: 1 Total Weight: -428 230.43/230.60 c 230.43/230.60 c 230.43/230.60 c ============================[ Search Statistics ]============================== 230.43/230.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.43/230.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.43/230.60 c =============================================================================== 230.43/230.60 c | 0 | 2512 76892 105318 | 25630 0 nan | 0.000 % | 230.53/230.60 c =============================================================================== 230.63/230.72 c core #573 230.63/230.72 c 230.63/230.72 c 230.63/230.72 c Core size: 10 Core Weight: 1 Total Weight: -427 230.63/230.72 c 230.63/230.72 c 230.63/230.72 c ============================[ Search Statistics ]============================== 230.63/230.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.63/230.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.63/230.72 c =============================================================================== 230.63/230.72 c | 0 | 2518 76893 105330 | 25631 0 nan | 0.000 % | 230.63/230.73 c =============================================================================== 230.73/230.85 c core #574 230.73/230.85 c 230.73/230.85 c 230.73/230.85 c Core size: 12 Core Weight: 1 Total Weight: -426 230.73/230.85 c 230.73/230.85 c 230.73/230.85 c ============================[ Search Statistics ]============================== 230.73/230.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.73/230.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.73/230.85 c =============================================================================== 230.73/230.85 c | 0 | 2526 76894 105346 | 25631 0 nan | 0.000 % | 230.73/230.87 c =============================================================================== 230.83/230.98 c core #575 230.83/230.98 c 230.83/230.98 c 230.83/230.98 c Core size: 10 Core Weight: 1 Total Weight: -425 230.83/230.98 c 230.83/230.98 c 230.83/230.98 c ============================[ Search Statistics ]============================== 230.83/230.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.83/230.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.83/230.98 c =============================================================================== 230.83/230.98 c | 0 | 2532 76895 105358 | 25631 0 nan | 0.000 % | 230.83/230.99 c =============================================================================== 231.03/231.11 c core #576 231.03/231.11 c 231.03/231.11 c 231.03/231.11 c Core size: 12 Core Weight: 1 Total Weight: -424 231.03/231.11 c 231.03/231.11 c 231.03/231.11 c ============================[ Search Statistics ]============================== 231.03/231.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.03/231.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.03/231.11 c =============================================================================== 231.03/231.11 c | 0 | 2540 76896 105374 | 25632 0 nan | 0.000 % | 231.03/231.12 c =============================================================================== 231.13/231.24 c core #577 231.13/231.24 c 231.13/231.24 c 231.13/231.24 c Core size: 14 Core Weight: 1 Total Weight: -423 231.13/231.24 c 231.13/231.24 c 231.13/231.24 c ============================[ Search Statistics ]============================== 231.13/231.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.13/231.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.13/231.24 c =============================================================================== 231.13/231.24 c | 0 | 2548 76897 105390 | 25632 0 nan | 0.000 % | 231.13/231.25 c =============================================================================== 231.23/231.37 c core #578 231.23/231.37 c 231.23/231.37 c 231.23/231.37 c Core size: 14 Core Weight: 1 Total Weight: -422 231.23/231.37 c 231.23/231.37 c 231.23/231.37 c ============================[ Search Statistics ]============================== 231.23/231.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.23/231.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.23/231.37 c =============================================================================== 231.23/231.37 c | 0 | 2556 76898 105406 | 25632 0 nan | 0.000 % | 231.23/231.39 c =============================================================================== 231.43/231.51 c core #579 231.43/231.51 c 231.43/231.51 c 231.43/231.51 c Core size: 16 Core Weight: 1 Total Weight: -421 231.43/231.51 c 231.43/231.51 c 231.43/231.51 c ============================[ Search Statistics ]============================== 231.43/231.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.43/231.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.43/231.51 c =============================================================================== 231.43/231.51 c | 0 | 2566 76899 105426 | 25633 0 nan | 0.000 % | 231.43/231.52 c =============================================================================== 231.53/231.64 c core #580 231.53/231.64 c 231.53/231.64 c 231.53/231.64 c Core size: 16 Core Weight: 1 Total Weight: -420 231.53/231.64 c 231.53/231.64 c 231.53/231.64 c ============================[ Search Statistics ]============================== 231.53/231.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.53/231.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.53/231.64 c =============================================================================== 231.53/231.64 c | 0 | 2576 76900 105446 | 25633 0 nan | 0.000 % | 231.53/231.64 c =============================================================================== 231.63/231.77 c core #581 231.63/231.77 c 231.63/231.77 c 231.63/231.77 c Core size: 14 Core Weight: 1 Total Weight: -419 231.63/231.77 c 231.63/231.77 c 231.63/231.77 c ============================[ Search Statistics ]============================== 231.63/231.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.63/231.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.63/231.77 c =============================================================================== 231.63/231.77 c | 0 | 2584 76901 105462 | 25633 0 nan | 0.000 % | 231.63/231.78 c =============================================================================== 231.83/231.90 c core #582 231.83/231.90 c 231.83/231.90 c 231.83/231.90 c Core size: 16 Core Weight: 1 Total Weight: -418 231.83/231.90 c 231.83/231.90 c 231.83/231.90 c ============================[ Search Statistics ]============================== 231.83/231.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.83/231.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.83/231.90 c =============================================================================== 231.83/231.90 c | 0 | 2594 76902 105482 | 25634 0 nan | 0.000 % | 231.83/231.90 c =============================================================================== 231.93/232.03 c core #583 231.93/232.03 c 231.93/232.03 c 231.93/232.03 c Core size: 14 Core Weight: 1 Total Weight: -417 231.93/232.03 c 231.93/232.03 c 231.93/232.03 c ============================[ Search Statistics ]============================== 231.93/232.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.93/232.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.93/232.03 c =============================================================================== 231.93/232.03 c | 0 | 2602 76903 105498 | 25634 0 nan | 0.000 % | 231.93/232.03 c =============================================================================== 232.03/232.16 c core #584 232.03/232.16 c 232.03/232.16 c 232.03/232.16 c Core size: 10 Core Weight: 1 Total Weight: -416 232.03/232.16 c 232.03/232.16 c 232.03/232.16 c ============================[ Search Statistics ]============================== 232.03/232.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.03/232.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.03/232.16 c =============================================================================== 232.03/232.16 c | 0 | 2608 76904 105510 | 25634 0 nan | 0.000 % | 232.03/232.16 c =============================================================================== 232.13/232.29 c core #585 232.13/232.29 c 232.13/232.29 c 232.13/232.29 c Core size: 14 Core Weight: 1 Total Weight: -415 232.13/232.29 c 232.13/232.29 c 232.13/232.29 c ============================[ Search Statistics ]============================== 232.13/232.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.13/232.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.13/232.29 c =============================================================================== 232.13/232.29 c | 0 | 2616 76905 105526 | 25635 0 nan | 0.000 % | 232.23/232.30 c =============================================================================== 232.33/232.42 c core #586 232.33/232.42 c 232.33/232.42 c 232.33/232.42 c Core size: 14 Core Weight: 1 Total Weight: -414 232.33/232.42 c 232.33/232.42 c 232.33/232.42 c ============================[ Search Statistics ]============================== 232.33/232.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.33/232.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.33/232.42 c =============================================================================== 232.33/232.42 c | 0 | 2624 76906 105542 | 25635 0 nan | 0.000 % | 232.33/232.42 c =============================================================================== 232.43/232.55 c core #587 232.43/232.55 c 232.43/232.55 c 232.43/232.55 c Core size: 14 Core Weight: 1 Total Weight: -413 232.43/232.55 c 232.43/232.55 c 232.43/232.55 c ============================[ Search Statistics ]============================== 232.43/232.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.43/232.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.43/232.55 c =============================================================================== 232.43/232.55 c | 0 | 2632 76907 105558 | 25635 0 nan | 0.000 % | 232.43/232.56 c =============================================================================== 232.53/232.68 c core #588 232.53/232.68 c 232.53/232.68 c 232.53/232.68 c Core size: 16 Core Weight: 1 Total Weight: -412 232.53/232.68 c 232.53/232.68 c 232.53/232.68 c ============================[ Search Statistics ]============================== 232.53/232.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.53/232.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.53/232.68 c =============================================================================== 232.53/232.68 c | 0 | 2642 76908 105578 | 25636 0 nan | 0.000 % | 232.53/232.69 c =============================================================================== 232.73/232.82 c core #589 232.73/232.82 c 232.73/232.82 c 232.73/232.82 c Core size: 14 Core Weight: 1 Total Weight: -411 232.73/232.82 c 232.73/232.82 c 232.73/232.82 c ============================[ Search Statistics ]============================== 232.73/232.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.73/232.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.73/232.82 c =============================================================================== 232.73/232.82 c | 0 | 2650 76909 105594 | 25636 0 nan | 0.000 % | 232.73/232.82 c =============================================================================== 232.82/232.94 c core #590 232.82/232.94 c 232.82/232.94 c 232.82/232.94 c Core size: 10 Core Weight: 1 Total Weight: -410 232.82/232.94 c 232.82/232.94 c 232.82/232.94 c ============================[ Search Statistics ]============================== 232.82/232.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.82/232.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.82/232.94 c =============================================================================== 232.82/232.94 c | 0 | 2656 76910 105606 | 25636 0 nan | 0.000 % | 232.82/232.95 c =============================================================================== 232.92/233.08 c core #591 232.92/233.08 c 232.92/233.08 c 232.92/233.08 c Core size: 10 Core Weight: 1 Total Weight: -409 232.92/233.08 c 232.92/233.08 c 232.92/233.08 c ============================[ Search Statistics ]============================== 232.92/233.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.92/233.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.92/233.08 c =============================================================================== 232.92/233.08 c | 0 | 2662 76911 105618 | 25637 0 nan | 0.000 % | 232.92/233.08 c =============================================================================== 233.13/233.21 c core #592 233.13/233.21 c 233.13/233.21 c 233.13/233.21 c Core size: 16 Core Weight: 1 Total Weight: -408 233.13/233.21 c 233.13/233.21 c 233.13/233.21 c ============================[ Search Statistics ]============================== 233.13/233.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.13/233.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.13/233.21 c =============================================================================== 233.13/233.21 c | 0 | 2672 76912 105638 | 25637 0 nan | 0.000 % | 233.13/233.22 c =============================================================================== 233.22/233.35 c core #593 233.22/233.35 c 233.22/233.35 c 233.22/233.35 c Core size: 16 Core Weight: 1 Total Weight: -407 233.22/233.35 c 233.22/233.35 c 233.22/233.35 c ============================[ Search Statistics ]============================== 233.22/233.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.22/233.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.22/233.35 c =============================================================================== 233.22/233.35 c | 0 | 2682 76913 105658 | 25637 0 nan | 0.000 % | 233.22/233.35 c =============================================================================== 233.32/233.48 c core #594 233.32/233.48 c 233.32/233.48 c 233.32/233.48 c Core size: 10 Core Weight: 1 Total Weight: -406 233.32/233.48 c 233.32/233.48 c 233.32/233.48 c ============================[ Search Statistics ]============================== 233.32/233.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.32/233.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.32/233.48 c =============================================================================== 233.32/233.48 c | 0 | 2688 76914 105670 | 25638 0 nan | 0.000 % | 233.32/233.49 c =============================================================================== 233.52/233.61 c core #595 233.52/233.61 c 233.52/233.61 c 233.52/233.61 c Core size: 16 Core Weight: 1 Total Weight: -405 233.52/233.61 c 233.52/233.61 c 233.52/233.61 c ============================[ Search Statistics ]============================== 233.52/233.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.52/233.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.52/233.61 c =============================================================================== 233.52/233.61 c | 0 | 2698 76915 105690 | 25638 0 nan | 0.000 % | 233.52/233.62 c =============================================================================== 233.62/233.74 c core #596 233.62/233.74 c 233.62/233.74 c 233.62/233.74 c Core size: 16 Core Weight: 1 Total Weight: -404 233.62/233.74 c 233.62/233.74 c 233.62/233.74 c ============================[ Search Statistics ]============================== 233.62/233.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.62/233.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.62/233.74 c =============================================================================== 233.62/233.74 c | 0 | 2708 76916 105710 | 25638 0 nan | 0.000 % | 233.62/233.75 c =============================================================================== 233.72/233.88 c core #597 233.72/233.88 c 233.72/233.88 c 233.72/233.88 c Core size: 14 Core Weight: 1 Total Weight: -403 233.72/233.88 c 233.72/233.88 c 233.72/233.88 c ============================[ Search Statistics ]============================== 233.72/233.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.72/233.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.72/233.88 c =============================================================================== 233.72/233.88 c | 0 | 2716 76917 105726 | 25639 0 nan | 0.000 % | 233.72/233.88 c =============================================================================== 233.92/234.01 c core #598 233.92/234.01 c 233.92/234.01 c 233.92/234.01 c Core size: 10 Core Weight: 1 Total Weight: -402 233.92/234.01 c 233.92/234.01 c 233.92/234.01 c ============================[ Search Statistics ]============================== 233.92/234.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.92/234.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.92/234.01 c =============================================================================== 233.92/234.01 c | 0 | 2722 76918 105738 | 25639 0 nan | 0.000 % | 233.92/234.02 c =============================================================================== 234.02/234.14 c core #599 234.02/234.14 c 234.02/234.14 c 234.02/234.14 c Core size: 10 Core Weight: 1 Total Weight: -401 234.02/234.14 c 234.02/234.14 c 234.02/234.14 c ============================[ Search Statistics ]============================== 234.02/234.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.02/234.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.02/234.14 c =============================================================================== 234.02/234.14 c | 0 | 2728 76919 105750 | 25639 0 nan | 0.000 % | 234.02/234.15 c =============================================================================== 234.13/234.27 c core #600 234.13/234.27 c 234.13/234.27 c 234.13/234.27 c Core size: 10 Core Weight: 1 Total Weight: -400 234.13/234.27 c 234.13/234.27 c 234.13/234.27 c ============================[ Search Statistics ]============================== 234.13/234.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.13/234.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.13/234.27 c =============================================================================== 234.13/234.27 c | 0 | 2734 76920 105762 | 25640 0 nan | 0.000 % | 234.13/234.28 c =============================================================================== 234.32/234.40 c core #601 234.32/234.40 c 234.32/234.40 c 234.32/234.40 c Core size: 12 Core Weight: 1 Total Weight: -399 234.32/234.40 c 234.32/234.40 c 234.32/234.40 c ============================[ Search Statistics ]============================== 234.32/234.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.32/234.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.32/234.40 c =============================================================================== 234.32/234.40 c | 0 | 2742 76921 105778 | 25640 0 nan | 0.000 % | 234.32/234.41 c =============================================================================== 234.42/234.54 c core #602 234.42/234.54 c 234.42/234.54 c 234.42/234.54 c Core size: 12 Core Weight: 1 Total Weight: -398 234.42/234.54 c 234.42/234.54 c 234.42/234.54 c ============================[ Search Statistics ]============================== 234.42/234.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.42/234.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.42/234.54 c =============================================================================== 234.42/234.54 c | 0 | 2750 76922 105794 | 25640 0 nan | 0.000 % | 234.42/234.55 c =============================================================================== 234.52/234.67 c core #603 234.52/234.67 c 234.52/234.67 c 234.52/234.67 c Core size: 16 Core Weight: 1 Total Weight: -397 234.52/234.67 c 234.52/234.67 c 234.52/234.67 c ============================[ Search Statistics ]============================== 234.52/234.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.52/234.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.52/234.67 c =============================================================================== 234.52/234.67 c | 0 | 2760 76923 105814 | 25641 0 nan | 0.000 % | 234.52/234.68 c =============================================================================== 234.72/234.80 c core #604 234.72/234.80 c 234.72/234.80 c 234.72/234.80 c Core size: 14 Core Weight: 1 Total Weight: -396 234.72/234.80 c 234.72/234.80 c 234.72/234.80 c ============================[ Search Statistics ]============================== 234.72/234.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.72/234.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.72/234.80 c =============================================================================== 234.72/234.80 c | 0 | 2768 76924 105830 | 25641 0 nan | 0.000 % | 234.72/234.81 c =============================================================================== 234.82/234.93 c core #605 234.82/234.93 c 234.82/234.93 c 234.82/234.93 c Core size: 14 Core Weight: 1 Total Weight: -395 234.82/234.93 c 234.82/234.93 c 234.82/234.93 c ============================[ Search Statistics ]============================== 234.82/234.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.82/234.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.82/234.93 c =============================================================================== 234.82/234.93 c | 0 | 2776 76925 105846 | 25641 0 nan | 0.000 % | 234.82/234.94 c =============================================================================== 234.92/235.07 c core #606 234.92/235.07 c 234.92/235.07 c 234.92/235.07 c Core size: 12 Core Weight: 1 Total Weight: -394 234.92/235.07 c 234.92/235.07 c 234.92/235.07 c ============================[ Search Statistics ]============================== 234.92/235.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.92/235.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.92/235.07 c =============================================================================== 234.92/235.07 c | 0 | 2784 76926 105862 | 25642 0 nan | 0.000 % | 234.92/235.08 c =============================================================================== 235.13/235.20 c core #607 235.13/235.20 c 235.13/235.20 c 235.13/235.20 c Core size: 14 Core Weight: 1 Total Weight: -393 235.13/235.20 c 235.13/235.20 c 235.13/235.20 c ============================[ Search Statistics ]============================== 235.13/235.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.13/235.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.13/235.20 c =============================================================================== 235.13/235.20 c | 0 | 2792 76927 105878 | 25642 0 nan | 0.000 % | 235.13/235.21 c =============================================================================== 235.24/235.33 c core #608 235.24/235.33 c 235.24/235.33 c 235.24/235.33 c Core size: 16 Core Weight: 1 Total Weight: -392 235.24/235.33 c 235.24/235.33 c 235.24/235.33 c ============================[ Search Statistics ]============================== 235.24/235.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.24/235.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.24/235.33 c =============================================================================== 235.24/235.33 c | 0 | 2802 76928 105898 | 25642 0 nan | 0.000 % | 235.24/235.35 c =============================================================================== 235.34/235.47 c core #609 235.34/235.47 c 235.34/235.47 c 235.34/235.47 c Core size: 16 Core Weight: 1 Total Weight: -391 235.34/235.47 c 235.34/235.47 c 235.34/235.47 c ============================[ Search Statistics ]============================== 235.34/235.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.34/235.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.34/235.47 c =============================================================================== 235.34/235.47 c | 0 | 2812 76929 105918 | 25643 0 nan | 0.000 % | 235.34/235.48 c =============================================================================== 235.53/235.60 c core #610 235.53/235.60 c 235.53/235.60 c 235.53/235.60 c Core size: 14 Core Weight: 1 Total Weight: -390 235.53/235.60 c 235.53/235.60 c 235.53/235.60 c ============================[ Search Statistics ]============================== 235.53/235.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.53/235.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.53/235.60 c =============================================================================== 235.53/235.60 c | 0 | 2820 76930 105934 | 25643 0 nan | 0.000 % | 235.53/235.61 c =============================================================================== 235.63/235.73 c core #611 235.63/235.73 c 235.63/235.73 c 235.63/235.73 c Core size: 16 Core Weight: 1 Total Weight: -389 235.63/235.73 c 235.63/235.73 c 235.63/235.73 c ============================[ Search Statistics ]============================== 235.63/235.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.63/235.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.63/235.73 c =============================================================================== 235.63/235.73 c | 0 | 2830 76931 105954 | 25643 0 nan | 0.000 % | 235.63/235.74 c =============================================================================== 235.73/235.87 c core #612 235.73/235.87 c 235.73/235.87 c 235.73/235.87 c Core size: 16 Core Weight: 1 Total Weight: -388 235.73/235.87 c 235.73/235.87 c 235.73/235.87 c ============================[ Search Statistics ]============================== 235.73/235.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.73/235.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.73/235.87 c =============================================================================== 235.73/235.87 c | 0 | 2840 76932 105974 | 25644 0 nan | 0.000 % | 235.73/235.87 c =============================================================================== 235.93/236.00 c core #613 235.93/236.00 c 235.93/236.00 c 235.93/236.00 c Core size: 16 Core Weight: 1 Total Weight: -387 235.93/236.00 c 235.93/236.00 c 235.93/236.00 c ============================[ Search Statistics ]============================== 235.93/236.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.93/236.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.93/236.00 c =============================================================================== 235.93/236.00 c | 0 | 2850 76933 105994 | 25644 0 nan | 0.000 % | 235.93/236.01 c =============================================================================== 236.03/236.13 c core #614 236.03/236.13 c 236.03/236.13 c 236.03/236.13 c Core size: 12 Core Weight: 1 Total Weight: -386 236.03/236.13 c 236.03/236.13 c 236.03/236.13 c ============================[ Search Statistics ]============================== 236.03/236.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.03/236.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.03/236.13 c =============================================================================== 236.03/236.13 c | 0 | 2858 76934 106010 | 25644 0 nan | 0.000 % | 236.03/236.16 c =============================================================================== 236.13/236.28 c core #615 236.13/236.28 c 236.13/236.28 c 236.13/236.28 c Core size: 22 Core Weight: 1 Total Weight: -385 236.13/236.28 c 236.13/236.28 c 236.13/236.28 c ============================[ Search Statistics ]============================== 236.13/236.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.13/236.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.13/236.28 c =============================================================================== 236.13/236.28 c | 0 | 2872 76935 106038 | 25645 0 nan | 0.000 % | 236.13/236.29 c =============================================================================== 236.34/236.41 c core #616 236.34/236.41 c 236.34/236.41 c 236.34/236.41 c Core size: 14 Core Weight: 1 Total Weight: -384 236.34/236.41 c 236.34/236.41 c 236.34/236.41 c ============================[ Search Statistics ]============================== 236.34/236.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.34/236.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.34/236.41 c =============================================================================== 236.34/236.41 c | 0 | 2880 76936 106054 | 25645 0 nan | 0.000 % | 236.34/236.43 c =============================================================================== 236.44/236.55 c core #617 236.44/236.55 c 236.44/236.55 c 236.44/236.55 c Core size: 20 Core Weight: 1 Total Weight: -383 236.44/236.55 c 236.44/236.55 c 236.44/236.55 c ============================[ Search Statistics ]============================== 236.44/236.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.44/236.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.44/236.55 c =============================================================================== 236.44/236.55 c | 0 | 2892 76937 106078 | 25645 0 nan | 0.000 % | 236.44/236.56 c =============================================================================== 236.53/236.68 c core #618 236.53/236.68 c 236.53/236.68 c 236.53/236.68 c Core size: 16 Core Weight: 1 Total Weight: -382 236.53/236.68 c 236.53/236.68 c 236.53/236.68 c ============================[ Search Statistics ]============================== 236.53/236.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.53/236.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.53/236.68 c =============================================================================== 236.53/236.68 c | 0 | 2902 76938 106098 | 25646 0 nan | 0.000 % | 236.63/236.70 c =============================================================================== 236.73/236.82 c core #619 236.73/236.82 c 236.73/236.82 c 236.73/236.82 c Core size: 26 Core Weight: 1 Total Weight: -381 236.73/236.82 c 236.73/236.82 c 236.73/236.82 c ============================[ Search Statistics ]============================== 236.73/236.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.73/236.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.73/236.82 c =============================================================================== 236.73/236.82 c | 0 | 2918 76939 106130 | 25646 0 nan | 0.000 % | 236.73/236.83 c =============================================================================== 236.83/236.96 c core #620 236.83/236.96 c 236.83/236.96 c 236.83/236.96 c Core size: 22 Core Weight: 1 Total Weight: -380 236.83/236.96 c 236.83/236.96 c 236.83/236.96 c ============================[ Search Statistics ]============================== 236.83/236.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.83/236.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.83/236.96 c =============================================================================== 236.83/236.96 c | 0 | 2930 76940 106154 | 25646 0 nan | 0.000 % | 236.83/236.97 c =============================================================================== 236.93/237.09 c core #621 236.93/237.09 c 236.93/237.09 c 236.93/237.09 c Core size: 16 Core Weight: 1 Total Weight: -379 236.93/237.09 c 236.93/237.09 c 236.93/237.09 c ============================[ Search Statistics ]============================== 236.93/237.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.93/237.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.93/237.09 c =============================================================================== 236.93/237.09 c | 0 | 2940 76941 106174 | 25647 0 nan | 0.000 % | 237.03/237.10 c =============================================================================== 237.13/237.23 c core #622 237.13/237.23 c 237.13/237.23 c 237.13/237.23 c Core size: 22 Core Weight: 1 Total Weight: -378 237.13/237.23 c 237.13/237.23 c 237.13/237.23 c ============================[ Search Statistics ]============================== 237.13/237.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.13/237.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.13/237.23 c =============================================================================== 237.13/237.23 c | 0 | 2952 76942 106198 | 25647 0 nan | 0.000 % | 237.13/237.24 c =============================================================================== 237.23/237.37 c core #623 237.23/237.37 c 237.23/237.37 c 237.23/237.37 c Core size: 16 Core Weight: 1 Total Weight: -377 237.23/237.37 c 237.23/237.37 c 237.23/237.37 c ============================[ Search Statistics ]============================== 237.23/237.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.23/237.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.23/237.37 c =============================================================================== 237.23/237.37 c | 0 | 2962 76943 106218 | 25647 0 nan | 0.000 % | 237.33/237.41 c =============================================================================== 237.44/237.53 c core #624 237.44/237.53 c 237.44/237.53 c 237.44/237.53 c Core size: 42 Core Weight: 1 Total Weight: -376 237.44/237.53 c 237.44/237.53 c 237.44/237.53 c ============================[ Search Statistics ]============================== 237.44/237.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.44/237.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.44/237.53 c =============================================================================== 237.44/237.53 c | 0 | 2997 76944 106288 | 25648 0 nan | 0.000 % | 237.44/237.56 c =============================================================================== 237.54/237.68 c core #625 237.54/237.68 c 237.54/237.68 c 237.54/237.68 c Core size: 34 Core Weight: 1 Total Weight: -375 237.54/237.68 c 237.54/237.68 c 237.54/237.68 c ============================[ Search Statistics ]============================== 237.54/237.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.54/237.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.54/237.68 c =============================================================================== 237.54/237.68 c | 0 | 3015 76945 106324 | 25648 0 nan | 0.000 % | 237.63/237.74 c =============================================================================== 237.73/237.86 c core #626 237.73/237.86 c 237.73/237.86 c 237.73/237.86 c Core size: 74 Core Weight: 1 Total Weight: -374 237.73/237.86 c 237.73/237.86 c 237.73/237.86 c ============================[ Search Statistics ]============================== 237.73/237.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.73/237.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.73/237.86 c =============================================================================== 237.73/237.86 c | 0 | 3074 76946 106442 | 25648 0 nan | 0.000 % | 237.93/238.04 c | 105 | 3074 76946 106442 | 28213 105 18 | 92.451 % | 238.03/238.16 c =============================================================================== 238.13/238.28 c core #627 238.13/238.28 c 238.13/238.28 c 238.13/238.28 c Core size: 76 Core Weight: 1 Total Weight: -373 238.13/238.28 c 238.13/238.28 c 238.13/238.28 c ============================[ Search Statistics ]============================== 238.13/238.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.13/238.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.13/238.28 c =============================================================================== 238.13/238.28 c | 0 | 3147 76947 106588 | 25649 0 nan | 0.000 % | 238.33/238.46 c | 103 | 3147 76947 106588 | 28213 103 25 | 92.286 % | 238.53/238.65 c | 253 | 3147 76947 106588 | 31035 253 25 | 92.286 % | 238.73/238.85 c | 478 | 3147 76947 106588 | 34138 478 24 | 92.286 % | 238.93/239.06 c | 816 | 3147 76947 106588 | 37552 816 25 | 92.286 % | 239.32/239.46 c | 1322 | 3144 76947 106588 | 41307 594 16 | 92.293 % | 239.52/239.68 c =============================================================================== 239.73/239.82 c core #628 239.73/239.82 c 239.73/239.82 c 239.73/239.82 c Core size: 139 Core Weight: 1 Total Weight: -372 239.73/239.82 c 239.73/239.82 c 239.73/239.82 c ============================[ Search Statistics ]============================== 239.73/239.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.73/239.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.73/239.82 c =============================================================================== 239.73/239.82 c | 0 | 3256 76948 106806 | 25649 0 nan | 0.000 % | 239.83/239.97 c | 101 | 3256 76948 106806 | 28214 101 10 | 92.040 % | 239.93/240.09 c | 252 | 3256 76948 106806 | 31035 252 13 | 92.040 % | 240.23/240.35 c | 477 | 3256 76948 106806 | 34139 477 16 | 92.040 % | 240.63/240.78 c | 814 | 3256 76948 106806 | 37553 814 17 | 92.040 % | 241.13/241.21 c =============================================================================== 241.23/241.34 c core #629 241.23/241.34 c 241.23/241.34 c 241.23/241.34 c Core size: 122 Core Weight: 1 Total Weight: -371 241.23/241.34 c 241.23/241.34 c 241.23/241.34 c ============================[ Search Statistics ]============================== 241.23/241.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.23/241.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.23/241.34 c =============================================================================== 241.23/241.34 c | 0 | 3369 76949 107032 | 25649 0 nan | 0.000 % | 241.33/241.47 c | 100 | 3369 76949 107032 | 28214 100 8 | 91.786 % | 241.43/241.55 c =============================================================================== 241.53/241.67 c core #630 241.53/241.67 c 241.53/241.67 c 241.53/241.67 c Core size: 65 Core Weight: 1 Total Weight: -370 241.53/241.67 c 241.53/241.67 c 241.53/241.67 c ============================[ Search Statistics ]============================== 241.53/241.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.53/241.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.53/241.67 c =============================================================================== 241.53/241.67 c | 0 | 3420 76950 107134 | 25650 0 nan | 0.000 % | 241.73/241.83 c | 100 | 3420 76950 107134 | 28215 100 26 | 91.672 % | 241.83/241.94 c | 252 | 3420 76950 107134 | 31036 252 22 | 91.672 % | 242.02/242.15 c | 477 | 3420 76950 107134 | 34140 477 24 | 91.672 % | 242.32/242.48 c | 814 | 3419 76950 107134 | 37554 806 25 | 91.675 % | 242.73/242.86 c | 1321 | 3417 76950 107134 | 41309 1313 25 | 91.679 % | 243.33/243.45 c =============================================================================== 243.43/243.59 c core #631 243.43/243.59 c 243.43/243.59 c 243.43/243.59 c Core size: 118 Core Weight: 1 Total Weight: -369 243.43/243.59 c 243.43/243.59 c 243.43/243.59 c ============================[ Search Statistics ]============================== 243.43/243.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 243.43/243.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 243.43/243.59 c =============================================================================== 243.43/243.59 c | 0 | 3525 76951 107344 | 25650 0 nan | 0.000 % | 243.63/243.75 c | 100 | 3525 76951 107344 | 28215 100 29 | 91.438 % | 243.72/243.81 c | 250 | 3525 76951 107344 | 31036 250 29 | 91.438 % | 243.93/244.07 c | 475 | 3525 76951 107344 | 34140 475 35 | 91.438 % | 244.23/244.38 c | 814 | 3525 76951 107344 | 37554 814 38 | 91.438 % | 244.73/244.85 c | 1321 | 3525 76951 107344 | 41310 1321 33 | 91.438 % | 245.52/245.64 c | 2081 | 3524 76951 107344 | 45441 2068 30 | 91.441 % | 245.83/245.90 c =============================================================================== 245.93/246.03 c core #632 245.93/246.03 c 245.93/246.03 c 245.93/246.03 c Core size: 137 Core Weight: 1 Total Weight: -368 245.93/246.03 c 245.93/246.03 c 245.93/246.03 c ============================[ Search Statistics ]============================== 245.93/246.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.93/246.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.93/246.03 c =============================================================================== 245.93/246.03 c | 0 | 3648 76952 107590 | 25650 0 nan | 0.000 % | 246.13/246.21 c | 100 | 3648 76952 107590 | 28215 100 17 | 91.166 % | 246.24/246.36 c | 252 | 3648 76952 107590 | 31037 252 15 | 91.166 % | 246.53/246.67 c | 480 | 3648 76952 107590 | 34141 480 17 | 91.166 % | 247.03/247.15 c | 820 | 3648 76952 107590 | 37555 820 18 | 91.166 % | 247.13/247.26 c =============================================================================== 247.23/247.39 c core #633 247.23/247.39 c 247.23/247.39 c 247.23/247.39 c Core size: 73 Core Weight: 1 Total Weight: -367 247.23/247.39 c 247.23/247.39 c 247.23/247.39 c ============================[ Search Statistics ]============================== 247.23/247.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 247.23/247.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 247.23/247.39 c =============================================================================== 247.23/247.39 c | 0 | 3715 76953 107724 | 25651 0 nan | 0.000 % | 247.43/247.51 c | 101 | 3715 76953 107724 | 28216 101 25 | 91.018 % | 247.53/247.61 c | 252 | 3699 76953 107724 | 31037 252 19 | 91.393 % | 247.53/247.63 c =============================================================================== 247.62/247.75 c core #634 247.62/247.75 c 247.62/247.75 c 247.62/247.75 c Core size: 72 Core Weight: 1 Total Weight: -366 247.62/247.75 c 247.62/247.75 c 247.62/247.75 c ============================[ Search Statistics ]============================== 247.62/247.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 247.62/247.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 247.62/247.75 c =============================================================================== 247.62/247.75 c | 0 | 3761 76954 107816 | 25651 0 nan | 0.000 % | 247.72/247.86 c | 101 | 3760 76954 107816 | 28216 101 13 | 90.920 % | 247.82/247.99 c | 254 | 3760 76954 107816 | 31038 254 18 | 90.920 % | 248.12/248.22 c | 482 | 3760 76954 107816 | 34141 482 19 | 90.920 % | 248.44/248.51 c | 820 | 3760 76954 107816 | 37556 820 21 | 90.920 % | 248.73/248.82 c | 1326 | 3760 76954 107816 | 41311 1324 20 | 90.920 % | 249.42/249.52 c =============================================================================== 249.53/249.66 c core #635 249.53/249.66 c 249.53/249.66 c 249.53/249.66 c Core size: 74 Core Weight: 1 Total Weight: -365 249.53/249.66 c 249.53/249.66 c 249.53/249.66 c ============================[ Search Statistics ]============================== 249.53/249.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 249.53/249.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 249.53/249.67 c =============================================================================== 249.53/249.67 c | 0 | 3824 76955 107942 | 25651 0 nan | 0.000 % | 249.72/249.81 c | 102 | 3824 76955 107942 | 28216 102 31 | 90.779 % | 249.82/249.92 c | 252 | 3824 76955 107942 | 31038 252 23 | 90.779 % | 249.82/249.99 c | 478 | 3823 76955 107942 | 34142 478 24 | 90.782 % | 249.92/250.05 c =============================================================================== 250.02/250.17 c core #636 250.02/250.17 c 250.02/250.17 c 250.02/250.17 c Core size: 91 Core Weight: 1 Total Weight: -364 250.02/250.17 c 250.02/250.17 c 250.02/250.17 c ============================[ Search Statistics ]============================== 250.02/250.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 250.02/250.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 250.02/250.17 c =============================================================================== 250.02/250.17 c | 0 | 3880 76956 108054 | 25652 0 nan | 0.000 % | 250.22/250.30 c | 100 | 3880 76956 108054 | 28217 100 21 | 90.657 % | 250.42/250.50 c | 250 | 3880 76956 108054 | 31038 250 13 | 90.657 % | 250.52/250.64 c =============================================================================== 250.63/250.76 c core #637 250.63/250.76 c 250.63/250.76 c 250.63/250.76 c Core size: 71 Core Weight: 1 Total Weight: -363 250.63/250.76 c 250.63/250.76 c 250.63/250.76 c ============================[ Search Statistics ]============================== 250.63/250.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 250.63/250.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 250.63/250.76 c =============================================================================== 250.63/250.76 c | 0 | 3944 76957 108182 | 25652 0 nan | 0.000 % | 250.82/250.95 c | 100 | 3944 76957 108182 | 28217 100 27 | 90.517 % | 250.93/251.06 c | 252 | 3944 76957 108182 | 31039 252 23 | 90.517 % | 251.22/251.36 c | 478 | 3944 76957 108182 | 34143 478 24 | 90.517 % | 251.73/251.81 c | 815 | 3944 76957 108182 | 37557 815 23 | 90.517 % | 252.02/252.15 c =============================================================================== 252.12/252.27 c core #638 252.12/252.27 c 252.12/252.27 c 252.12/252.27 c Core size: 70 Core Weight: 1 Total Weight: -362 252.12/252.27 c 252.12/252.27 c 252.12/252.27 c ============================[ Search Statistics ]============================== 252.12/252.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 252.12/252.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 252.12/252.27 c =============================================================================== 252.12/252.27 c | 0 | 4012 76958 108318 | 25652 0 nan | 0.000 % | 252.32/252.41 c | 101 | 4012 76958 108318 | 28217 101 19 | 90.369 % | 252.42/252.53 c | 251 | 4012 76958 108318 | 31039 251 23 | 90.369 % | 252.62/252.73 c | 476 | 4012 76958 108318 | 34143 476 23 | 90.369 % | 252.93/253.09 c | 813 | 4009 76958 108318 | 37558 809 24 | 90.377 % | 253.83/253.90 c | 1320 | 4004 76958 108318 | 41313 1296 28 | 90.389 % | 254.23/254.38 c =============================================================================== 254.43/254.51 c core #639 254.43/254.51 c 254.43/254.51 c 254.43/254.51 c Core size: 99 Core Weight: 1 Total Weight: -361 254.43/254.51 c 254.43/254.51 c 254.43/254.51 c ============================[ Search Statistics ]============================== 254.43/254.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 254.43/254.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 254.43/254.51 c =============================================================================== 254.43/254.51 c | 0 | 4094 76959 108482 | 25653 0 nan | 0.000 % | 254.52/254.63 c | 101 | 4094 76959 108482 | 28218 101 10 | 90.192 % | 254.62/254.72 c | 251 | 4094 76959 108482 | 31040 251 9 | 90.192 % | 254.72/254.87 c | 476 | 4094 76959 108482 | 34144 476 11 | 90.192 % | 255.32/255.40 c | 815 | 4094 76959 108482 | 37558 815 14 | 90.192 % | 255.62/255.76 c | 1322 | 4094 76959 108482 | 41314 1322 17 | 90.192 % | 256.62/256.71 c | 2081 | 4094 76959 108482 | 45445 2081 19 | 90.192 % | 257.72/257.84 c =============================================================================== 257.82/257.99 c core #640 257.82/257.99 c 257.82/257.99 c 257.82/257.99 c Core size: 136 Core Weight: 1 Total Weight: -360 257.82/257.99 c 257.82/257.99 c 257.82/257.99 c ============================[ Search Statistics ]============================== 257.82/257.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 257.82/257.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 257.82/257.99 c =============================================================================== 257.82/257.99 c | 0 | 4209 76960 108712 | 25653 0 nan | 0.000 % | 258.02/258.13 c | 101 | 4209 76960 108712 | 28218 101 15 | 89.944 % | 258.13/258.25 c | 252 | 4207 76960 108712 | 31040 252 10 | 89.949 % | 258.13/258.27 c =============================================================================== 258.33/258.40 c core #641 258.33/258.40 c 258.33/258.40 c 258.33/258.40 c Core size: 44 Core Weight: 1 Total Weight: -359 258.33/258.40 c 258.33/258.40 c 258.33/258.40 c ============================[ Search Statistics ]============================== 258.33/258.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 258.33/258.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 258.33/258.40 c =============================================================================== 258.33/258.40 c | 0 | 4247 76961 108788 | 25653 0 nan | 0.000 % | 258.33/258.47 c | 101 | 4247 76961 108788 | 28219 101 26 | 89.863 % | 258.43/258.56 c | 251 | 4247 76961 108788 | 31040 251 24 | 89.863 % | 258.53/258.68 c | 476 | 4247 76961 108788 | 34145 476 36 | 89.863 % | 258.72/258.84 c | 815 | 4247 76961 108788 | 37559 815 41 | 89.863 % | 259.12/259.27 c | 1321 | 4247 76961 108788 | 41315 1321 46 | 89.863 % | 259.92/260.01 c | 2081 | 4247 76961 108788 | 45447 2081 52 | 89.863 % | 261.13/261.28 c | 3220 | 4247 76961 108788 | 49991 3220 55 | 89.863 % | 263.22/263.31 c | 4930 | 4247 76961 108788 | 54990 4930 59 | 89.863 % | 266.93/267.00 c | 7494 | 4247 76961 108788 | 60490 7494 61 | 89.863 % | 273.62/273.78 c | 11338 | 4247 76961 108788 | 66539 11338 62 | 89.863 % | 282.52/282.66 c | 17108 | 4245 76961 108788 | 73192 16671 56 | 89.867 % | 283.02/283.15 c =============================================================================== 283.42/283.52 c core #642 283.42/283.52 c 283.42/283.52 c 283.42/283.52 c Core size: 134 Core Weight: 1 Total Weight: -358 283.42/283.52 c 283.42/283.52 c 283.42/283.52 c ============================[ Search Statistics ]============================== 283.42/283.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 283.42/283.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 283.42/283.52 c =============================================================================== 283.42/283.52 c | 0 | 4376 76962 109046 | 25654 0 nan | 0.000 % | 283.52/283.65 c | 100 | 4376 76962 109046 | 28219 100 15 | 89.587 % | 283.52/283.69 c | 251 | 4376 76962 109046 | 31041 251 19 | 89.587 % | 283.72/283.84 c | 477 | 4376 76962 109046 | 34145 477 21 | 89.587 % | 283.91/284.00 c | 816 | 4376 76962 109046 | 37560 816 25 | 89.587 % | 284.41/284.59 c | 1324 | 4376 76962 109046 | 41316 1324 27 | 89.587 % | 285.22/285.30 c | 2084 | 4376 76962 109046 | 45447 2084 42 | 89.587 % | 286.31/286.45 c | 3226 | 4376 76962 109046 | 49992 3226 50 | 89.587 % | 288.72/288.87 c | 4935 | 4376 76962 109046 | 54991 4935 54 | 89.587 % | 292.52/292.61 c | 7497 | 4376 76962 109046 | 60490 7497 51 | 89.587 % | 294.62/294.78 c =============================================================================== 294.81/294.96 c core #643 294.81/294.96 c 294.81/294.96 c 294.81/294.96 c Core size: 168 Core Weight: 1 Total Weight: -357 294.81/294.96 c 294.81/294.96 c 294.81/294.96 c ============================[ Search Statistics ]============================== 294.81/294.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 294.81/294.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 294.81/294.96 c =============================================================================== 294.81/294.96 c | 0 | 4511 76963 109316 | 25654 0 nan | 0.000 % | 295.02/295.12 c | 101 | 4511 76963 109316 | 28219 101 21 | 89.300 % | 295.12/295.23 c | 252 | 4511 76963 109316 | 31041 252 15 | 89.300 % | 295.32/295.40 c | 477 | 4511 76963 109316 | 34145 477 15 | 89.300 % | 295.52/295.67 c | 814 | 4511 76963 109316 | 37560 814 18 | 89.300 % | 296.21/296.32 c | 1321 | 4511 76963 109316 | 41316 1321 19 | 89.300 % | 297.11/297.24 c | 2081 | 4511 76963 109316 | 45448 2081 19 | 89.300 % | 298.52/298.62 c | 3221 | 4511 76963 109316 | 49993 3221 20 | 89.300 % | 299.02/299.10 c =============================================================================== 299.12/299.26 c core #644 299.12/299.26 c 299.12/299.26 c 299.12/299.26 c Core size: 121 Core Weight: 1 Total Weight: -356 299.12/299.26 c 299.12/299.26 c 299.12/299.26 c ============================[ Search Statistics ]============================== 299.12/299.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 299.12/299.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 299.12/299.26 c =============================================================================== 299.12/299.26 c | 0 | 4609 76964 109512 | 25654 0 nan | 0.000 % | 299.21/299.38 c | 100 | 4609 76964 109512 | 28220 100 17 | 89.093 % | 299.41/299.51 c | 252 | 4609 76964 109512 | 31042 252 15 | 89.093 % | 299.51/299.68 c | 478 | 4609 76964 109512 | 34146 478 17 | 89.093 % | 299.81/299.97 c | 816 | 4609 76964 109512 | 37560 816 17 | 89.093 % | 300.31/300.42 c | 1323 | 4609 76964 109512 | 41317 1323 16 | 89.093 % | 301.32/301.42 c | 2083 | 4609 76964 109512 | 45448 2083 16 | 89.093 % | 301.61/301.72 c =============================================================================== 301.71/301.86 c core #645 301.71/301.86 c 301.71/301.86 c 301.71/301.86 c Core size: 115 Core Weight: 1 Total Weight: -355 301.71/301.86 c 301.71/301.86 c 301.71/301.86 c ============================[ Search Statistics ]============================== 301.71/301.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 301.71/301.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 301.71/301.86 c =============================================================================== 301.71/301.86 c | 0 | 4703 76965 109700 | 25655 0 nan | 0.000 % | 301.81/301.97 c | 101 | 4703 76965 109700 | 28220 101 59 | 88.895 % | 301.91/302.03 c | 253 | 4703 76965 109700 | 31042 253 36 | 88.895 % | 301.91/302.09 c | 478 | 4703 76965 109700 | 34146 478 41 | 88.895 % | 302.32/302.43 c | 815 | 4703 76965 109700 | 37561 815 48 | 88.895 % | 302.71/302.83 c | 1321 | 4703 76965 109700 | 41317 1321 57 | 88.895 % | 303.41/303.52 c | 2083 | 4703 76965 109700 | 45449 2083 67 | 88.895 % | 304.21/304.39 c | 3224 | 4703 76965 109700 | 49994 3224 82 | 88.895 % | 306.61/306.78 c | 4935 | 4703 76965 109700 | 54993 4935 91 | 88.895 % | 309.71/309.86 c | 7499 | 4703 76965 109700 | 60493 7499 92 | 88.895 % | 314.71/314.83 c | 11345 | 4703 76965 109700 | 66542 11345 91 | 88.895 % | 323.01/323.12 c | 17112 | 4703 76965 109700 | 73196 17112 85 | 88.895 % | 335.41/335.55 c | 25765 | 4703 76965 109700 | 80516 25765 75 | 88.895 % | 361.10/361.28 c | 38748 | 4703 76965 109700 | 88568 38748 70 | 88.895 % | 384.90/385.01 c =============================================================================== 385.69/385.80 c core #646 385.69/385.80 c 385.69/385.80 c 385.69/385.80 c Core size: 136 Core Weight: 1 Total Weight: -354 385.69/385.80 c 385.69/385.80 c 385.69/385.80 c ============================[ Search Statistics ]============================== 385.69/385.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 385.69/385.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 385.69/385.80 c =============================================================================== 385.69/385.80 c | 0 | 4822 76966 109938 | 25655 0 nan | 0.000 % | 385.79/385.93 c | 101 | 4822 76966 109938 | 28220 101 19 | 88.646 % | 385.90/386.01 c | 252 | 4822 76966 109938 | 31042 252 18 | 88.646 % | 385.99/386.17 c | 478 | 4822 76966 109938 | 34147 478 22 | 88.646 % | 386.19/386.34 c | 816 | 4822 76966 109938 | 37561 816 21 | 88.646 % | 386.59/386.79 c | 1329 | 4822 76966 109938 | 41318 1329 21 | 88.646 % | 387.29/387.40 c | 2089 | 4822 76966 109938 | 45449 2089 22 | 88.646 % | 388.49/388.69 c | 3228 | 4822 76966 109938 | 49994 3228 23 | 88.646 % | 390.79/390.95 c | 4936 | 4822 76966 109938 | 54994 4936 25 | 88.646 % | 394.39/394.56 c | 7499 | 4822 76966 109938 | 60493 7499 27 | 88.646 % | 395.08/395.26 c =============================================================================== 395.28/395.45 c core #647 395.28/395.45 c 395.28/395.45 c 395.28/395.45 c Core size: 163 Core Weight: 1 Total Weight: -353 395.28/395.45 c 395.28/395.45 c 395.28/395.45 c ============================[ Search Statistics ]============================== 395.28/395.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 395.28/395.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 395.28/395.45 c =============================================================================== 395.28/395.45 c | 0 | 4952 76967 110198 | 25655 0 nan | 0.000 % | 395.38/395.56 c | 100 | 4952 76967 110198 | 28221 100 36 | 88.375 % | 395.49/395.61 c | 250 | 4952 76967 110198 | 31043 250 23 | 88.375 % | 395.59/395.70 c | 475 | 4952 76967 110198 | 34147 475 17 | 88.375 % | 395.59/395.79 c | 812 | 4952 76967 110198 | 37562 812 17 | 88.375 % | 395.98/396.17 c | 1320 | 4952 76967 110198 | 41318 1320 18 | 88.375 % | 396.49/396.68 c | 2079 | 4952 76967 110198 | 45450 2079 21 | 88.375 % | 397.68/397.88 c | 3218 | 4952 76967 110198 | 49995 3218 24 | 88.375 % | 399.69/399.88 c | 4926 | 4952 76967 110198 | 54995 4926 27 | 88.375 % | 403.49/403.66 c | 7488 | 4952 76967 110198 | 60494 7488 30 | 88.375 % | 410.69/410.84 c | 11333 | 4952 76967 110198 | 66544 11333 32 | 88.375 % | 420.48/420.63 c =============================================================================== 420.88/421.04 c core #648 420.88/421.04 c 420.88/421.04 c 420.88/421.04 c Core size: 182 Core Weight: 1 Total Weight: -352 420.88/421.04 c 420.88/421.04 c 420.88/421.04 c ============================[ Search Statistics ]============================== 420.88/421.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 420.88/421.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 420.88/421.04 c =============================================================================== 420.88/421.04 c | 0 | 5096 76968 110486 | 25656 0 nan | 0.000 % | 420.98/421.19 c | 101 | 5096 76968 110486 | 28221 101 25 | 88.078 % | 421.08/421.23 c | 253 | 5096 76968 110486 | 31043 253 24 | 88.078 % | 421.18/421.31 c | 478 | 5096 76968 110486 | 34148 478 21 | 88.078 % | 421.38/421.51 c | 818 | 5096 76968 110486 | 37562 818 34 | 88.078 % | 421.78/421.94 c | 1325 | 5096 76968 110486 | 41319 1325 37 | 88.078 % | 422.48/422.63 c | 2085 | 5096 76968 110486 | 45451 2085 47 | 88.078 % | 423.68/423.89 c | 3228 | 5096 76968 110486 | 49996 3228 57 | 88.078 % | 425.68/425.80 c | 4939 | 5096 76968 110486 | 54995 4939 63 | 88.078 % | 429.18/429.36 c | 7501 | 5096 76968 110486 | 60495 7501 69 | 88.078 % | 435.49/435.63 c | 11345 | 5096 76968 110486 | 66545 11345 74 | 88.078 % | 444.07/444.28 c | 17113 | 5096 76968 110486 | 73199 17113 73 | 88.078 % | 462.37/462.54 c | 25762 | 5096 76968 110486 | 80519 25762 75 | 88.078 % | 503.36/503.58 c | 38736 | 5096 76968 110486 | 88571 38736 81 | 88.078 % | 593.14/593.33 c | 58197 | 5096 76968 110486 | 97428 58197 86 | 88.078 % | 700.79/701.00 c | 87390 | 5095 76968 110486 | 107171 87389 86 | 88.080 % | 882.44/882.73 c | 131181 | 5095 76968 110486 | 117888 131180 84 | 88.080 % | 1035.60/1035.94 c =============================================================================== 1039.40/1039.70 c core #649 1039.40/1039.70 c 1039.40/1039.70 c 1039.40/1039.70 c Core size: 145 Core Weight: 1 Total Weight: -351 1039.40/1039.70 c 1039.40/1039.70 c 1039.40/1039.70 c ============================[ Search Statistics ]============================== 1039.40/1039.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1039.40/1039.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1039.40/1039.70 c =============================================================================== 1039.40/1039.70 c | 0 | 5217 76969 110728 | 25656 0 nan | 0.000 % | 1039.50/1039.82 c | 100 | 5217 76969 110728 | 28221 100 29 | 87.829 % | 1039.50/1039.86 c | 250 | 5217 76969 110728 | 31044 250 27 | 87.829 % | 1039.70/1040.00 c | 477 | 5217 76969 110728 | 34148 477 27 | 87.829 % | 1039.80/1040.17 c | 814 | 5217 76969 110728 | 37563 814 35 | 87.829 % | 1040.10/1040.49 c | 1321 | 5217 76969 110728 | 41319 1321 42 | 87.829 % | 1040.60/1040.92 c | 2080 | 5217 76969 110728 | 45451 2080 54 | 87.829 % | 1041.50/1041.83 c | 3219 | 5217 76969 110728 | 49996 3219 62 | 87.829 % | 1043.10/1043.45 c | 4929 | 5217 76969 110728 | 54996 4929 70 | 87.829 % | 1045.90/1046.22 c | 7496 | 5217 76969 110728 | 60496 7496 77 | 87.829 % | 1050.60/1050.95 c | 11340 | 5217 76969 110728 | 66545 11340 80 | 87.829 % | 1058.50/1058.86 c | 17110 | 5217 76969 110728 | 73200 17110 84 | 87.829 % | 1076.89/1077.29 c | 25761 | 5217 76969 110728 | 80520 25761 90 | 87.829 % | 1105.48/1105.89 c | 38736 | 5217 76969 110728 | 88572 38736 91 | 87.829 % | 1155.57/1155.99 c | 58197 | 5217 76969 110728 | 97429 58197 89 | 87.829 % | 1256.64/1257.04 c | 87391 | 5217 76969 110728 | 107172 87391 93 | 87.829 % | 1488.78/1489.20 c | 131181 | 5217 76969 110728 | 117890 131181 97 | 87.829 % | 1792.00/1792.54 c | 196866 | 5217 76969 110728 | 129679 59009 97 | 87.829 % |
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-2702471-1278568224/watcher-2702471-1278568224 -o /tmp/evaluation-result-2702471-1278568224/solver-2702471-1278568224 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702471-1278568224.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.07 1.00 3/105 28236 /proc/meminfo: memFree=1666728/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=6336 CPUtime=0 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 417 0 0 0 0 0 0 0 22 0 1 0 25031046 6488064 335 1992294400 134512640 135752675 4289221280 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 1584 335 137 303 0 471 0 [startup+0.0822229 s] /proc/loadavg: 1.07 1.07 1.00 3/105 28236 /proc/meminfo: memFree=1666728/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=12184 CPUtime=0.07 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 1792 0 0 0 7 0 0 0 24 0 1 0 25031046 12476416 1711 1992294400 134512640 135752675 4289221280 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 3046 1720 216 303 0 1933 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12184 [startup+0.101224 s] /proc/loadavg: 1.07 1.07 1.00 3/105 28236 /proc/meminfo: memFree=1666728/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=13156 CPUtime=0.09 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 1974 0 0 0 8 1 0 0 24 0 1 0 25031046 13471744 1892 1992294400 134512640 135752675 4289221280 18446744073709551615 134564751 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 3289 1893 236 303 0 2176 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13156 [startup+0.301246 s] /proc/loadavg: 1.07 1.07 1.00 3/105 28236 /proc/meminfo: memFree=1666728/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=16424 CPUtime=0.29 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 3205 0 0 0 28 1 0 0 25 0 1 0 25031046 16818176 3090 1992294400 134512640 135752675 4289221280 18446744073709551615 134559911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 4106 3090 532 303 0 2993 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16424 [startup+0.701293 s] /proc/loadavg: 1.07 1.07 1.00 3/105 28236 /proc/meminfo: memFree=1666728/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=22212 CPUtime=0.69 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 6582 0 0 0 67 2 0 0 18 0 1 0 25031046 22745088 4909 1992294400 134512640 135752675 4289221280 18446744073709551615 134599103 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 5553 4909 143 303 0 5248 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22212 [startup+1.50138 s] /proc/loadavg: 1.07 1.07 1.00 2/106 28237 /proc/meminfo: memFree=1647128/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=24324 CPUtime=1.49 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 7110 0 0 0 145 4 0 0 18 0 1 0 25031046 24907776 5437 1992294400 134512640 135752675 4289221280 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 6081 5437 145 303 0 5776 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24324 [startup+3.10156 s] /proc/loadavg: 1.07 1.07 1.00 2/106 28237 /proc/meminfo: memFree=1640804/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=35556 CPUtime=3.09 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 9906 0 0 0 303 6 0 0 18 0 1 0 25031046 36409344 8233 1992294400 134512640 135752675 4289221280 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 8889 8233 145 303 0 8584 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35556 [startup+6.30193 s] /proc/loadavg: 1.06 1.07 1.00 2/106 28237 /proc/meminfo: memFree=1623320/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=50244 CPUtime=6.29 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 13580 0 0 0 619 10 0 0 25 0 1 0 25031046 51449856 11907 1992294400 134512640 135752675 4289221280 18446744073709551615 134638107 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 12561 11907 145 303 0 12256 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50244 [startup+12.7017 s] /proc/loadavg: 1.06 1.06 1.00 2/106 28237 /proc/meminfo: memFree=1600628/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=71580 CPUtime=12.69 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 18904 0 0 0 1255 14 0 0 25 0 1 0 25031046 73297920 17231 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 17895 17231 145 303 0 17590 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71580 [startup+25.5011 s] /proc/loadavg: 1.04 1.06 1.00 2/106 28237 /proc/meminfo: memFree=1570124/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=100032 CPUtime=25.48 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 26002 0 0 0 2527 21 0 0 25 0 1 0 25031046 102432768 24329 1992294400 134512640 135752675 4289221280 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 25008 24329 145 303 0 24703 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 100032 [startup+51.101 s] /proc/loadavg: 1.03 1.05 1.00 2/106 28237 /proc/meminfo: memFree=1542348/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=127992 CPUtime=51.08 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 32960 0 0 0 5078 30 0 0 25 0 1 0 25031046 131063808 31287 1992294400 134512640 135752675 4289221280 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 31998 31287 145 303 0 31693 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 127992 [startup+102.308 s] /proc/loadavg: 1.01 1.04 1.00 2/106 28239 /proc/meminfo: memFree=1513952/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=155868 CPUtime=102.27 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 39921 0 0 0 10189 38 0 0 25 0 1 0 25031046 159608832 38248 1992294400 134512640 135752675 4289221280 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 38967 38248 145 303 0 38662 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 155868 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/106 28241 /proc/meminfo: memFree=1459020/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=211384 CPUtime=162.24 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 53758 0 0 0 16171 53 0 0 25 0 1 0 25031046 216457216 52085 1992294400 134512640 135752675 4289221280 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 52846 52085 145 303 0 52541 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 211384 [startup+222.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 28243 /proc/meminfo: memFree=1441164/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=222.23 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59420 0 0 0 22162 61 0 0 18 0 1 0 25031046 232620032 56194 1992294400 134512640 135752675 4289221280 18446744073709551615 135204801 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56194 146 303 0 56487 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 227168 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 28243 /proc/meminfo: memFree=1440916/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=282.22 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59423 0 0 0 28143 79 0 0 25 0 1 0 25031046 232620032 56197 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56197 146 303 0 56487 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 227168 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 28245 /proc/meminfo: memFree=1440792/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=342.2 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59424 0 0 0 34122 98 0 0 25 0 1 0 25031046 232620032 56198 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56198 146 303 0 56487 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 227168 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 28247 /proc/meminfo: memFree=1440792/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=402.18 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59428 0 0 0 40106 112 0 0 25 0 1 0 25031046 232620032 56202 1992294400 134512640 135752675 4289221280 18446744073709551615 134612027 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56202 146 303 0 56487 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 227168 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28249 /proc/meminfo: memFree=1440792/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=462.17 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59428 0 0 0 46089 128 0 0 25 0 1 0 25031046 232620032 56202 1992294400 134512640 135752675 4289221280 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56202 146 303 0 56487 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 227168 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28251 /proc/meminfo: memFree=1440792/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=522.15 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59431 0 0 0 52080 135 0 0 25 0 1 0 25031046 232620032 56205 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56205 146 303 0 56487 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 227168 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28251 /proc/meminfo: memFree=1440668/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=582.14 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59434 0 0 0 58072 142 0 0 25 0 1 0 25031046 232620032 56208 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56208 146 303 0 56487 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 227168 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28262 /proc/meminfo: memFree=1440296/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=642.12 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59434 0 0 0 64063 149 0 0 25 0 1 0 25031046 232620032 56208 1992294400 134512640 135752675 4289221280 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56208 146 303 0 56487 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 227168 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28268 /proc/meminfo: memFree=1440296/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=882.04 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59455 0 0 0 88025 179 0 0 25 0 1 0 25031046 232620032 56229 1992294400 134512640 135752675 4289221280 18446744073709551615 134611639 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56229 146 303 0 56487 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 227168 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28270 /proc/meminfo: memFree=1440296/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=942.03 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59471 0 0 0 94017 186 0 0 25 0 1 0 25031046 232620032 56245 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56245 146 303 0 56487 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 227168 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28272 /proc/meminfo: memFree=1440296/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1002.01 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59473 0 0 0 100010 191 0 0 25 0 1 0 25031046 232620032 56247 1992294400 134512640 135752675 4289221280 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56247 146 303 0 56487 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 227168 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28274 /proc/meminfo: memFree=1440296/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1061.99 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59491 0 0 0 105995 204 0 0 25 0 1 0 25031046 232620032 56265 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56265 146 303 0 56487 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 227168 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28276 /proc/meminfo: memFree=1440172/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1121.98 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59491 0 0 0 111981 217 0 0 25 0 1 0 25031046 232620032 56265 1992294400 134512640 135752675 4289221280 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56265 146 303 0 56487 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 227168 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28276 /proc/meminfo: memFree=1440048/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1181.97 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59493 0 0 0 117970 227 0 0 25 0 1 0 25031046 232620032 56267 1992294400 134512640 135752675 4289221280 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56267 146 303 0 56487 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 227168 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28278 /proc/meminfo: memFree=1439800/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1241.94 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59493 0 0 0 123959 235 0 0 25 0 1 0 25031046 232620032 56267 1992294400 134512640 135752675 4289221280 18446744073709551615 134616136 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56267 146 303 0 56487 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 227168 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28280 /proc/meminfo: memFree=1439676/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1301.94 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59496 0 0 0 129952 242 0 0 25 0 1 0 25031046 232620032 56270 1992294400 134512640 135752675 4289221280 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56270 146 303 0 56487 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 227168 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28282 /proc/meminfo: memFree=1439800/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1361.91 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59513 0 0 0 135944 247 0 0 25 0 1 0 25031046 232620032 56287 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56287 146 303 0 56487 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 227168 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28284 /proc/meminfo: memFree=1439800/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1421.91 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59515 0 0 0 141937 254 0 0 25 0 1 0 25031046 232620032 56289 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56289 146 303 0 56487 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 227168 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28284 /proc/meminfo: memFree=1439800/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1481.88 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59519 0 0 0 147929 259 0 0 25 0 1 0 25031046 232620032 56293 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56293 146 303 0 56487 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 227168 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28286 /proc/meminfo: memFree=1439800/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=227168 CPUtime=1541.86 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 59522 0 0 0 153922 264 0 0 25 0 1 0 25031046 232620032 56296 1992294400 134512640 135752675 4289221280 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 56792 56296 146 303 0 56487 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 227168 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28288 /proc/meminfo: memFree=1436204/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=231800 CPUtime=1601.85 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 60564 0 0 0 159916 269 0 0 25 0 1 0 25031046 237363200 57338 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 57950 57338 146 303 0 57645 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 231800 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28290 /proc/meminfo: memFree=1430748/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=237232 CPUtime=1661.84 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 61885 0 0 0 165907 277 0 0 25 0 1 0 25031046 242925568 58659 1992294400 134512640 135752675 4289221280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 59308 58659 146 303 0 59003 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 237232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28292 /proc/meminfo: memFree=1419340/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=248820 CPUtime=1721.82 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 64773 0 0 0 171894 288 0 0 25 0 1 0 25031046 254791680 61547 1992294400 134512640 135752675 4289221280 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 62205 61547 146 303 0 61900 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 248820 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28295 /proc/meminfo: memFree=1407932/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=259608 CPUtime=1781.81 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 67425 0 0 0 177880 301 0 0 25 0 1 0 25031046 265838592 64199 1992294400 134512640 135752675 4289221280 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 64902 64199 146 303 0 64597 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 259608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28297 /proc/meminfo: memFree=1405328/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=262264 CPUtime=1800.01 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 68094 0 0 0 179697 304 0 0 25 0 1 0 25031046 268558336 64868 1992294400 134512640 135752675 4289221280 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 65566 64868 146 303 0 65261 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 262264 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28297 /proc/meminfo: memFree=1405328/2059040 swapFree=4139760/4192956 [pid=28236] ppid=28234 vsize=262264 CPUtime=1800.01 /proc/28236/stat : 28236 (wbo1.4b) R 28234 28236 27605 0 -1 4202496 68094 0 0 0 179697 304 0 0 25 0 1 0 25031046 268558336 64868 1992294400 134512640 135752675 4289221280 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28236/statm: 65566 64868 146 303 0 65261 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 262264 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.04 CPU user time (s): 1796.97 CPU system time (s): 3.06953 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 262264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.97 system time used= 3.06953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68094 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= 104 involuntary context switches= 3511 runsolver used 2.94855 second user time and 8.59569 second system time The end
Begin job on node085 at 2010-07-08 07:50:24 IDJOB=2702471 IDBENCH=48170 IDSOLVER=1190 FILE ID=node085/2702471-1278568224 PBS_JOBID= 11239583 Free space on /tmp= 121804 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702471-1278568224/watcher-2702471-1278568224 -o /tmp/evaluation-result-2702471-1278568224/solver-2702471-1278568224 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702471-1278568224.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 18e694be8bacc67580164c28dde5ca1c RANDOM SEED=1934691028 node085.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.215 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.43 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.215 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.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1670108 kB Buffers: 71500 kB Cached: 217084 kB SwapCached: 7548 kB Active: 126512 kB Inactive: 176464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1670108 kB SwapTotal: 4192956 kB SwapFree: 4139760 kB Dirty: 3604 kB Writeback: 0 kB AnonPages: 11704 kB Mapped: 12068 kB Slab: 64072 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181108 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702471-1278568224.opb Free space on /tmp at the end= 121800 MiB End job on node085 at 2010-07-08 08:20:28