Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.13 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_5.opb |
MD5SUM | 54b0d54e7a8a81cee8fd7c7c85a68b83 |
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 | -123 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -124 |
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 | 25 |
Maximum length of a constraint | 50 |
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) | 31590 |
Sum of products size (including duplicates) | 63180 |
Number of different products | 15795 |
Sum of products size | 31590 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702523-1278569205.opb. 0.00/0.00 c Instance file HOME/instance-2702523-1278569205.opb 0.00/0.00 c File size is 1376375 bytes. 0.20/0.23 c Highest Coefficient sum: 50 0.20/0.23 c ============================[ Problem Statistics ]============================= 0.20/0.23 c | | 0.20/0.23 c | Parsing time: 0.22 s | 0.20/0.23 c | Number Variables: 16795 | 0.20/0.23 c | Number Clauses: 15795 | 0.20/0.23 c | Number Cardinality: 2000 | 0.20/0.23 c | Number PB Constraints: 15795 | 0.20/0.29 c ============================[ Search Statistics ]============================== 0.20/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.20/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.20/0.29 c =============================================================================== 0.20/0.29 c | 0 | 1000 33590 77600 | 11196 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 0 0.29/0.30 o 0 0.29/0.30 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1000 33591 78600 | 11197 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -1 0.29/0.30 o -1 0.29/0.30 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1000 33592 79600 | 11197 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -2 0.29/0.31 o -2 0.29/0.31 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1000 33593 80600 | 11197 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: -3 0.29/0.32 o -3 0.29/0.32 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1000 33594 81600 | 11198 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -4 0.29/0.33 o -4 0.29/0.33 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1000 33595 82600 | 11198 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -5 0.29/0.34 o -5 0.29/0.34 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1000 33596 83600 | 11198 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -6 0.29/0.34 o -6 0.29/0.34 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 1 | 1000 33597 84600 | 11199 1 995 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -7 0.29/0.35 o -7 0.29/0.35 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 1 | 1000 33598 85600 | 11199 1 995 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -8 0.29/0.36 o -8 0.29/0.36 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 1 | 1000 33599 86600 | 11199 1 995 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -9 0.29/0.37 o -9 0.29/0.37 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 3 | 1000 33600 87600 | 11200 3 993 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: -10 0.29/0.38 o -10 0.29/0.38 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 3 | 1000 33601 88600 | 11200 3 993 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: -11 0.29/0.39 o -11 0.29/0.39 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 6 | 1000 33602 89600 | 11200 6 992 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: -12 0.39/0.40 o -12 0.39/0.40 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 8 | 1000 33603 90600 | 11201 8 991 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: -13 0.39/0.41 o -13 0.39/0.41 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 23 | 1000 33604 91600 | 11201 23 990 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -14 0.39/0.43 o -14 0.39/0.43 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 41 | 1000 33605 92600 | 11201 41 990 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: -15 0.39/0.45 o -15 0.39/0.45 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 84 | 1000 33606 93600 | 11202 84 989 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -16 0.39/0.46 o -16 0.39/0.46 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 99 | 1000 33607 94600 | 11202 99 988 | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: -17 0.39/0.48 o -17 0.39/0.48 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 108 | 1000 33608 95600 | 11202 108 988 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: -18 0.39/0.49 o -18 0.39/0.49 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 117 | 1000 33609 96600 | 11203 117 988 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: -19 0.49/0.52 o -19 0.49/0.52 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 187 | 1000 33610 97600 | 11203 187 986 | 0.000 % | 0.49/0.55 c | 289 | 1000 33610 97600 | 12323 289 985 | 94.046 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: -20 0.49/0.57 o -20 0.49/0.57 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 308 | 1000 33611 98600 | 11203 308 985 | 94.046 % | 0.59/0.60 c | 408 | 1000 33611 98600 | 12324 408 984 | 94.046 % | 0.59/0.66 c | 559 | 1000 33611 98600 | 13556 559 984 | 94.046 % | 0.69/0.73 c | 784 | 1000 33611 98600 | 14912 784 983 | 94.046 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: -21 0.69/0.78 o -21 0.69/0.78 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 898 | 1000 33612 99600 | 11204 898 983 | 94.046 % | 0.79/0.82 c | 998 | 1000 33612 99600 | 12324 998 983 | 94.046 % | 0.79/0.87 c | 1148 | 1000 33612 99600 | 13556 1148 982 | 94.046 % | 0.89/0.95 c | 1374 | 1000 33612 99600 | 14912 1374 982 | 94.046 % | 1.00/1.00 c =============================================================================== 1.00/1.00 c New solution: -22 1.00/1.00 o -22 1.00/1.00 c Elapsed CPU time: 0.953854 s Remaining CPU time: 179.046 s 1.00/1.00 c =============================================================================== 1.00/1.00 c | 1490 | 1000 33613 100600 | 11204 1490 982 | 94.046 % | 1.00/1.04 c | 1590 | 1000 33613 100600 | 12324 1590 982 | 94.046 % | 1.00/1.09 c | 1741 | 1000 33613 100600 | 13557 1741 982 | 94.046 % | 1.10/1.16 c | 1968 | 1000 33613 100600 | 14912 1968 981 | 94.046 % | 1.19/1.29 c | 2306 | 1000 33613 100600 | 16404 2306 981 | 94.046 % | 1.39/1.46 c | 2813 | 1000 33613 100600 | 18044 2813 981 | 94.046 % | 1.69/1.72 c | 3573 | 1000 33613 100600 | 19849 3573 980 | 94.046 % | 2.10/2.13 c | 4712 | 1000 33613 100600 | 21834 4712 980 | 94.046 % | 2.20/2.22 c =============================================================================== 2.20/2.22 c New solution: -23 2.20/2.22 o -23 2.20/2.22 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s 2.20/2.22 c =============================================================================== 2.20/2.22 c | 4918 | 1000 33614 101600 | 11204 4918 980 | 94.046 % | 2.20/2.27 c | 5019 | 1000 33614 101600 | 12325 5019 980 | 94.046 % | 2.29/2.34 c | 5170 | 1000 33614 101600 | 13557 5170 980 | 94.046 % | 2.39/2.47 c | 5396 | 1000 33614 101600 | 14913 5396 980 | 94.046 % | 2.59/2.67 c | 5733 | 1000 33614 101600 | 16404 5733 980 | 94.046 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c New solution: -24 2.89/2.95 o -24 2.89/2.95 c Elapsed CPU time: 2.85157 s Remaining CPU time: 177.148 s 2.89/2.95 c =============================================================================== 2.89/2.95 c | 6166 | 1000 33615 102600 | 11205 6166 979 | 94.046 % | 2.99/3.03 c | 6266 | 1000 33615 102600 | 12325 6266 979 | 94.046 % | 2.99/3.07 c =============================================================================== 2.99/3.07 c New solution: -25 2.99/3.07 o -25 2.99/3.07 c Elapsed CPU time: 2.97455 s Remaining CPU time: 177.025 s 2.99/3.07 c =============================================================================== 2.99/3.07 c | 6308 | 1000 33616 103600 | 11205 6308 979 | 94.046 % | 3.09/3.15 c | 6409 | 1000 33616 103600 | 12325 6409 979 | 94.046 % | 3.20/3.24 c | 6559 | 1000 33616 103600 | 13558 6559 979 | 94.046 % | 3.29/3.37 c | 6786 | 1000 33616 103600 | 14914 6786 979 | 94.046 % | 3.49/3.57 c | 7124 | 1000 33616 103600 | 16405 7124 979 | 94.046 % | 3.79/3.86 c =============================================================================== 3.79/3.86 c New solution: -26 3.79/3.86 o -26 3.79/3.86 c Elapsed CPU time: 3.74243 s Remaining CPU time: 176.258 s 3.79/3.86 c =============================================================================== 3.79/3.86 c | 7585 | 1000 33617 104600 | 11205 7585 979 | 94.046 % | 3.89/3.92 c | 7685 | 1000 33617 104600 | 12326 7685 979 | 94.046 % | 3.99/4.02 c | 7837 | 1000 33617 104600 | 13558 7837 979 | 94.046 % | 4.09/4.18 c | 8062 | 1000 33617 104600 | 14914 8062 979 | 94.046 % | 4.30/4.39 c | 8399 | 1000 33617 104600 | 16406 8399 979 | 94.046 % | 4.69/4.79 c | 8905 | 1000 33617 104600 | 18046 8905 979 | 94.046 % | 5.19/5.24 c | 9664 | 1000 33617 104600 | 19851 9664 979 | 94.046 % | 5.99/6.02 c | 10804 | 1000 33617 104600 | 21836 10804 978 | 94.046 % | 6.29/6.38 c =============================================================================== 6.29/6.38 c New solution: -27 6.29/6.38 o -27 6.29/6.38 c Elapsed CPU time: 6.23705 s Remaining CPU time: 173.763 s 6.29/6.38 c =============================================================================== 6.29/6.38 c | 11278 | 1000 33618 105600 | 11206 11278 978 | 94.046 % | 6.39/6.45 c | 11379 | 1000 33618 105600 | 12326 11379 978 | 94.046 % | 6.50/6.57 c | 11529 | 1000 33618 105600 | 13559 11529 978 | 94.046 % | 6.69/6.74 c | 11754 | 1000 33618 105600 | 14915 11754 978 | 94.046 % | 6.99/7.02 c | 12092 | 1000 33618 105600 | 16406 12092 978 | 94.046 % | 7.19/7.20 c =============================================================================== 7.19/7.20 c New solution: -28 7.19/7.20 o -28 7.19/7.20 c Elapsed CPU time: 7.04593 s Remaining CPU time: 172.954 s 7.19/7.20 c =============================================================================== 7.19/7.20 c | 12316 | 1000 33619 106600 | 11206 12316 978 | 94.046 % | 7.19/7.29 c | 12416 | 1000 33619 106600 | 12326 12416 978 | 94.046 % | 7.39/7.40 c | 12566 | 1000 33619 106600 | 13559 12566 978 | 94.046 % | 7.48/7.55 c | 12793 | 1000 33619 106600 | 14915 12793 977 | 94.046 % | 7.60/7.70 c | 13130 | 1000 33619 106600 | 16407 13130 977 | 94.046 % | 7.99/8.04 c | 13636 | 1000 33619 106600 | 18047 13636 977 | 94.046 % | 8.19/8.25 c =============================================================================== 8.19/8.25 c New solution: -29 8.19/8.25 o -29 8.19/8.25 c Elapsed CPU time: 8.08377 s Remaining CPU time: 171.916 s 8.19/8.25 c =============================================================================== 8.19/8.25 c | 13896 | 1000 33620 107600 | 11206 13896 977 | 94.046 % | 8.29/8.32 c | 13996 | 1000 33620 107600 | 12327 13996 977 | 94.046 % | 8.39/8.47 c | 14147 | 1000 33620 107600 | 13560 14147 977 | 94.046 % | 8.59/8.61 c | 14373 | 1000 33620 107600 | 14916 14373 977 | 94.046 % | 8.70/8.78 c | 14711 | 1000 33620 107600 | 16407 14711 977 | 94.046 % | 8.99/9.04 c | 15218 | 1000 33620 107600 | 18048 15218 977 | 94.046 % | 9.29/9.37 c =============================================================================== 9.29/9.37 c New solution: -30 9.29/9.37 o -30 9.29/9.37 c Elapsed CPU time: 9.1876 s Remaining CPU time: 170.812 s 9.29/9.37 c =============================================================================== 9.29/9.37 c | 15866 | 1000 33621 108600 | 11207 15866 976 | 94.046 % | 9.39/9.43 c | 15968 | 1000 33621 108600 | 12327 15968 976 | 94.046 % | 9.49/9.50 c | 16119 | 1000 33621 108600 | 13560 16119 976 | 94.046 % | 9.59/9.66 c | 16344 | 1000 33621 108600 | 14916 16344 976 | 94.046 % | 9.69/9.71 c =============================================================================== 9.69/9.71 c New solution: -31 9.69/9.71 o -31 9.69/9.71 c Elapsed CPU time: 9.51855 s Remaining CPU time: 170.481 s 9.69/9.71 c =============================================================================== 9.69/9.71 c | 16389 | 1000 33622 109600 | 11207 16389 976 | 94.046 % | 9.69/9.78 c | 16489 | 1000 33622 109600 | 12328 16489 976 | 94.046 % | 9.79/9.89 c | 16640 | 1000 33622 109600 | 13560 16640 976 | 94.046 % | 9.99/10.02 c | 16865 | 1000 33622 109600 | 14916 16865 976 | 94.046 % | 10.19/10.20 c | 17203 | 1000 33622 109600 | 16408 17203 976 | 94.046 % | 10.38/10.48 c | 17709 | 1000 33622 109600 | 18049 17709 976 | 94.046 % | 10.49/10.50 c =============================================================================== 10.49/10.50 c New solution: -32 10.49/10.50 o -32 10.49/10.50 c Elapsed CPU time: 10.2914 s Remaining CPU time: 169.709 s 10.49/10.50 c =============================================================================== 10.49/10.50 c | 17718 | 1000 33623 110600 | 11207 17718 976 | 94.046 % | 10.49/10.58 c | 17818 | 1000 33623 110600 | 12328 17818 976 | 94.046 % | 10.59/10.67 c | 17969 | 1000 33623 110600 | 13561 17969 976 | 94.046 % | 10.69/10.78 c | 18195 | 1000 33623 110600 | 14917 18195 976 | 94.046 % | 10.90/10.94 c | 18532 | 1000 33623 110600 | 16409 18532 975 | 94.046 % | 11.18/11.25 c | 19039 | 1000 33623 110600 | 18050 19039 975 | 94.046 % | 11.58/11.68 c | 19799 | 1000 33623 110600 | 19855 19799 975 | 94.046 % | 11.89/11.98 c =============================================================================== 11.89/11.98 c New solution: -33 11.89/11.98 o -33 11.89/11.98 c Elapsed CPU time: 11.7442 s Remaining CPU time: 168.256 s 11.89/11.98 c =============================================================================== 11.89/11.98 c | 20314 | 1000 33624 111600 | 11208 20314 975 | 94.046 % | 12.00/12.04 c | 20416 | 1000 33624 111600 | 12328 20416 975 | 94.046 % | 12.09/12.11 c | 20566 | 1000 33624 111600 | 13561 20566 975 | 94.046 % | 12.19/12.22 c | 20791 | 1000 33624 111600 | 14917 20791 975 | 94.046 % | 12.39/12.40 c =============================================================================== 12.39/12.40 c New solution: -34 12.39/12.40 o -34 12.39/12.40 c Elapsed CPU time: 12.1612 s Remaining CPU time: 167.839 s 12.39/12.40 c =============================================================================== 12.39/12.40 c | 21056 | 1000 33625 112600 | 11208 21056 975 | 94.046 % | 12.39/12.48 c | 21157 | 1000 33625 112600 | 12329 21157 974 | 94.046 % | 12.49/12.53 c =============================================================================== 12.49/12.53 c New solution: -35 12.49/12.53 o -35 12.49/12.53 c Elapsed CPU time: 12.2811 s Remaining CPU time: 167.719 s 12.49/12.53 c =============================================================================== 12.49/12.53 c | 21237 | 1000 33626 113600 | 11208 21237 974 | 94.046 % | 12.58/12.61 c | 21338 | 1000 33626 113600 | 12329 21338 974 | 94.046 % | 12.68/12.74 c | 21489 | 1000 33626 113600 | 13562 21489 974 | 94.046 % | 12.79/12.86 c | 21715 | 1000 33626 113600 | 14918 21715 974 | 94.046 % | 12.89/12.93 c =============================================================================== 12.89/12.93 c New solution: -36 12.89/12.93 o -36 12.89/12.93 c Elapsed CPU time: 12.6811 s Remaining CPU time: 167.319 s 12.89/12.93 c =============================================================================== 12.89/12.93 c | 21807 | 1000 33627 114600 | 11209 21807 974 | 94.046 % | 12.89/12.99 c | 21908 | 1000 33627 114600 | 12329 21908 974 | 94.046 % | 12.99/13.01 c =============================================================================== 12.99/13.01 c New solution: -37 12.99/13.01 o -37 12.99/13.01 c Elapsed CPU time: 12.7581 s Remaining CPU time: 167.242 s 12.99/13.01 c =============================================================================== 12.99/13.01 c | 21913 | 1000 33628 115600 | 11209 21913 974 | 94.046 % | 12.99/13.07 c | 22013 | 1000 33628 115600 | 12330 22013 974 | 94.046 % | 13.20/13.22 c | 22164 | 1000 33628 115600 | 13563 22164 974 | 94.046 % | 13.29/13.37 c =============================================================================== 13.29/13.37 c New solution: -38 13.29/13.37 o -38 13.29/13.37 c Elapsed CPU time: 13.109 s Remaining CPU time: 166.891 s 13.29/13.37 c =============================================================================== 13.29/13.37 c | 22372 | 1000 33629 116600 | 11209 22372 974 | 94.046 % | 13.39/13.49 c | 22473 | 1000 33629 116600 | 12330 22473 974 | 94.046 % | 13.59/13.66 c | 22625 | 1000 33629 116600 | 13563 22625 974 | 94.046 % | 13.78/13.87 c | 22851 | 1000 33629 116600 | 14920 22851 974 | 94.046 % | 14.09/14.13 c | 23189 | 1000 33629 116600 | 16412 23189 974 | 94.046 % | 14.19/14.30 c =============================================================================== 14.19/14.30 c New solution: -39 14.19/14.30 o -39 14.19/14.30 c Elapsed CPU time: 14.0139 s Remaining CPU time: 165.986 s 14.19/14.30 c =============================================================================== 14.19/14.30 c | 23470 | 1000 33630 117600 | 11210 23470 973 | 94.046 % | 14.38/14.41 c | 23571 | 1000 33630 117600 | 12331 23571 973 | 94.046 % | 14.58/14.66 c | 23723 | 1000 33630 117600 | 13564 23723 973 | 94.046 % | 14.79/14.80 c | 23949 | 1000 33630 117600 | 14920 23949 973 | 94.046 % | 14.98/15.00 c | 24288 | 1000 33630 117600 | 16412 24288 973 | 94.046 % | 14.98/15.03 c =============================================================================== 14.98/15.03 c New solution: -40 14.98/15.03 o -40 14.98/15.03 c Elapsed CPU time: 14.7288 s Remaining CPU time: 165.271 s 14.98/15.03 c =============================================================================== 14.98/15.03 c | 24307 | 1000 33631 118600 | 11210 24307 973 | 94.046 % | 14.98/15.08 c | 24408 | 1000 33631 118600 | 12331 24408 973 | 94.046 % | 15.19/15.21 c =============================================================================== 15.19/15.21 c New solution: -41 15.19/15.21 o -41 15.19/15.21 c Elapsed CPU time: 14.9077 s Remaining CPU time: 165.092 s 15.19/15.21 c =============================================================================== 15.19/15.21 c | 24550 | 1000 33632 119600 | 11210 24550 973 | 94.046 % | 15.29/15.31 c | 24650 | 1000 33632 119600 | 12331 24650 973 | 94.046 % | 15.29/15.40 c | 24801 | 1000 33632 119600 | 13564 24801 973 | 94.046 % | 15.39/15.43 c =============================================================================== 15.39/15.43 c New solution: -42 15.39/15.43 o -42 15.39/15.43 c Elapsed CPU time: 15.1187 s Remaining CPU time: 164.881 s 15.39/15.43 c =============================================================================== 15.39/15.43 c | 24815 | 1000 33633 120600 | 11211 24815 973 | 94.046 % | 15.49/15.51 c | 24916 | 1000 33633 120600 | 12332 24916 973 | 94.046 % | 15.58/15.61 c | 25066 | 1000 33633 120600 | 13565 25066 973 | 94.046 % | 15.68/15.73 c | 25291 | 1000 33633 120600 | 14921 25291 973 | 94.046 % | 15.88/15.90 c | 25628 | 1000 33633 120600 | 16414 25628 972 | 94.046 % | 16.39/16.50 c | 26134 | 1000 33633 120600 | 18055 26134 972 | 94.046 % | 17.49/17.51 c | 26893 | 1000 33633 120600 | 19860 26893 972 | 94.046 % | 18.78/18.82 c | 28032 | 1000 33633 120600 | 21847 28032 971 | 94.046 % | 20.89/20.92 c | 29740 | 1000 33633 120600 | 24031 29740 971 | 94.046 % | 24.68/24.74 c | 32302 | 1000 33633 120600 | 26434 32302 970 | 94.046 % | 29.68/29.72 c | 36147 | 1000 33633 120600 | 29078 36147 969 | 94.046 % | 36.38/36.42 c | 41915 | 1000 33633 120600 | 31986 41915 968 | 94.046 % | 50.17/50.28 c | 50565 | 1000 33633 120600 | 35184 13271 959 | 94.046 % | 60.96/61.06 c | 63541 | 1000 33633 120600 | 38703 26247 959 | 94.046 % | 86.56/86.67 c | 83002 | 1000 33633 120600 | 42573 45708 959 | 94.046 % | 127.84/127.95 c | 112194 | 1000 33633 120600 | 46831 27214 960 | 94.046 % | 163.13/163.21 c | 155984 | 1000 33633 120600 | 51514 19139 959 | 94.046 % | 181.33/181.43 c There are 15795 assigned variables. 0 in cost function. 184.02/184.12 c core #1 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -999 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #2 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -998 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #3 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -997 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #4 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -996 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #5 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -995 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #6 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -994 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #7 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -993 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #8 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -992 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #9 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -991 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #10 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -990 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #11 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -989 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #12 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -988 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #13 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -987 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #14 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -986 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #15 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -985 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #16 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -984 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #17 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -983 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #18 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -982 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #19 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -981 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #20 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -980 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #21 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -979 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #22 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -978 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #23 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -977 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #24 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -976 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #25 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -975 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #26 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -974 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #27 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -973 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #28 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -972 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #29 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -971 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #30 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -970 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #31 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -969 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #32 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -968 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #33 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -967 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #34 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -966 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #35 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -965 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #36 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -964 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #37 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -963 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #38 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -962 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #39 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -961 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #40 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -960 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #41 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -959 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #42 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -958 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #43 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -957 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #44 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -956 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #45 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -955 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #46 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -954 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #47 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -953 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #48 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -952 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #49 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -951 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #50 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -950 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #51 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -949 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #52 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -948 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #53 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -947 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #54 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -946 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #55 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -945 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #56 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -944 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #57 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -943 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #58 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -942 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c core #59 184.02/184.12 c 184.02/184.12 c 184.02/184.12 c Core size: 3 Core Weight: 1 Total Weight: -941 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #60 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -940 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #61 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -939 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #62 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -938 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #63 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -937 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #64 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -936 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #65 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -935 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #66 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -934 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #67 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -933 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #68 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -932 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #69 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -931 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #70 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -930 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #71 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -929 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #72 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -928 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #73 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -927 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #74 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -926 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #75 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -925 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #76 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -924 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #77 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -923 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #78 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -922 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #79 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -921 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #80 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -920 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #81 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -919 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #82 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -918 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #83 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -917 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #84 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -916 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #85 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -915 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #86 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -914 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #87 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -913 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #88 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -912 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #89 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -911 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #90 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -910 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #91 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -909 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #92 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -908 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #93 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -907 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #94 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -906 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #95 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -905 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #96 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -904 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #97 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -903 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #98 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -902 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #99 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -901 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #100 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -900 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #101 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -899 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #102 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -898 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c core #103 186.52/186.69 c 186.52/186.69 c 186.52/186.69 c Core size: 3 Core Weight: 1 Total Weight: -897 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #104 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -896 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #105 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -895 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #106 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -894 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #107 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -893 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #108 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -892 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #109 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -891 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #110 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -890 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #111 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -889 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #112 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -888 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #113 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -887 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #114 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -886 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #115 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -885 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #116 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -884 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c core #117 186.52/186.70 c 186.52/186.70 c 186.52/186.70 c Core size: 3 Core Weight: 1 Total Weight: -883 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #118 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -882 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #119 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -881 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #120 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -880 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #121 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -879 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #122 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -878 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #123 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -877 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #124 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -876 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #125 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -875 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #126 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -874 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #127 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -873 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #128 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -872 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #129 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -871 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #130 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -870 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #131 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -869 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c core #132 189.33/189.48 c 189.33/189.48 c 189.33/189.48 c Core size: 3 Core Weight: 1 Total Weight: -868 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #133 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -867 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #134 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -866 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #135 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -865 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #136 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -864 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #137 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -863 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #138 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -862 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #139 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -861 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #140 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -860 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #141 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -859 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #142 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -858 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #143 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -857 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #144 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -856 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #145 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -855 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #146 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -854 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #147 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -853 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #148 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -852 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #149 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -851 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #150 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -850 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #151 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -849 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #152 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -848 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #153 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -847 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #154 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -846 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #155 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -845 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #156 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -844 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #157 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -843 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #158 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -842 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #159 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -841 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #160 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -840 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #161 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -839 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #162 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -838 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #163 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -837 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #164 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -836 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #165 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -835 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #166 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -834 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #167 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -833 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #168 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -832 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #169 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -831 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #170 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -830 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #171 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -829 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #172 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -828 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #173 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -827 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #174 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -826 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c core #175 189.33/189.49 c 189.33/189.49 c 189.33/189.49 c Core size: 3 Core Weight: 1 Total Weight: -825 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #176 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -824 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #177 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -823 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #178 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -822 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #179 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -821 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #180 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -820 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #181 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -819 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #182 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -818 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #183 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -817 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #184 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -816 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #185 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -815 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #186 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -814 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #187 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -813 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #188 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -812 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #189 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -811 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #190 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -810 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #191 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -809 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #192 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -808 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #193 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -807 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #194 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -806 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #195 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -805 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #196 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -804 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #197 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -803 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #198 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -802 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #199 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -801 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #200 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -800 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #201 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -799 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #202 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -798 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #203 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -797 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #204 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -796 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #205 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -795 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #206 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -794 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #207 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -793 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #208 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -792 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #209 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -791 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #210 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -790 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #211 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -789 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #212 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -788 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #213 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -787 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #214 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -786 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #215 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -785 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #216 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -784 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #217 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -783 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #218 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -782 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #219 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -781 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #220 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -780 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #221 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -779 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #222 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -778 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #223 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -777 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #224 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -776 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #225 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -775 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #226 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -774 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #227 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -773 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #228 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -772 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #229 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -771 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #230 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -770 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #231 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -769 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #232 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -768 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c core #233 192.43/192.57 c 192.43/192.57 c 192.43/192.57 c Core size: 3 Core Weight: 1 Total Weight: -767 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #234 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -766 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #235 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -765 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #236 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -764 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #237 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -763 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #238 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -762 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #239 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -761 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #240 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -760 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #241 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -759 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #242 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -758 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #243 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -757 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #244 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -756 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #245 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -755 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #246 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -754 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c core #247 195.73/195.84 c 195.73/195.84 c 195.73/195.84 c Core size: 3 Core Weight: 1 Total Weight: -753 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #248 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -752 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #249 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -751 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #250 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -750 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #251 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -749 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #252 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -748 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #253 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -747 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #254 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -746 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #255 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -745 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #256 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -744 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #257 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -743 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #258 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -742 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #259 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -741 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #260 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -740 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #261 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -739 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #262 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -738 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #263 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -737 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #264 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -736 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #265 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -735 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #266 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -734 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #267 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -733 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #268 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -732 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #269 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -731 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #270 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -730 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #271 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -729 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #272 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -728 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #273 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -727 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #274 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -726 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #275 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -725 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #276 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -724 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #277 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -723 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #278 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -722 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #279 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -721 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #280 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -720 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #281 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -719 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #282 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -718 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #283 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -717 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #284 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -716 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #285 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -715 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #286 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -714 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #287 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -713 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #288 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -712 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #289 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -711 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c core #290 195.73/195.85 c 195.73/195.85 c 195.73/195.85 c Core size: 3 Core Weight: 1 Total Weight: -710 195.73/195.85 c 199.32/199.41 c 199.32/199.41 c core #291 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -709 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #292 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -708 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #293 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -707 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #294 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -706 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #295 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -705 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #296 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -704 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #297 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -703 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #298 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -702 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #299 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -701 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #300 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -700 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #301 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -699 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #302 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -698 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #303 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -697 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #304 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -696 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #305 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -695 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #306 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -694 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #307 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -693 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #308 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -692 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #309 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -691 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #310 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -690 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #311 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -689 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #312 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -688 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #313 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -687 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #314 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -686 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #315 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -685 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #316 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -684 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #317 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -683 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #318 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -682 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #319 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -681 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #320 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -680 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #321 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -679 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #322 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -678 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #323 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -677 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #324 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -676 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #325 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -675 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #326 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -674 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #327 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -673 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #328 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -672 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #329 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -671 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #330 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -670 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #331 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -669 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #332 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -668 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #333 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c Core size: 3 Core Weight: 1 Total Weight: -667 199.32/199.41 c 199.32/199.41 c 199.32/199.41 c core #334 199.32/199.41 c 199.32/199.41 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -666 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #335 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -665 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #336 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -664 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #337 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -663 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #338 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -662 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #339 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -661 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #340 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -660 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #341 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -659 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #342 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -658 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #343 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -657 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #344 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -656 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #345 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -655 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #346 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -654 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #347 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -653 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c core #348 199.32/199.42 c 199.32/199.42 c 199.32/199.42 c Core size: 3 Core Weight: 1 Total Weight: -652 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #349 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -651 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #350 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -650 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #351 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -649 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #352 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -648 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #353 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -647 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #354 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -646 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #355 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -645 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #356 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -644 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #357 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -643 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #358 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -642 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #359 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -641 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #360 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -640 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #361 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -639 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #362 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -638 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #363 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -637 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #364 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -636 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #365 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -635 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #366 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -634 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #367 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -633 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #368 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -632 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #369 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -631 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #370 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -630 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #371 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -629 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #372 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -628 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #373 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -627 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #374 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -626 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #375 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -625 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #376 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -624 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #377 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -623 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #378 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -622 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #379 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -621 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #380 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -620 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #381 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -619 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #382 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -618 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #383 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -617 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #384 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -616 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #385 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -615 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #386 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -614 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #387 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -613 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #388 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -612 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #389 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -611 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #390 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -610 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #391 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -609 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #392 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -608 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #393 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -607 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #394 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -606 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #395 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -605 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #396 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -604 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #397 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -603 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #398 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -602 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #399 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -601 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #400 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -600 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #401 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -599 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #402 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -598 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #403 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -597 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #404 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -596 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #405 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -595 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c core #406 203.12/203.23 c 203.12/203.23 c 203.12/203.23 c Core size: 3 Core Weight: 1 Total Weight: -594 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #407 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -593 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #408 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -592 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #409 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -591 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #410 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -590 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #411 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -589 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #412 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -588 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #413 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -587 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #414 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -586 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #415 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -585 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #416 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -584 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #417 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -583 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #418 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -582 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #419 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -581 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c core #420 207.12/207.23 c 207.12/207.23 c 207.12/207.23 c Core size: 3 Core Weight: 1 Total Weight: -580 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #421 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -579 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #422 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -578 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #423 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -577 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #424 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -576 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #425 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -575 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #426 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -574 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #427 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -573 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #428 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -572 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #429 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -571 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #430 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -570 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #431 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -569 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #432 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -568 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #433 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -567 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #434 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -566 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #435 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -565 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #436 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -564 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #437 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -563 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #438 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -562 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #439 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -561 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #440 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -560 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #441 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -559 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #442 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -558 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #443 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -557 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #444 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -556 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #445 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -555 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #446 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -554 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #447 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -553 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #448 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -552 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #449 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -551 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #450 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -550 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #451 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -549 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #452 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -548 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #453 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -547 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #454 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -546 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #455 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -545 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #456 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -544 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #457 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -543 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #458 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -542 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #459 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -541 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #460 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -540 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #461 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -539 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #462 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -538 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #463 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c Core size: 3 Core Weight: 1 Total Weight: -537 207.12/207.24 c 207.12/207.24 c 207.12/207.24 c core #464 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -536 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #465 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -535 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #466 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -534 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #467 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -533 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #468 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -532 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #469 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -531 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #470 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -530 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #471 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -529 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #472 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -528 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #473 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -527 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #474 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -526 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #475 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -525 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #476 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -524 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #477 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -523 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #478 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 3 Core Weight: 1 Total Weight: -522 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #479 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -521 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #480 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -520 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #481 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -519 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #482 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 11 Core Weight: 1 Total Weight: -518 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #483 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -517 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #484 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -516 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #485 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -515 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #486 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -514 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #487 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -513 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #488 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 11 Core Weight: 1 Total Weight: -512 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #489 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -511 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #490 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -510 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #491 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 11 Core Weight: 1 Total Weight: -509 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #492 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -508 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #493 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 11 Core Weight: 1 Total Weight: -507 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #494 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -506 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #495 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 6 Core Weight: 1 Total Weight: -505 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #496 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 14 Core Weight: 1 Total Weight: -504 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #497 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 11 Core Weight: 1 Total Weight: -503 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #498 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -502 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #499 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 30 Core Weight: 1 Total Weight: -501 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #500 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 38 Core Weight: 1 Total Weight: -500 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #501 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 7 Core Weight: 1 Total Weight: -499 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #502 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 50 Core Weight: 1 Total Weight: -498 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c core #503 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c Core size: 22 Core Weight: 1 Total Weight: -497 210.42/210.53 c 210.42/210.53 c 210.42/210.53 c ============================[ Search Statistics ]============================== 210.42/210.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.42/210.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.42/210.53 c =============================================================================== 210.42/210.53 c | 0 | 2122 33136 77834 | 11045 0 nan | 0.000 % | 210.42/210.53 c =============================================================================== 210.52/210.63 c core #504 210.52/210.63 c 210.52/210.63 c 210.52/210.63 c Core size: 12 Core Weight: 1 Total Weight: -496 210.52/210.63 c 210.52/210.63 c 210.52/210.63 c ============================[ Search Statistics ]============================== 210.52/210.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.52/210.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.52/210.63 c =============================================================================== 210.52/210.63 c | 0 | 2130 33137 77850 | 11045 0 nan | 0.000 % | 210.52/210.64 c =============================================================================== 210.61/210.74 c core #505 210.61/210.74 c 210.61/210.74 c 210.61/210.74 c Core size: 14 Core Weight: 1 Total Weight: -495 210.61/210.74 c 210.61/210.74 c 210.61/210.74 c ============================[ Search Statistics ]============================== 210.61/210.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.61/210.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.61/210.74 c =============================================================================== 210.61/210.74 c | 0 | 2138 33138 77866 | 11046 0 nan | 0.000 % | 210.61/210.76 c =============================================================================== 210.71/210.85 c core #506 210.71/210.85 c 210.71/210.85 c 210.71/210.85 c Core size: 16 Core Weight: 1 Total Weight: -494 210.71/210.85 c 210.71/210.85 c 210.71/210.85 c ============================[ Search Statistics ]============================== 210.71/210.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.71/210.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.71/210.85 c =============================================================================== 210.71/210.85 c | 0 | 2148 33139 77886 | 11046 0 nan | 0.000 % | 210.71/210.85 c =============================================================================== 210.81/210.95 c core #507 210.81/210.95 c 210.81/210.95 c 210.81/210.95 c Core size: 14 Core Weight: 1 Total Weight: -493 210.81/210.95 c 210.81/210.95 c 210.81/210.95 c ============================[ Search Statistics ]============================== 210.81/210.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.81/210.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.81/210.95 c =============================================================================== 210.81/210.95 c | 0 | 2156 33140 77902 | 11046 0 nan | 0.000 % | 210.81/210.97 c =============================================================================== 210.91/211.06 c core #508 210.91/211.06 c 210.91/211.06 c 210.91/211.06 c Core size: 12 Core Weight: 1 Total Weight: -492 210.91/211.06 c 210.91/211.06 c 210.91/211.06 c ============================[ Search Statistics ]============================== 210.91/211.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.91/211.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.91/211.06 c =============================================================================== 210.91/211.06 c | 0 | 2164 33141 77918 | 11047 0 nan | 0.000 % | 210.91/211.07 c =============================================================================== 211.02/211.17 c core #509 211.02/211.17 c 211.02/211.17 c 211.02/211.17 c Core size: 14 Core Weight: 1 Total Weight: -491 211.02/211.17 c 211.02/211.17 c 211.02/211.17 c ============================[ Search Statistics ]============================== 211.02/211.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.02/211.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.02/211.17 c =============================================================================== 211.02/211.17 c | 0 | 2172 33142 77934 | 11047 0 nan | 0.000 % | 211.02/211.19 c =============================================================================== 211.12/211.28 c core #510 211.12/211.28 c 211.12/211.28 c 211.12/211.28 c Core size: 12 Core Weight: 1 Total Weight: -490 211.12/211.28 c 211.12/211.28 c 211.12/211.28 c ============================[ Search Statistics ]============================== 211.12/211.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.12/211.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.12/211.28 c =============================================================================== 211.12/211.28 c | 0 | 2180 33143 77950 | 11047 0 nan | 0.000 % | 211.12/211.29 c =============================================================================== 211.21/211.40 c core #511 211.21/211.40 c 211.21/211.40 c 211.21/211.40 c Core size: 12 Core Weight: 1 Total Weight: -489 211.21/211.40 c 211.21/211.40 c 211.21/211.40 c ============================[ Search Statistics ]============================== 211.21/211.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.21/211.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.21/211.40 c =============================================================================== 211.21/211.40 c | 0 | 2188 33144 77966 | 11048 0 nan | 0.000 % | 211.31/211.42 c =============================================================================== 211.41/211.51 c core #512 211.41/211.51 c 211.41/211.51 c 211.41/211.51 c Core size: 14 Core Weight: 1 Total Weight: -488 211.41/211.51 c 211.41/211.51 c 211.41/211.51 c ============================[ Search Statistics ]============================== 211.41/211.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.41/211.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.41/211.51 c =============================================================================== 211.41/211.51 c | 0 | 2196 33145 77982 | 11048 0 nan | 0.000 % | 211.41/211.52 c =============================================================================== 211.51/211.62 c core #513 211.51/211.62 c 211.51/211.62 c 211.51/211.62 c Core size: 14 Core Weight: 1 Total Weight: -487 211.51/211.62 c 211.51/211.62 c 211.51/211.62 c ============================[ Search Statistics ]============================== 211.51/211.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.51/211.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.51/211.62 c =============================================================================== 211.51/211.62 c | 0 | 2204 33146 77998 | 11048 0 nan | 0.000 % | 211.51/211.64 c =============================================================================== 211.61/211.73 c core #514 211.61/211.73 c 211.61/211.73 c 211.61/211.73 c Core size: 16 Core Weight: 1 Total Weight: -486 211.61/211.73 c 211.61/211.73 c 211.61/211.73 c ============================[ Search Statistics ]============================== 211.61/211.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.61/211.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.61/211.73 c =============================================================================== 211.61/211.73 c | 0 | 2214 33147 78018 | 11049 0 nan | 0.000 % | 211.61/211.74 c =============================================================================== 211.71/211.84 c core #515 211.71/211.84 c 211.71/211.84 c 211.71/211.84 c Core size: 16 Core Weight: 1 Total Weight: -485 211.71/211.84 c 211.71/211.84 c 211.71/211.84 c ============================[ Search Statistics ]============================== 211.71/211.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.71/211.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.71/211.84 c =============================================================================== 211.71/211.84 c | 0 | 2224 33148 78038 | 11049 0 nan | 0.000 % | 211.71/211.85 c =============================================================================== 211.81/211.95 c core #516 211.81/211.95 c 211.81/211.95 c 211.81/211.95 c Core size: 16 Core Weight: 1 Total Weight: -484 211.81/211.95 c 211.81/211.95 c 211.81/211.95 c ============================[ Search Statistics ]============================== 211.81/211.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.81/211.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.81/211.95 c =============================================================================== 211.81/211.95 c | 0 | 2234 33149 78058 | 11049 0 nan | 0.000 % | 211.81/211.96 c =============================================================================== 211.91/212.05 c core #517 211.91/212.05 c 211.91/212.05 c 211.91/212.05 c Core size: 14 Core Weight: 1 Total Weight: -483 211.91/212.05 c 211.91/212.05 c 211.91/212.05 c ============================[ Search Statistics ]============================== 211.91/212.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.91/212.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.91/212.05 c =============================================================================== 211.91/212.05 c | 0 | 2242 33150 78074 | 11050 0 nan | 0.000 % | 211.91/212.07 c =============================================================================== 212.01/212.16 c core #518 212.01/212.16 c 212.01/212.16 c 212.01/212.16 c Core size: 16 Core Weight: 1 Total Weight: -482 212.01/212.16 c 212.01/212.16 c 212.01/212.16 c ============================[ Search Statistics ]============================== 212.01/212.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.01/212.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.01/212.16 c =============================================================================== 212.01/212.16 c | 0 | 2252 33151 78094 | 11050 0 nan | 0.000 % | 212.01/212.18 c =============================================================================== 212.12/212.27 c core #519 212.12/212.27 c 212.12/212.27 c 212.12/212.27 c Core size: 12 Core Weight: 1 Total Weight: -481 212.12/212.27 c 212.12/212.27 c 212.12/212.27 c ============================[ Search Statistics ]============================== 212.12/212.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.12/212.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.12/212.27 c =============================================================================== 212.12/212.27 c | 0 | 2260 33152 78110 | 11050 0 nan | 0.000 % | 212.12/212.28 c =============================================================================== 212.22/212.38 c core #520 212.22/212.38 c 212.22/212.38 c 212.22/212.38 c Core size: 14 Core Weight: 1 Total Weight: -480 212.22/212.38 c 212.22/212.38 c 212.22/212.38 c ============================[ Search Statistics ]============================== 212.22/212.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.22/212.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.22/212.38 c =============================================================================== 212.22/212.38 c | 0 | 2268 33153 78126 | 11051 0 nan | 0.000 % | 212.22/212.39 c =============================================================================== 212.31/212.49 c core #521 212.31/212.49 c 212.31/212.49 c 212.31/212.49 c Core size: 14 Core Weight: 1 Total Weight: -479 212.31/212.49 c 212.31/212.49 c 212.31/212.49 c ============================[ Search Statistics ]============================== 212.31/212.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.31/212.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.31/212.49 c =============================================================================== 212.31/212.49 c | 0 | 2276 33154 78142 | 11051 0 nan | 0.000 % | 212.41/212.50 c =============================================================================== 212.41/212.60 c core #522 212.41/212.60 c 212.41/212.60 c 212.41/212.60 c Core size: 16 Core Weight: 1 Total Weight: -478 212.41/212.60 c 212.41/212.60 c 212.41/212.60 c ============================[ Search Statistics ]============================== 212.41/212.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.41/212.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.41/212.60 c =============================================================================== 212.41/212.60 c | 0 | 2286 33155 78162 | 11051 0 nan | 0.000 % | 212.51/212.61 c =============================================================================== 212.61/212.70 c core #523 212.61/212.70 c 212.61/212.70 c 212.61/212.70 c Core size: 10 Core Weight: 1 Total Weight: -477 212.61/212.70 c 212.61/212.70 c 212.61/212.70 c ============================[ Search Statistics ]============================== 212.61/212.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.61/212.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.61/212.70 c =============================================================================== 212.61/212.70 c | 0 | 2292 33156 78174 | 11052 0 nan | 0.000 % | 212.61/212.72 c =============================================================================== 212.71/212.81 c core #524 212.71/212.81 c 212.71/212.81 c 212.71/212.81 c Core size: 14 Core Weight: 1 Total Weight: -476 212.71/212.81 c 212.71/212.81 c 212.71/212.81 c ============================[ Search Statistics ]============================== 212.71/212.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.71/212.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.71/212.81 c =============================================================================== 212.71/212.81 c | 0 | 2300 33157 78190 | 11052 0 nan | 0.000 % | 212.71/212.82 c =============================================================================== 212.81/212.92 c core #525 212.81/212.92 c 212.81/212.92 c 212.81/212.92 c Core size: 14 Core Weight: 1 Total Weight: -475 212.81/212.92 c 212.81/212.92 c 212.81/212.92 c ============================[ Search Statistics ]============================== 212.81/212.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.81/212.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.81/212.92 c =============================================================================== 212.81/212.92 c | 0 | 2308 33158 78206 | 11052 0 nan | 0.000 % | 212.81/212.93 c =============================================================================== 212.91/213.03 c core #526 212.91/213.03 c 212.91/213.03 c 212.91/213.03 c Core size: 14 Core Weight: 1 Total Weight: -474 212.91/213.03 c 212.91/213.03 c 212.91/213.03 c ============================[ Search Statistics ]============================== 212.91/213.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.91/213.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.91/213.03 c =============================================================================== 212.91/213.03 c | 0 | 2316 33159 78222 | 11053 0 nan | 0.000 % | 212.91/213.04 c =============================================================================== 213.01/213.14 c core #527 213.01/213.14 c 213.01/213.14 c 213.01/213.14 c Core size: 14 Core Weight: 1 Total Weight: -473 213.01/213.14 c 213.01/213.14 c 213.01/213.14 c ============================[ Search Statistics ]============================== 213.01/213.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.01/213.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.01/213.14 c =============================================================================== 213.01/213.14 c | 0 | 2324 33160 78238 | 11053 0 nan | 0.000 % | 213.01/213.15 c =============================================================================== 213.12/213.25 c core #528 213.12/213.25 c 213.12/213.25 c 213.12/213.25 c Core size: 14 Core Weight: 1 Total Weight: -472 213.12/213.25 c 213.12/213.25 c 213.12/213.25 c ============================[ Search Statistics ]============================== 213.12/213.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.12/213.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.12/213.25 c =============================================================================== 213.12/213.25 c | 0 | 2332 33161 78254 | 11053 0 nan | 0.000 % | 213.12/213.26 c =============================================================================== 213.22/213.36 c core #529 213.22/213.36 c 213.22/213.36 c 213.22/213.36 c Core size: 10 Core Weight: 1 Total Weight: -471 213.22/213.36 c 213.22/213.36 c 213.22/213.36 c ============================[ Search Statistics ]============================== 213.22/213.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.22/213.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.22/213.36 c =============================================================================== 213.22/213.36 c | 0 | 2338 33162 78266 | 11054 0 nan | 0.000 % | 213.22/213.37 c =============================================================================== 213.32/213.46 c core #530 213.32/213.46 c 213.32/213.46 c 213.32/213.46 c Core size: 16 Core Weight: 1 Total Weight: -470 213.32/213.46 c 213.32/213.46 c 213.32/213.46 c ============================[ Search Statistics ]============================== 213.32/213.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.32/213.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.32/213.46 c =============================================================================== 213.32/213.46 c | 0 | 2348 33163 78286 | 11054 0 nan | 0.000 % | 213.32/213.47 c =============================================================================== 213.42/213.57 c core #531 213.42/213.57 c 213.42/213.57 c 213.42/213.57 c Core size: 14 Core Weight: 1 Total Weight: -469 213.42/213.57 c 213.42/213.57 c 213.42/213.57 c ============================[ Search Statistics ]============================== 213.42/213.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.42/213.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.42/213.57 c =============================================================================== 213.42/213.57 c | 0 | 2356 33164 78302 | 11054 0 nan | 0.000 % | 213.42/213.59 c =============================================================================== 213.52/213.69 c core #532 213.52/213.69 c 213.52/213.69 c 213.52/213.69 c Core size: 12 Core Weight: 1 Total Weight: -468 213.52/213.69 c 213.52/213.69 c 213.52/213.69 c ============================[ Search Statistics ]============================== 213.52/213.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.52/213.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.52/213.69 c =============================================================================== 213.52/213.69 c | 0 | 2364 33165 78318 | 11055 0 nan | 0.000 % | 213.52/213.70 c =============================================================================== 213.62/213.80 c core #533 213.62/213.80 c 213.62/213.80 c 213.62/213.80 c Core size: 14 Core Weight: 1 Total Weight: -467 213.62/213.80 c 213.62/213.80 c 213.62/213.80 c ============================[ Search Statistics ]============================== 213.62/213.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.62/213.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.62/213.80 c =============================================================================== 213.62/213.80 c | 0 | 2372 33166 78334 | 11055 0 nan | 0.000 % | 213.72/213.81 c =============================================================================== 213.82/213.90 c core #534 213.82/213.90 c 213.82/213.90 c 213.82/213.90 c Core size: 16 Core Weight: 1 Total Weight: -466 213.82/213.90 c 213.82/213.90 c 213.82/213.90 c ============================[ Search Statistics ]============================== 213.82/213.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.82/213.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.82/213.90 c =============================================================================== 213.82/213.90 c | 0 | 2382 33167 78354 | 11055 0 nan | 0.000 % | 213.82/213.92 c =============================================================================== 213.92/214.02 c core #535 213.92/214.02 c 213.92/214.02 c 213.92/214.02 c Core size: 16 Core Weight: 1 Total Weight: -465 213.92/214.02 c 213.92/214.02 c 213.92/214.02 c ============================[ Search Statistics ]============================== 213.92/214.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.92/214.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.92/214.02 c =============================================================================== 213.92/214.02 c | 0 | 2392 33168 78374 | 11056 0 nan | 0.000 % | 213.92/214.03 c =============================================================================== 214.02/214.13 c core #536 214.02/214.13 c 214.02/214.13 c 214.02/214.13 c Core size: 16 Core Weight: 1 Total Weight: -464 214.02/214.13 c 214.02/214.13 c 214.02/214.13 c ============================[ Search Statistics ]============================== 214.02/214.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.02/214.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.02/214.13 c =============================================================================== 214.02/214.13 c | 0 | 2402 33169 78394 | 11056 0 nan | 0.000 % | 214.02/214.14 c =============================================================================== 214.12/214.24 c core #537 214.12/214.24 c 214.12/214.24 c 214.12/214.24 c Core size: 12 Core Weight: 1 Total Weight: -463 214.12/214.24 c 214.12/214.24 c 214.12/214.24 c ============================[ Search Statistics ]============================== 214.12/214.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.12/214.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.12/214.24 c =============================================================================== 214.12/214.24 c | 0 | 2410 33170 78410 | 11056 0 nan | 0.000 % | 214.12/214.25 c =============================================================================== 214.22/214.35 c core #538 214.22/214.35 c 214.22/214.35 c 214.22/214.35 c Core size: 16 Core Weight: 1 Total Weight: -462 214.22/214.35 c 214.22/214.35 c 214.22/214.35 c ============================[ Search Statistics ]============================== 214.22/214.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.22/214.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.22/214.35 c =============================================================================== 214.22/214.35 c | 0 | 2420 33171 78430 | 11057 0 nan | 0.000 % | 214.22/214.36 c =============================================================================== 214.32/214.46 c core #539 214.32/214.46 c 214.32/214.46 c 214.32/214.46 c Core size: 16 Core Weight: 1 Total Weight: -461 214.32/214.46 c 214.32/214.46 c 214.32/214.46 c ============================[ Search Statistics ]============================== 214.32/214.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.32/214.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.32/214.46 c =============================================================================== 214.32/214.46 c | 0 | 2430 33172 78450 | 11057 0 nan | 0.000 % | 214.32/214.47 c =============================================================================== 214.42/214.56 c core #540 214.42/214.56 c 214.42/214.56 c 214.42/214.56 c Core size: 16 Core Weight: 1 Total Weight: -460 214.42/214.56 c 214.42/214.56 c 214.42/214.56 c ============================[ Search Statistics ]============================== 214.42/214.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.42/214.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.42/214.56 c =============================================================================== 214.42/214.56 c | 0 | 2440 33173 78470 | 11057 0 nan | 0.000 % | 214.42/214.58 c =============================================================================== 214.52/214.68 c core #541 214.52/214.68 c 214.52/214.68 c 214.52/214.68 c Core size: 16 Core Weight: 1 Total Weight: -459 214.52/214.68 c 214.52/214.68 c 214.52/214.68 c ============================[ Search Statistics ]============================== 214.52/214.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.52/214.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.52/214.68 c =============================================================================== 214.52/214.68 c | 0 | 2450 33174 78490 | 11058 0 nan | 0.000 % | 214.52/214.69 c =============================================================================== 214.62/214.79 c core #542 214.62/214.79 c 214.62/214.79 c 214.62/214.79 c Core size: 16 Core Weight: 1 Total Weight: -458 214.62/214.79 c 214.62/214.79 c 214.62/214.79 c ============================[ Search Statistics ]============================== 214.62/214.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.62/214.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.62/214.79 c =============================================================================== 214.62/214.79 c | 0 | 2460 33175 78510 | 11058 0 nan | 0.000 % | 214.72/214.80 c =============================================================================== 214.82/214.91 c core #543 214.82/214.91 c 214.82/214.91 c 214.82/214.91 c Core size: 10 Core Weight: 1 Total Weight: -457 214.82/214.91 c 214.82/214.91 c 214.82/214.91 c ============================[ Search Statistics ]============================== 214.82/214.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.82/214.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.82/214.91 c =============================================================================== 214.82/214.91 c | 0 | 2466 33176 78522 | 11058 0 nan | 0.000 % | 214.82/214.92 c =============================================================================== 214.91/215.02 c core #544 214.91/215.02 c 214.91/215.02 c 214.91/215.02 c Core size: 16 Core Weight: 1 Total Weight: -456 214.91/215.02 c 214.91/215.02 c 214.91/215.02 c ============================[ Search Statistics ]============================== 214.91/215.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.91/215.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.91/215.02 c =============================================================================== 214.91/215.02 c | 0 | 2476 33177 78542 | 11059 0 nan | 0.000 % | 214.91/215.04 c =============================================================================== 215.01/215.14 c core #545 215.01/215.14 c 215.01/215.14 c 215.01/215.14 c Core size: 14 Core Weight: 1 Total Weight: -455 215.01/215.14 c 215.01/215.14 c 215.01/215.14 c ============================[ Search Statistics ]============================== 215.01/215.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.01/215.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.01/215.14 c =============================================================================== 215.01/215.14 c | 0 | 2484 33178 78558 | 11059 0 nan | 0.000 % | 215.01/215.15 c =============================================================================== 215.11/215.25 c core #546 215.11/215.25 c 215.11/215.25 c 215.11/215.25 c Core size: 16 Core Weight: 1 Total Weight: -454 215.11/215.25 c 215.11/215.25 c 215.11/215.25 c ============================[ Search Statistics ]============================== 215.11/215.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.11/215.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.11/215.25 c =============================================================================== 215.11/215.25 c | 0 | 2494 33179 78578 | 11059 0 nan | 0.000 % | 215.11/215.26 c =============================================================================== 215.21/215.36 c core #547 215.21/215.36 c 215.21/215.36 c 215.21/215.36 c Core size: 16 Core Weight: 1 Total Weight: -453 215.21/215.36 c 215.21/215.36 c 215.21/215.36 c ============================[ Search Statistics ]============================== 215.21/215.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.21/215.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.21/215.36 c =============================================================================== 215.21/215.36 c | 0 | 2504 33180 78598 | 11060 0 nan | 0.000 % | 215.21/215.37 c =============================================================================== 215.31/215.47 c core #548 215.31/215.47 c 215.31/215.47 c 215.31/215.47 c Core size: 16 Core Weight: 1 Total Weight: -452 215.31/215.47 c 215.31/215.47 c 215.31/215.47 c ============================[ Search Statistics ]============================== 215.31/215.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.31/215.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.31/215.47 c =============================================================================== 215.31/215.47 c | 0 | 2514 33181 78618 | 11060 0 nan | 0.000 % | 215.31/215.48 c =============================================================================== 215.42/215.59 c core #549 215.42/215.59 c 215.42/215.59 c 215.42/215.59 c Core size: 16 Core Weight: 1 Total Weight: -451 215.42/215.59 c 215.42/215.59 c 215.42/215.59 c ============================[ Search Statistics ]============================== 215.42/215.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.42/215.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.42/215.59 c =============================================================================== 215.42/215.59 c | 0 | 2524 33182 78638 | 11060 0 nan | 0.000 % | 215.42/215.60 c =============================================================================== 215.61/215.70 c core #550 215.61/215.70 c 215.61/215.70 c 215.61/215.70 c Core size: 14 Core Weight: 1 Total Weight: -450 215.61/215.70 c 215.61/215.70 c 215.61/215.70 c ============================[ Search Statistics ]============================== 215.61/215.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.61/215.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.61/215.70 c =============================================================================== 215.61/215.70 c | 0 | 2532 33183 78654 | 11061 0 nan | 0.000 % | 215.61/215.71 c =============================================================================== 215.71/215.81 c core #551 215.71/215.81 c 215.71/215.81 c 215.71/215.81 c Core size: 16 Core Weight: 1 Total Weight: -449 215.71/215.81 c 215.71/215.81 c 215.71/215.81 c ============================[ Search Statistics ]============================== 215.71/215.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.71/215.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.71/215.81 c =============================================================================== 215.71/215.81 c | 0 | 2542 33184 78674 | 11061 0 nan | 0.000 % | 215.71/215.82 c =============================================================================== 215.81/215.92 c core #552 215.81/215.92 c 215.81/215.92 c 215.81/215.92 c Core size: 12 Core Weight: 1 Total Weight: -448 215.81/215.92 c 215.81/215.92 c 215.81/215.92 c ============================[ Search Statistics ]============================== 215.81/215.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.81/215.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.81/215.92 c =============================================================================== 215.81/215.92 c | 0 | 2550 33185 78690 | 11061 0 nan | 0.000 % | 215.81/215.93 c =============================================================================== 215.91/216.03 c core #553 215.91/216.03 c 215.91/216.03 c 215.91/216.03 c Core size: 16 Core Weight: 1 Total Weight: -447 215.91/216.03 c 215.91/216.03 c 215.91/216.03 c ============================[ Search Statistics ]============================== 215.91/216.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.91/216.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.91/216.03 c =============================================================================== 215.91/216.03 c | 0 | 2560 33186 78710 | 11062 0 nan | 0.000 % | 215.91/216.06 c =============================================================================== 216.01/216.16 c core #554 216.01/216.16 c 216.01/216.16 c 216.01/216.16 c Core size: 14 Core Weight: 1 Total Weight: -446 216.01/216.16 c 216.01/216.16 c 216.01/216.16 c ============================[ Search Statistics ]============================== 216.01/216.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.01/216.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.01/216.16 c =============================================================================== 216.01/216.16 c | 0 | 2568 33187 78726 | 11062 0 nan | 0.000 % | 216.01/216.17 c =============================================================================== 216.11/216.27 c core #555 216.11/216.27 c 216.11/216.27 c 216.11/216.27 c Core size: 16 Core Weight: 1 Total Weight: -445 216.11/216.27 c 216.11/216.27 c 216.11/216.27 c ============================[ Search Statistics ]============================== 216.11/216.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.11/216.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.11/216.27 c =============================================================================== 216.11/216.27 c | 0 | 2578 33188 78746 | 11062 0 nan | 0.000 % | 216.11/216.29 c =============================================================================== 216.21/216.39 c core #556 216.21/216.39 c 216.21/216.39 c 216.21/216.39 c Core size: 16 Core Weight: 1 Total Weight: -444 216.21/216.39 c 216.21/216.39 c 216.21/216.39 c ============================[ Search Statistics ]============================== 216.21/216.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.21/216.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.21/216.39 c =============================================================================== 216.21/216.39 c | 0 | 2588 33189 78766 | 11063 0 nan | 0.000 % | 216.31/216.40 c =============================================================================== 216.41/216.50 c core #557 216.41/216.50 c 216.41/216.50 c 216.41/216.50 c Core size: 16 Core Weight: 1 Total Weight: -443 216.41/216.50 c 216.41/216.50 c 216.41/216.50 c ============================[ Search Statistics ]============================== 216.41/216.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.41/216.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.41/216.50 c =============================================================================== 216.41/216.50 c | 0 | 2598 33190 78786 | 11063 0 nan | 0.000 % | 216.41/216.52 c =============================================================================== 216.52/216.62 c core #558 216.52/216.62 c 216.52/216.62 c 216.52/216.62 c Core size: 22 Core Weight: 1 Total Weight: -442 216.52/216.62 c 216.52/216.62 c 216.52/216.62 c ============================[ Search Statistics ]============================== 216.52/216.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.52/216.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.52/216.62 c =============================================================================== 216.52/216.62 c | 0 | 2612 33191 78814 | 11063 0 nan | 0.000 % | 216.52/216.64 c =============================================================================== 216.62/216.74 c core #559 216.62/216.74 c 216.62/216.74 c 216.62/216.74 c Core size: 14 Core Weight: 1 Total Weight: -441 216.62/216.74 c 216.62/216.74 c 216.62/216.74 c ============================[ Search Statistics ]============================== 216.62/216.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.62/216.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.62/216.74 c =============================================================================== 216.62/216.74 c | 0 | 2620 33192 78830 | 11064 0 nan | 0.000 % | 216.62/216.75 c =============================================================================== 216.71/216.86 c core #560 216.71/216.86 c 216.71/216.86 c 216.71/216.86 c Core size: 18 Core Weight: 1 Total Weight: -440 216.71/216.86 c 216.71/216.86 c 216.71/216.86 c ============================[ Search Statistics ]============================== 216.71/216.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.71/216.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.71/216.86 c =============================================================================== 216.71/216.86 c | 0 | 2632 33193 78854 | 11064 0 nan | 0.000 % | 216.71/216.87 c =============================================================================== 216.81/216.97 c core #561 216.81/216.97 c 216.81/216.97 c 216.81/216.97 c Core size: 14 Core Weight: 1 Total Weight: -439 216.81/216.97 c 216.81/216.97 c 216.81/216.97 c ============================[ Search Statistics ]============================== 216.81/216.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.81/216.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.81/216.97 c =============================================================================== 216.81/216.97 c | 0 | 2640 33194 78870 | 11064 0 nan | 0.000 % | 216.91/217.00 c =============================================================================== 217.01/217.10 c core #562 217.01/217.10 c 217.01/217.10 c 217.01/217.10 c Core size: 18 Core Weight: 1 Total Weight: -438 217.01/217.10 c 217.01/217.10 c 217.01/217.10 c ============================[ Search Statistics ]============================== 217.01/217.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.01/217.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.01/217.10 c =============================================================================== 217.01/217.10 c | 0 | 2652 33195 78894 | 11065 0 nan | 0.000 % | 217.01/217.12 c =============================================================================== 217.11/217.22 c core #563 217.11/217.22 c 217.11/217.22 c 217.11/217.22 c Core size: 16 Core Weight: 1 Total Weight: -437 217.11/217.22 c 217.11/217.22 c 217.11/217.22 c ============================[ Search Statistics ]============================== 217.11/217.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.11/217.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.11/217.22 c =============================================================================== 217.11/217.22 c | 0 | 2662 33196 78914 | 11065 0 nan | 0.000 % | 217.11/217.23 c =============================================================================== 217.21/217.34 c core #564 217.21/217.34 c 217.21/217.34 c 217.21/217.34 c Core size: 18 Core Weight: 1 Total Weight: -436 217.21/217.34 c 217.21/217.34 c 217.21/217.34 c ============================[ Search Statistics ]============================== 217.21/217.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.21/217.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.21/217.34 c =============================================================================== 217.21/217.34 c | 0 | 2674 33197 78938 | 11065 0 nan | 0.000 % | 217.21/217.36 c =============================================================================== 217.31/217.46 c core #565 217.31/217.46 c 217.31/217.46 c 217.31/217.46 c Core size: 19 Core Weight: 1 Total Weight: -435 217.31/217.46 c 217.31/217.46 c 217.31/217.46 c ============================[ Search Statistics ]============================== 217.31/217.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.31/217.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.31/217.46 c =============================================================================== 217.31/217.46 c | 0 | 2686 33198 78962 | 11066 0 nan | 0.000 % | 217.31/217.47 c =============================================================================== 217.41/217.57 c core #566 217.41/217.57 c 217.41/217.57 c 217.41/217.57 c Core size: 21 Core Weight: 1 Total Weight: -434 217.41/217.57 c 217.41/217.57 c 217.41/217.57 c ============================[ Search Statistics ]============================== 217.41/217.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.41/217.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.41/217.57 c =============================================================================== 217.41/217.57 c | 0 | 2699 33199 78988 | 11066 0 nan | 0.000 % | 217.41/217.59 c =============================================================================== 217.51/217.69 c core #567 217.51/217.69 c 217.51/217.69 c 217.51/217.69 c Core size: 16 Core Weight: 1 Total Weight: -433 217.51/217.69 c 217.51/217.69 c 217.51/217.69 c ============================[ Search Statistics ]============================== 217.51/217.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.51/217.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.51/217.69 c =============================================================================== 217.51/217.69 c | 0 | 2709 33200 79008 | 11066 0 nan | 0.000 % | 217.62/217.71 c =============================================================================== 217.72/217.81 c core #568 217.72/217.81 c 217.72/217.81 c 217.72/217.81 c Core size: 16 Core Weight: 1 Total Weight: -432 217.72/217.81 c 217.72/217.81 c 217.72/217.81 c ============================[ Search Statistics ]============================== 217.72/217.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.72/217.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.72/217.81 c =============================================================================== 217.72/217.81 c | 0 | 2719 33201 79028 | 11067 0 nan | 0.000 % | 217.72/217.84 c =============================================================================== 217.81/217.94 c core #569 217.81/217.94 c 217.81/217.94 c 217.81/217.94 c Core size: 14 Core Weight: 1 Total Weight: -431 217.81/217.94 c 217.81/217.94 c 217.81/217.94 c ============================[ Search Statistics ]============================== 217.81/217.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.81/217.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.81/217.94 c =============================================================================== 217.81/217.94 c | 0 | 2727 33202 79044 | 11067 0 nan | 0.000 % | 217.81/217.96 c =============================================================================== 217.91/218.07 c core #570 217.91/218.07 c 217.91/218.07 c 217.91/218.07 c Core size: 22 Core Weight: 1 Total Weight: -430 217.91/218.07 c 217.91/218.07 c 217.91/218.07 c ============================[ Search Statistics ]============================== 217.91/218.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.91/218.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.91/218.07 c =============================================================================== 217.91/218.07 c | 0 | 2741 33203 79072 | 11067 0 nan | 0.000 % | 217.91/218.08 c =============================================================================== 218.01/218.18 c core #571 218.01/218.18 c 218.01/218.18 c 218.01/218.18 c Core size: 14 Core Weight: 1 Total Weight: -429 218.01/218.18 c 218.01/218.18 c 218.01/218.18 c ============================[ Search Statistics ]============================== 218.01/218.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.01/218.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.01/218.18 c =============================================================================== 218.01/218.18 c | 0 | 2749 33204 79088 | 11068 0 nan | 0.000 % | 218.01/218.19 c =============================================================================== 218.21/218.30 c core #572 218.21/218.30 c 218.21/218.30 c 218.21/218.30 c Core size: 26 Core Weight: 1 Total Weight: -428 218.21/218.30 c 218.21/218.30 c 218.21/218.30 c ============================[ Search Statistics ]============================== 218.21/218.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.21/218.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.21/218.30 c =============================================================================== 218.21/218.30 c | 0 | 2765 33205 79120 | 11068 0 nan | 0.000 % | 218.21/218.32 c =============================================================================== 218.31/218.42 c core #573 218.31/218.42 c 218.31/218.42 c 218.31/218.42 c Core size: 16 Core Weight: 1 Total Weight: -427 218.31/218.42 c 218.31/218.42 c 218.31/218.42 c ============================[ Search Statistics ]============================== 218.31/218.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.31/218.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.31/218.43 c =============================================================================== 218.31/218.43 c | 0 | 2775 33206 79140 | 11068 0 nan | 0.000 % | 218.31/218.44 c =============================================================================== 218.41/218.55 c core #574 218.41/218.55 c 218.41/218.55 c 218.41/218.55 c Core size: 18 Core Weight: 1 Total Weight: -426 218.41/218.55 c 218.41/218.55 c 218.41/218.55 c ============================[ Search Statistics ]============================== 218.41/218.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.41/218.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.41/218.55 c =============================================================================== 218.41/218.55 c | 0 | 2785 33207 79160 | 11069 0 nan | 0.000 % | 218.41/218.59 c =============================================================================== 218.51/218.69 c core #575 218.51/218.69 c 218.51/218.69 c 218.51/218.69 c Core size: 28 Core Weight: 1 Total Weight: -425 218.51/218.69 c 218.51/218.69 c 218.51/218.69 c ============================[ Search Statistics ]============================== 218.51/218.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.51/218.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.51/218.69 c =============================================================================== 218.51/218.69 c | 0 | 2803 33208 79196 | 11069 0 nan | 0.000 % | 218.61/218.71 c =============================================================================== 218.72/218.81 c core #576 218.72/218.81 c 218.72/218.81 c 218.72/218.81 c Core size: 24 Core Weight: 1 Total Weight: -424 218.72/218.81 c 218.72/218.81 c 218.72/218.81 c ============================[ Search Statistics ]============================== 218.72/218.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.72/218.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.72/218.81 c =============================================================================== 218.72/218.81 c | 0 | 2817 33209 79224 | 11069 0 nan | 0.000 % | 218.72/218.83 c =============================================================================== 218.82/218.93 c core #577 218.82/218.93 c 218.82/218.93 c 218.82/218.93 c Core size: 20 Core Weight: 1 Total Weight: -423 218.82/218.93 c 218.82/218.93 c 218.82/218.93 c ============================[ Search Statistics ]============================== 218.82/218.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.82/218.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.82/218.93 c =============================================================================== 218.82/218.93 c | 0 | 2829 33210 79248 | 11070 0 nan | 0.000 % | 218.82/218.94 c =============================================================================== 218.91/219.05 c core #578 218.91/219.05 c 218.91/219.05 c 218.91/219.05 c Core size: 20 Core Weight: 1 Total Weight: -422 218.91/219.05 c 218.91/219.05 c 218.91/219.05 c ============================[ Search Statistics ]============================== 218.91/219.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.91/219.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.91/219.05 c =============================================================================== 218.91/219.05 c | 0 | 2843 33211 79276 | 11070 0 nan | 0.000 % | 218.91/219.09 c =============================================================================== 219.01/219.19 c core #579 219.01/219.19 c 219.01/219.19 c 219.01/219.19 c Core size: 22 Core Weight: 1 Total Weight: -421 219.01/219.19 c 219.01/219.19 c 219.01/219.19 c ============================[ Search Statistics ]============================== 219.01/219.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.01/219.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.01/219.19 c =============================================================================== 219.01/219.19 c | 0 | 2857 33212 79304 | 11070 0 nan | 0.000 % | 219.11/219.22 c =============================================================================== 219.21/219.33 c core #580 219.21/219.33 c 219.21/219.33 c 219.21/219.33 c Core size: 28 Core Weight: 1 Total Weight: -420 219.21/219.33 c 219.21/219.33 c 219.21/219.33 c ============================[ Search Statistics ]============================== 219.21/219.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.21/219.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.21/219.33 c =============================================================================== 219.21/219.33 c | 0 | 2875 33213 79340 | 11071 0 nan | 0.000 % | 219.21/219.36 c =============================================================================== 219.31/219.46 c core #581 219.31/219.46 c 219.31/219.46 c 219.31/219.46 c Core size: 23 Core Weight: 1 Total Weight: -419 219.31/219.46 c 219.31/219.46 c 219.31/219.46 c ============================[ Search Statistics ]============================== 219.31/219.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.31/219.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.31/219.46 c =============================================================================== 219.31/219.46 c | 0 | 2890 33214 79370 | 11071 0 nan | 0.000 % | 219.31/219.48 c =============================================================================== 219.41/219.59 c core #582 219.41/219.59 c 219.41/219.59 c 219.41/219.59 c Core size: 25 Core Weight: 1 Total Weight: -418 219.41/219.59 c 219.41/219.59 c 219.41/219.59 c ============================[ Search Statistics ]============================== 219.41/219.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.41/219.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.41/219.59 c =============================================================================== 219.41/219.59 c | 0 | 2907 33215 79404 | 11071 0 nan | 0.000 % | 219.51/219.63 c =============================================================================== 219.61/219.73 c core #583 219.61/219.73 c 219.61/219.73 c 219.61/219.73 c Core size: 22 Core Weight: 1 Total Weight: -417 219.61/219.73 c 219.61/219.73 c 219.61/219.73 c ============================[ Search Statistics ]============================== 219.61/219.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.61/219.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.61/219.73 c =============================================================================== 219.61/219.73 c | 0 | 2920 33216 79430 | 11072 0 nan | 0.000 % | 219.61/219.77 c =============================================================================== 219.71/219.87 c core #584 219.71/219.87 c 219.71/219.87 c 219.71/219.87 c Core size: 26 Core Weight: 1 Total Weight: -416 219.71/219.87 c 219.71/219.87 c 219.71/219.87 c ============================[ Search Statistics ]============================== 219.71/219.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.71/219.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.71/219.87 c =============================================================================== 219.71/219.87 c | 0 | 2936 33217 79462 | 11072 0 nan | 0.000 % | 219.81/219.90 c =============================================================================== 219.81/220.00 c core #585 219.81/220.00 c 219.81/220.00 c 219.81/220.00 c Core size: 28 Core Weight: 1 Total Weight: -415 219.81/220.00 c 219.81/220.00 c 219.81/220.00 c ============================[ Search Statistics ]============================== 219.81/220.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.81/220.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.81/220.00 c =============================================================================== 219.81/220.00 c | 0 | 2954 33218 79498 | 11072 0 nan | 0.000 % | 219.91/220.07 c =============================================================================== 220.01/220.17 c core #586 220.01/220.17 c 220.01/220.17 c 220.01/220.17 c Core size: 52 Core Weight: 1 Total Weight: -414 220.01/220.17 c 220.01/220.17 c 220.01/220.17 c ============================[ Search Statistics ]============================== 220.01/220.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.01/220.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.01/220.17 c =============================================================================== 220.01/220.17 c | 0 | 2985 33219 79560 | 11073 0 nan | 0.000 % | 220.41/220.52 c | 100 | 2985 33219 79560 | 12180 100 12 | 84.105 % | 220.41/220.53 c =============================================================================== 220.51/220.63 c core #587 220.51/220.63 c 220.51/220.63 c 220.51/220.63 c Core size: 95 Core Weight: 1 Total Weight: -413 220.51/220.63 c 220.51/220.63 c 220.51/220.63 c ============================[ Search Statistics ]============================== 220.51/220.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.51/220.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.51/220.63 c =============================================================================== 220.51/220.63 c | 0 | 3056 33220 79702 | 11073 0 nan | 0.000 % | 221.01/221.14 c | 105 | 3056 33220 79702 | 12180 105 45 | 83.789 % | 221.61/221.71 c | 256 | 3056 33220 79702 | 13398 256 45 | 83.789 % | 222.11/222.22 c | 481 | 3055 33220 79702 | 14738 480 43 | 83.794 % | 222.81/222.97 c | 818 | 3055 33220 79702 | 16212 817 42 | 83.794 % | 223.81/223.95 c =============================================================================== 223.91/224.06 c core #588 223.91/224.06 c 223.91/224.06 c 223.91/224.06 c Core size: 142 Core Weight: 1 Total Weight: -412 223.91/224.06 c 223.91/224.06 c 223.91/224.06 c ============================[ Search Statistics ]============================== 223.91/224.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.91/224.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.91/224.06 c =============================================================================== 223.91/224.06 c | 0 | 3173 33221 79936 | 11073 0 nan | 0.000 % | 224.11/224.20 c =============================================================================== 224.22/224.31 c core #589 224.22/224.31 c 224.22/224.31 c 224.22/224.31 c Core size: 80 Core Weight: 1 Total Weight: -411 224.22/224.31 c 224.22/224.31 c 224.22/224.31 c ============================[ Search Statistics ]============================== 224.22/224.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.22/224.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.22/224.31 c =============================================================================== 224.22/224.31 c | 0 | 3234 33222 80058 | 11074 0 nan | 0.000 % | 224.41/224.50 c | 101 | 3234 33222 80058 | 12181 101 6 | 83.005 % | 224.51/224.66 c | 251 | 3234 33222 80058 | 13399 251 8 | 83.005 % | 224.81/224.98 c | 478 | 3234 33222 80058 | 14739 478 9 | 83.005 % | 225.20/225.38 c =============================================================================== 225.31/225.49 c core #590 225.31/225.49 c 225.31/225.49 c 225.31/225.49 c Core size: 137 Core Weight: 1 Total Weight: -410 225.31/225.49 c 225.31/225.49 c 225.31/225.49 c ============================[ Search Statistics ]============================== 225.31/225.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.31/225.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.31/225.49 c =============================================================================== 225.31/225.49 c | 0 | 3344 33223 80278 | 11074 0 nan | 0.000 % | 225.50/225.62 c | 100 | 3344 33223 80278 | 12181 100 11 | 82.528 % | 225.60/225.75 c | 250 | 3344 33223 80278 | 13399 250 12 | 82.528 % | 225.91/226.02 c | 476 | 3344 33223 80278 | 14739 476 14 | 82.528 % | 226.42/226.53 c | 813 | 3344 33223 80278 | 16213 813 16 | 82.528 % | 227.31/227.45 c | 1319 | 3284 33223 80278 | 17835 691 13 | 82.841 % | 227.71/227.83 c =============================================================================== 227.81/227.95 c core #591 227.81/227.95 c 227.81/227.95 c 227.81/227.95 c Core size: 135 Core Weight: 1 Total Weight: -409 227.81/227.95 c 227.81/227.95 c 227.81/227.95 c ============================[ Search Statistics ]============================== 227.81/227.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.81/227.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.81/227.95 c =============================================================================== 227.81/227.95 c | 0 | 3452 33224 80494 | 11074 0 nan | 0.000 % | 228.01/228.13 c | 101 | 3451 33224 80494 | 12182 101 19 | 82.070 % | 228.20/228.30 c | 251 | 3451 33224 80494 | 13400 251 23 | 82.070 % | 228.40/228.54 c | 477 | 3451 33224 80494 | 14740 477 26 | 82.070 % | 228.91/229.03 c | 815 | 3450 33224 80494 | 16214 808 32 | 82.075 % | 229.31/229.43 c | 1329 | 3450 33224 80494 | 17835 1322 40 | 82.075 % | 230.70/230.84 c | 2090 | 3450 33224 80494 | 19619 2083 42 | 82.075 % | 232.51/232.64 c | 3230 | 3450 33224 80494 | 21581 3223 41 | 82.075 % | 235.11/235.26 c | 4939 | 3450 33224 80494 | 23739 4932 41 | 82.075 % | 239.10/239.27 c | 7502 | 3449 33224 80494 | 26113 7494 37 | 82.080 % | 242.20/242.34 c =============================================================================== 242.40/242.51 c core #592 242.40/242.51 c 242.40/242.51 c 242.40/242.51 c Core size: 238 Core Weight: 1 Total Weight: -408 242.40/242.51 c 242.40/242.51 c 242.40/242.51 c ============================[ Search Statistics ]============================== 242.40/242.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 242.40/242.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 242.40/242.51 c =============================================================================== 242.40/242.51 c | 0 | 3645 33225 80880 | 11075 0 nan | 0.000 % | 242.50/242.63 c | 100 | 3645 33225 80880 | 12182 100 24 | 81.250 % | 242.80/242.90 c | 253 | 3645 33225 80880 | 13400 253 21 | 81.250 % | 243.10/243.24 c | 479 | 3645 33225 80880 | 14740 479 23 | 81.250 % | 243.40/243.54 c | 816 | 3645 33225 80880 | 16214 816 22 | 81.250 % | 244.31/244.40 c | 1322 | 3645 33225 80880 | 17836 1322 24 | 81.250 % | 245.60/245.70 c | 2081 | 3645 33225 80880 | 19620 2081 26 | 81.250 % | 246.70/246.86 c =============================================================================== 246.90/247.00 c core #593 246.90/247.00 c 246.90/247.00 c 246.90/247.00 c Core size: 207 Core Weight: 1 Total Weight: -407 246.90/247.00 c 246.90/247.00 c 246.90/247.00 c ============================[ Search Statistics ]============================== 246.90/247.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.90/247.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.90/247.00 c =============================================================================== 246.90/247.00 c | 0 | 3809 33226 81208 | 11075 0 nan | 0.000 % | 247.10/247.22 c | 102 | 3809 33226 81208 | 12182 102 57 | 80.570 % | 247.30/247.45 c | 252 | 3809 33226 81208 | 13401 252 37 | 80.570 % | 247.80/247.91 c | 478 | 3809 33226 81208 | 14741 478 28 | 80.570 % | 248.51/248.68 c | 815 | 3809 33226 81208 | 16215 815 24 | 80.570 % | 249.70/249.90 c | 1324 | 3809 33226 81208 | 17836 1324 24 | 80.570 % | 251.40/251.53 c | 2086 | 3809 33226 81208 | 19620 2086 25 | 80.570 % | 253.80/253.92 c | 3228 | 3809 33226 81208 | 21582 3228 24 | 80.570 % | 255.20/255.37 c =============================================================================== 255.40/255.53 c core #594 255.40/255.53 c 255.40/255.53 c 255.40/255.53 c Core size: 188 Core Weight: 1 Total Weight: -406 255.40/255.53 c 255.40/255.53 c 255.40/255.53 c ============================[ Search Statistics ]============================== 255.40/255.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 255.40/255.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 255.40/255.53 c =============================================================================== 255.40/255.53 c | 0 | 3961 33227 81512 | 11075 0 nan | 0.000 % | 255.70/255.82 c | 100 | 3961 33227 81512 | 12183 100 26 | 79.950 % | 255.80/255.97 c | 250 | 3961 33227 81512 | 13401 250 16 | 79.950 % | 256.10/256.26 c | 476 | 3961 33227 81512 | 14741 476 14 | 79.950 % | 256.59/256.70 c | 814 | 3961 33227 81512 | 16215 814 15 | 79.950 % | 257.50/257.68 c | 1322 | 3961 33227 81512 | 17837 1322 16 | 79.950 % | 258.90/259.06 c | 2081 | 3961 33227 81512 | 19621 2081 15 | 79.950 % | 260.30/260.44 c =============================================================================== 260.40/260.57 c core #595 260.40/260.57 c 260.40/260.57 c 260.40/260.57 c Core size: 173 Core Weight: 1 Total Weight: -405 260.40/260.57 c 260.40/260.57 c 260.40/260.57 c ============================[ Search Statistics ]============================== 260.40/260.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 260.40/260.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 260.40/260.57 c =============================================================================== 260.40/260.57 c | 0 | 4104 33228 81798 | 11076 0 nan | 0.000 % | 260.69/260.80 c | 100 | 4104 33228 81798 | 12183 100 37 | 79.376 % | 260.79/260.93 c | 250 | 4104 33228 81798 | 13401 250 25 | 79.376 % | 261.09/261.25 c | 476 | 4104 33228 81798 | 14742 476 20 | 79.381 % | 261.60/261.73 c | 817 | 4103 33228 81798 | 16216 815 21 | 79.381 % | 262.49/262.64 c | 1323 | 4103 33228 81798 | 17838 1321 25 | 79.381 % | 263.90/264.07 c | 2082 | 4103 33228 81798 | 19621 2080 29 | 79.381 % | 266.39/266.55 c | 3221 | 4103 33228 81798 | 21583 3219 32 | 79.381 % | 270.30/270.46 c | 4930 | 4103 33228 81798 | 23742 4928 35 | 79.381 % | 275.69/275.86 c | 7493 | 4103 33228 81798 | 26116 7491 38 | 79.381 % | 284.88/285.08 c | 11340 | 4103 33228 81798 | 28728 11338 41 | 79.381 % | 294.69/294.89 c =============================================================================== 295.18/295.32 c core #596 295.18/295.32 c 295.18/295.32 c 295.18/295.32 c Core size: 213 Core Weight: 1 Total Weight: -404 295.18/295.32 c 295.18/295.32 c 295.18/295.32 c ============================[ Search Statistics ]============================== 295.18/295.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 295.18/295.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 295.18/295.32 c =============================================================================== 295.18/295.32 c | 0 | 4300 33229 82190 | 11076 0 nan | 0.000 % | 295.28/295.49 c | 100 | 4300 33229 82190 | 12183 100 29 | 78.602 % | 295.38/295.59 c | 250 | 4300 33229 82190 | 13402 250 22 | 78.602 % | 295.58/295.74 c | 475 | 4300 33229 82190 | 14742 475 21 | 78.602 % | 295.88/296.03 c | 812 | 4300 33229 82190 | 16216 812 21 | 78.602 % | 296.18/296.37 c | 1318 | 4300 33229 82190 | 17838 1318 29 | 78.602 % | 297.28/297.41 c | 2078 | 4300 33229 82190 | 19622 2078 31 | 78.602 % | 298.99/299.18 c | 3217 | 4300 33229 82190 | 21584 3217 33 | 78.602 % | 302.08/302.24 c | 4925 | 4300 33229 82190 | 23743 4925 36 | 78.602 % | 308.08/308.26 c | 7487 | 4300 33229 82190 | 26117 7487 36 | 78.602 % | 311.18/311.31 c =============================================================================== 311.37/311.52 c core #597 311.37/311.52 c 311.37/311.52 c 311.37/311.52 c Core size: 140 Core Weight: 1 Total Weight: -403 311.37/311.52 c 311.37/311.52 c 311.37/311.52 c ============================[ Search Statistics ]============================== 311.37/311.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 311.37/311.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 311.37/311.52 c =============================================================================== 311.37/311.52 c | 0 | 4427 33230 82444 | 11076 0 nan | 0.000 % | 311.57/311.76 c | 102 | 4427 33230 82444 | 12184 102 45 | 78.108 % | 311.67/311.87 c | 252 | 4427 33230 82444 | 13402 252 30 | 78.108 % | 311.97/312.10 c | 478 | 4427 33230 82444 | 14743 478 24 | 78.108 % | 312.18/312.35 c | 816 | 4427 33230 82444 | 16217 816 21 | 78.108 % | 312.78/312.91 c | 1322 | 4427 33230 82444 | 17839 1322 23 | 78.108 % | 313.57/313.75 c | 2081 | 4427 33230 82444 | 19622 2081 27 | 78.108 % | 314.87/315.05 c | 3224 | 4427 33230 82444 | 21585 3224 33 | 78.108 % | 317.97/318.10 c | 4932 | 4427 33230 82444 | 23743 4932 42 | 78.108 % | 321.97/322.11 c | 7497 | 4427 33230 82444 | 26118 7497 47 | 78.108 % | 329.17/329.30 c | 11341 | 4427 33230 82444 | 28730 11341 44 | 78.108 % | 343.76/343.90 c | 17112 | 4427 33230 82444 | 31603 17112 44 | 78.108 % | 371.76/371.94 c | 25765 | 4425 33230 82444 | 34763 25516 42 | 78.118 % | 375.36/375.57 c =============================================================================== 375.96/376.16 c core #598 375.96/376.16 c 375.96/376.16 c 375.96/376.16 c Core size: 233 Core Weight: 1 Total Weight: -402 375.96/376.16 c 375.96/376.16 c 375.96/376.16 c ============================[ Search Statistics ]============================== 375.96/376.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 375.96/376.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 375.96/376.16 c =============================================================================== 375.96/376.16 c | 0 | 4643 33231 82876 | 11077 0 nan | 0.000 % | 376.16/376.30 c | 100 | 4643 33231 82876 | 12184 100 21 | 77.283 % | 376.16/376.37 c | 253 | 4643 33231 82876 | 13403 253 21 | 77.283 % | 376.35/376.52 c | 481 | 4643 33231 82876 | 14743 481 20 | 77.283 % | 376.75/376.98 c | 819 | 4643 33231 82876 | 16217 819 27 | 77.283 % | 377.45/377.63 c | 1328 | 4643 33231 82876 | 17839 1328 34 | 77.283 % | 378.45/378.67 c | 2088 | 4643 33231 82876 | 19623 2088 42 | 77.283 % | 380.05/380.21 c | 3228 | 4643 33231 82876 | 21585 3228 43 | 77.283 % | 381.85/382.07 c | 4937 | 4643 33231 82876 | 23744 4937 45 | 77.283 % | 386.15/386.31 c | 7501 | 4643 33231 82876 | 26118 7501 46 | 77.283 % | 392.55/392.73 c | 11348 | 4643 33231 82876 | 28730 11348 45 | 77.283 % | 404.74/404.94 c | 17114 | 4643 33231 82876 | 31603 17114 44 | 77.283 % | 424.14/424.36 c | 25764 | 4643 33231 82876 | 34764 25764 46 | 77.283 % | 461.92/462.13 c | 38743 | 4643 33231 82876 | 38240 38743 45 | 77.283 % | 520.20/520.41 c =============================================================================== 521.99/522.29 c core #599 521.99/522.29 c 521.99/522.29 c 521.99/522.29 c Core size: 224 Core Weight: 1 Total Weight: -401 521.99/522.29 c 521.99/522.29 c 521.99/522.29 c ============================[ Search Statistics ]============================== 521.99/522.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 521.99/522.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 521.99/522.29 c =============================================================================== 521.99/522.29 c | 0 | 4839 33232 83268 | 11077 0 nan | 0.000 % | 522.21/522.45 c | 100 | 4839 33232 83268 | 12185 100 51 | 76.548 % | 522.31/522.55 c | 251 | 4839 33232 83268 | 13403 251 42 | 76.548 % | 522.40/522.67 c | 476 | 4839 33232 83268 | 14743 476 58 | 76.548 % | 522.60/522.83 c | 813 | 4839 33232 83268 | 16218 813 69 | 76.548 % | 522.90/523.16 c | 1319 | 4839 33232 83268 | 17840 1319 61 | 76.548 % | 523.79/524.00 c | 2080 | 4839 33232 83268 | 19624 2080 70 | 76.548 % | 525.20/525.47 c | 3222 | 4839 33232 83268 | 21586 3222 85 | 76.548 % | 527.70/527.91 c | 4932 | 4839 33232 83268 | 23745 4932 93 | 76.548 % | 531.50/531.79 c | 7497 | 4839 33232 83268 | 26119 7497 95 | 76.548 % | 537.60/537.90 c | 11341 | 4839 33232 83268 | 28731 11341 102 | 76.548 % | 545.90/546.13 c | 17109 | 4839 33232 83268 | 31604 17109 92 | 76.548 % | 561.28/561.54 c | 25760 | 4839 33232 83268 | 34765 25760 90 | 76.548 % | 595.68/595.99 c | 38735 | 4839 33232 83268 | 38241 38735 97 | 76.548 % | 648.95/649.20 c | 58196 | 4839 33232 83268 | 42066 18157 88 | 76.548 % | 735.22/735.55 c | 87388 | 4839 33232 83268 | 46272 47349 91 | 76.548 % | 856.38/856.80 c | 131179 | 4839 33232 83268 | 50900 42670 75 | 76.548 % | 1052.40/1052.82 c | 196863 | 4839 33232 83268 | 55990 58175 80 | 76.548 % | 1402.87/1403.48 c | 295389 | 4839 33232 83268 | 61589 47616 71 | 76.548 % | 1691.96/1692.65 c =============================================================================== 1702.46/1703.12 c core #600 1702.46/1703.12 c 1702.46/1703.12 c 1702.46/1703.12 c Core size: 279 Core Weight: 1 Total Weight: -400 1702.46/1703.12 c 1702.46/1703.12 c 1702.46/1703.12 c ============================[ Search Statistics ]============================== 1702.46/1703.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1702.46/1703.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1702.46/1703.12 c =============================================================================== 1702.46/1703.12 c | 0 | 5071 33233 83732 | 11077 0 nan | 0.000 % | 1702.65/1703.31 c | 101 | 5071 33233 83732 | 12185 101 25 | 75.697 % | 1702.76/1703.42 c | 251 | 5071 33233 83732 | 13403 251 28 | 75.697 % | 1702.86/1703.53 c | 476 | 5071 33233 83732 | 14744 476 37 | 75.697 % | 1703.17/1703.85 c | 815 | 5071 33233 83732 | 16218 815 43 | 75.697 % | 1703.66/1704.30 c | 1322 | 5071 33233 83732 | 17840 1322 47 | 75.697 % | 1703.95/1704.67 c | 2081 | 5071 33233 83732 | 19624 2081 60 | 75.697 % | 1704.96/1705.61 c | 3224 | 5071 33233 83732 | 21587 3224 57 | 75.697 % | 1706.35/1707.04 c | 4932 | 5071 33233 83732 | 23745 4932 57 | 75.697 % | 1710.16/1710.84 c | 7494 | 5071 33233 83732 | 26120 7494 66 | 75.697 % | 1715.06/1715.74 c | 11340 | 5071 33233 83732 | 28732 11340 72 | 75.697 % | 1724.45/1725.13 c | 17106 | 5071 33233 83732 | 31605 17106 85 | 75.697 % | 1738.54/1739.24 c | 25755 | 5071 33233 83732 | 34766 25755 92 | 75.697 % | 1770.63/1771.35 c | 38729 | 5071 33233 83732 | 38243 38729 104 | 75.697 % |
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-2702523-1278569205/watcher-2702523-1278569205 -o /tmp/evaluation-result-2702523-1278569205/solver-2702523-1278569205 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702523-1278569205.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28166 /proc/meminfo: memFree=1869556/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=4452 CPUtime=0 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 411 0 0 0 0 0 0 0 18 0 1 0 25127610 4558848 330 1992294400 134512640 135752675 4289977664 18446744073709551615 134574047 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 1113 330 136 303 0 471 0 [startup+0.0182181 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28166 /proc/meminfo: memFree=1869556/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=5180 CPUtime=0.01 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 586 0 0 0 1 0 0 0 18 0 1 0 25127610 5304320 505 1992294400 134512640 135752675 4289977664 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 1295 506 146 303 0 653 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5180 [startup+0.101233 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28166 /proc/meminfo: memFree=1869556/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=8096 CPUtime=0.09 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 1363 0 0 0 9 0 0 0 20 0 1 0 25127610 8290304 1282 1992294400 134512640 135752675 4289977664 18446744073709551615 134564496 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 2024 1283 248 303 0 1382 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8096 [startup+0.301268 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28166 /proc/meminfo: memFree=1869556/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=12432 CPUtime=0.29 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 2965 0 0 0 28 1 0 0 20 0 1 0 25127610 12730368 2514 1992294400 134512640 135752675 4289977664 18446744073709551615 134585266 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 3108 2514 143 303 0 2803 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12432 [startup+0.701337 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28166 /proc/meminfo: memFree=1869556/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=12432 CPUtime=0.69 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 2981 0 0 0 66 3 0 0 20 0 1 0 25127610 12730368 2530 1992294400 134512640 135752675 4289977664 18446744073709551615 135210162 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 3108 2530 145 303 0 2803 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12432 [startup+1.50148 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28167 /proc/meminfo: memFree=1856900/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=21288 CPUtime=1.49 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 5212 0 0 0 143 6 0 0 23 0 1 0 25127610 21798912 4761 1992294400 134512640 135752675 4289977664 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 5322 4761 145 303 0 5017 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21288 [startup+3.10175 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28167 /proc/meminfo: memFree=1844376/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=34768 CPUtime=3.09 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 8603 0 0 0 299 10 0 0 25 0 1 0 25127610 35602432 8152 1992294400 134512640 135752675 4289977664 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 8692 8152 145 303 0 8387 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34768 [startup+6.30131 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28167 /proc/meminfo: memFree=1823544/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=53948 CPUtime=6.29 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 13391 0 0 0 615 14 0 0 25 0 1 0 25127610 55242752 12940 1992294400 134512640 135752675 4289977664 18446744073709551615 134611742 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 13487 12940 145 303 0 13182 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53948 [startup+12.7014 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28167 /proc/meminfo: memFree=1782004/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=94336 CPUtime=12.68 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 23500 0 0 0 1244 24 0 0 25 0 1 0 25127610 96600064 23049 1992294400 134512640 135752675 4289977664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 23584 23049 145 303 0 23279 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 94336 [startup+25.5006 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28168 /proc/meminfo: memFree=1733892/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=139184 CPUtime=25.48 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 34670 0 0 0 2510 38 0 0 25 0 1 0 25127610 142524416 34219 1992294400 134512640 135752675 4289977664 18446744073709551615 134638862 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 34796 34219 145 303 0 34491 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 139184 [startup+51.1011 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28168 /proc/meminfo: memFree=1662964/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=211384 CPUtime=51.07 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 52715 0 0 0 5052 55 0 0 25 0 1 0 25127610 216457216 52264 1992294400 134512640 135752675 4289977664 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 52846 52264 145 303 0 52541 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 211384 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28170 /proc/meminfo: memFree=1510072/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=361944 CPUtime=102.26 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 90317 0 0 0 10141 85 0 0 25 0 1 0 25127610 370630656 89866 1992294400 134512640 135752675 4289977664 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 90486 89866 145 303 0 90181 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 361944 [startup+162.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28171 /proc/meminfo: memFree=1263932/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=611760 CPUtime=162.23 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 152719 0 0 0 16096 127 0 0 25 0 1 0 25127610 626442240 152268 1992294400 134512640 135752675 4289977664 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 152940 152268 145 303 0 152635 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 611760 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28173 /proc/meminfo: memFree=1206768/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=663280 CPUtime=222.2 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 166416 0 0 0 22082 138 0 0 25 0 1 0 25127610 679198720 165315 1992294400 134512640 135752675 4289977664 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 165820 165315 146 303 0 165515 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 663280 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28174 /proc/meminfo: memFree=1206768/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=663280 CPUtime=282.19 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 166417 0 0 0 28064 155 0 0 25 0 1 0 25127610 679198720 165316 1992294400 134512640 135752675 4289977664 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 165820 165316 146 303 0 165515 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 663280 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28176 /proc/meminfo: memFree=1206644/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=663280 CPUtime=342.16 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 166417 0 0 0 34048 168 0 0 25 0 1 0 25127610 679198720 165316 1992294400 134512640 135752675 4289977664 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 165820 165316 146 303 0 165515 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 663280 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28178 /proc/meminfo: memFree=1206644/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=663280 CPUtime=402.14 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 166424 0 0 0 40034 180 0 0 25 0 1 0 25127610 679198720 165323 1992294400 134512640 135752675 4289977664 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 165820 165323 146 303 0 165515 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 663280 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28179 /proc/meminfo: memFree=1206644/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=663280 CPUtime=462.12 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 166424 0 0 0 46021 191 0 0 25 0 1 0 25127610 679198720 165323 1992294400 134512640 135752675 4289977664 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 165820 165323 146 303 0 165515 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 663280 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28181 /proc/meminfo: memFree=1206520/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=663280 CPUtime=522.09 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 166425 0 0 0 52008 201 0 0 25 0 1 0 25127610 679198720 165324 1992294400 134512640 135752675 4289977664 18446744073709551615 135205025 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 165820 165324 146 303 0 165515 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 663280 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28182 /proc/meminfo: memFree=1203296/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=666732 CPUtime=582.08 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 167302 0 0 0 57993 215 0 0 25 0 1 0 25127610 682733568 166201 1992294400 134512640 135752675 4289977664 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 166683 166201 146 303 0 166378 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 666732 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28184 /proc/meminfo: memFree=1191764/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=678120 CPUtime=642.06 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 170135 0 0 0 63976 230 0 0 25 0 1 0 25127610 694394880 169034 1992294400 134512640 135752675 4289977664 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 169530 169034 146 303 0 169225 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 678120 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.01 1.00 1.00 2/107 28193 /proc/meminfo: memFree=1150348/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=719160 CPUtime=881.97 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 180298 0 0 0 87916 281 0 0 25 0 1 0 25127610 736419840 179197 1992294400 134512640 135752675 4289977664 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 179790 179197 146 303 0 179485 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 719160 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28195 /proc/meminfo: memFree=1140676/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=728940 CPUtime=941.94 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 182729 0 0 0 93900 294 0 0 25 0 1 0 25127610 746434560 181628 1992294400 134512640 135752675 4289977664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 182235 181628 146 303 0 181930 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 728940 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28197 /proc/meminfo: memFree=1128896/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=740736 CPUtime=1001.92 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 185662 0 0 0 99883 309 0 0 25 0 1 0 25127610 758513664 184561 1992294400 134512640 135752675 4289977664 18446744073709551615 134518802 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 185184 184561 146 303 0 184879 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 740736 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28198 /proc/meminfo: memFree=1120092/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=749744 CPUtime=1061.9 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 187876 0 0 0 105870 320 0 0 25 0 1 0 25127610 767737856 186775 1992294400 134512640 135752675 4289977664 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 187436 186775 146 303 0 187131 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 749744 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28200 /proc/meminfo: memFree=1113024/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=756768 CPUtime=1121.87 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 189634 0 0 0 111857 330 0 0 25 0 1 0 25127610 774930432 188533 1992294400 134512640 135752675 4289977664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 189192 188533 146 303 0 188887 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 756768 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28201 /proc/meminfo: memFree=1103228/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=766552 CPUtime=1181.86 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 192083 0 0 0 117843 343 0 0 25 0 1 0 25127610 784949248 190982 1992294400 134512640 135752675 4289977664 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 191638 190982 146 303 0 191333 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 766552 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28203 /proc/meminfo: memFree=1094796/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=774944 CPUtime=1241.83 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 194161 0 0 0 123829 354 0 0 25 0 1 0 25127610 793542656 193060 1992294400 134512640 135752675 4289977664 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 193736 193060 146 303 0 193431 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 774944 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28205 /proc/meminfo: memFree=1088100/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=781684 CPUtime=1301.81 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 195831 0 0 0 129818 363 0 0 25 0 1 0 25127610 800444416 194730 1992294400 134512640 135752675 4289977664 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 195421 194730 146 303 0 195116 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 781684 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28206 /proc/meminfo: memFree=1079172/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=790652 CPUtime=1361.78 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 198051 0 0 0 135803 375 0 0 25 0 1 0 25127610 809627648 196950 1992294400 134512640 135752675 4289977664 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 197663 196950 146 303 0 197358 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 790652 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28208 /proc/meminfo: memFree=1071732/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=797932 CPUtime=1421.77 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 199895 0 0 0 141789 388 0 0 25 0 1 0 25127610 817082368 198794 1992294400 134512640 135752675 4289977664 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 199483 198794 146 303 0 199178 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 797932 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28209 /proc/meminfo: memFree=1065160/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=804708 CPUtime=1481.74 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 201546 0 0 0 147777 397 0 0 25 0 1 0 25127610 824020992 200445 1992294400 134512640 135752675 4289977664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 201177 200445 146 303 0 200872 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 804708 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28211 /proc/meminfo: memFree=1058588/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=811112 CPUtime=1541.72 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 203163 0 0 0 153766 406 0 0 25 0 1 0 25127610 830578688 202062 1992294400 134512640 135752675 4289977664 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 202778 202062 146 303 0 202473 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 811112 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28213 /proc/meminfo: memFree=1049288/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=820492 CPUtime=1601.69 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 205506 0 0 0 159748 421 0 0 25 0 1 0 25127610 840183808 204405 1992294400 134512640 135752675 4289977664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 205123 204405 146 303 0 204818 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 820492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28214 /proc/meminfo: memFree=1041972/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=827776 CPUtime=1661.67 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 207308 0 0 0 165734 433 0 0 25 0 1 0 25127610 847642624 206207 1992294400 134512640 135752675 4289977664 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 206944 206207 146 303 0 206639 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 827776 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28216 /proc/meminfo: memFree=1025356/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=844796 CPUtime=1721.65 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 211439 0 0 0 171718 447 0 0 25 0 1 0 25127610 865071104 210338 1992294400 134512640 135752675 4289977664 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 211199 210338 146 303 0 210894 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 844796 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28217 /proc/meminfo: memFree=1025232/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=844796 CPUtime=1781.63 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 211456 0 0 0 177702 461 0 0 25 0 1 0 25127610 865071104 210355 1992294400 134512640 135752675 4289977664 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 211199 210355 146 303 0 210894 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 844796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28218 /proc/meminfo: memFree=1025232/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=844796 CPUtime=1800.04 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 211477 0 0 0 179540 464 0 0 25 0 1 0 25127610 865071104 210376 1992294400 134512640 135752675 4289977664 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 211199 210376 146 303 0 210894 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 844796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28218 /proc/meminfo: memFree=1025232/2059040 swapFree=4139716/4192956 [pid=28166] ppid=28164 vsize=844796 CPUtime=1800.04 /proc/28166/stat : 28166 (wbo1.4b) R 28164 28166 27376 0 -1 4202496 211477 0 0 0 179540 464 0 0 25 0 1 0 25127610 865071104 210376 1992294400 134512640 135752675 4289977664 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28166/statm: 211199 210376 146 303 0 210894 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 844796 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.13 CPU user time (s): 1795.41 CPU system time (s): 4.72528 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 844796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.41 system time used= 4.72528 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 211477 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= 87 involuntary context switches= 1946 runsolver used 2.80857 second user time and 8.72167 second system time The end
Begin job on node048 at 2010-07-08 08:06:45 IDJOB=2702523 IDBENCH=48196 IDSOLVER=1190 FILE ID=node048/2702523-1278569205 PBS_JOBID= 11239564 Free space on /tmp= 62572 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_5.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-2702523-1278569205/watcher-2702523-1278569205 -o /tmp/evaluation-result-2702523-1278569205/solver-2702523-1278569205 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702523-1278569205.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54b0d54e7a8a81cee8fd7c7c85a68b83 RANDOM SEED=2034859714 node048.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1871448 kB Buffers: 11844 kB Cached: 91432 kB SwapCached: 6676 kB Active: 57496 kB Inactive: 59216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1871448 kB SwapTotal: 4192956 kB SwapFree: 4139716 kB Dirty: 2988 kB Writeback: 0 kB AnonPages: 11780 kB Mapped: 12060 kB Slab: 48816 kB PageTables: 4200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180692 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-2702523-1278569205.opb Free space on /tmp at the end= 62568 MiB End job on node048 at 2010-07-08 08:36:49