Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb |
MD5SUM | d847cf1d914db0ec942abd195c5092c7 |
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 | -124 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
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) | 31592 |
Sum of products size (including duplicates) | 63184 |
Number of different products | 15796 |
Sum of products size | 31592 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702485-1278568419.opb. 0.00/0.00 c Instance file HOME/instance-2702485-1278568419.opb 0.00/0.00 c File size is 1376326 bytes. 0.18/0.23 c Highest Coefficient sum: 50 0.18/0.23 c ============================[ Problem Statistics ]============================= 0.18/0.23 c | | 0.18/0.23 c | Parsing time: 0.22 s | 0.18/0.23 c | Number Variables: 16796 | 0.18/0.23 c | Number Clauses: 15796 | 0.18/0.23 c | Number Cardinality: 2000 | 0.18/0.23 c | Number PB Constraints: 15796 | 0.18/0.29 c ============================[ Search Statistics ]============================== 0.18/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.29 c =============================================================================== 0.18/0.29 c | 0 | 1000 33592 77755 | 11197 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.285956 s Remaining CPU time: 179.714 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1000 33593 78755 | 11197 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -1 0.29/0.31 o -1 0.29/0.31 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1000 33594 79755 | 11198 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.298954 s Remaining CPU time: 179.701 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1000 33595 80755 | 11198 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 33596 81755 | 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 33597 82755 | 11199 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.320951 s Remaining CPU time: 179.679 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1000 33598 83755 | 11199 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -6 0.29/0.35 o -6 0.29/0.35 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 1000 33599 84755 | 11199 0 nan | 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 | 0 | 1000 33600 85755 | 11200 0 nan | 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.343947 s Remaining CPU time: 179.656 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 3 | 1000 33601 86755 | 11200 3 993 | 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.351946 s Remaining CPU time: 179.648 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 4 | 1000 33602 87755 | 11200 4 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.360945 s Remaining CPU time: 179.639 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 5 | 1000 33603 88755 | 11201 5 992 | 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.369943 s Remaining CPU time: 179.63 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 10 | 1000 33604 89755 | 11201 10 991 | 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.379942 s Remaining CPU time: 179.62 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 10 | 1000 33605 90755 | 11201 10 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.38894 s Remaining CPU time: 179.611 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 10 | 1000 33606 91755 | 11202 10 991 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: -14 0.39/0.42 o -14 0.39/0.42 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 13 | 1000 33607 92755 | 11202 13 990 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -15 0.39/0.43 o -15 0.39/0.43 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 15 | 1000 33608 93755 | 11202 15 990 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: -16 0.39/0.44 o -16 0.39/0.44 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 19 | 1000 33609 94755 | 11203 19 989 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -17 0.39/0.46 o -17 0.39/0.46 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 23 | 1000 33610 95755 | 11203 23 988 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: -18 0.39/0.47 o -18 0.39/0.47 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 41 | 1000 33611 96755 | 11203 41 986 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: -19 0.39/0.49 o -19 0.39/0.49 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 46 | 1000 33612 97755 | 11204 46 985 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: -20 0.49/0.50 o -20 0.49/0.50 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 49 | 1000 33613 98755 | 11204 49 985 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: -21 0.49/0.52 o -21 0.49/0.52 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 67 | 1000 33614 99755 | 11204 67 984 | 0.000 % | 0.49/0.54 c | 167 | 1000 33614 99755 | 12325 167 981 | 94.046 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: -22 0.49/0.56 o -22 0.49/0.56 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 177 | 1000 33615 100755 | 11205 177 981 | 94.046 % | 0.49/0.59 c | 277 | 1000 33615 100755 | 12325 277 980 | 94.046 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: -23 0.59/0.64 o -23 0.59/0.64 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 416 | 1000 33616 101755 | 11205 416 980 | 94.046 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: -24 0.59/0.66 o -24 0.59/0.66 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 463 | 1000 33617 102755 | 11205 463 980 | 94.046 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: -25 0.59/0.69 o -25 0.59/0.69 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 523 | 1000 33618 103755 | 11206 523 979 | 94.046 % | 0.68/0.72 c | 623 | 1000 33618 103755 | 12326 623 979 | 94.046 % | 0.68/0.77 c | 773 | 1000 33618 103755 | 13559 773 978 | 94.046 % | 0.79/0.86 c | 998 | 1000 33618 103755 | 14915 998 978 | 94.046 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: -26 0.79/0.89 o -26 0.79/0.89 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 1034 | 1000 33619 104755 | 11206 1034 977 | 94.046 % | 0.89/0.93 c | 1134 | 1000 33619 104755 | 12326 1134 977 | 94.046 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: -27 0.89/0.98 o -27 0.89/0.98 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 1220 | 1000 33620 105755 | 11206 1220 977 | 94.046 % | 0.99/1.03 c | 1321 | 1000 33620 105755 | 12327 1321 977 | 94.046 % | 0.99/1.10 c | 1472 | 1000 33620 105755 | 13560 1472 977 | 94.046 % | 1.18/1.20 c | 1698 | 1000 33620 105755 | 14916 1698 976 | 94.046 % | 1.29/1.36 c | 2037 | 1000 33620 105755 | 16407 2037 976 | 94.046 % | 1.49/1.55 c =============================================================================== 1.49/1.55 c New solution: -28 1.49/1.55 o -28 1.49/1.55 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s 1.49/1.55 c =============================================================================== 1.49/1.55 c | 2448 | 1000 33621 106755 | 11207 2448 975 | 94.046 % | 1.58/1.61 c | 2550 | 1000 33621 106755 | 12327 2550 975 | 94.046 % | 1.68/1.71 c | 2701 | 1000 33621 106755 | 13560 2701 975 | 94.046 % | 1.78/1.84 c | 2926 | 1000 33621 106755 | 14916 2926 975 | 94.046 % | 1.99/2.02 c | 3263 | 1000 33621 106755 | 16408 3263 975 | 94.046 % | 2.19/2.27 c | 3770 | 1000 33621 106755 | 18048 3770 975 | 94.046 % | 2.69/2.70 c | 4530 | 1000 33621 106755 | 19853 4530 974 | 94.046 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c New solution: -29 2.79/2.88 o -29 2.79/2.88 c Elapsed CPU time: 2.79657 s Remaining CPU time: 177.203 s 2.79/2.88 c =============================================================================== 2.79/2.88 c | 4736 | 1000 33622 107755 | 11207 4736 974 | 94.046 % | 2.89/2.97 c | 4837 | 1000 33622 107755 | 12328 4837 974 | 94.046 % | 2.98/3.06 c | 4989 | 1000 33622 107755 | 13560 4989 974 | 94.046 % | 3.20/3.22 c | 5214 | 1000 33622 107755 | 14916 5214 974 | 94.046 % | 3.39/3.42 c | 5551 | 1000 33622 107755 | 16408 5551 974 | 94.046 % | 3.69/3.73 c | 6058 | 1000 33622 107755 | 18049 6058 974 | 94.046 % | 3.99/4.07 c | 6817 | 1000 33622 107755 | 19854 6817 974 | 94.046 % | 4.68/4.76 c | 7957 | 1000 33622 107755 | 21839 7957 973 | 94.046 % | 5.68/5.70 c =============================================================================== 5.68/5.70 c New solution: -30 5.68/5.70 o -30 5.68/5.70 c Elapsed CPU time: 5.58715 s Remaining CPU time: 174.413 s 5.68/5.70 c =============================================================================== 5.68/5.70 c | 9559 | 1000 33623 108755 | 11207 9559 973 | 94.046 % | 5.68/5.78 c | 9659 | 1000 33623 108755 | 12328 9659 973 | 94.046 % | 5.79/5.86 c | 9809 | 1000 33623 108755 | 13561 9809 973 | 94.046 % | 5.88/5.98 c | 10034 | 1000 33623 108755 | 14917 10034 973 | 94.046 % | 6.18/6.26 c | 10372 | 1000 33623 108755 | 16409 10372 973 | 94.046 % | 6.59/6.61 c | 10880 | 1000 33623 108755 | 18050 10880 973 | 94.046 % | 6.78/6.81 c =============================================================================== 6.78/6.81 c New solution: -31 6.78/6.81 o -31 6.78/6.81 c Elapsed CPU time: 6.67399 s Remaining CPU time: 173.326 s 6.78/6.81 c =============================================================================== 6.78/6.81 c | 11183 | 1000 33624 109755 | 11208 11183 973 | 94.046 % | 6.88/6.91 c | 11283 | 1000 33624 109755 | 12328 11283 973 | 94.046 % | 6.99/7.03 c | 11434 | 1000 33624 109755 | 13561 11434 973 | 94.046 % | 7.09/7.19 c | 11659 | 1000 33624 109755 | 14917 11659 973 | 94.046 % | 7.38/7.42 c | 11996 | 1000 33624 109755 | 16409 11996 973 | 94.046 % | 7.59/7.63 c | 12502 | 1000 33624 109755 | 18050 12502 972 | 94.046 % | 7.98/8.05 c | 13261 | 1000 33624 109755 | 19855 13261 972 | 94.046 % | 8.19/8.22 c =============================================================================== 8.19/8.22 c New solution: -32 8.19/8.22 o -32 8.19/8.22 c Elapsed CPU time: 8.06077 s Remaining CPU time: 171.939 s 8.19/8.22 c =============================================================================== 8.19/8.22 c | 13527 | 1000 33625 110755 | 11208 13527 972 | 94.046 % | 8.19/8.28 c | 13628 | 1000 33625 110755 | 12329 13628 972 | 94.046 % | 8.29/8.37 c | 13780 | 1000 33625 110755 | 13562 13780 972 | 94.046 % | 8.48/8.58 c | 14005 | 1000 33625 110755 | 14918 14005 972 | 94.046 % | 8.79/8.81 c | 14343 | 1000 33625 110755 | 16410 14343 972 | 94.046 % | 9.19/9.22 c | 14849 | 1000 33625 110755 | 18051 14849 972 | 94.046 % | 9.59/9.61 c | 15609 | 1000 33625 110755 | 19856 15609 972 | 94.046 % | 10.58/10.63 c | 16749 | 1000 33625 110755 | 21841 16749 972 | 94.046 % | 11.89/11.93 c | 18457 | 1000 33625 110755 | 24026 18457 971 | 94.046 % | 14.19/14.28 c | 21019 | 1000 33625 110755 | 26428 21019 971 | 94.046 % | 17.68/17.74 c =============================================================================== 17.68/17.74 c New solution: -33 17.68/17.74 o -33 17.68/17.74 c Elapsed CPU time: 17.4893 s Remaining CPU time: 162.511 s 17.68/17.74 c =============================================================================== 17.68/17.74 c | 22495 | 1000 33626 111755 | 11208 22495 971 | 94.046 % | 17.88/17.91 c | 22595 | 1000 33626 111755 | 12329 22595 971 | 94.046 % | 18.38/18.44 c | 22746 | 1000 33626 111755 | 13562 22746 971 | 94.046 % | 18.98/19.01 c | 22972 | 1000 33626 111755 | 14918 22972 971 | 94.046 % | 19.88/19.92 c | 23310 | 1000 33626 111755 | 16410 23310 971 | 94.046 % | 21.28/21.36 c | 23817 | 1000 33626 111755 | 18051 23817 971 | 94.046 % | 22.99/23.01 c | 24577 | 1000 33626 111755 | 19856 24577 971 | 94.046 % | 24.48/24.56 c | 25718 | 1000 33626 111755 | 21842 25718 970 | 94.046 % | 24.78/24.88 c =============================================================================== 24.78/24.88 c New solution: -34 24.78/24.88 o -34 24.78/24.88 c Elapsed CPU time: 24.5953 s Remaining CPU time: 155.405 s 24.78/24.88 c =============================================================================== 24.78/24.88 c | 25782 | 1000 33627 112755 | 11209 25782 970 | 94.046 % | 24.88/24.95 c =============================================================================== 24.88/24.95 c New solution: -35 24.88/24.95 o -35 24.88/24.95 c Elapsed CPU time: 24.6682 s Remaining CPU time: 155.332 s 24.88/24.95 c =============================================================================== 24.88/24.95 c | 25809 | 1000 33628 113755 | 11209 25809 970 | 94.046 % | 25.58/25.60 c | 25909 | 1000 33628 113755 | 12330 25909 970 | 94.046 % | 26.08/26.11 c | 26060 | 1000 33628 113755 | 13563 26060 970 | 94.046 % | 26.48/26.52 c | 26285 | 1000 33628 113755 | 14919 26285 970 | 94.046 % | 27.49/27.60 c | 26622 | 1000 33628 113755 | 16411 26622 970 | 94.046 % | 28.49/28.52 c | 27129 | 1000 33628 113755 | 18052 27129 970 | 94.046 % | 30.57/30.60 c | 27888 | 1000 33628 113755 | 19858 27888 970 | 94.046 % | 32.77/32.88 c | 29028 | 1000 33628 113755 | 21843 29028 970 | 94.046 % | 34.87/34.99 c =============================================================================== 34.87/34.99 c New solution: -36 34.87/34.99 o -36 34.87/34.99 c Elapsed CPU time: 34.6617 s Remaining CPU time: 145.338 s 34.87/34.99 c =============================================================================== 34.87/34.99 c | 30053 | 1000 33629 114755 | 11209 30053 970 | 94.046 % | 35.57/35.64 c | 30155 | 1000 33629 114755 | 12330 11058 967 | 94.046 % | 35.77/35.83 c | 30305 | 1000 33629 114755 | 13563 11208 967 | 94.046 % | 36.07/36.14 c | 30531 | 1000 33629 114755 | 14920 11434 967 | 94.046 % | 36.68/36.72 c | 30869 | 1000 33629 114755 | 16412 11772 967 | 94.046 % | 37.29/37.32 c | 31375 | 1000 33629 114755 | 18053 12278 967 | 94.046 % | 38.48/38.53 c | 32134 | 1000 33629 114755 | 19858 13037 967 | 94.046 % | 39.17/39.27 c =============================================================================== 39.17/39.27 c New solution: -37 39.17/39.27 o -37 39.17/39.27 c Elapsed CPU time: 38.9091 s Remaining CPU time: 141.091 s 39.17/39.27 c =============================================================================== 39.17/39.27 c | 32794 | 1000 33630 115755 | 11210 13697 967 | 94.046 % | 39.37/39.49 c | 32894 | 1000 33630 115755 | 12331 13797 967 | 94.046 % | 39.68/39.77 c | 33046 | 1000 33630 115755 | 13564 13949 967 | 94.046 % | 39.97/40.00 c | 33272 | 1000 33630 115755 | 14920 14175 967 | 94.046 % | 40.27/40.32 c | 33609 | 1000 33630 115755 | 16412 14512 967 | 94.046 % | 41.07/41.10 c | 34116 | 1000 33630 115755 | 18053 15019 967 | 94.046 % | 41.98/42.03 c | 34875 | 1000 33630 115755 | 19859 15778 967 | 94.046 % | 43.88/43.96 c | 36014 | 1000 33630 115755 | 21845 16917 967 | 94.046 % | 45.37/45.49 c | 37723 | 1000 33630 115755 | 24029 18626 966 | 94.046 % | 45.97/46.09 c =============================================================================== 45.97/46.09 c New solution: -38 45.97/46.09 o -38 45.97/46.09 c Elapsed CPU time: 45.6721 s Remaining CPU time: 134.328 s 45.97/46.09 c =============================================================================== 45.97/46.09 c | 38906 | 1000 33631 116755 | 11210 19809 966 | 94.046 % | 46.08/46.18 c | 39006 | 1000 33631 116755 | 12331 19909 966 | 94.046 % | 46.27/46.30 c | 39158 | 1000 33631 116755 | 13564 20061 966 | 94.046 % | 46.57/46.69 c | 39384 | 1000 33631 116755 | 14920 20287 966 | 94.046 % | 47.07/47.18 c | 39723 | 1000 33631 116755 | 16413 20626 966 | 94.046 % | 47.67/47.78 c | 40229 | 1000 33631 116755 | 18054 21132 966 | 94.046 % | 48.97/49.05 c =============================================================================== 48.97/49.05 c New solution: -39 48.97/49.05 o -39 48.97/49.05 c Elapsed CPU time: 48.6156 s Remaining CPU time: 131.384 s 48.97/49.05 c =============================================================================== 48.97/49.05 c | 40677 | 1000 33632 117755 | 11210 21580 966 | 94.046 % | 49.28/49.31 c | 40777 | 1000 33632 117755 | 12331 21680 966 | 94.046 % | 49.48/49.57 c | 40929 | 1000 33632 117755 | 13564 21832 966 | 94.046 % | 50.07/50.10 c | 41156 | 1000 33632 117755 | 14921 22059 966 | 94.046 % | 50.48/50.57 c | 41493 | 1000 33632 117755 | 16413 22396 966 | 94.046 % | 51.07/51.15 c | 41999 | 1000 33632 117755 | 18054 22902 966 | 94.046 % | 51.77/51.82 c =============================================================================== 51.77/51.82 c New solution: -40 51.77/51.82 o -40 51.77/51.82 c Elapsed CPU time: 51.3672 s Remaining CPU time: 128.633 s 51.77/51.82 c =============================================================================== 51.77/51.82 c | 42406 | 1000 33633 118755 | 11211 23309 966 | 94.046 % | 51.87/51.97 c | 42507 | 1000 33633 118755 | 12332 23410 966 | 94.046 % | 52.17/52.28 c | 42657 | 1000 33633 118755 | 13565 23560 966 | 94.046 % | 52.68/52.76 c | 42883 | 1000 33633 118755 | 14921 23786 965 | 94.046 % | 53.27/53.38 c | 43221 | 1000 33633 118755 | 16414 24124 965 | 94.046 % | 53.97/54.08 c | 43728 | 1000 33633 118755 | 18055 24631 965 | 94.046 % | 54.97/55.08 c | 44488 | 1000 33633 118755 | 19860 25391 965 | 94.046 % | 56.57/56.64 c | 45627 | 1000 33633 118755 | 21847 26530 965 | 94.046 % | 58.87/58.95 c | 47335 | 1000 33633 118755 | 24031 28238 965 | 94.046 % | 61.57/61.61 c | 49897 | 1000 33633 118755 | 26434 30800 964 | 94.046 % | 64.27/64.35 c | 53742 | 1000 33633 118755 | 29078 34645 964 | 94.046 % | 78.66/78.76 c | 59508 | 1000 33633 118755 | 31986 40411 964 | 94.046 % | 96.25/96.35 c | 68158 | 1000 33633 118755 | 35184 11732 961 | 94.046 % | 123.54/123.69 c | 81133 | 1000 33633 118755 | 38703 24707 961 | 94.046 % | 148.23/148.35 c | 100595 | 1000 33633 118755 | 42573 44169 961 | 94.046 % | 181.13/181.22 c There are 15796 assigned variables. 0 in cost function. 183.82/183.96 c core #1 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -999 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #2 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -998 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #3 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -997 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #4 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -996 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #5 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -995 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #6 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -994 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #7 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -993 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #8 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -992 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #9 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -991 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #10 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -990 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #11 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -989 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #12 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -988 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #13 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -987 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #14 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -986 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #15 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -985 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #16 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -984 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #17 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -983 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #18 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -982 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #19 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -981 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #20 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -980 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #21 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -979 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #22 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -978 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #23 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -977 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #24 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -976 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #25 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -975 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #26 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -974 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #27 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -973 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #28 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -972 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #29 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -971 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #30 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -970 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #31 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -969 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #32 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -968 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #33 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -967 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #34 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -966 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #35 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -965 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #36 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -964 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #37 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -963 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #38 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -962 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #39 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -961 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #40 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -960 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #41 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -959 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #42 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -958 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #43 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -957 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #44 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -956 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #45 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -955 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #46 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -954 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #47 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -953 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #48 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -952 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #49 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -951 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #50 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -950 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #51 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -949 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #52 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -948 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #53 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -947 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #54 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -946 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #55 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -945 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #56 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -944 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #57 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -943 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #58 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -942 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c core #59 183.82/183.96 c 183.82/183.96 c 183.82/183.96 c Core size: 3 Core Weight: 1 Total Weight: -941 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #60 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -940 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #61 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -939 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #62 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -938 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #63 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -937 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #64 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -936 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #65 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -935 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #66 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -934 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #67 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -933 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #68 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -932 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #69 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -931 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #70 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -930 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #71 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -929 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #72 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -928 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #73 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -927 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #74 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -926 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #75 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -925 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #76 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -924 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #77 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -923 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #78 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -922 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #79 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -921 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #80 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -920 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #81 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -919 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #82 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -918 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #83 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -917 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #84 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -916 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #85 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -915 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #86 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -914 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #87 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -913 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #88 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -912 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #89 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -911 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #90 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -910 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #91 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -909 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #92 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -908 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #93 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -907 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #94 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -906 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #95 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -905 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #96 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -904 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #97 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -903 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #98 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -902 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #99 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -901 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #100 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -900 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #101 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -899 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #102 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -898 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #103 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -897 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #104 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -896 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #105 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -895 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #106 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -894 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #107 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -893 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #108 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -892 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #109 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -891 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #110 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -890 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #111 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -889 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #112 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -888 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #113 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -887 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #114 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -886 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #115 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -885 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #116 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -884 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c core #117 186.52/186.61 c 186.52/186.61 c 186.52/186.61 c Core size: 3 Core Weight: 1 Total Weight: -883 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #118 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -882 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #119 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -881 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #120 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -880 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #121 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -879 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #122 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -878 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #123 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -877 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #124 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -876 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #125 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -875 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #126 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -874 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #127 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -873 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #128 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -872 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #129 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -871 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #130 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -870 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #131 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -869 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #132 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -868 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #133 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -867 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #134 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -866 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #135 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -865 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #136 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -864 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #137 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -863 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #138 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -862 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #139 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -861 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #140 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -860 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #141 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -859 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #142 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -858 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #143 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -857 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #144 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -856 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #145 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -855 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #146 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -854 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #147 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -853 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #148 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -852 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #149 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -851 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #150 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -850 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #151 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -849 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #152 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -848 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #153 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -847 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #154 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -846 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #155 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -845 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #156 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -844 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #157 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -843 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #158 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -842 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #159 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -841 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #160 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 3 Core Weight: 1 Total Weight: -840 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c core #161 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -839 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #162 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -838 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #163 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -837 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #164 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -836 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #165 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -835 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #166 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -834 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #167 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -833 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #168 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -832 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #169 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -831 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #170 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -830 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #171 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -829 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #172 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -828 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #173 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -827 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #174 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -826 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c core #175 189.42/189.52 c 189.42/189.52 c 189.42/189.52 c Core size: 3 Core Weight: 1 Total Weight: -825 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #176 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -824 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #177 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -823 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #178 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -822 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #179 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -821 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #180 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -820 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #181 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -819 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #182 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -818 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #183 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -817 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #184 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -816 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #185 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -815 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #186 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -814 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #187 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -813 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #188 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -812 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #189 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -811 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #190 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -810 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #191 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -809 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #192 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -808 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #193 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -807 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #194 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -806 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #195 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -805 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #196 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -804 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #197 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -803 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #198 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -802 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #199 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -801 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #200 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -800 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #201 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -799 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #202 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -798 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #203 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -797 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #204 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -796 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #205 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -795 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #206 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -794 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #207 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -793 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #208 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -792 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #209 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -791 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #210 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -790 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #211 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -789 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #212 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -788 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #213 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -787 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #214 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -786 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #215 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -785 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #216 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -784 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #217 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -783 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #218 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -782 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #219 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -781 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #220 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -780 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #221 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -779 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #222 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -778 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #223 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -777 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #224 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -776 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #225 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -775 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #226 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -774 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #227 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -773 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #228 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -772 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #229 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -771 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #230 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -770 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #231 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -769 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #232 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -768 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c core #233 192.62/192.70 c 192.62/192.70 c 192.62/192.70 c Core size: 3 Core Weight: 1 Total Weight: -767 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #234 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -766 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #235 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -765 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #236 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -764 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #237 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -763 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #238 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -762 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #239 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -761 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #240 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -760 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #241 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -759 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #242 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -758 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #243 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -757 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #244 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -756 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #245 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -755 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #246 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -754 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #247 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -753 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #248 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -752 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #249 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -751 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #250 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -750 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #251 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -749 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #252 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -748 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #253 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -747 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #254 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -746 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #255 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -745 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #256 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -744 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #257 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -743 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #258 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -742 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #259 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -741 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #260 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -740 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #261 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -739 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #262 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -738 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #263 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -737 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #264 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -736 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #265 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -735 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #266 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -734 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #267 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -733 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #268 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -732 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #269 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -731 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #270 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -730 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #271 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -729 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #272 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -728 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #273 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -727 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #274 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -726 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #275 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -725 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #276 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -724 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #277 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -723 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #278 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -722 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #279 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -721 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #280 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -720 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #281 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -719 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #282 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -718 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #283 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -717 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #284 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -716 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #285 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -715 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #286 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -714 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #287 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -713 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #288 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -712 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #289 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -711 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c core #290 195.92/196.05 c 195.92/196.05 c 195.92/196.05 c Core size: 3 Core Weight: 1 Total Weight: -710 195.92/196.05 c 199.52/199.64 c 199.52/199.64 c core #291 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -709 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #292 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -708 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #293 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -707 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #294 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -706 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #295 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -705 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #296 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -704 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #297 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -703 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #298 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -702 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #299 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -701 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #300 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -700 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #301 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -699 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #302 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -698 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #303 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -697 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #304 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -696 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #305 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -695 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #306 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -694 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #307 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -693 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #308 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -692 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #309 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -691 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #310 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -690 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #311 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -689 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #312 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -688 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #313 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -687 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #314 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -686 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #315 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -685 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #316 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -684 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #317 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -683 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #318 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -682 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #319 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -681 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #320 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -680 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #321 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -679 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #322 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -678 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #323 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -677 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #324 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -676 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #325 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -675 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #326 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -674 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #327 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -673 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #328 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -672 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #329 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -671 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #330 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -670 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #331 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -669 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #332 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -668 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #333 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -667 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #334 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -666 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #335 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -665 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #336 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -664 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #337 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -663 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #338 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -662 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #339 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -661 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #340 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -660 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #341 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -659 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #342 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -658 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #343 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -657 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #344 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -656 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #345 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -655 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #346 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -654 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #347 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -653 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c core #348 199.52/199.64 c 199.52/199.64 c 199.52/199.64 c Core size: 3 Core Weight: 1 Total Weight: -652 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #349 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -651 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #350 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -650 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #351 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -649 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #352 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -648 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #353 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -647 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #354 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -646 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #355 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -645 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #356 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -644 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #357 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -643 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #358 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -642 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #359 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -641 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #360 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -640 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #361 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -639 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #362 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -638 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #363 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -637 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #364 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -636 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #365 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -635 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #366 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -634 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #367 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -633 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #368 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -632 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #369 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -631 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #370 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -630 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #371 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -629 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #372 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -628 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #373 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -627 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #374 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -626 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #375 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -625 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #376 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -624 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #377 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -623 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #378 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -622 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #379 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -621 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #380 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -620 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #381 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -619 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #382 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -618 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #383 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -617 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #384 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -616 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #385 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -615 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #386 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -614 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #387 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -613 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #388 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -612 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #389 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -611 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #390 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -610 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #391 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -609 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #392 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -608 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #393 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -607 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #394 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -606 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #395 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -605 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #396 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -604 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #397 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -603 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #398 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -602 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #399 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -601 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #400 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -600 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #401 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -599 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #402 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -598 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #403 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -597 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #404 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -596 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #405 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -595 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c core #406 203.32/203.41 c 203.32/203.41 c 203.32/203.41 c Core size: 3 Core Weight: 1 Total Weight: -594 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #407 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -593 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #408 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -592 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #409 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -591 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #410 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -590 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #411 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -589 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #412 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -588 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #413 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -587 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #414 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -586 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #415 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -585 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #416 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -584 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #417 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -583 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #418 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -582 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #419 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -581 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #420 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -580 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #421 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -579 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #422 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -578 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #423 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -577 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #424 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -576 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #425 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -575 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #426 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -574 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #427 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -573 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #428 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -572 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #429 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -571 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #430 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -570 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #431 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -569 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #432 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -568 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #433 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -567 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #434 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -566 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #435 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -565 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #436 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -564 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #437 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -563 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #438 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -562 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #439 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -561 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #440 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -560 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #441 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -559 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #442 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -558 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #443 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -557 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #444 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -556 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #445 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -555 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #446 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -554 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #447 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -553 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #448 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -552 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #449 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -551 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #450 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -550 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #451 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -549 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #452 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -548 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #453 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -547 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #454 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -546 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #455 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -545 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #456 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -544 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #457 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -543 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #458 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -542 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #459 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -541 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #460 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -540 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #461 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -539 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #462 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -538 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #463 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c Core size: 3 Core Weight: 1 Total Weight: -537 207.22/207.33 c 207.22/207.33 c 207.22/207.33 c core #464 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -536 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #465 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -535 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #466 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -534 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #467 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -533 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #468 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -532 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #469 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -531 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #470 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -530 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #471 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -529 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #472 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -528 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #473 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -527 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #474 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -526 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #475 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -525 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #476 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -524 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #477 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -523 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #478 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -522 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #479 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -521 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #480 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -520 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #481 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -519 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #482 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -518 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #483 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -517 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #484 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 3 Core Weight: 1 Total Weight: -516 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #485 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -515 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #486 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -514 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #487 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -513 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #488 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -512 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #489 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -511 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #490 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -510 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #491 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -509 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #492 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 18 Core Weight: 1 Total Weight: -508 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #493 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -507 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #494 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -506 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #495 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 14 Core Weight: 1 Total Weight: -505 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #496 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 7 Core Weight: 1 Total Weight: -504 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #497 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 23 Core Weight: 1 Total Weight: -503 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #498 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 11 Core Weight: 1 Total Weight: -502 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #499 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 11 Core Weight: 1 Total Weight: -501 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #500 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 6 Core Weight: 1 Total Weight: -500 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #501 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 22 Core Weight: 1 Total Weight: -499 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #502 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 18 Core Weight: 1 Total Weight: -498 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c core #503 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c Core size: 14 Core Weight: 1 Total Weight: -497 210.41/210.53 c 210.41/210.53 c 210.41/210.53 c ============================[ Search Statistics ]============================== 210.41/210.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.41/210.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.41/210.53 c =============================================================================== 210.41/210.53 c | 0 | 2078 33136 75748 | 11045 0 nan | 0.000 % | 210.41/210.53 c =============================================================================== 210.51/210.63 c core #504 210.51/210.63 c 210.51/210.63 c 210.51/210.63 c Core size: 10 Core Weight: 1 Total Weight: -496 210.51/210.63 c 210.51/210.63 c 210.51/210.63 c ============================[ Search Statistics ]============================== 210.51/210.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.51/210.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.51/210.63 c =============================================================================== 210.51/210.63 c | 0 | 2084 33137 75760 | 11045 0 nan | 0.000 % | 210.51/210.64 c =============================================================================== 210.61/210.73 c core #505 210.61/210.73 c 210.61/210.73 c 210.61/210.73 c Core size: 12 Core Weight: 1 Total Weight: -495 210.61/210.73 c 210.61/210.73 c 210.61/210.73 c ============================[ Search Statistics ]============================== 210.61/210.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.61/210.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.61/210.73 c =============================================================================== 210.61/210.73 c | 0 | 2092 33138 75776 | 11046 0 nan | 0.000 % | 210.61/210.75 c =============================================================================== 210.71/210.84 c core #506 210.71/210.84 c 210.71/210.84 c 210.71/210.84 c Core size: 16 Core Weight: 1 Total Weight: -494 210.71/210.84 c 210.71/210.84 c 210.71/210.84 c ============================[ Search Statistics ]============================== 210.71/210.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.71/210.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.71/210.84 c =============================================================================== 210.71/210.84 c | 0 | 2102 33139 75796 | 11046 0 nan | 0.000 % | 210.71/210.85 c =============================================================================== 210.81/210.94 c core #507 210.81/210.94 c 210.81/210.94 c 210.81/210.94 c Core size: 16 Core Weight: 1 Total Weight: -493 210.81/210.94 c 210.81/210.94 c 210.81/210.94 c ============================[ Search Statistics ]============================== 210.81/210.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.81/210.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.81/210.94 c =============================================================================== 210.81/210.94 c | 0 | 2112 33140 75816 | 11046 0 nan | 0.000 % | 210.81/210.96 c =============================================================================== 210.91/211.05 c core #508 210.91/211.05 c 210.91/211.05 c 210.91/211.05 c Core size: 16 Core Weight: 1 Total Weight: -492 210.91/211.05 c 210.91/211.05 c 210.91/211.05 c ============================[ Search Statistics ]============================== 210.91/211.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.91/211.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.91/211.05 c =============================================================================== 210.91/211.05 c | 0 | 2122 33141 75836 | 11047 0 nan | 0.000 % | 210.91/211.06 c =============================================================================== 211.02/211.15 c core #509 211.02/211.15 c 211.02/211.15 c 211.02/211.15 c Core size: 26 Core Weight: 1 Total Weight: -491 211.02/211.15 c 211.02/211.15 c 211.02/211.15 c ============================[ Search Statistics ]============================== 211.02/211.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.02/211.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.02/211.15 c =============================================================================== 211.02/211.15 c | 0 | 2142 33142 75876 | 11047 0 nan | 0.000 % | 211.02/211.17 c =============================================================================== 211.12/211.26 c core #510 211.12/211.26 c 211.12/211.26 c 211.12/211.26 c Core size: 12 Core Weight: 1 Total Weight: -490 211.12/211.26 c 211.12/211.26 c 211.12/211.26 c ============================[ Search Statistics ]============================== 211.12/211.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.12/211.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.12/211.26 c =============================================================================== 211.12/211.26 c | 0 | 2150 33143 75892 | 11047 0 nan | 0.000 % | 211.12/211.27 c =============================================================================== 211.21/211.37 c core #511 211.21/211.37 c 211.21/211.37 c 211.21/211.37 c Core size: 12 Core Weight: 1 Total Weight: -489 211.21/211.37 c 211.21/211.37 c 211.21/211.37 c ============================[ Search Statistics ]============================== 211.21/211.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.21/211.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.21/211.37 c =============================================================================== 211.21/211.37 c | 0 | 2158 33144 75908 | 11048 0 nan | 0.000 % | 211.21/211.38 c =============================================================================== 211.31/211.47 c core #512 211.31/211.47 c 211.31/211.47 c 211.31/211.47 c Core size: 14 Core Weight: 1 Total Weight: -488 211.31/211.47 c 211.31/211.47 c 211.31/211.47 c ============================[ Search Statistics ]============================== 211.31/211.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.31/211.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.31/211.47 c =============================================================================== 211.31/211.47 c | 0 | 2166 33145 75924 | 11048 0 nan | 0.000 % | 211.31/211.49 c =============================================================================== 211.41/211.58 c core #513 211.41/211.58 c 211.41/211.58 c 211.41/211.58 c Core size: 10 Core Weight: 1 Total Weight: -487 211.41/211.58 c 211.41/211.58 c 211.41/211.58 c ============================[ Search Statistics ]============================== 211.41/211.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.41/211.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.41/211.58 c =============================================================================== 211.41/211.58 c | 0 | 2172 33146 75936 | 11048 0 nan | 0.000 % | 211.41/211.59 c =============================================================================== 211.51/211.68 c core #514 211.51/211.68 c 211.51/211.68 c 211.51/211.68 c Core size: 14 Core Weight: 1 Total Weight: -486 211.51/211.68 c 211.51/211.68 c 211.51/211.68 c ============================[ Search Statistics ]============================== 211.51/211.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.51/211.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.51/211.68 c =============================================================================== 211.51/211.68 c | 0 | 2180 33147 75952 | 11049 0 nan | 0.000 % | 211.51/211.70 c =============================================================================== 211.61/211.79 c core #515 211.61/211.79 c 211.61/211.79 c 211.61/211.79 c Core size: 16 Core Weight: 1 Total Weight: -485 211.61/211.79 c 211.61/211.79 c 211.61/211.79 c ============================[ Search Statistics ]============================== 211.61/211.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.61/211.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.61/211.79 c =============================================================================== 211.61/211.79 c | 0 | 2190 33148 75972 | 11049 0 nan | 0.000 % | 211.71/211.80 c =============================================================================== 211.71/211.89 c core #516 211.71/211.89 c 211.71/211.89 c 211.71/211.89 c Core size: 12 Core Weight: 1 Total Weight: -484 211.71/211.89 c 211.71/211.89 c 211.71/211.89 c ============================[ Search Statistics ]============================== 211.71/211.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.71/211.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.71/211.89 c =============================================================================== 211.71/211.89 c | 0 | 2198 33149 75988 | 11049 0 nan | 0.000 % | 211.81/211.90 c =============================================================================== 211.81/211.99 c core #517 211.81/211.99 c 211.81/211.99 c 211.81/211.99 c Core size: 12 Core Weight: 1 Total Weight: -483 211.81/211.99 c 211.81/211.99 c 211.81/211.99 c ============================[ Search Statistics ]============================== 211.81/211.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.81/211.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.81/211.99 c =============================================================================== 211.81/211.99 c | 0 | 2206 33150 76004 | 11050 0 nan | 0.000 % | 211.91/212.01 c =============================================================================== 212.01/212.10 c core #518 212.01/212.10 c 212.01/212.10 c 212.01/212.10 c Core size: 12 Core Weight: 1 Total Weight: -482 212.01/212.10 c 212.01/212.10 c 212.01/212.10 c ============================[ Search Statistics ]============================== 212.01/212.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.01/212.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.01/212.10 c =============================================================================== 212.01/212.10 c | 0 | 2214 33151 76020 | 11050 0 nan | 0.000 % | 212.01/212.11 c =============================================================================== 212.12/212.20 c core #519 212.12/212.20 c 212.12/212.20 c 212.12/212.20 c Core size: 16 Core Weight: 1 Total Weight: -481 212.12/212.20 c 212.12/212.20 c 212.12/212.20 c ============================[ Search Statistics ]============================== 212.12/212.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.12/212.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.12/212.20 c =============================================================================== 212.12/212.20 c | 0 | 2224 33152 76040 | 11050 0 nan | 0.000 % | 212.12/212.22 c =============================================================================== 212.22/212.31 c core #520 212.22/212.31 c 212.22/212.31 c 212.22/212.31 c Core size: 14 Core Weight: 1 Total Weight: -480 212.22/212.31 c 212.22/212.31 c 212.22/212.31 c ============================[ Search Statistics ]============================== 212.22/212.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.22/212.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.22/212.31 c =============================================================================== 212.22/212.31 c | 0 | 2232 33153 76056 | 11051 0 nan | 0.000 % | 212.22/212.32 c =============================================================================== 212.32/212.41 c core #521 212.32/212.41 c 212.32/212.41 c 212.32/212.41 c Core size: 12 Core Weight: 1 Total Weight: -479 212.32/212.41 c 212.32/212.41 c 212.32/212.41 c ============================[ Search Statistics ]============================== 212.32/212.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.32/212.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.32/212.41 c =============================================================================== 212.32/212.41 c | 0 | 2240 33154 76072 | 11051 0 nan | 0.000 % | 212.32/212.42 c =============================================================================== 212.42/212.51 c core #522 212.42/212.51 c 212.42/212.51 c 212.42/212.51 c Core size: 16 Core Weight: 1 Total Weight: -478 212.42/212.51 c 212.42/212.51 c 212.42/212.51 c ============================[ Search Statistics ]============================== 212.42/212.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.42/212.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.42/212.51 c =============================================================================== 212.42/212.51 c | 0 | 2250 33155 76092 | 11051 0 nan | 0.000 % | 212.42/212.53 c =============================================================================== 212.52/212.62 c core #523 212.52/212.62 c 212.52/212.62 c 212.52/212.62 c Core size: 16 Core Weight: 1 Total Weight: -477 212.52/212.62 c 212.52/212.62 c 212.52/212.62 c ============================[ Search Statistics ]============================== 212.52/212.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.52/212.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.52/212.62 c =============================================================================== 212.52/212.62 c | 0 | 2260 33156 76112 | 11052 0 nan | 0.000 % | 212.52/212.63 c =============================================================================== 212.62/212.73 c core #524 212.62/212.73 c 212.62/212.73 c 212.62/212.73 c Core size: 15 Core Weight: 1 Total Weight: -476 212.62/212.73 c 212.62/212.73 c 212.62/212.73 c ============================[ Search Statistics ]============================== 212.62/212.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.62/212.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.62/212.73 c =============================================================================== 212.62/212.73 c | 0 | 2270 33157 76132 | 11052 0 nan | 0.000 % | 212.62/212.74 c =============================================================================== 212.72/212.83 c core #525 212.72/212.83 c 212.72/212.83 c 212.72/212.83 c Core size: 12 Core Weight: 1 Total Weight: -475 212.72/212.83 c 212.72/212.83 c 212.72/212.83 c ============================[ Search Statistics ]============================== 212.72/212.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.72/212.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.72/212.83 c =============================================================================== 212.72/212.83 c | 0 | 2278 33158 76148 | 11052 0 nan | 0.000 % | 212.72/212.84 c =============================================================================== 212.82/212.93 c core #526 212.82/212.93 c 212.82/212.93 c 212.82/212.93 c Core size: 14 Core Weight: 1 Total Weight: -474 212.82/212.93 c 212.82/212.93 c 212.82/212.93 c ============================[ Search Statistics ]============================== 212.82/212.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.82/212.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.82/212.93 c =============================================================================== 212.82/212.93 c | 0 | 2286 33159 76164 | 11053 0 nan | 0.000 % | 212.82/212.94 c =============================================================================== 212.92/213.03 c core #527 212.92/213.03 c 212.92/213.03 c 212.92/213.03 c Core size: 14 Core Weight: 1 Total Weight: -473 212.92/213.03 c 212.92/213.03 c 212.92/213.03 c ============================[ Search Statistics ]============================== 212.92/213.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.92/213.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.92/213.03 c =============================================================================== 212.92/213.03 c | 0 | 2294 33160 76180 | 11053 0 nan | 0.000 % | 212.92/213.05 c =============================================================================== 213.02/213.14 c core #528 213.02/213.14 c 213.02/213.14 c 213.02/213.14 c Core size: 16 Core Weight: 1 Total Weight: -472 213.02/213.14 c 213.02/213.14 c 213.02/213.14 c ============================[ Search Statistics ]============================== 213.02/213.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.02/213.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.02/213.14 c =============================================================================== 213.02/213.14 c | 0 | 2304 33161 76200 | 11053 0 nan | 0.000 % | 213.02/213.15 c =============================================================================== 213.12/213.24 c core #529 213.12/213.24 c 213.12/213.24 c 213.12/213.24 c Core size: 16 Core Weight: 1 Total Weight: -471 213.12/213.24 c 213.12/213.24 c 213.12/213.24 c ============================[ Search Statistics ]============================== 213.12/213.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.12/213.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.12/213.24 c =============================================================================== 213.12/213.24 c | 0 | 2314 33162 76220 | 11054 0 nan | 0.000 % | 213.12/213.26 c =============================================================================== 213.22/213.35 c core #530 213.22/213.35 c 213.22/213.35 c 213.22/213.35 c Core size: 14 Core Weight: 1 Total Weight: -470 213.22/213.35 c 213.22/213.35 c 213.22/213.35 c ============================[ Search Statistics ]============================== 213.22/213.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.22/213.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.22/213.35 c =============================================================================== 213.22/213.35 c | 0 | 2322 33163 76236 | 11054 0 nan | 0.000 % | 213.22/213.36 c =============================================================================== 213.32/213.45 c core #531 213.32/213.45 c 213.32/213.45 c 213.32/213.45 c Core size: 10 Core Weight: 1 Total Weight: -469 213.32/213.45 c 213.32/213.45 c 213.32/213.45 c ============================[ Search Statistics ]============================== 213.32/213.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.32/213.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.32/213.45 c =============================================================================== 213.32/213.45 c | 0 | 2328 33164 76248 | 11054 0 nan | 0.000 % | 213.32/213.47 c =============================================================================== 213.42/213.56 c core #532 213.42/213.56 c 213.42/213.56 c 213.42/213.56 c Core size: 14 Core Weight: 1 Total Weight: -468 213.42/213.56 c 213.42/213.56 c 213.42/213.56 c ============================[ Search Statistics ]============================== 213.42/213.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.42/213.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.42/213.56 c =============================================================================== 213.42/213.56 c | 0 | 2336 33165 76264 | 11055 0 nan | 0.000 % | 213.42/213.57 c =============================================================================== 213.52/213.66 c core #533 213.52/213.66 c 213.52/213.66 c 213.52/213.66 c Core size: 16 Core Weight: 1 Total Weight: -467 213.52/213.66 c 213.52/213.66 c 213.52/213.66 c ============================[ Search Statistics ]============================== 213.52/213.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.52/213.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.52/213.67 c =============================================================================== 213.52/213.67 c | 0 | 2346 33166 76284 | 11055 0 nan | 0.000 % | 213.52/213.68 c =============================================================================== 213.62/213.77 c core #534 213.62/213.77 c 213.62/213.77 c 213.62/213.77 c Core size: 10 Core Weight: 1 Total Weight: -466 213.62/213.77 c 213.62/213.77 c 213.62/213.77 c ============================[ Search Statistics ]============================== 213.62/213.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.62/213.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.62/213.77 c =============================================================================== 213.62/213.77 c | 0 | 2352 33167 76296 | 11055 0 nan | 0.000 % | 213.62/213.78 c =============================================================================== 213.72/213.87 c core #535 213.72/213.87 c 213.72/213.87 c 213.72/213.87 c Core size: 12 Core Weight: 1 Total Weight: -465 213.72/213.87 c 213.72/213.87 c 213.72/213.87 c ============================[ Search Statistics ]============================== 213.72/213.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.72/213.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.72/213.87 c =============================================================================== 213.72/213.87 c | 0 | 2360 33168 76312 | 11056 0 nan | 0.000 % | 213.72/213.89 c =============================================================================== 213.82/213.98 c core #536 213.82/213.98 c 213.82/213.98 c 213.82/213.98 c Core size: 16 Core Weight: 1 Total Weight: -464 213.82/213.98 c 213.82/213.98 c 213.82/213.98 c ============================[ Search Statistics ]============================== 213.82/213.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.82/213.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.82/213.98 c =============================================================================== 213.82/213.98 c | 0 | 2370 33169 76332 | 11056 0 nan | 0.000 % | 213.82/213.99 c =============================================================================== 213.92/214.08 c core #537 213.92/214.08 c 213.92/214.08 c 213.92/214.08 c Core size: 14 Core Weight: 1 Total Weight: -463 213.92/214.08 c 213.92/214.08 c 213.92/214.08 c ============================[ Search Statistics ]============================== 213.92/214.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.92/214.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.92/214.08 c =============================================================================== 213.92/214.08 c | 0 | 2378 33170 76348 | 11056 0 nan | 0.000 % | 213.92/214.09 c =============================================================================== 214.01/214.18 c core #538 214.01/214.18 c 214.01/214.18 c 214.01/214.18 c Core size: 12 Core Weight: 1 Total Weight: -462 214.01/214.18 c 214.01/214.18 c 214.01/214.18 c ============================[ Search Statistics ]============================== 214.01/214.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.01/214.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.01/214.18 c =============================================================================== 214.01/214.18 c | 0 | 2386 33171 76364 | 11057 0 nan | 0.000 % | 214.01/214.19 c =============================================================================== 214.11/214.28 c core #539 214.11/214.28 c 214.11/214.28 c 214.11/214.28 c Core size: 16 Core Weight: 1 Total Weight: -461 214.11/214.28 c 214.11/214.28 c 214.11/214.28 c ============================[ Search Statistics ]============================== 214.11/214.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.11/214.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.11/214.28 c =============================================================================== 214.11/214.28 c | 0 | 2396 33172 76384 | 11057 0 nan | 0.000 % | 214.21/214.30 c =============================================================================== 214.21/214.39 c core #540 214.21/214.39 c 214.21/214.39 c 214.21/214.39 c Core size: 16 Core Weight: 1 Total Weight: -460 214.21/214.39 c 214.21/214.39 c 214.21/214.39 c ============================[ Search Statistics ]============================== 214.21/214.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.21/214.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.21/214.39 c =============================================================================== 214.21/214.39 c | 0 | 2406 33173 76404 | 11057 0 nan | 0.000 % | 214.21/214.40 c =============================================================================== 214.32/214.49 c core #541 214.32/214.49 c 214.32/214.49 c 214.32/214.49 c Core size: 14 Core Weight: 1 Total Weight: -459 214.32/214.49 c 214.32/214.49 c 214.32/214.49 c ============================[ Search Statistics ]============================== 214.32/214.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.32/214.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.32/214.49 c =============================================================================== 214.32/214.49 c | 0 | 2414 33174 76420 | 11058 0 nan | 0.000 % | 214.42/214.50 c =============================================================================== 214.51/214.60 c core #542 214.51/214.60 c 214.51/214.60 c 214.51/214.60 c Core size: 14 Core Weight: 1 Total Weight: -458 214.51/214.60 c 214.51/214.60 c 214.51/214.60 c ============================[ Search Statistics ]============================== 214.51/214.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.51/214.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.51/214.60 c =============================================================================== 214.51/214.60 c | 0 | 2422 33175 76436 | 11058 0 nan | 0.000 % | 214.51/214.61 c =============================================================================== 214.61/214.70 c core #543 214.61/214.70 c 214.61/214.70 c 214.61/214.70 c Core size: 16 Core Weight: 1 Total Weight: -457 214.61/214.70 c 214.61/214.70 c 214.61/214.70 c ============================[ Search Statistics ]============================== 214.61/214.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.61/214.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.61/214.70 c =============================================================================== 214.61/214.70 c | 0 | 2432 33176 76456 | 11058 0 nan | 0.000 % | 214.61/214.71 c =============================================================================== 214.71/214.81 c core #544 214.71/214.81 c 214.71/214.81 c 214.71/214.81 c Core size: 14 Core Weight: 1 Total Weight: -456 214.71/214.81 c 214.71/214.81 c 214.71/214.81 c ============================[ Search Statistics ]============================== 214.71/214.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.71/214.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.71/214.81 c =============================================================================== 214.71/214.81 c | 0 | 2440 33177 76472 | 11059 0 nan | 0.000 % | 214.71/214.82 c =============================================================================== 214.81/214.91 c core #545 214.81/214.91 c 214.81/214.91 c 214.81/214.91 c Core size: 16 Core Weight: 1 Total Weight: -455 214.81/214.91 c 214.81/214.91 c 214.81/214.91 c ============================[ Search Statistics ]============================== 214.81/214.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.81/214.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.81/214.91 c =============================================================================== 214.81/214.91 c | 0 | 2450 33178 76492 | 11059 0 nan | 0.000 % | 214.81/214.93 c =============================================================================== 214.91/215.03 c core #546 214.91/215.03 c 214.91/215.03 c 214.91/215.03 c Core size: 19 Core Weight: 1 Total Weight: -454 214.91/215.03 c 214.91/215.03 c 214.91/215.03 c ============================[ Search Statistics ]============================== 214.91/215.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.91/215.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.91/215.03 c =============================================================================== 214.91/215.03 c | 0 | 2463 33179 76518 | 11059 0 nan | 0.000 % | 214.91/215.04 c =============================================================================== 215.01/215.13 c core #547 215.01/215.13 c 215.01/215.13 c 215.01/215.13 c Core size: 16 Core Weight: 1 Total Weight: -453 215.01/215.13 c 215.01/215.13 c 215.01/215.13 c ============================[ Search Statistics ]============================== 215.01/215.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.01/215.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.01/215.13 c =============================================================================== 215.01/215.13 c | 0 | 2473 33180 76538 | 11060 0 nan | 0.000 % | 215.01/215.14 c =============================================================================== 215.11/215.24 c core #548 215.11/215.24 c 215.11/215.24 c 215.11/215.24 c Core size: 14 Core Weight: 1 Total Weight: -452 215.11/215.24 c 215.11/215.24 c 215.11/215.24 c ============================[ Search Statistics ]============================== 215.11/215.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.11/215.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.11/215.24 c =============================================================================== 215.11/215.24 c | 0 | 2481 33181 76554 | 11060 0 nan | 0.000 % | 215.11/215.25 c =============================================================================== 215.21/215.35 c core #549 215.21/215.35 c 215.21/215.35 c 215.21/215.35 c Core size: 14 Core Weight: 1 Total Weight: -451 215.21/215.35 c 215.21/215.35 c 215.21/215.35 c ============================[ Search Statistics ]============================== 215.21/215.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.21/215.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.21/215.35 c =============================================================================== 215.21/215.35 c | 0 | 2489 33182 76570 | 11060 0 nan | 0.000 % | 215.21/215.36 c =============================================================================== 215.31/215.45 c core #550 215.31/215.45 c 215.31/215.45 c 215.31/215.45 c Core size: 16 Core Weight: 1 Total Weight: -450 215.31/215.45 c 215.31/215.45 c 215.31/215.45 c ============================[ Search Statistics ]============================== 215.31/215.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.31/215.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.31/215.45 c =============================================================================== 215.31/215.45 c | 0 | 2499 33183 76590 | 11061 0 nan | 0.000 % | 215.31/215.47 c =============================================================================== 215.42/215.56 c core #551 215.42/215.56 c 215.42/215.56 c 215.42/215.56 c Core size: 14 Core Weight: 1 Total Weight: -449 215.42/215.56 c 215.42/215.56 c 215.42/215.56 c ============================[ Search Statistics ]============================== 215.42/215.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.42/215.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.42/215.56 c =============================================================================== 215.42/215.56 c | 0 | 2507 33184 76606 | 11061 0 nan | 0.000 % | 215.42/215.58 c =============================================================================== 215.52/215.67 c core #552 215.52/215.67 c 215.52/215.67 c 215.52/215.67 c Core size: 16 Core Weight: 1 Total Weight: -448 215.52/215.67 c 215.52/215.67 c 215.52/215.67 c ============================[ Search Statistics ]============================== 215.52/215.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.52/215.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.52/215.67 c =============================================================================== 215.52/215.67 c | 0 | 2517 33185 76626 | 11061 0 nan | 0.000 % | 215.52/215.68 c =============================================================================== 215.61/215.77 c core #553 215.61/215.77 c 215.61/215.77 c 215.61/215.77 c Core size: 16 Core Weight: 1 Total Weight: -447 215.61/215.77 c 215.61/215.77 c 215.61/215.77 c ============================[ Search Statistics ]============================== 215.61/215.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.61/215.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.61/215.77 c =============================================================================== 215.61/215.77 c | 0 | 2527 33186 76646 | 11062 0 nan | 0.000 % | 215.61/215.79 c =============================================================================== 215.71/215.88 c core #554 215.71/215.88 c 215.71/215.88 c 215.71/215.88 c Core size: 14 Core Weight: 1 Total Weight: -446 215.71/215.88 c 215.71/215.88 c 215.71/215.88 c ============================[ Search Statistics ]============================== 215.71/215.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.71/215.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.71/215.88 c =============================================================================== 215.71/215.88 c | 0 | 2535 33187 76662 | 11062 0 nan | 0.000 % | 215.71/215.90 c =============================================================================== 215.81/215.99 c core #555 215.81/215.99 c 215.81/215.99 c 215.81/215.99 c Core size: 16 Core Weight: 1 Total Weight: -445 215.81/215.99 c 215.81/215.99 c 215.81/215.99 c ============================[ Search Statistics ]============================== 215.81/215.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.81/215.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.81/215.99 c =============================================================================== 215.81/215.99 c | 0 | 2545 33188 76682 | 11062 0 nan | 0.000 % | 215.91/216.00 c =============================================================================== 215.91/216.09 c core #556 215.91/216.09 c 215.91/216.09 c 215.91/216.09 c Core size: 16 Core Weight: 1 Total Weight: -444 215.91/216.09 c 215.91/216.09 c 215.91/216.09 c ============================[ Search Statistics ]============================== 215.91/216.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.91/216.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.91/216.09 c =============================================================================== 215.91/216.09 c | 0 | 2555 33189 76702 | 11063 0 nan | 0.000 % | 216.01/216.11 c =============================================================================== 216.11/216.20 c core #557 216.11/216.20 c 216.11/216.20 c 216.11/216.20 c Core size: 16 Core Weight: 1 Total Weight: -443 216.11/216.20 c 216.11/216.20 c 216.11/216.20 c ============================[ Search Statistics ]============================== 216.11/216.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.11/216.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.11/216.20 c =============================================================================== 216.11/216.20 c | 0 | 2565 33190 76722 | 11063 0 nan | 0.000 % | 216.11/216.21 c =============================================================================== 216.21/216.31 c core #558 216.21/216.31 c 216.21/216.31 c 216.21/216.31 c Core size: 20 Core Weight: 1 Total Weight: -442 216.21/216.31 c 216.21/216.31 c 216.21/216.31 c ============================[ Search Statistics ]============================== 216.21/216.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.21/216.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.21/216.31 c =============================================================================== 216.21/216.31 c | 0 | 2577 33191 76746 | 11063 0 nan | 0.000 % | 216.21/216.33 c =============================================================================== 216.31/216.42 c core #559 216.31/216.42 c 216.31/216.42 c 216.31/216.42 c Core size: 20 Core Weight: 1 Total Weight: -441 216.31/216.42 c 216.31/216.42 c 216.31/216.42 c ============================[ Search Statistics ]============================== 216.31/216.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.31/216.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.31/216.42 c =============================================================================== 216.31/216.42 c | 0 | 2589 33192 76770 | 11064 0 nan | 0.000 % | 216.31/216.44 c =============================================================================== 216.41/216.54 c core #560 216.41/216.54 c 216.41/216.54 c 216.41/216.54 c Core size: 18 Core Weight: 1 Total Weight: -440 216.41/216.54 c 216.41/216.54 c 216.41/216.54 c ============================[ Search Statistics ]============================== 216.41/216.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.41/216.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.41/216.54 c =============================================================================== 216.41/216.54 c | 0 | 2601 33193 76794 | 11064 0 nan | 0.000 % | 216.41/216.55 c =============================================================================== 216.52/216.65 c core #561 216.52/216.65 c 216.52/216.65 c 216.52/216.65 c Core size: 16 Core Weight: 1 Total Weight: -439 216.52/216.65 c 216.52/216.65 c 216.52/216.65 c ============================[ Search Statistics ]============================== 216.52/216.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.52/216.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.52/216.65 c =============================================================================== 216.52/216.65 c | 0 | 2611 33194 76814 | 11064 0 nan | 0.000 % | 216.52/216.65 c =============================================================================== 216.62/216.75 c core #562 216.62/216.75 c 216.62/216.75 c 216.62/216.75 c Core size: 16 Core Weight: 1 Total Weight: -438 216.62/216.75 c 216.62/216.75 c 216.62/216.75 c ============================[ Search Statistics ]============================== 216.62/216.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.62/216.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.62/216.75 c =============================================================================== 216.62/216.75 c | 0 | 2621 33195 76834 | 11065 0 nan | 0.000 % | 216.62/216.78 c =============================================================================== 216.71/216.87 c core #563 216.71/216.87 c 216.71/216.87 c 216.71/216.87 c Core size: 18 Core Weight: 1 Total Weight: -437 216.71/216.87 c 216.71/216.87 c 216.71/216.87 c ============================[ Search Statistics ]============================== 216.71/216.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.71/216.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.71/216.87 c =============================================================================== 216.71/216.87 c | 0 | 2631 33196 76854 | 11065 0 nan | 0.000 % | 216.71/216.88 c =============================================================================== 216.81/216.98 c core #564 216.81/216.98 c 216.81/216.98 c 216.81/216.98 c Core size: 20 Core Weight: 1 Total Weight: -436 216.81/216.98 c 216.81/216.98 c 216.81/216.98 c ============================[ Search Statistics ]============================== 216.81/216.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.81/216.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.81/216.98 c =============================================================================== 216.81/216.98 c | 0 | 2643 33197 76878 | 11065 0 nan | 0.000 % | 216.91/217.00 c =============================================================================== 216.91/217.09 c core #565 216.91/217.09 c 216.91/217.09 c 216.91/217.09 c Core size: 18 Core Weight: 1 Total Weight: -435 216.91/217.09 c 216.91/217.09 c 216.91/217.09 c ============================[ Search Statistics ]============================== 216.91/217.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.91/217.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.91/217.09 c =============================================================================== 216.91/217.09 c | 0 | 2653 33198 76898 | 11066 0 nan | 0.000 % | 217.01/217.11 c =============================================================================== 217.11/217.20 c core #566 217.11/217.20 c 217.11/217.20 c 217.11/217.20 c Core size: 20 Core Weight: 1 Total Weight: -434 217.11/217.20 c 217.11/217.20 c 217.11/217.20 c ============================[ Search Statistics ]============================== 217.11/217.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.11/217.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.11/217.20 c =============================================================================== 217.11/217.20 c | 0 | 2665 33199 76922 | 11066 0 nan | 0.000 % | 217.11/217.22 c =============================================================================== 217.21/217.31 c core #567 217.21/217.31 c 217.21/217.31 c 217.21/217.31 c Core size: 16 Core Weight: 1 Total Weight: -433 217.21/217.31 c 217.21/217.31 c 217.21/217.31 c ============================[ Search Statistics ]============================== 217.21/217.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.21/217.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.21/217.31 c =============================================================================== 217.21/217.31 c | 0 | 2675 33200 76942 | 11066 0 nan | 0.000 % | 217.21/217.32 c =============================================================================== 217.31/217.42 c core #568 217.31/217.42 c 217.31/217.42 c 217.31/217.42 c Core size: 16 Core Weight: 1 Total Weight: -432 217.31/217.42 c 217.31/217.42 c 217.31/217.42 c ============================[ Search Statistics ]============================== 217.31/217.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.31/217.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.31/217.42 c =============================================================================== 217.31/217.42 c | 0 | 2685 33201 76962 | 11067 0 nan | 0.000 % | 217.31/217.44 c =============================================================================== 217.41/217.54 c core #569 217.41/217.54 c 217.41/217.54 c 217.41/217.54 c Core size: 12 Core Weight: 1 Total Weight: -431 217.41/217.54 c 217.41/217.54 c 217.41/217.54 c ============================[ Search Statistics ]============================== 217.41/217.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.41/217.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.41/217.54 c =============================================================================== 217.41/217.54 c | 0 | 2693 33202 76978 | 11067 0 nan | 0.000 % | 217.41/217.56 c =============================================================================== 217.51/217.66 c core #570 217.51/217.66 c 217.51/217.66 c 217.51/217.66 c Core size: 18 Core Weight: 1 Total Weight: -430 217.51/217.66 c 217.51/217.66 c 217.51/217.66 c ============================[ Search Statistics ]============================== 217.51/217.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.51/217.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.51/217.66 c =============================================================================== 217.51/217.66 c | 0 | 2705 33203 77002 | 11067 0 nan | 0.000 % | 217.51/217.68 c =============================================================================== 217.62/217.77 c core #571 217.62/217.77 c 217.62/217.77 c 217.62/217.77 c Core size: 16 Core Weight: 1 Total Weight: -429 217.62/217.77 c 217.62/217.77 c 217.62/217.77 c ============================[ Search Statistics ]============================== 217.62/217.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.62/217.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.62/217.77 c =============================================================================== 217.62/217.77 c | 0 | 2715 33204 77022 | 11068 0 nan | 0.000 % | 217.62/217.79 c =============================================================================== 217.72/217.88 c core #572 217.72/217.88 c 217.72/217.88 c 217.72/217.88 c Core size: 20 Core Weight: 1 Total Weight: -428 217.72/217.88 c 217.72/217.88 c 217.72/217.88 c ============================[ Search Statistics ]============================== 217.72/217.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.72/217.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.72/217.88 c =============================================================================== 217.72/217.88 c | 0 | 2727 33205 77046 | 11068 0 nan | 0.000 % | 217.81/217.90 c =============================================================================== 217.91/218.00 c core #573 217.91/218.00 c 217.91/218.00 c 217.91/218.00 c Core size: 20 Core Weight: 1 Total Weight: -427 217.91/218.00 c 217.91/218.00 c 217.91/218.00 c ============================[ Search Statistics ]============================== 217.91/218.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.91/218.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.91/218.00 c =============================================================================== 217.91/218.00 c | 0 | 2739 33206 77070 | 11068 0 nan | 0.000 % | 217.91/218.02 c =============================================================================== 218.01/218.12 c core #574 218.01/218.12 c 218.01/218.12 c 218.01/218.12 c Core size: 20 Core Weight: 1 Total Weight: -426 218.01/218.12 c 218.01/218.12 c 218.01/218.12 c ============================[ Search Statistics ]============================== 218.01/218.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.01/218.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.01/218.12 c =============================================================================== 218.01/218.12 c | 0 | 2751 33207 77094 | 11069 0 nan | 0.000 % | 218.01/218.13 c =============================================================================== 218.11/218.23 c core #575 218.11/218.23 c 218.11/218.23 c 218.11/218.23 c Core size: 14 Core Weight: 1 Total Weight: -425 218.11/218.23 c 218.11/218.23 c 218.11/218.23 c ============================[ Search Statistics ]============================== 218.11/218.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.11/218.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.11/218.23 c =============================================================================== 218.11/218.23 c | 0 | 2759 33208 77110 | 11069 0 nan | 0.000 % | 218.11/218.25 c =============================================================================== 218.21/218.35 c core #576 218.21/218.35 c 218.21/218.35 c 218.21/218.35 c Core size: 22 Core Weight: 1 Total Weight: -424 218.21/218.35 c 218.21/218.35 c 218.21/218.35 c ============================[ Search Statistics ]============================== 218.21/218.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.21/218.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.21/218.35 c =============================================================================== 218.21/218.35 c | 0 | 2773 33209 77138 | 11069 0 nan | 0.000 % | 218.21/218.37 c =============================================================================== 218.31/218.47 c core #577 218.31/218.47 c 218.31/218.47 c 218.31/218.47 c Core size: 22 Core Weight: 1 Total Weight: -423 218.31/218.47 c 218.31/218.47 c 218.31/218.47 c ============================[ Search Statistics ]============================== 218.31/218.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.31/218.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.31/218.47 c =============================================================================== 218.31/218.47 c | 0 | 2787 33210 77166 | 11070 0 nan | 0.000 % | 218.31/218.49 c =============================================================================== 218.41/218.58 c core #578 218.41/218.58 c 218.41/218.58 c 218.41/218.58 c Core size: 20 Core Weight: 1 Total Weight: -422 218.41/218.58 c 218.41/218.58 c 218.41/218.58 c ============================[ Search Statistics ]============================== 218.41/218.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.41/218.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.41/218.58 c =============================================================================== 218.41/218.58 c | 0 | 2799 33211 77190 | 11070 0 nan | 0.000 % | 218.51/218.61 c =============================================================================== 218.61/218.70 c core #579 218.61/218.70 c 218.61/218.70 c 218.61/218.70 c Core size: 18 Core Weight: 1 Total Weight: -421 218.61/218.70 c 218.61/218.70 c 218.61/218.70 c ============================[ Search Statistics ]============================== 218.61/218.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.61/218.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.61/218.70 c =============================================================================== 218.61/218.70 c | 0 | 2809 33212 77210 | 11070 0 nan | 0.000 % | 218.61/218.72 c =============================================================================== 218.72/218.82 c core #580 218.72/218.82 c 218.72/218.82 c 218.72/218.82 c Core size: 29 Core Weight: 1 Total Weight: -420 218.72/218.82 c 218.72/218.82 c 218.72/218.82 c ============================[ Search Statistics ]============================== 218.72/218.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.72/218.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.72/218.82 c =============================================================================== 218.72/218.82 c | 0 | 2826 33213 77244 | 11071 0 nan | 0.000 % | 218.72/218.83 c =============================================================================== 218.82/218.93 c core #581 218.82/218.93 c 218.82/218.93 c 218.82/218.93 c Core size: 14 Core Weight: 1 Total Weight: -419 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 | 2834 33214 77260 | 11071 0 nan | 0.000 % | 218.82/218.94 c =============================================================================== 218.91/219.04 c core #582 218.91/219.04 c 218.91/219.04 c 218.91/219.04 c Core size: 20 Core Weight: 1 Total Weight: -418 218.91/219.04 c 218.91/219.04 c 218.91/219.04 c ============================[ Search Statistics ]============================== 218.91/219.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.91/219.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.91/219.04 c =============================================================================== 218.91/219.04 c | 0 | 2846 33215 77284 | 11071 0 nan | 0.000 % | 218.91/219.05 c =============================================================================== 219.01/219.15 c core #583 219.01/219.15 c 219.01/219.15 c 219.01/219.15 c Core size: 16 Core Weight: 1 Total Weight: -417 219.01/219.15 c 219.01/219.15 c 219.01/219.15 c ============================[ Search Statistics ]============================== 219.01/219.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.01/219.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.01/219.15 c =============================================================================== 219.01/219.15 c | 0 | 2856 33216 77304 | 11072 0 nan | 0.000 % | 219.01/219.18 c =============================================================================== 219.11/219.28 c core #584 219.11/219.28 c 219.11/219.28 c 219.11/219.28 c Core size: 28 Core Weight: 1 Total Weight: -416 219.11/219.28 c 219.11/219.28 c 219.11/219.28 c ============================[ Search Statistics ]============================== 219.11/219.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.11/219.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.11/219.28 c =============================================================================== 219.11/219.28 c | 0 | 2872 33217 77336 | 11072 0 nan | 0.000 % | 219.21/219.30 c =============================================================================== 219.31/219.40 c core #585 219.31/219.40 c 219.31/219.40 c 219.31/219.40 c Core size: 30 Core Weight: 1 Total Weight: -415 219.31/219.40 c 219.31/219.40 c 219.31/219.40 c ============================[ Search Statistics ]============================== 219.31/219.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.31/219.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.31/219.40 c =============================================================================== 219.31/219.40 c | 0 | 2890 33218 77372 | 11072 0 nan | 0.000 % | 219.31/219.42 c =============================================================================== 219.41/219.52 c core #586 219.41/219.52 c 219.41/219.52 c 219.41/219.52 c Core size: 37 Core Weight: 1 Total Weight: -414 219.41/219.52 c 219.41/219.52 c 219.41/219.52 c ============================[ Search Statistics ]============================== 219.41/219.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.41/219.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.41/219.52 c =============================================================================== 219.41/219.52 c | 0 | 2912 33219 77416 | 11073 0 nan | 0.000 % | 219.41/219.55 c =============================================================================== 219.51/219.65 c core #587 219.51/219.65 c 219.51/219.65 c 219.51/219.65 c Core size: 44 Core Weight: 1 Total Weight: -413 219.51/219.65 c 219.51/219.65 c 219.51/219.65 c ============================[ Search Statistics ]============================== 219.51/219.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.51/219.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.51/219.65 c =============================================================================== 219.51/219.65 c | 0 | 2942 33220 77476 | 11073 0 nan | 0.000 % | 219.51/219.68 c =============================================================================== 219.61/219.78 c core #588 219.61/219.78 c 219.61/219.78 c 219.61/219.78 c Core size: 56 Core Weight: 1 Total Weight: -412 219.61/219.78 c 219.61/219.78 c 219.61/219.78 c ============================[ Search Statistics ]============================== 219.61/219.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.61/219.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.61/219.78 c =============================================================================== 219.61/219.78 c | 0 | 2970 33221 77532 | 11073 0 nan | 0.000 % | 219.91/220.04 c | 100 | 2969 33221 77532 | 12181 100 5 | 84.179 % | 220.01/220.12 c =============================================================================== 220.11/220.22 c core #589 220.11/220.22 c 220.11/220.22 c 220.11/220.22 c Core size: 139 Core Weight: 1 Total Weight: -411 220.11/220.22 c 220.11/220.22 c 220.11/220.22 c ============================[ Search Statistics ]============================== 220.11/220.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.11/220.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.11/220.22 c =============================================================================== 220.11/220.22 c | 0 | 3078 33222 77748 | 11074 0 nan | 0.000 % | 220.21/220.35 c =============================================================================== 220.31/220.45 c core #590 220.31/220.45 c 220.31/220.45 c 220.31/220.45 c Core size: 79 Core Weight: 1 Total Weight: -410 220.31/220.45 c 220.31/220.45 c 220.31/220.45 c ============================[ Search Statistics ]============================== 220.31/220.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.31/220.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.31/220.45 c =============================================================================== 220.31/220.45 c | 0 | 3156 33223 77904 | 11074 0 nan | 0.000 % | 220.61/220.78 c | 101 | 3156 33223 77904 | 12181 101 24 | 83.347 % | 220.91/221.02 c | 251 | 3156 33223 77904 | 13399 251 18 | 83.347 % | 221.21/221.38 c | 477 | 3156 33223 77904 | 14739 477 19 | 83.347 % | 221.81/221.96 c | 816 | 3156 33223 77904 | 16213 816 20 | 83.347 % | 222.61/222.71 c | 1324 | 3127 33223 77904 | 17835 1214 18 | 83.500 % | 222.71/222.81 c =============================================================================== 222.81/222.92 c core #591 222.81/222.92 c 222.81/222.92 c 222.81/222.92 c Core size: 185 Core Weight: 1 Total Weight: -409 222.81/222.92 c 222.81/222.92 c 222.81/222.92 c ============================[ Search Statistics ]============================== 222.81/222.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.81/222.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.81/222.92 c =============================================================================== 222.81/222.92 c | 0 | 3328 33224 78248 | 11074 0 nan | 0.000 % | 223.01/223.12 c | 101 | 3328 33224 78248 | 12182 101 28 | 82.598 % | 223.11/223.25 c | 252 | 3328 33224 78248 | 13400 252 21 | 82.598 % | 223.40/223.53 c | 478 | 3328 33224 78248 | 14740 478 18 | 82.598 % | 223.71/223.88 c | 815 | 3328 33224 78248 | 16214 815 17 | 82.598 % | 224.71/224.90 c | 1321 | 3328 33224 78248 | 17835 1321 18 | 82.598 % | 225.71/225.88 c =============================================================================== 225.81/226.00 c core #592 225.81/226.00 c 225.81/226.00 c 225.81/226.00 c Core size: 130 Core Weight: 1 Total Weight: -408 225.81/226.00 c 225.81/226.00 c 225.81/226.00 c ============================[ Search Statistics ]============================== 225.81/226.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.81/226.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.81/226.00 c =============================================================================== 225.81/226.00 c | 0 | 3449 33225 78490 | 11075 0 nan | 0.000 % | 226.01/226.10 c | 101 | 3449 33225 78490 | 12182 101 17 | 82.078 % | 226.10/226.23 c | 251 | 3449 33225 78490 | 13400 251 16 | 82.078 % | 226.52/226.67 c | 476 | 3449 33225 78490 | 14740 476 24 | 82.078 % | 226.81/226.99 c | 817 | 3449 33225 78490 | 16214 817 27 | 82.078 % | 227.61/227.77 c | 1323 | 3449 33225 78490 | 17836 1323 30 | 82.078 % | 229.00/229.14 c | 2083 | 3449 33225 78490 | 19620 2083 30 | 82.078 % | 231.01/231.14 c | 3222 | 3449 33225 78490 | 21582 3222 30 | 82.078 % | 234.70/234.88 c | 4930 | 3418 33225 78490 | 23740 1760 19 | 82.240 % | 236.01/236.12 c =============================================================================== 236.11/236.29 c core #593 236.11/236.29 c 236.11/236.29 c 236.11/236.29 c Core size: 229 Core Weight: 1 Total Weight: -407 236.11/236.29 c 236.11/236.29 c 236.11/236.29 c ============================[ Search Statistics ]============================== 236.11/236.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.11/236.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.11/236.29 c =============================================================================== 236.11/236.29 c | 0 | 3662 33226 78916 | 11075 0 nan | 0.000 % | 236.32/236.42 c | 100 | 3662 33226 78916 | 12182 100 98 | 81.180 % | 236.51/236.66 c | 251 | 3662 33226 78916 | 13401 251 59 | 81.180 % | 236.80/236.93 c | 478 | 3662 33226 78916 | 14741 478 43 | 81.180 % | 237.10/237.28 c | 815 | 3662 33226 78916 | 16215 815 37 | 81.180 % | 237.90/238.05 c | 1322 | 3662 33226 78916 | 17836 1322 35 | 81.180 % | 239.01/239.15 c | 2082 | 3661 33226 78916 | 19620 2078 34 | 81.185 % | 240.90/241.02 c | 3221 | 3661 33226 78916 | 21582 3217 34 | 81.185 % | 244.01/244.17 c =============================================================================== 244.20/244.33 c core #594 244.20/244.33 c 244.20/244.33 c 244.20/244.33 c Core size: 257 Core Weight: 1 Total Weight: -406 244.20/244.33 c 244.20/244.33 c 244.20/244.33 c ============================[ Search Statistics ]============================== 244.20/244.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 244.20/244.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 244.20/244.33 c =============================================================================== 244.20/244.33 c | 0 | 3883 33227 79358 | 11075 0 nan | 0.000 % | 244.40/244.53 c | 100 | 3883 33227 79358 | 12183 100 27 | 80.268 % | 244.50/244.68 c | 252 | 3883 33227 79358 | 13401 252 23 | 80.268 % | 244.70/244.89 c | 482 | 3883 33227 79358 | 14741 482 16 | 80.268 % | 245.21/245.31 c | 821 | 3883 33227 79358 | 16215 821 18 | 80.268 % | 246.00/246.19 c | 1328 | 3883 33227 79358 | 17837 1328 18 | 80.268 % | 247.50/247.70 c | 2088 | 3882 33227 79358 | 19621 2086 19 | 80.273 % | 249.50/249.65 c =============================================================================== 249.60/249.79 c core #595 249.60/249.79 c 249.60/249.79 c 249.60/249.79 c Core size: 174 Core Weight: 1 Total Weight: -405 249.60/249.79 c 249.60/249.79 c 249.60/249.79 c ============================[ Search Statistics ]============================== 249.60/249.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 249.60/249.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 249.60/249.79 c =============================================================================== 249.60/249.79 c | 0 | 4037 33228 79666 | 11076 0 nan | 0.000 % | 249.70/249.89 c | 100 | 4037 33228 79666 | 12183 100 41 | 79.645 % | 249.90/250.08 c | 251 | 4037 33228 79666 | 13401 251 32 | 79.645 % | 250.10/250.23 c | 478 | 4037 33228 79666 | 14742 478 30 | 79.645 % | 250.40/250.58 c | 815 | 4037 33228 79666 | 16216 815 35 | 79.645 % | 251.10/251.28 c | 1321 | 4037 33228 79666 | 17838 1321 38 | 79.645 % | 252.50/252.62 c | 2080 | 4037 33228 79666 | 19621 2080 48 | 79.645 % | 254.20/254.39 c | 3222 | 4037 33228 79666 | 21583 3222 46 | 79.645 % | 257.21/257.31 c | 4932 | 4037 33228 79666 | 23742 4932 43 | 79.645 % | 262.81/262.95 c | 7495 | 4037 33228 79666 | 26116 7495 43 | 79.645 % | 269.40/269.50 c =============================================================================== 269.49/269.69 c core #596 269.49/269.69 c 269.49/269.69 c 269.49/269.69 c Core size: 290 Core Weight: 1 Total Weight: -404 269.49/269.69 c 269.49/269.69 c 269.49/269.69 c ============================[ Search Statistics ]============================== 269.49/269.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 269.49/269.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 269.49/269.69 c =============================================================================== 269.49/269.69 c | 0 | 4293 33229 80178 | 11076 0 nan | 0.000 % | 269.70/269.83 c | 101 | 4293 33229 80178 | 12183 101 10 | 78.630 % | 269.80/269.97 c | 252 | 4293 33229 80178 | 13402 252 10 | 78.630 % | 269.99/270.15 c | 478 | 4293 33229 80178 | 14742 478 12 | 78.630 % | 270.40/270.56 c | 816 | 4293 33229 80178 | 16216 816 14 | 78.630 % | 270.99/271.16 c | 1322 | 4293 33229 80178 | 17838 1322 14 | 78.630 % | 272.19/272.39 c | 2081 | 4293 33229 80178 | 19622 2081 15 | 78.630 % | 273.30/273.44 c =============================================================================== 273.40/273.57 c core #597 273.40/273.57 c 273.40/273.57 c 273.40/273.57 c Core size: 164 Core Weight: 1 Total Weight: -403 273.40/273.57 c 273.40/273.57 c 273.40/273.57 c ============================[ Search Statistics ]============================== 273.40/273.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 273.40/273.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 273.40/273.57 c =============================================================================== 273.40/273.57 c | 0 | 4426 33230 80444 | 11076 0 nan | 0.000 % | 273.59/273.73 c | 100 | 4426 33230 80444 | 12184 100 27 | 78.113 % | 273.70/273.90 c | 250 | 4426 33230 80444 | 13402 250 18 | 78.113 % | 273.89/274.09 c | 475 | 4426 33230 80444 | 14743 475 18 | 78.113 % | 274.49/274.63 c | 812 | 4426 33230 80444 | 16217 812 24 | 78.113 % | 275.50/275.67 c | 1319 | 4426 33230 80444 | 17839 1319 29 | 78.113 % | 276.89/277.10 c | 2079 | 4426 33230 80444 | 19622 2079 34 | 78.113 % | 279.30/279.48 c | 3218 | 4426 33230 80444 | 21585 3218 35 | 78.113 % | 282.49/282.60 c | 4926 | 4426 33230 80444 | 23743 4926 34 | 78.113 % | 287.89/288.01 c | 7488 | 4426 33230 80444 | 26118 7488 34 | 78.113 % | 292.98/293.17 c =============================================================================== 293.28/293.46 c core #598 293.28/293.46 c 293.28/293.46 c 293.28/293.46 c Core size: 120 Core Weight: 1 Total Weight: -402 293.28/293.46 c 293.28/293.46 c 293.28/293.46 c ============================[ Search Statistics ]============================== 293.28/293.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 293.28/293.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 293.28/293.46 c =============================================================================== 293.28/293.46 c | 0 | 4537 33231 80666 | 11077 0 nan | 0.000 % | 293.38/293.59 c | 102 | 4537 33231 80666 | 12184 102 28 | 77.687 % | 293.59/293.71 c | 252 | 4537 33231 80666 | 13403 252 23 | 77.687 % | 293.68/293.87 c | 479 | 4537 33231 80666 | 14743 479 31 | 77.687 % | 293.99/294.17 c | 817 | 4537 33231 80666 | 16217 817 36 | 77.687 % | 294.59/294.72 c | 1323 | 4537 33231 80666 | 17839 1323 45 | 77.687 % | 295.59/295.76 c | 2084 | 4537 33231 80666 | 19623 2084 57 | 77.687 % | 297.28/297.40 c | 3223 | 4537 33231 80666 | 21585 3223 67 | 77.687 % | 299.58/299.71 c | 4931 | 4537 33231 80666 | 23744 4931 73 | 77.687 % | 303.58/303.74 c | 7493 | 4537 33231 80666 | 26118 7493 78 | 77.687 % | 311.88/312.03 c | 11338 | 4537 33231 80666 | 28730 11338 85 | 77.687 % | 322.77/322.98 c | 17106 | 4537 33231 80666 | 31603 17106 85 | 77.687 % | 341.26/341.40 c | 25756 | 4537 33231 80666 | 34764 25756 85 | 77.687 % | 379.75/379.94 c | 38730 | 4537 33231 80666 | 38240 38730 86 | 77.687 % | 449.73/449.92 c | 58191 | 4537 33231 80666 | 42064 18988 77 | 77.687 % | 527.80/528.05 c | 87387 | 4537 33231 80666 | 46271 48184 73 | 77.687 % | 650.05/650.34 c | 131178 | 4537 33231 80666 | 50898 45173 58 | 77.687 % | 705.03/705.39 c =============================================================================== 706.53/706.80 c core #599 706.53/706.80 c 706.53/706.80 c 706.53/706.80 c Core size: 250 Core Weight: 1 Total Weight: -401 706.53/706.80 c 706.53/706.80 c 706.53/706.80 c ============================[ Search Statistics ]============================== 706.53/706.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 706.53/706.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 706.53/706.80 c =============================================================================== 706.53/706.80 c | 0 | 4755 33232 81102 | 11077 0 nan | 0.000 % | 706.63/706.92 c | 100 | 4755 33232 81102 | 12185 100 26 | 76.862 % | 706.63/706.98 c | 250 | 4755 33232 81102 | 13403 250 30 | 76.862 % | 706.83/707.13 c | 475 | 4755 33232 81102 | 14743 475 36 | 76.862 % | 706.93/707.29 c | 814 | 4755 33232 81102 | 16218 814 30 | 76.862 % | 707.33/707.67 c | 1320 | 4755 33232 81102 | 17840 1320 29 | 76.862 % | 708.04/708.31 c | 2079 | 4755 33232 81102 | 19624 2079 30 | 76.862 % | 708.83/709.11 c | 3218 | 4755 33232 81102 | 21586 3218 34 | 76.862 % | 710.53/710.90 c | 4926 | 4755 33232 81102 | 23745 4926 40 | 76.862 % | 713.13/713.50 c | 7488 | 4755 33232 81102 | 26119 7488 40 | 76.862 % | 718.12/718.46 c | 11337 | 4755 33232 81102 | 28731 11337 41 | 76.862 % | 726.02/726.31 c | 17106 | 4755 33232 81102 | 31604 17106 41 | 76.862 % | 741.42/741.71 c | 25755 | 4755 33232 81102 | 34765 25755 46 | 76.862 % | 770.31/770.69 c | 38729 | 4755 33232 81102 | 38241 38729 52 | 76.862 % | 803.90/804.27 c =============================================================================== 805.39/805.78 c core #600 805.39/805.78 c 805.39/805.78 c 805.39/805.78 c Core size: 196 Core Weight: 1 Total Weight: -400 805.39/805.78 c 805.39/805.78 c 805.39/805.78 c ============================[ Search Statistics ]============================== 805.39/805.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 805.39/805.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 805.39/805.79 c =============================================================================== 805.39/805.79 c | 0 | 4937 33233 81466 | 11077 0 nan | 0.000 % | 805.59/805.95 c | 103 | 4937 33233 81466 | 12185 103 39 | 76.188 % | 805.70/806.03 c | 253 | 4937 33233 81466 | 13403 253 28 | 76.188 % | 805.80/806.19 c | 479 | 4937 33233 81466 | 14744 479 26 | 76.188 % | 806.00/806.38 c | 817 | 4937 33233 81466 | 16218 817 29 | 76.188 % | 806.39/806.77 c | 1325 | 4937 33233 81466 | 17840 1325 40 | 76.188 % | 807.29/807.67 c | 2085 | 4937 33233 81466 | 19624 2085 48 | 76.188 % | 808.99/809.39 c | 3225 | 4937 33233 81466 | 21587 3225 56 | 76.188 % | 811.79/812.15 c | 4937 | 4937 33233 81466 | 23745 4937 66 | 76.188 % | 816.29/816.69 c | 7499 | 4937 33233 81466 | 26120 7499 68 | 76.188 % | 823.39/823.74 c | 11343 | 4937 33233 81466 | 28732 11343 74 | 76.188 % | 834.38/834.75 c | 17109 | 4937 33233 81466 | 31605 17109 74 | 76.188 % | 850.58/850.94 c | 25758 | 4937 33233 81466 | 34766 25758 72 | 76.188 % | 887.96/888.33 c | 38732 | 4937 33233 81466 | 38243 38732 78 | 76.188 % | 950.44/950.81 c | 58193 | 4937 33233 81466 | 42067 18357 89 | 76.188 % | 1048.31/1048.77 c | 87386 | 4937 33233 81466 | 46274 47550 103 | 76.188 % | 1206.85/1207.32 c | 131178 | 4937 33233 81466 | 50901 44042 100 | 76.188 % | 1457.67/1458.20 c | 196862 | 4937 33233 81466 | 55991 59184 109 | 76.188 % | 1778.96/1779.64 c | 295389 | 4937 33233 81466 | 61590 47206 93 | 76.188 % |
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-2702485-1278568419/watcher-2702485-1278568419 -o /tmp/evaluation-result-2702485-1278568419/solver-2702485-1278568419 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702485-1278568419.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.91 2/106 27632 /proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=4236 CPUtime=0 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 351 0 0 0 0 0 0 0 19 0 1 0 25055512 4337664 269 1992294400 134512640 135752675 4289296592 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 1059 270 134 303 0 417 0 [startup+0.084346 s] /proc/loadavg: 0.99 0.97 0.91 2/106 27632 /proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=7888 CPUtime=0.07 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 1268 0 0 0 7 0 0 0 19 0 1 0 25055512 8077312 1186 1992294400 134512640 135752675 4289296592 18446744073709551615 134559911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 1972 1186 217 303 0 1330 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7888 [startup+0.100349 s] /proc/loadavg: 0.99 0.97 0.91 2/106 27632 /proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=8020 CPUtime=0.08 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 1337 0 0 0 8 0 0 0 19 0 1 0 25055512 8212480 1255 1992294400 134512640 135752675 4289296592 18446744073709551615 134569823 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 2005 1256 240 303 0 1363 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8020 [startup+0.300389 s] /proc/loadavg: 0.99 0.97 0.91 2/106 27632 /proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=12432 CPUtime=0.29 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 2965 0 0 0 28 1 0 0 20 0 1 0 25055512 12730368 2513 1992294400 134512640 135752675 4289296592 18446744073709551615 134599262 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 3108 2513 143 303 0 2803 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12432 [startup+0.700467 s] /proc/loadavg: 0.99 0.97 0.91 2/106 27632 /proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=12432 CPUtime=0.68 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 2967 0 0 0 65 3 0 0 18 0 1 0 25055512 12730368 2515 1992294400 134512640 135752675 4289296592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 3108 2515 145 303 0 2803 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12432 [startup+1.50062 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27633 /proc/meminfo: memFree=1665196/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=19040 CPUtime=1.49 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 4653 0 0 0 143 6 0 0 19 0 1 0 25055512 19496960 4201 1992294400 134512640 135752675 4289296592 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 4760 4201 145 303 0 4455 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19040 [startup+3.10094 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27633 /proc/meminfo: memFree=1656392/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=29624 CPUtime=3.08 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 7321 0 0 0 300 8 0 0 22 0 1 0 25055512 30334976 6869 1992294400 134512640 135752675 4289296592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 7406 6869 145 303 0 7101 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29624 [startup+6.30056 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27633 /proc/meminfo: memFree=1634816/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=50804 CPUtime=6.29 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 12608 0 0 0 616 13 0 0 25 0 1 0 25055512 52023296 12156 1992294400 134512640 135752675 4289296592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 12701 12156 145 303 0 12396 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50804 [startup+12.7008 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27633 /proc/meminfo: memFree=1596632/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=85620 CPUtime=12.68 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 21305 0 0 0 1248 20 0 0 25 0 1 0 25055512 87674880 20853 1992294400 134512640 135752675 4289296592 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 21405 20853 145 303 0 21100 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 85620 [startup+25.5003 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27633 /proc/meminfo: memFree=1567616/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=111944 CPUtime=25.47 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 27874 0 0 0 2520 27 0 0 25 0 1 0 25055512 114630656 27422 1992294400 134512640 135752675 4289296592 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 27986 27422 145 303 0 27681 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 111944 [startup+51.1003 s] /proc/loadavg: 1.05 0.99 0.91 2/107 27633 /proc/meminfo: memFree=1506608/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=175028 CPUtime=51.07 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 43625 0 0 0 5064 43 0 0 25 0 1 0 25055512 179228672 43173 1992294400 134512640 135752675 4289296592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 43757 43173 145 303 0 43452 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 175028 [startup+102.308 s] /proc/loadavg: 1.08 1.00 0.92 2/107 27635 /proc/meminfo: memFree=1388436/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=291096 CPUtime=102.26 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 72582 0 0 0 10158 68 0 0 25 0 1 0 25055512 298082304 72130 1992294400 134512640 135752675 4289296592 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 72774 72130 145 303 0 72469 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 291096 [startup+162.301 s] /proc/loadavg: 1.09 1.01 0.93 2/107 27637 /proc/meminfo: memFree=1250300/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=429640 CPUtime=162.24 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 107190 0 0 0 16125 99 0 0 25 0 1 0 25055512 439951360 106738 1992294400 134512640 135752675 4289296592 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 107410 106738 145 303 0 107105 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 429640 [startup+222.302 s] /proc/loadavg: 1.08 1.03 0.93 2/107 27639 /proc/meminfo: memFree=1164864/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=512772 CPUtime=222.21 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 128901 0 0 0 22103 118 0 0 25 0 1 0 25055512 525078528 127696 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 128193 127696 146 303 0 127888 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 512772 [startup+282.302 s] /proc/loadavg: 1.08 1.03 0.94 2/107 27641 /proc/meminfo: memFree=1164120/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=513736 CPUtime=282.18 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 129141 0 0 0 28082 136 0 0 25 0 1 0 25055512 526065664 127936 1992294400 134512640 135752675 4289296592 18446744073709551615 134605498 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 128434 127936 146 303 0 128129 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 513736 [startup+342.301 s] /proc/loadavg: 1.07 1.04 0.94 2/107 27641 /proc/meminfo: memFree=1156804/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=520856 CPUtime=342.16 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 131153 0 0 0 34062 154 0 0 25 0 1 0 25055512 533356544 129740 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 130214 129740 146 303 0 129909 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 520856 [startup+402.301 s] /proc/loadavg: 1.07 1.04 0.95 2/107 27643 /proc/meminfo: memFree=1147628/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=530332 CPUtime=402.15 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 133484 0 0 0 40047 168 0 0 25 0 1 0 25055512 543059968 132071 1992294400 134512640 135752675 4289296592 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 132583 132071 146 303 0 132278 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 530332 [startup+462.301 s] /proc/loadavg: 1.06 1.05 0.95 2/107 27654 /proc/meminfo: memFree=1137584/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=539576 CPUtime=462.11 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 135804 0 0 0 46031 180 0 0 25 0 1 0 25055512 552525824 134391 1992294400 134512640 135752675 4289296592 18446744073709551615 134605515 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 134894 134391 146 303 0 134589 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 539576 [startup+522.302 s] /proc/loadavg: 1.06 1.05 0.96 2/107 27656 /proc/meminfo: memFree=1128160/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=549152 CPUtime=522.1 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 138179 0 0 0 52016 194 0 0 25 0 1 0 25055512 562331648 136766 1992294400 134512640 135752675 4289296592 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 137288 136766 146 303 0 136983 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 549152 [startup+582.301 s] /proc/loadavg: 1.13 1.07 0.97 2/107 27658 /proc/meminfo: memFree=1119356/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=558060 CPUtime=582.07 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 140362 0 0 0 58001 206 0 0 25 0 1 0 25055512 571453440 138949 1992294400 134512640 135752675 4289296592 18446744073709551615 134605292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 139515 138949 146 303 0 139210 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 558060 [startup+642.301 s] /proc/loadavg: 1.12 1.07 0.97 2/107 27658 /proc/meminfo: memFree=1110304/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=566976 CPUtime=642.06 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 142601 0 0 0 63986 220 0 0 25 0 1 0 25055512 580583424 141188 1992294400 134512640 135752675 4289296592 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 141744 141188 146 303 0 141439 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 566976 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.08 1.07 1.00 2/107 27666 /proc/meminfo: memFree=1096540/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=580388 CPUtime=881.97 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 146401 0 0 0 87925 272 0 0 25 0 1 0 25055512 594317312 144538 1992294400 134512640 135752675 4289296592 18446744073709551615 134616153 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 145097 144538 146 303 0 144792 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 580388 [startup+942.301 s] /proc/loadavg: 1.08 1.07 1.00 3/107 27666 /proc/meminfo: memFree=1089968/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=587484 CPUtime=941.95 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 148161 0 0 0 93913 282 0 0 25 0 1 0 25055512 601583616 146298 1992294400 134512640 135752675 4289296592 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 146871 146298 146 303 0 146566 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 587484 [startup+1002.3 s] /proc/loadavg: 1.07 1.07 1.00 2/107 27668 /proc/meminfo: memFree=1079924/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=597404 CPUtime=1001.93 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 150642 0 0 0 99897 296 0 0 25 0 1 0 25055512 611741696 148779 1992294400 134512640 135752675 4289296592 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 149351 148779 146 303 0 149046 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 597404 [startup+1062.3 s] /proc/loadavg: 1.07 1.06 1.00 2/107 27670 /proc/meminfo: memFree=1070252/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=607312 CPUtime=1061.9 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 153095 0 0 0 105884 306 0 0 25 0 1 0 25055512 621887488 151232 1992294400 134512640 135752675 4289296592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 151828 151232 146 303 0 151523 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 607312 [startup+1122.3 s] /proc/loadavg: 1.06 1.06 1.00 2/107 27672 /proc/meminfo: memFree=1062316/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=615244 CPUtime=1121.89 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 155019 0 0 0 111873 316 0 0 25 0 1 0 25055512 630009856 153156 1992294400 134512640 135752675 4289296592 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 153811 153156 146 303 0 153506 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 615244 [startup+1182.3 s] /proc/loadavg: 1.06 1.06 1.00 2/107 27674 /proc/meminfo: memFree=1050784/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=626976 CPUtime=1181.87 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 157956 0 0 0 117858 329 0 0 25 0 1 0 25055512 642023424 156093 1992294400 134512640 135752675 4289296592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 156744 156093 146 303 0 156439 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 626976 [startup+1242.3 s] /proc/loadavg: 1.13 1.08 1.01 2/107 27674 /proc/meminfo: memFree=1040616/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=636784 CPUtime=1241.84 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 160396 0 0 0 123842 342 0 0 25 0 1 0 25055512 652066816 158533 1992294400 134512640 135752675 4289296592 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 159196 158533 146 303 0 158891 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 636784 [startup+1302.3 s] /proc/loadavg: 1.12 1.08 1.00 2/107 27676 /proc/meminfo: memFree=1033920/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=643420 CPUtime=1301.83 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 162024 0 0 0 129832 351 0 0 25 0 1 0 25055512 658862080 160161 1992294400 134512640 135752675 4289296592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 160855 160161 146 303 0 160550 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 643420 [startup+1362.3 s] /proc/loadavg: 1.11 1.08 1.00 2/107 27678 /proc/meminfo: memFree=1022264/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=655132 CPUtime=1361.8 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 164970 0 0 0 135817 363 0 0 25 0 1 0 25055512 670855168 163107 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 163783 163107 146 303 0 163478 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 655132 [startup+1422.31 s] /proc/loadavg: 1.10 1.08 1.00 2/107 27680 /proc/meminfo: memFree=1011600/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=665824 CPUtime=1421.78 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 167622 0 0 0 141800 378 0 0 25 0 1 0 25055512 681803776 165759 1992294400 134512640 135752675 4289296592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 166456 165759 146 303 0 166151 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 665824 [startup+1482.3 s] /proc/loadavg: 1.09 1.07 1.00 2/107 27682 /proc/meminfo: memFree=1001556/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=676076 CPUtime=1481.76 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 170145 0 0 0 147787 389 0 0 25 0 1 0 25055512 692301824 168282 1992294400 134512640 135752675 4289296592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 169019 168282 146 303 0 168714 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 676076 [startup+1542.3 s] /proc/loadavg: 1.08 1.07 1.00 2/107 27685 /proc/meminfo: memFree=990520/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=686488 CPUtime=1541.75 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 172758 0 0 0 153774 401 0 0 25 0 1 0 25055512 702963712 170895 1992294400 134512640 135752675 4289296592 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 171622 170895 146 303 0 171317 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 686488 [startup+1602.3 s] /proc/loadavg: 1.08 1.07 1.00 2/107 27687 /proc/meminfo: memFree=978616/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=698640 CPUtime=1601.72 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 175792 0 0 0 159757 415 0 0 25 0 1 0 25055512 715407360 173929 1992294400 134512640 135752675 4289296592 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 174660 173929 146 303 0 174355 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 698640 [startup+1662.3 s] /proc/loadavg: 1.12 1.09 1.01 2/107 27689 /proc/meminfo: memFree=967952/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=709292 CPUtime=1661.7 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 178431 0 0 0 165742 428 0 0 25 0 1 0 25055512 726315008 176568 1992294400 134512640 135752675 4289296592 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 177323 176568 146 303 0 177018 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 709292 [startup+1722.3 s] /proc/loadavg: 1.08 1.08 1.01 2/107 27691 /proc/meminfo: memFree=956668/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=720856 CPUtime=1721.68 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 181282 0 0 0 171726 442 0 0 25 0 1 0 25055512 738156544 179419 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 180214 179419 146 303 0 179909 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 720856 [startup+1782.3 s] /proc/loadavg: 1.07 1.08 1.01 2/107 27693 /proc/meminfo: memFree=944392/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=732924 CPUtime=1781.66 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 184309 0 0 0 177711 455 0 0 25 0 1 0 25055512 750514176 182446 1992294400 134512640 135752675 4289296592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 183231 182446 146 303 0 182926 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 732924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.11 1.09 1.01 2/107 27693 /proc/meminfo: memFree=941292/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=736012 CPUtime=1800.06 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 185066 0 0 0 179547 459 0 0 25 0 1 0 25055512 753676288 183203 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 184003 183203 146 303 0 183698 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 736012 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.11 1.09 1.01 2/107 27693 /proc/meminfo: memFree=941292/2059040 swapFree=4147384/4192956 [pid=27632] ppid=27630 vsize=736012 CPUtime=1800.06 /proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 185066 0 0 0 179547 459 0 0 25 0 1 0 25055512 753676288 183203 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27632/statm: 184003 183203 146 303 0 183698 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 736012 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.79 CPU time (s): 1800.15 CPU user time (s): 1795.48 CPU system time (s): 4.66829 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 736012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.48 system time used= 4.66829 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 185066 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= 83 involuntary context switches= 1563 runsolver used 3.10153 second user time and 8.42672 second system time The end
Begin job on node006 at 2010-07-08 07:53:39 IDJOB=2702485 IDBENCH=48177 IDSOLVER=1190 FILE ID=node006/2702485-1278568419 PBS_JOBID= 11239552 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.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-2702485-1278568419/watcher-2702485-1278568419 -o /tmp/evaluation-result-2702485-1278568419/solver-2702485-1278568419 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702485-1278568419.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED=767507959 node006.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.269 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.53 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.269 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1678876 kB Buffers: 71780 kB Cached: 215424 kB SwapCached: 4204 kB Active: 141124 kB Inactive: 164980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1678876 kB SwapTotal: 4192956 kB SwapFree: 4147384 kB Dirty: 3008 kB Writeback: 0 kB AnonPages: 15832 kB Mapped: 12204 kB Slab: 52132 kB PageTables: 4212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179140 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-2702485-1278568419.opb Free space on /tmp at the end= 62576 MiB End job on node006 at 2010-07-08 08:23:42