Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.13 | 1800.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb |
MD5SUM | 1af848a7208b60f67c27d4022c7b5abe |
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.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -151 |
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) | 31544 |
Sum of products size (including duplicates) | 63088 |
Number of different products | 15772 |
Sum of products size | 31544 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702549-1278569929.opb. 0.00/0.00 c Instance file HOME/instance-2702549-1278569929.opb 0.00/0.00 c File size is 1374244 bytes. 0.19/0.23 c Highest Coefficient sum: 50 0.19/0.23 c ============================[ Problem Statistics ]============================= 0.19/0.23 c | | 0.19/0.23 c | Parsing time: 0.22 s | 0.19/0.23 c | Number Variables: 16772 | 0.19/0.23 c | Number Clauses: 15772 | 0.19/0.23 c | Number Cardinality: 2000 | 0.19/0.23 c | Number PB Constraints: 15772 | 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1000 33544 77709 | 11181 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 33545 78709 | 11181 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -1 0.29/0.30 o -1 0.29/0.30 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1000 33546 79709 | 11182 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.299954 s Remaining CPU time: 179.7 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1000 33547 80709 | 11182 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.307953 s Remaining CPU time: 179.692 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1000 33548 81709 | 11182 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.313952 s Remaining CPU time: 179.686 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1000 33549 82709 | 11183 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.321951 s Remaining CPU time: 179.678 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1000 33550 83709 | 11183 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -6 0.29/0.34 o -6 0.29/0.34 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 3 | 1000 33551 84709 | 11183 3 995 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -7 0.29/0.35 o -7 0.29/0.35 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 3 | 1000 33552 85709 | 11184 3 995 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -8 0.29/0.36 o -8 0.29/0.36 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 3 | 1000 33553 86709 | 11184 3 995 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -9 0.29/0.37 o -9 0.29/0.37 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 4 | 1000 33554 87709 | 11184 4 994 | 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 33555 88709 | 11185 5 994 | 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 | 5 | 1000 33556 89709 | 11185 5 994 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: -12 0.39/0.40 o -12 0.39/0.40 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 10 | 1000 33557 90709 | 11185 10 992 | 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.387941 s Remaining CPU time: 179.612 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 12 | 1000 33558 91709 | 11186 12 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.400939 s Remaining CPU time: 179.599 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 30 | 1000 33559 92709 | 11186 30 989 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: -15 0.39/0.44 o -15 0.39/0.44 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 62 | 1000 33560 93709 | 11186 62 988 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: -16 0.39/0.45 o -16 0.39/0.45 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 68 | 1000 33561 94709 | 11187 68 988 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: -17 0.39/0.47 o -17 0.39/0.47 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 76 | 1000 33562 95709 | 11187 76 988 | 0.000 % | 0.39/0.49 c | 176 | 1000 33562 95709 | 12306 176 985 | 94.038 % | 0.49/0.53 c | 326 | 1000 33562 95709 | 13536 326 984 | 94.038 % | 0.49/0.59 c | 551 | 1000 33562 95709 | 14890 551 984 | 94.038 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: -18 0.59/0.68 o -18 0.59/0.68 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 796 | 1000 33563 96709 | 11187 796 984 | 94.038 % | 0.69/0.72 c | 896 | 1000 33563 96709 | 12306 896 984 | 94.038 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: -19 0.69/0.76 o -19 0.69/0.76 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 977 | 1000 33564 97709 | 11188 977 984 | 94.038 % | 0.79/0.80 c | 1079 | 1000 33564 97709 | 12306 1079 984 | 94.038 % | 0.79/0.85 c | 1230 | 1000 33564 97709 | 13537 1230 984 | 94.038 % | 0.89/0.93 c | 1456 | 1000 33564 97709 | 14891 1456 983 | 94.038 % | 1.00/1.03 c | 1793 | 1000 33564 97709 | 16380 1793 983 | 94.038 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c New solution: -20 1.00/1.04 o -20 1.00/1.04 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s 1.00/1.04 c =============================================================================== 1.00/1.04 c | 1793 | 1000 33565 98709 | 11188 1793 983 | 94.038 % | 1.00/1.08 c | 1893 | 1000 33565 98709 | 12307 1893 983 | 94.038 % | 1.10/1.15 c =============================================================================== 1.10/1.15 c New solution: -21 1.10/1.15 o -21 1.10/1.15 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s 1.10/1.15 c =============================================================================== 1.10/1.15 c | 1996 | 1000 33566 99709 | 11188 1996 983 | 94.038 % | 1.10/1.19 c | 2096 | 1000 33566 99709 | 12307 2096 983 | 94.038 % | 1.19/1.25 c | 2247 | 1000 33566 99709 | 13538 2247 982 | 94.038 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c New solution: -22 1.19/1.29 o -22 1.19/1.29 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s 1.19/1.29 c =============================================================================== 1.19/1.29 c | 2326 | 1000 33567 100709 | 11189 2326 982 | 94.038 % | 1.29/1.34 c | 2426 | 1000 33567 100709 | 12307 2426 982 | 94.038 % | 1.29/1.39 c | 2577 | 1000 33567 100709 | 13538 2577 982 | 94.038 % | 1.39/1.49 c | 2803 | 1000 33567 100709 | 14892 2803 982 | 94.038 % | 1.59/1.64 c | 3140 | 1000 33567 100709 | 16381 3140 982 | 94.038 % | 1.78/1.84 c | 3646 | 1000 33567 100709 | 18019 3646 982 | 94.038 % | 2.10/2.17 c | 4405 | 1000 33567 100709 | 19821 4405 981 | 94.038 % | 2.59/2.68 c =============================================================================== 2.59/2.68 c New solution: -23 2.59/2.68 o -23 2.59/2.68 c Elapsed CPU time: 2.6086 s Remaining CPU time: 177.391 s 2.59/2.68 c =============================================================================== 2.59/2.68 c | 5517 | 1000 33568 101709 | 11189 5517 981 | 94.038 % | 2.69/2.73 c | 5617 | 1000 33568 101709 | 12308 5617 980 | 94.038 % | 2.79/2.83 c | 5768 | 1000 33568 101709 | 13539 5768 980 | 94.038 % | 2.79/2.89 c =============================================================================== 2.79/2.89 c New solution: -24 2.79/2.89 o -24 2.79/2.89 c Elapsed CPU time: 2.82457 s Remaining CPU time: 177.175 s 2.79/2.89 c =============================================================================== 2.79/2.89 c | 5835 | 1000 33569 102709 | 11189 5835 980 | 94.038 % | 2.89/2.99 c | 5935 | 1000 33569 102709 | 12308 5935 980 | 94.038 % | 2.99/3.07 c | 6085 | 1000 33569 102709 | 13539 6085 980 | 94.038 % | 3.09/3.17 c | 6310 | 1000 33569 102709 | 14893 6310 980 | 94.038 % | 3.39/3.48 c | 6648 | 1000 33569 102709 | 16382 6648 980 | 94.038 % | 3.89/3.90 c | 7155 | 1000 33569 102709 | 18021 7155 980 | 94.038 % | 4.40/4.45 c | 7915 | 1000 33569 102709 | 19823 7915 979 | 94.038 % | 5.29/5.30 c =============================================================================== 5.29/5.30 c New solution: -25 5.29/5.30 o -25 5.29/5.30 c Elapsed CPU time: 5.19721 s Remaining CPU time: 174.803 s 5.29/5.30 c =============================================================================== 5.29/5.30 c | 9016 | 1000 33570 103709 | 11190 9016 979 | 94.038 % | 5.39/5.40 c | 9117 | 1000 33570 103709 | 12309 9117 979 | 94.038 % | 5.50/5.52 c | 9268 | 1000 33570 103709 | 13539 9268 979 | 94.038 % | 5.59/5.68 c | 9493 | 1000 33570 103709 | 14893 9493 979 | 94.038 % | 5.78/5.83 c | 9831 | 1000 33570 103709 | 16383 9831 979 | 94.038 % | 6.09/6.18 c | 10337 | 1000 33570 103709 | 18021 10337 979 | 94.038 % | 6.60/6.62 c | 11096 | 1000 33570 103709 | 19823 11096 978 | 94.038 % | 6.79/6.89 c =============================================================================== 6.79/6.89 c New solution: -26 6.79/6.89 o -26 6.79/6.89 c Elapsed CPU time: 6.75597 s Remaining CPU time: 173.244 s 6.79/6.89 c =============================================================================== 6.79/6.89 c | 11488 | 1000 33571 104709 | 11190 11488 978 | 94.038 % | 6.89/6.97 c | 11589 | 1000 33571 104709 | 12309 11589 978 | 94.038 % | 7.09/7.10 c | 11740 | 1000 33571 104709 | 13540 11740 978 | 94.038 % | 7.48/7.51 c | 11965 | 1000 33571 104709 | 14894 11965 978 | 94.038 % | 7.70/7.75 c | 12303 | 1000 33571 104709 | 16383 12303 978 | 94.038 % | 8.09/8.10 c | 12810 | 1000 33571 104709 | 18022 12810 978 | 94.038 % | 8.70/8.77 c | 13570 | 1000 33571 104709 | 19824 13570 978 | 94.038 % | 9.18/9.21 c =============================================================================== 9.18/9.21 c New solution: -27 9.18/9.21 o -27 9.18/9.21 c Elapsed CPU time: 9.04962 s Remaining CPU time: 170.95 s 9.18/9.21 c =============================================================================== 9.18/9.21 c | 13972 | 1000 33572 105709 | 11190 13972 978 | 94.038 % | 9.29/9.35 c | 14073 | 1000 33572 105709 | 12309 14073 978 | 94.038 % | 9.59/9.62 c | 14224 | 1000 33572 105709 | 13540 14224 978 | 94.038 % | 9.89/9.92 c | 14450 | 1000 33572 105709 | 14894 14450 978 | 94.038 % | 10.19/10.28 c | 14787 | 1000 33572 105709 | 16384 14787 978 | 94.038 % | 10.29/10.37 c =============================================================================== 10.29/10.37 c New solution: -28 10.29/10.37 o -28 10.29/10.37 c Elapsed CPU time: 10.2004 s Remaining CPU time: 169.8 s 10.29/10.37 c =============================================================================== 10.29/10.37 c | 14868 | 1000 33573 106709 | 11191 14868 978 | 94.038 % | 10.49/10.51 c | 14969 | 1000 33573 106709 | 12310 14969 978 | 94.038 % | 10.59/10.63 c | 15119 | 1000 33573 106709 | 13541 15119 977 | 94.038 % | 10.79/10.89 c | 15345 | 1000 33573 106709 | 14895 15345 977 | 94.038 % | 11.49/11.54 c | 15682 | 1000 33573 106709 | 16384 15682 977 | 94.038 % | 11.99/12.04 c | 16188 | 1000 33573 106709 | 18023 16188 977 | 94.038 % | 12.68/12.74 c | 16947 | 1000 33573 106709 | 19825 16947 977 | 94.038 % | 13.88/13.91 c | 18086 | 1000 33573 106709 | 21808 18086 977 | 94.038 % | 16.88/16.98 c | 19795 | 1000 33573 106709 | 23988 19795 976 | 94.038 % | 17.19/17.23 c =============================================================================== 17.19/17.23 c New solution: -29 17.19/17.23 o -29 17.19/17.23 c Elapsed CPU time: 17.0014 s Remaining CPU time: 162.999 s 17.19/17.23 c =============================================================================== 17.19/17.23 c | 19986 | 1000 33574 107709 | 11191 19986 976 | 94.038 % | 17.60/17.64 c | 20086 | 1000 33574 107709 | 12310 20086 976 | 94.038 % | 18.29/18.39 c | 20236 | 1000 33574 107709 | 13541 20236 976 | 94.038 % | 19.48/19.59 c | 20462 | 1000 33574 107709 | 14895 20462 976 | 94.038 % | 20.59/20.63 c | 20800 | 1000 33574 107709 | 16385 20800 976 | 94.038 % | 21.68/21.71 c | 21306 | 1000 33574 107709 | 18023 21306 976 | 94.038 % | 23.59/23.67 c | 22065 | 1000 33574 107709 | 19826 22065 976 | 94.038 % | 25.49/25.56 c =============================================================================== 25.49/25.56 c New solution: -30 25.49/25.56 o -30 25.49/25.56 c Elapsed CPU time: 25.2932 s Remaining CPU time: 154.707 s 25.49/25.56 c =============================================================================== 25.49/25.56 c | 22655 | 1000 33575 108709 | 11191 22655 976 | 94.038 % | 25.78/25.80 c | 22756 | 1000 33575 108709 | 12310 22756 976 | 94.038 % | 26.08/26.15 c | 22906 | 1000 33575 108709 | 13541 22906 976 | 94.038 % | 26.59/26.60 c | 23131 | 1000 33575 108709 | 14896 23131 976 | 94.038 % | 27.08/27.18 c | 23468 | 1000 33575 108709 | 16385 23468 976 | 94.038 % | 29.08/29.16 c | 23975 | 1000 33575 108709 | 18024 23975 976 | 94.038 % | 30.98/31.00 c | 24734 | 1000 33575 108709 | 19826 24734 975 | 94.038 % | 34.18/34.22 c =============================================================================== 34.18/34.22 c New solution: -31 34.18/34.22 o -31 34.18/34.22 c Elapsed CPU time: 33.9118 s Remaining CPU time: 146.088 s 34.18/34.22 c =============================================================================== 34.18/34.22 c | 25485 | 1000 33576 109709 | 11192 25485 975 | 94.038 % | 34.68/34.71 c | 25586 | 1000 33576 109709 | 12311 25586 975 | 94.038 % | 35.28/35.35 c | 25737 | 1000 33576 109709 | 13542 25737 975 | 94.038 % | 36.38/36.46 c | 25962 | 1000 33576 109709 | 14896 25962 975 | 94.038 % | 37.08/37.12 c | 26300 | 1000 33576 109709 | 16386 26300 975 | 94.038 % | 38.08/38.12 c | 26806 | 1000 33576 109709 | 18024 26806 975 | 94.038 % | 39.28/39.33 c | 27565 | 1000 33576 109709 | 19827 27565 975 | 94.038 % | 39.98/40.06 c =============================================================================== 39.98/40.06 c New solution: -32 39.98/40.06 o -32 39.98/40.06 c Elapsed CPU time: 39.709 s Remaining CPU time: 140.291 s 39.98/40.06 c =============================================================================== 39.98/40.06 c | 28075 | 1000 33577 110709 | 11192 28075 975 | 94.038 % | 40.68/40.72 c | 28175 | 1000 33577 110709 | 12311 11010 971 | 94.038 % | 40.78/40.85 c | 28325 | 1000 33577 110709 | 13542 11160 971 | 94.038 % | 41.18/41.27 c | 28550 | 1000 33577 110709 | 14896 11385 971 | 94.038 % | 41.69/41.72 c | 28887 | 1000 33577 110709 | 16386 11722 971 | 94.038 % | 42.28/42.37 c | 29394 | 1000 33577 110709 | 18025 12229 971 | 94.038 % | 42.98/43.06 c | 30154 | 1000 33577 110709 | 19827 12989 971 | 94.038 % | 44.18/44.28 c | 31294 | 1000 33577 110709 | 21810 14129 971 | 94.038 % | 45.48/45.56 c =============================================================================== 45.48/45.56 c New solution: -33 45.48/45.56 o -33 45.48/45.56 c Elapsed CPU time: 45.1411 s Remaining CPU time: 134.859 s 45.48/45.56 c =============================================================================== 45.48/45.56 c | 32430 | 1000 33578 111709 | 11192 15265 971 | 94.038 % | 45.58/45.67 c | 32531 | 1000 33578 111709 | 12311 15366 971 | 94.038 % | 45.67/45.79 c | 32681 | 1000 33578 111709 | 13543 15516 971 | 94.038 % | 45.88/46.00 c | 32906 | 1000 33578 111709 | 14897 15741 971 | 94.038 % | 46.18/46.29 c =============================================================================== 46.18/46.29 c New solution: -34 46.18/46.29 o -34 46.18/46.29 c Elapsed CPU time: 45.863 s Remaining CPU time: 134.137 s 46.18/46.29 c =============================================================================== 46.18/46.29 c | 33223 | 1000 33579 112709 | 11193 16058 971 | 94.038 % | 46.38/46.43 c | 33325 | 1000 33579 112709 | 12312 16160 971 | 94.038 % | 46.78/46.88 c | 33475 | 1000 33579 112709 | 13543 16310 970 | 94.038 % | 47.08/47.12 c | 33702 | 1000 33579 112709 | 14897 16537 970 | 94.038 % | 47.19/47.24 c =============================================================================== 47.19/47.24 c New solution: -35 47.19/47.24 o -35 47.19/47.24 c Elapsed CPU time: 46.8109 s Remaining CPU time: 133.189 s 47.19/47.24 c =============================================================================== 47.19/47.24 c | 33845 | 1000 33580 113709 | 11193 16680 970 | 94.038 % | 47.29/47.31 c | 33946 | 1000 33580 113709 | 12312 16781 970 | 94.038 % | 47.38/47.42 c | 34098 | 1000 33580 113709 | 13543 16933 970 | 94.038 % | 47.68/47.76 c | 34325 | 1000 33580 113709 | 14898 17160 970 | 94.038 % | 48.17/48.21 c | 34663 | 1000 33580 113709 | 16388 17498 970 | 94.038 % | 48.78/48.87 c | 35169 | 1000 33580 113709 | 18026 18004 970 | 94.038 % | 49.58/49.64 c | 35928 | 1000 33580 113709 | 19829 18763 970 | 94.038 % | 51.98/52.03 c | 37069 | 1000 33580 113709 | 21812 19904 970 | 94.038 % | 56.08/56.18 c | 38777 | 1000 33580 113709 | 23993 21612 969 | 94.038 % | 62.68/62.76 c | 41339 | 1000 33580 113709 | 26393 24174 969 | 94.038 % | 70.97/71.02 c | 45183 | 1000 33580 113709 | 29032 28018 969 | 94.038 % | 77.57/77.67 c | 50950 | 1000 33580 113709 | 31935 33785 968 | 94.038 % | 85.07/85.11 c | 59599 | 1000 33580 113709 | 35129 42434 968 | 94.038 % | 95.27/95.36 c | 72573 | 1000 33580 113709 | 38642 15041 965 | 94.038 % | 96.27/96.32 c =============================================================================== 96.27/96.32 c New solution: -36 96.27/96.32 o -36 96.27/96.32 c Elapsed CPU time: 95.5765 s Remaining CPU time: 84.4235 s 96.27/96.32 c =============================================================================== 96.27/96.32 c | 73488 | 1000 33581 114709 | 11193 15956 965 | 94.038 % | 96.37/96.48 c | 73588 | 1000 33581 114709 | 12313 16056 965 | 94.038 % | 96.67/96.73 c | 73739 | 1000 33581 114709 | 13544 16207 965 | 94.038 % | 96.96/97.02 c | 73964 | 1000 33581 114709 | 14898 16432 965 | 94.038 % | 97.57/97.67 c | 74301 | 1000 33581 114709 | 16388 16769 965 | 94.038 % | 98.27/98.32 c | 74808 | 1000 33581 114709 | 18027 17276 965 | 94.038 % | 99.77/99.85 c | 75567 | 1000 33581 114709 | 19830 18035 965 | 94.038 % | 100.07/100.14 c =============================================================================== 100.07/100.14 c New solution: -37 100.07/100.14 o -37 100.07/100.14 c Elapsed CPU time: 99.3709 s Remaining CPU time: 80.6291 s 100.07/100.14 c =============================================================================== 100.07/100.14 c | 75663 | 1000 33582 115709 | 11194 18131 965 | 94.038 % | 100.46/100.58 c | 75763 | 1000 33582 115709 | 12313 18231 965 | 94.038 % | 100.76/100.80 c | 75913 | 1000 33582 115709 | 13544 18381 965 | 94.038 % | 100.97/101.08 c | 76138 | 1000 33582 115709 | 14899 18606 965 | 94.038 % | 101.87/101.92 c | 76475 | 1000 33582 115709 | 16389 18943 965 | 94.038 % | 104.27/104.37 c | 76982 | 1000 33582 115709 | 18028 19450 965 | 94.038 % | 106.06/106.14 c | 77742 | 1000 33582 115709 | 19830 20210 965 | 94.038 % | 107.67/107.77 c | 78883 | 1000 33582 115709 | 21813 21351 965 | 94.038 % | 112.76/112.84 c | 80591 | 1000 33582 115709 | 23995 23059 965 | 94.038 % | 117.77/117.83 c | 83153 | 1000 33582 115709 | 26394 25621 965 | 94.038 % | 127.46/127.54 c | 86997 | 1000 33582 115709 | 29034 29465 965 | 94.038 % | 144.16/144.28 c | 92763 | 1000 33582 115709 | 31937 35231 965 | 94.038 % | 162.35/162.40 c | 101413 | 1000 33582 115709 | 35131 43881 965 | 94.038 % | 180.95/181.08 c There are 15772 assigned variables. 0 in cost function. 183.65/183.73 c core #1 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -999 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #2 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -998 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #3 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -997 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #4 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -996 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #5 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -995 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #6 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -994 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #7 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -993 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #8 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -992 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #9 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -991 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #10 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -990 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #11 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -989 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #12 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -988 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #13 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -987 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #14 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -986 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #15 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -985 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #16 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -984 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #17 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -983 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #18 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -982 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #19 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -981 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #20 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -980 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #21 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -979 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #22 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -978 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #23 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -977 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #24 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -976 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #25 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -975 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #26 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -974 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #27 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -973 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #28 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -972 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #29 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -971 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #30 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -970 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #31 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -969 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #32 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -968 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #33 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -967 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #34 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -966 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #35 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -965 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #36 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -964 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #37 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -963 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #38 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -962 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #39 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -961 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #40 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -960 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #41 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -959 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #42 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -958 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #43 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -957 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #44 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -956 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #45 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -955 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #46 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -954 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #47 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -953 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #48 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -952 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #49 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -951 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #50 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -950 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #51 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -949 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #52 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -948 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #53 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -947 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #54 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -946 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #55 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -945 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #56 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -944 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #57 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -943 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #58 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -942 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #59 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: -941 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #60 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -940 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #61 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -939 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #62 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -938 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #63 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -937 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #64 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -936 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #65 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -935 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #66 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -934 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #67 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -933 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #68 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -932 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #69 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -931 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #70 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -930 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #71 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -929 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #72 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -928 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #73 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -927 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c core #74 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 3 Core Weight: 1 Total Weight: -926 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #75 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -925 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #76 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -924 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #77 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -923 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #78 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -922 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #79 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -921 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #80 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -920 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #81 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -919 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #82 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -918 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #83 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -917 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #84 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -916 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #85 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -915 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #86 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -914 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #87 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -913 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #88 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -912 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #89 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -911 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #90 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -910 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #91 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -909 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #92 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -908 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #93 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -907 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #94 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -906 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #95 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -905 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #96 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -904 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #97 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -903 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #98 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -902 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #99 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -901 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #100 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -900 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #101 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -899 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #102 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -898 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #103 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -897 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #104 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -896 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #105 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -895 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #106 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -894 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #107 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -893 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #108 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -892 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #109 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -891 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #110 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -890 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #111 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -889 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #112 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -888 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #113 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -887 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #114 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -886 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #115 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -885 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #116 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -884 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c core #117 186.24/186.33 c 186.24/186.33 c 186.24/186.33 c Core size: 3 Core Weight: 1 Total Weight: -883 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #118 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -882 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #119 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -881 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #120 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -880 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #121 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -879 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #122 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -878 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #123 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -877 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #124 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -876 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #125 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -875 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #126 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -874 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #127 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -873 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #128 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -872 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #129 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -871 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #130 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -870 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #131 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -869 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #132 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -868 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #133 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -867 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #134 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -866 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #135 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -865 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #136 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -864 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #137 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -863 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #138 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -862 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #139 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -861 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #140 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -860 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #141 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -859 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #142 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -858 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #143 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -857 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #144 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -856 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #145 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -855 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #146 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -854 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #147 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -853 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #148 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -852 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #149 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -851 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #150 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -850 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #151 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -849 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #152 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -848 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #153 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -847 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #154 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -846 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #155 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -845 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #156 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -844 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #157 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -843 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #158 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -842 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #159 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -841 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #160 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -840 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #161 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -839 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #162 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -838 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #163 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -837 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #164 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -836 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #165 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -835 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #166 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -834 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #167 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -833 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #168 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -832 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #169 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -831 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #170 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -830 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #171 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -829 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #172 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -828 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #173 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -827 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #174 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -826 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c core #175 189.05/189.12 c 189.05/189.12 c 189.05/189.12 c Core size: 3 Core Weight: 1 Total Weight: -825 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #176 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -824 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #177 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -823 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #178 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -822 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #179 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -821 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #180 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -820 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #181 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -819 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #182 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -818 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #183 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -817 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #184 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -816 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #185 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -815 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #186 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -814 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #187 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -813 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #188 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -812 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #189 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -811 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #190 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -810 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #191 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -809 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #192 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -808 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #193 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -807 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #194 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -806 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #195 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -805 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #196 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -804 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #197 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -803 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #198 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -802 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #199 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -801 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #200 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -800 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #201 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -799 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #202 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -798 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #203 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -797 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #204 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -796 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #205 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -795 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #206 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -794 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #207 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -793 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #208 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -792 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #209 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -791 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #210 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -790 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #211 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -789 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #212 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -788 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #213 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -787 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #214 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -786 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #215 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -785 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #216 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -784 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #217 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -783 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #218 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -782 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #219 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -781 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #220 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -780 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #221 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -779 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #222 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -778 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #223 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -777 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #224 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -776 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #225 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -775 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #226 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -774 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #227 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -773 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #228 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -772 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #229 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -771 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #230 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -770 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #231 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -769 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #232 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -768 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c core #233 192.04/192.13 c 192.04/192.13 c 192.04/192.13 c Core size: 3 Core Weight: 1 Total Weight: -767 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #234 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -766 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #235 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -765 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #236 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -764 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #237 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -763 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #238 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -762 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #239 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -761 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #240 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -760 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #241 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -759 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #242 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -758 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #243 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -757 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #244 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -756 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #245 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -755 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #246 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -754 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #247 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -753 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #248 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -752 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #249 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -751 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #250 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -750 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #251 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -749 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #252 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -748 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #253 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -747 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #254 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -746 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #255 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -745 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #256 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -744 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #257 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -743 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #258 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -742 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #259 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -741 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #260 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -740 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #261 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -739 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #262 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -738 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #263 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -737 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #264 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -736 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #265 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -735 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #266 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -734 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #267 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -733 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #268 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -732 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #269 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -731 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #270 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -730 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #271 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -729 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #272 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -728 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #273 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -727 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #274 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -726 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #275 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -725 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #276 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -724 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #277 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -723 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #278 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -722 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #279 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -721 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #280 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -720 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #281 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -719 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #282 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -718 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #283 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -717 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #284 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -716 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #285 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -715 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #286 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -714 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #287 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -713 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #288 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -712 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #289 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -711 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c core #290 195.14/195.20 c 195.14/195.20 c 195.14/195.20 c Core size: 3 Core Weight: 1 Total Weight: -710 195.14/195.20 c 198.34/198.44 c 198.34/198.44 c core #291 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -709 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #292 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -708 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #293 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -707 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #294 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -706 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #295 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -705 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #296 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -704 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #297 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -703 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #298 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -702 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #299 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -701 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #300 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -700 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #301 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -699 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #302 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -698 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #303 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -697 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #304 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -696 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #305 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -695 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #306 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -694 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #307 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -693 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #308 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -692 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #309 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -691 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #310 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -690 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #311 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -689 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #312 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -688 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #313 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -687 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #314 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -686 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #315 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -685 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #316 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -684 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #317 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -683 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #318 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -682 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #319 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -681 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #320 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -680 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #321 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -679 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #322 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -678 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #323 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -677 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #324 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -676 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #325 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -675 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #326 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -674 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #327 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -673 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #328 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -672 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #329 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -671 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #330 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -670 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #331 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -669 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #332 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -668 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #333 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -667 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #334 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -666 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #335 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -665 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #336 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -664 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #337 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -663 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #338 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -662 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #339 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -661 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #340 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -660 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #341 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -659 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #342 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -658 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #343 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -657 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #344 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -656 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #345 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -655 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #346 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -654 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #347 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -653 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c core #348 198.34/198.44 c 198.34/198.44 c 198.34/198.44 c Core size: 3 Core Weight: 1 Total Weight: -652 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #349 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -651 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #350 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -650 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #351 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -649 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #352 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -648 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #353 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -647 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #354 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -646 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #355 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -645 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #356 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -644 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #357 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -643 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #358 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -642 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #359 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -641 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #360 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -640 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #361 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -639 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #362 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -638 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #363 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -637 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #364 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -636 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #365 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -635 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #366 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -634 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #367 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -633 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #368 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -632 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #369 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -631 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #370 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -630 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #371 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -629 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #372 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -628 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #373 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -627 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #374 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -626 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #375 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -625 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #376 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -624 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #377 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -623 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #378 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -622 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #379 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -621 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #380 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -620 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #381 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -619 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #382 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -618 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #383 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -617 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #384 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -616 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #385 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -615 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #386 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -614 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #387 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -613 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #388 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -612 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #389 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -611 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #390 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -610 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #391 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -609 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #392 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -608 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #393 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -607 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #394 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -606 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #395 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -605 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #396 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -604 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #397 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -603 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #398 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -602 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #399 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -601 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #400 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -600 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #401 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -599 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #402 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -598 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #403 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -597 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #404 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -596 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #405 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -595 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c core #406 201.74/201.84 c 201.74/201.84 c 201.74/201.84 c Core size: 3 Core Weight: 1 Total Weight: -594 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #407 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -593 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #408 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -592 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #409 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -591 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #410 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -590 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #411 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -589 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #412 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -588 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #413 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -587 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #414 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -586 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #415 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -585 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #416 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -584 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #417 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -583 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #418 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -582 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #419 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -581 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c core #420 205.24/205.31 c 205.24/205.31 c 205.24/205.31 c Core size: 3 Core Weight: 1 Total Weight: -580 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #421 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -579 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #422 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -578 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #423 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -577 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #424 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -576 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #425 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -575 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #426 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -574 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #427 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -573 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #428 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -572 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #429 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -571 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #430 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -570 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #431 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -569 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #432 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -568 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #433 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -567 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #434 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -566 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #435 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -565 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #436 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -564 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #437 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -563 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #438 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -562 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #439 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -561 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #440 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -560 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #441 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -559 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #442 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -558 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #443 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -557 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #444 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -556 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #445 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -555 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #446 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -554 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #447 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -553 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #448 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -552 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #449 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -551 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #450 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -550 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #451 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -549 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #452 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -548 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #453 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -547 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #454 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -546 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #455 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -545 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #456 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -544 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #457 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -543 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #458 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -542 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #459 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -541 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #460 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -540 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #461 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -539 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #462 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -538 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #463 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c Core size: 3 Core Weight: 1 Total Weight: -537 205.24/205.32 c 205.24/205.32 c 205.24/205.32 c core #464 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -536 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #465 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -535 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #466 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -534 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #467 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -533 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #468 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -532 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #469 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -531 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #470 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -530 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #471 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -529 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #472 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -528 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #473 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -527 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #474 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -526 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #475 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -525 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #476 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -524 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #477 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -523 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #478 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -522 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #479 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -521 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #480 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -520 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #481 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -519 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #482 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -518 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #483 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -517 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #484 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -516 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #485 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 3 Core Weight: 1 Total Weight: -515 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #486 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 6 Core Weight: 1 Total Weight: -514 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #487 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 7 Core Weight: 1 Total Weight: -513 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #488 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 7 Core Weight: 1 Total Weight: -512 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #489 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 7 Core Weight: 1 Total Weight: -511 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #490 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 11 Core Weight: 1 Total Weight: -510 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #491 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 7 Core Weight: 1 Total Weight: -509 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #492 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 7 Core Weight: 1 Total Weight: -508 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #493 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 14 Core Weight: 1 Total Weight: -507 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #494 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 15 Core Weight: 1 Total Weight: -506 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #495 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 7 Core Weight: 1 Total Weight: -505 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #496 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 7 Core Weight: 1 Total Weight: -504 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #497 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 27 Core Weight: 1 Total Weight: -503 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #498 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 7 Core Weight: 1 Total Weight: -502 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #499 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 11 Core Weight: 1 Total Weight: -501 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #500 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 22 Core Weight: 1 Total Weight: -500 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #501 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 18 Core Weight: 1 Total Weight: -499 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c core #502 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c Core size: 15 Core Weight: 1 Total Weight: -498 207.75/207.90 c 207.75/207.90 c 207.75/207.90 c ============================[ Search Statistics ]============================== 207.75/207.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.75/207.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.75/207.90 c =============================================================================== 207.75/207.90 c | 0 | 2074 33084 72692 | 11028 0 nan | 0.000 % | 207.75/207.90 c =============================================================================== 207.85/207.98 c core #503 207.85/207.98 c 207.85/207.98 c 207.85/207.98 c Core size: 16 Core Weight: 1 Total Weight: -497 207.85/207.98 c 207.85/207.98 c 207.85/207.98 c ============================[ Search Statistics ]============================== 207.85/207.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.85/207.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.85/207.98 c =============================================================================== 207.85/207.98 c | 0 | 2084 33085 72712 | 11028 0 nan | 0.000 % | 207.85/207.98 c =============================================================================== 207.94/208.06 c core #504 207.94/208.06 c 207.94/208.06 c 207.94/208.06 c Core size: 16 Core Weight: 1 Total Weight: -496 207.94/208.06 c 207.94/208.06 c 207.94/208.06 c ============================[ Search Statistics ]============================== 207.94/208.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.94/208.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.94/208.06 c =============================================================================== 207.94/208.06 c | 0 | 2094 33086 72732 | 11028 0 nan | 0.000 % | 207.94/208.06 c =============================================================================== 208.04/208.13 c core #505 208.04/208.13 c 208.04/208.13 c 208.04/208.13 c Core size: 16 Core Weight: 1 Total Weight: -495 208.04/208.13 c 208.04/208.13 c 208.04/208.13 c ============================[ Search Statistics ]============================== 208.04/208.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.04/208.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.04/208.13 c =============================================================================== 208.04/208.13 c | 0 | 2104 33087 72752 | 11029 0 nan | 0.000 % | 208.04/208.15 c =============================================================================== 208.14/208.22 c core #506 208.14/208.22 c 208.14/208.22 c 208.14/208.22 c Core size: 16 Core Weight: 1 Total Weight: -494 208.14/208.22 c 208.14/208.22 c 208.14/208.22 c ============================[ Search Statistics ]============================== 208.14/208.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.14/208.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.14/208.22 c =============================================================================== 208.14/208.22 c | 0 | 2114 33088 72772 | 11029 0 nan | 0.000 % | 208.14/208.23 c =============================================================================== 208.24/208.30 c core #507 208.24/208.30 c 208.24/208.30 c 208.24/208.30 c Core size: 14 Core Weight: 1 Total Weight: -493 208.24/208.30 c 208.24/208.30 c 208.24/208.30 c ============================[ Search Statistics ]============================== 208.24/208.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.24/208.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.24/208.30 c =============================================================================== 208.24/208.30 c | 0 | 2122 33089 72788 | 11029 0 nan | 0.000 % | 208.24/208.31 c =============================================================================== 208.24/208.38 c core #508 208.24/208.38 c 208.24/208.38 c 208.24/208.38 c Core size: 12 Core Weight: 1 Total Weight: -492 208.24/208.38 c 208.24/208.38 c 208.24/208.38 c ============================[ Search Statistics ]============================== 208.24/208.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.24/208.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.24/208.38 c =============================================================================== 208.24/208.38 c | 0 | 2130 33090 72804 | 11030 0 nan | 0.000 % | 208.34/208.40 c =============================================================================== 208.34/208.47 c core #509 208.34/208.47 c 208.34/208.47 c 208.34/208.47 c Core size: 14 Core Weight: 1 Total Weight: -491 208.34/208.47 c 208.34/208.47 c 208.34/208.47 c ============================[ Search Statistics ]============================== 208.34/208.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.34/208.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.34/208.47 c =============================================================================== 208.34/208.47 c | 0 | 2138 33091 72820 | 11030 0 nan | 0.000 % | 208.34/208.48 c =============================================================================== 208.44/208.55 c core #510 208.44/208.55 c 208.44/208.55 c 208.44/208.55 c Core size: 10 Core Weight: 1 Total Weight: -490 208.44/208.55 c 208.44/208.55 c 208.44/208.55 c ============================[ Search Statistics ]============================== 208.44/208.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.44/208.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.44/208.55 c =============================================================================== 208.44/208.55 c | 0 | 2144 33092 72832 | 11030 0 nan | 0.000 % | 208.44/208.56 c =============================================================================== 208.54/208.63 c core #511 208.54/208.63 c 208.54/208.63 c 208.54/208.63 c Core size: 12 Core Weight: 1 Total Weight: -489 208.54/208.63 c 208.54/208.63 c 208.54/208.63 c ============================[ Search Statistics ]============================== 208.54/208.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.54/208.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.54/208.63 c =============================================================================== 208.54/208.63 c | 0 | 2152 33093 72848 | 11031 0 nan | 0.000 % | 208.54/208.65 c =============================================================================== 208.64/208.72 c core #512 208.64/208.72 c 208.64/208.72 c 208.64/208.72 c Core size: 16 Core Weight: 1 Total Weight: -488 208.64/208.72 c 208.64/208.72 c 208.64/208.72 c ============================[ Search Statistics ]============================== 208.64/208.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.64/208.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.64/208.72 c =============================================================================== 208.64/208.72 c | 0 | 2162 33094 72868 | 11031 0 nan | 0.000 % | 208.64/208.72 c =============================================================================== 208.74/208.80 c core #513 208.74/208.80 c 208.74/208.80 c 208.74/208.80 c Core size: 16 Core Weight: 1 Total Weight: -487 208.74/208.80 c 208.74/208.80 c 208.74/208.80 c ============================[ Search Statistics ]============================== 208.74/208.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.74/208.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.74/208.80 c =============================================================================== 208.74/208.80 c | 0 | 2172 33095 72888 | 11031 0 nan | 0.000 % | 208.74/208.81 c =============================================================================== 208.74/208.88 c core #514 208.74/208.88 c 208.74/208.88 c 208.74/208.88 c Core size: 10 Core Weight: 1 Total Weight: -486 208.74/208.88 c 208.74/208.88 c 208.74/208.88 c ============================[ Search Statistics ]============================== 208.74/208.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.74/208.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.74/208.88 c =============================================================================== 208.74/208.88 c | 0 | 2178 33096 72900 | 11032 0 nan | 0.000 % | 208.74/208.89 c =============================================================================== 208.85/208.96 c core #515 208.85/208.96 c 208.85/208.96 c 208.85/208.96 c Core size: 10 Core Weight: 1 Total Weight: -485 208.85/208.96 c 208.85/208.96 c 208.85/208.96 c ============================[ Search Statistics ]============================== 208.85/208.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.85/208.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.85/208.96 c =============================================================================== 208.85/208.96 c | 0 | 2184 33097 72912 | 11032 0 nan | 0.000 % | 208.85/208.97 c =============================================================================== 208.95/209.04 c core #516 208.95/209.04 c 208.95/209.04 c 208.95/209.04 c Core size: 16 Core Weight: 1 Total Weight: -484 208.95/209.04 c 208.95/209.04 c 208.95/209.04 c ============================[ Search Statistics ]============================== 208.95/209.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.95/209.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.95/209.04 c =============================================================================== 208.95/209.04 c | 0 | 2194 33098 72932 | 11032 0 nan | 0.000 % | 208.95/209.05 c =============================================================================== 209.04/209.12 c core #517 209.04/209.12 c 209.04/209.12 c 209.04/209.12 c Core size: 14 Core Weight: 1 Total Weight: -483 209.04/209.12 c 209.04/209.12 c 209.04/209.12 c ============================[ Search Statistics ]============================== 209.04/209.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.04/209.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.04/209.12 c =============================================================================== 209.04/209.12 c | 0 | 2202 33099 72948 | 11033 0 nan | 0.000 % | 209.04/209.13 c =============================================================================== 209.14/209.20 c core #518 209.14/209.20 c 209.14/209.20 c 209.14/209.20 c Core size: 14 Core Weight: 1 Total Weight: -482 209.14/209.20 c 209.14/209.20 c 209.14/209.20 c ============================[ Search Statistics ]============================== 209.14/209.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.14/209.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.14/209.20 c =============================================================================== 209.14/209.20 c | 0 | 2210 33100 72964 | 11033 0 nan | 0.000 % | 209.14/209.21 c =============================================================================== 209.14/209.28 c core #519 209.14/209.28 c 209.14/209.28 c 209.14/209.28 c Core size: 16 Core Weight: 1 Total Weight: -481 209.14/209.28 c 209.14/209.28 c 209.14/209.28 c ============================[ Search Statistics ]============================== 209.14/209.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.14/209.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.14/209.28 c =============================================================================== 209.14/209.28 c | 0 | 2220 33101 72984 | 11033 0 nan | 0.000 % | 209.14/209.29 c =============================================================================== 209.24/209.36 c core #520 209.24/209.36 c 209.24/209.36 c 209.24/209.36 c Core size: 16 Core Weight: 1 Total Weight: -480 209.24/209.36 c 209.24/209.36 c 209.24/209.36 c ============================[ Search Statistics ]============================== 209.24/209.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.24/209.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.24/209.36 c =============================================================================== 209.24/209.36 c | 0 | 2230 33102 73004 | 11034 0 nan | 0.000 % | 209.24/209.37 c =============================================================================== 209.34/209.45 c core #521 209.34/209.45 c 209.34/209.45 c 209.34/209.45 c Core size: 16 Core Weight: 1 Total Weight: -479 209.34/209.45 c 209.34/209.45 c 209.34/209.45 c ============================[ Search Statistics ]============================== 209.34/209.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.34/209.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.34/209.45 c =============================================================================== 209.34/209.45 c | 0 | 2240 33103 73024 | 11034 0 nan | 0.000 % | 209.34/209.45 c =============================================================================== 209.44/209.53 c core #522 209.44/209.53 c 209.44/209.53 c 209.44/209.53 c Core size: 14 Core Weight: 1 Total Weight: -478 209.44/209.53 c 209.44/209.53 c 209.44/209.53 c ============================[ Search Statistics ]============================== 209.44/209.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.44/209.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.44/209.53 c =============================================================================== 209.44/209.53 c | 0 | 2248 33104 73040 | 11034 0 nan | 0.000 % | 209.44/209.54 c =============================================================================== 209.54/209.61 c core #523 209.54/209.61 c 209.54/209.61 c 209.54/209.61 c Core size: 12 Core Weight: 1 Total Weight: -477 209.54/209.61 c 209.54/209.61 c 209.54/209.61 c ============================[ Search Statistics ]============================== 209.54/209.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.54/209.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.54/209.61 c =============================================================================== 209.54/209.61 c | 0 | 2256 33105 73056 | 11035 0 nan | 0.000 % | 209.54/209.62 c =============================================================================== 209.54/209.69 c core #524 209.54/209.69 c 209.54/209.69 c 209.54/209.69 c Core size: 10 Core Weight: 1 Total Weight: -476 209.54/209.69 c 209.54/209.69 c 209.54/209.69 c ============================[ Search Statistics ]============================== 209.54/209.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.54/209.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.54/209.69 c =============================================================================== 209.54/209.69 c | 0 | 2262 33106 73068 | 11035 0 nan | 0.000 % | 209.64/209.70 c =============================================================================== 209.64/209.78 c core #525 209.64/209.78 c 209.64/209.78 c 209.64/209.78 c Core size: 12 Core Weight: 1 Total Weight: -475 209.64/209.78 c 209.64/209.78 c 209.64/209.78 c ============================[ Search Statistics ]============================== 209.64/209.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.64/209.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.64/209.78 c =============================================================================== 209.64/209.78 c | 0 | 2270 33107 73084 | 11035 0 nan | 0.000 % | 209.64/209.78 c =============================================================================== 209.74/209.86 c core #526 209.74/209.86 c 209.74/209.86 c 209.74/209.86 c Core size: 16 Core Weight: 1 Total Weight: -474 209.74/209.86 c 209.74/209.86 c 209.74/209.86 c ============================[ Search Statistics ]============================== 209.74/209.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.74/209.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.74/209.86 c =============================================================================== 209.74/209.86 c | 0 | 2280 33108 73104 | 11036 0 nan | 0.000 % | 209.74/209.87 c =============================================================================== 209.84/209.94 c core #527 209.84/209.94 c 209.84/209.94 c 209.84/209.94 c Core size: 16 Core Weight: 1 Total Weight: -473 209.84/209.94 c 209.84/209.94 c 209.84/209.94 c ============================[ Search Statistics ]============================== 209.84/209.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.84/209.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.84/209.94 c =============================================================================== 209.84/209.94 c | 0 | 2290 33109 73124 | 11036 0 nan | 0.000 % | 209.84/209.95 c =============================================================================== 209.95/210.03 c core #528 209.95/210.03 c 209.95/210.03 c 209.95/210.03 c Core size: 14 Core Weight: 1 Total Weight: -472 209.95/210.03 c 209.95/210.03 c 209.95/210.03 c ============================[ Search Statistics ]============================== 209.95/210.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.95/210.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.95/210.03 c =============================================================================== 209.95/210.03 c | 0 | 2298 33110 73140 | 11036 0 nan | 0.000 % | 209.95/210.04 c =============================================================================== 210.05/210.11 c core #529 210.05/210.11 c 210.05/210.11 c 210.05/210.11 c Core size: 14 Core Weight: 1 Total Weight: -471 210.05/210.11 c 210.05/210.11 c 210.05/210.11 c ============================[ Search Statistics ]============================== 210.05/210.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.05/210.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.05/210.11 c =============================================================================== 210.05/210.11 c | 0 | 2306 33111 73156 | 11037 0 nan | 0.000 % | 210.05/210.12 c =============================================================================== 210.14/210.20 c core #530 210.14/210.20 c 210.14/210.20 c 210.14/210.20 c Core size: 16 Core Weight: 1 Total Weight: -470 210.14/210.20 c 210.14/210.20 c 210.14/210.20 c ============================[ Search Statistics ]============================== 210.14/210.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.14/210.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.14/210.20 c =============================================================================== 210.14/210.20 c | 0 | 2316 33112 73176 | 11037 0 nan | 0.000 % | 210.14/210.20 c =============================================================================== 210.14/210.28 c core #531 210.14/210.28 c 210.14/210.28 c 210.14/210.28 c Core size: 12 Core Weight: 1 Total Weight: -469 210.14/210.28 c 210.14/210.28 c 210.14/210.28 c ============================[ Search Statistics ]============================== 210.14/210.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.14/210.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.14/210.28 c =============================================================================== 210.14/210.28 c | 0 | 2324 33113 73192 | 11037 0 nan | 0.000 % | 210.14/210.29 c =============================================================================== 210.24/210.36 c core #532 210.24/210.36 c 210.24/210.36 c 210.24/210.36 c Core size: 16 Core Weight: 1 Total Weight: -468 210.24/210.36 c 210.24/210.36 c 210.24/210.36 c ============================[ Search Statistics ]============================== 210.24/210.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.24/210.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.24/210.36 c =============================================================================== 210.24/210.36 c | 0 | 2334 33114 73212 | 11038 0 nan | 0.000 % | 210.24/210.37 c =============================================================================== 210.34/210.45 c core #533 210.34/210.45 c 210.34/210.45 c 210.34/210.45 c Core size: 12 Core Weight: 1 Total Weight: -467 210.34/210.45 c 210.34/210.45 c 210.34/210.45 c ============================[ Search Statistics ]============================== 210.34/210.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.34/210.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.34/210.45 c =============================================================================== 210.34/210.45 c | 0 | 2340 33115 73224 | 11038 0 nan | 0.000 % | 210.34/210.46 c =============================================================================== 210.44/210.53 c core #534 210.44/210.53 c 210.44/210.53 c 210.44/210.53 c Core size: 14 Core Weight: 1 Total Weight: -466 210.44/210.53 c 210.44/210.53 c 210.44/210.53 c ============================[ Search Statistics ]============================== 210.44/210.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.44/210.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.44/210.53 c =============================================================================== 210.44/210.53 c | 0 | 2348 33116 73240 | 11038 0 nan | 0.000 % | 210.44/210.54 c =============================================================================== 210.54/210.62 c core #535 210.54/210.62 c 210.54/210.62 c 210.54/210.62 c Core size: 10 Core Weight: 1 Total Weight: -465 210.54/210.62 c 210.54/210.62 c 210.54/210.62 c ============================[ Search Statistics ]============================== 210.54/210.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.54/210.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.54/210.62 c =============================================================================== 210.54/210.62 c | 0 | 2354 33117 73252 | 11039 0 nan | 0.000 % | 210.54/210.62 c =============================================================================== 210.64/210.70 c core #536 210.64/210.70 c 210.64/210.70 c 210.64/210.70 c Core size: 14 Core Weight: 1 Total Weight: -464 210.64/210.70 c 210.64/210.70 c 210.64/210.70 c ============================[ Search Statistics ]============================== 210.64/210.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.64/210.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.64/210.70 c =============================================================================== 210.64/210.70 c | 0 | 2362 33118 73268 | 11039 0 nan | 0.000 % | 210.64/210.71 c =============================================================================== 210.64/210.78 c core #537 210.64/210.78 c 210.64/210.78 c 210.64/210.78 c Core size: 16 Core Weight: 1 Total Weight: -463 210.64/210.78 c 210.64/210.78 c 210.64/210.78 c ============================[ Search Statistics ]============================== 210.64/210.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.64/210.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.64/210.78 c =============================================================================== 210.64/210.78 c | 0 | 2372 33119 73288 | 11039 0 nan | 0.000 % | 210.74/210.80 c =============================================================================== 210.74/210.87 c core #538 210.74/210.87 c 210.74/210.87 c 210.74/210.87 c Core size: 20 Core Weight: 1 Total Weight: -462 210.74/210.87 c 210.74/210.87 c 210.74/210.87 c ============================[ Search Statistics ]============================== 210.74/210.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.74/210.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.74/210.87 c =============================================================================== 210.74/210.87 c | 0 | 2384 33120 73312 | 11040 0 nan | 0.000 % | 210.74/210.88 c =============================================================================== 210.84/210.96 c core #539 210.84/210.96 c 210.84/210.96 c 210.84/210.96 c Core size: 16 Core Weight: 1 Total Weight: -461 210.84/210.96 c 210.84/210.96 c 210.84/210.96 c ============================[ Search Statistics ]============================== 210.84/210.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.84/210.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.84/210.96 c =============================================================================== 210.84/210.96 c | 0 | 2394 33121 73332 | 11040 0 nan | 0.000 % | 210.84/210.97 c =============================================================================== 210.94/211.04 c core #540 210.94/211.04 c 210.94/211.04 c 210.94/211.04 c Core size: 16 Core Weight: 1 Total Weight: -460 210.94/211.04 c 210.94/211.04 c 210.94/211.04 c ============================[ Search Statistics ]============================== 210.94/211.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.94/211.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.94/211.04 c =============================================================================== 210.94/211.04 c | 0 | 2404 33122 73352 | 11040 0 nan | 0.000 % | 210.94/211.05 c =============================================================================== 211.05/211.13 c core #541 211.05/211.13 c 211.05/211.13 c 211.05/211.13 c Core size: 10 Core Weight: 1 Total Weight: -459 211.05/211.13 c 211.05/211.13 c 211.05/211.13 c ============================[ Search Statistics ]============================== 211.05/211.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.05/211.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.05/211.13 c =============================================================================== 211.05/211.13 c | 0 | 2410 33123 73364 | 11041 0 nan | 0.000 % | 211.05/211.14 c =============================================================================== 211.15/211.21 c core #542 211.15/211.21 c 211.15/211.21 c 211.15/211.21 c Core size: 12 Core Weight: 1 Total Weight: -458 211.15/211.21 c 211.15/211.21 c 211.15/211.21 c ============================[ Search Statistics ]============================== 211.15/211.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.15/211.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.15/211.21 c =============================================================================== 211.15/211.21 c | 0 | 2418 33124 73380 | 11041 0 nan | 0.000 % | 211.15/211.23 c =============================================================================== 211.24/211.30 c core #543 211.24/211.30 c 211.24/211.30 c 211.24/211.30 c Core size: 16 Core Weight: 1 Total Weight: -457 211.24/211.30 c 211.24/211.30 c 211.24/211.30 c ============================[ Search Statistics ]============================== 211.24/211.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.24/211.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.24/211.30 c =============================================================================== 211.24/211.30 c | 0 | 2428 33125 73400 | 11041 0 nan | 0.000 % | 211.24/211.31 c =============================================================================== 211.24/211.38 c core #544 211.24/211.38 c 211.24/211.38 c 211.24/211.38 c Core size: 12 Core Weight: 1 Total Weight: -456 211.24/211.38 c 211.24/211.38 c 211.24/211.38 c ============================[ Search Statistics ]============================== 211.24/211.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.24/211.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.24/211.38 c =============================================================================== 211.24/211.38 c | 0 | 2436 33126 73416 | 11042 0 nan | 0.000 % | 211.24/211.39 c =============================================================================== 211.34/211.47 c core #545 211.34/211.47 c 211.34/211.47 c 211.34/211.47 c Core size: 14 Core Weight: 1 Total Weight: -455 211.34/211.47 c 211.34/211.47 c 211.34/211.47 c ============================[ Search Statistics ]============================== 211.34/211.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.34/211.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.34/211.47 c =============================================================================== 211.34/211.47 c | 0 | 2444 33127 73432 | 11042 0 nan | 0.000 % | 211.34/211.48 c =============================================================================== 211.44/211.55 c core #546 211.44/211.55 c 211.44/211.55 c 211.44/211.55 c Core size: 16 Core Weight: 1 Total Weight: -454 211.44/211.55 c 211.44/211.55 c 211.44/211.55 c ============================[ Search Statistics ]============================== 211.44/211.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.44/211.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.44/211.55 c =============================================================================== 211.44/211.55 c | 0 | 2454 33128 73452 | 11042 0 nan | 0.000 % | 211.44/211.56 c =============================================================================== 211.54/211.64 c core #547 211.54/211.64 c 211.54/211.64 c 211.54/211.64 c Core size: 12 Core Weight: 1 Total Weight: -453 211.54/211.64 c 211.54/211.64 c 211.54/211.64 c ============================[ Search Statistics ]============================== 211.54/211.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.54/211.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.54/211.64 c =============================================================================== 211.54/211.64 c | 0 | 2462 33129 73468 | 11043 0 nan | 0.000 % | 211.54/211.65 c =============================================================================== 211.64/211.73 c core #548 211.64/211.73 c 211.64/211.73 c 211.64/211.73 c Core size: 20 Core Weight: 1 Total Weight: -452 211.64/211.73 c 211.64/211.73 c 211.64/211.73 c ============================[ Search Statistics ]============================== 211.64/211.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.64/211.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.64/211.73 c =============================================================================== 211.64/211.73 c | 0 | 2474 33130 73492 | 11043 0 nan | 0.000 % | 211.64/211.74 c =============================================================================== 211.74/211.82 c core #549 211.74/211.82 c 211.74/211.82 c 211.74/211.82 c Core size: 20 Core Weight: 1 Total Weight: -451 211.74/211.82 c 211.74/211.82 c 211.74/211.82 c ============================[ Search Statistics ]============================== 211.74/211.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.74/211.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.74/211.82 c =============================================================================== 211.74/211.82 c | 0 | 2486 33131 73516 | 11043 0 nan | 0.000 % | 211.74/211.83 c =============================================================================== 211.84/211.91 c core #550 211.84/211.91 c 211.84/211.91 c 211.84/211.91 c Core size: 16 Core Weight: 1 Total Weight: -450 211.84/211.91 c 211.84/211.91 c 211.84/211.91 c ============================[ Search Statistics ]============================== 211.84/211.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.84/211.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.84/211.91 c =============================================================================== 211.84/211.91 c | 0 | 2496 33132 73536 | 11044 0 nan | 0.000 % | 211.84/211.92 c =============================================================================== 211.94/212.00 c core #551 211.94/212.00 c 211.94/212.00 c 211.94/212.00 c Core size: 16 Core Weight: 1 Total Weight: -449 211.94/212.00 c 211.94/212.00 c 211.94/212.00 c ============================[ Search Statistics ]============================== 211.94/212.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.94/212.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.94/212.00 c =============================================================================== 211.94/212.00 c | 0 | 2506 33133 73556 | 11044 0 nan | 0.000 % | 211.94/212.01 c =============================================================================== 211.94/212.09 c core #552 211.94/212.09 c 211.94/212.09 c 211.94/212.09 c Core size: 10 Core Weight: 1 Total Weight: -448 211.94/212.09 c 211.94/212.09 c 211.94/212.09 c ============================[ Search Statistics ]============================== 211.94/212.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.94/212.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.94/212.09 c =============================================================================== 211.94/212.09 c | 0 | 2512 33134 73568 | 11044 0 nan | 0.000 % | 212.04/212.10 c =============================================================================== 212.04/212.18 c core #553 212.04/212.18 c 212.04/212.18 c 212.04/212.18 c Core size: 16 Core Weight: 1 Total Weight: -447 212.04/212.18 c 212.04/212.18 c 212.04/212.18 c ============================[ Search Statistics ]============================== 212.04/212.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.04/212.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.04/212.18 c =============================================================================== 212.04/212.18 c | 0 | 2522 33135 73588 | 11045 0 nan | 0.000 % | 212.04/212.19 c =============================================================================== 212.14/212.27 c core #554 212.14/212.27 c 212.14/212.27 c 212.14/212.27 c Core size: 16 Core Weight: 1 Total Weight: -446 212.14/212.27 c 212.14/212.27 c 212.14/212.27 c ============================[ Search Statistics ]============================== 212.14/212.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.14/212.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.14/212.27 c =============================================================================== 212.14/212.27 c | 0 | 2532 33136 73608 | 11045 0 nan | 0.000 % | 212.14/212.28 c =============================================================================== 212.24/212.35 c core #555 212.24/212.35 c 212.24/212.35 c 212.24/212.35 c Core size: 14 Core Weight: 1 Total Weight: -445 212.24/212.35 c 212.24/212.35 c 212.24/212.35 c ============================[ Search Statistics ]============================== 212.24/212.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.24/212.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.24/212.35 c =============================================================================== 212.24/212.35 c | 0 | 2540 33137 73624 | 11045 0 nan | 0.000 % | 212.24/212.37 c =============================================================================== 212.34/212.45 c core #556 212.34/212.45 c 212.34/212.45 c 212.34/212.45 c Core size: 18 Core Weight: 1 Total Weight: -444 212.34/212.45 c 212.34/212.45 c 212.34/212.45 c ============================[ Search Statistics ]============================== 212.34/212.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.34/212.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.34/212.45 c =============================================================================== 212.34/212.45 c | 0 | 2552 33138 73648 | 11046 0 nan | 0.000 % | 212.34/212.46 c =============================================================================== 212.44/212.54 c core #557 212.44/212.54 c 212.44/212.54 c 212.44/212.54 c Core size: 16 Core Weight: 1 Total Weight: -443 212.44/212.54 c 212.44/212.54 c 212.44/212.54 c ============================[ Search Statistics ]============================== 212.44/212.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.44/212.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.44/212.54 c =============================================================================== 212.44/212.54 c | 0 | 2562 33139 73668 | 11046 0 nan | 0.000 % | 212.44/212.55 c =============================================================================== 212.54/212.63 c core #558 212.54/212.63 c 212.54/212.63 c 212.54/212.63 c Core size: 18 Core Weight: 1 Total Weight: -442 212.54/212.63 c 212.54/212.63 c 212.54/212.63 c ============================[ Search Statistics ]============================== 212.54/212.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.54/212.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.54/212.63 c =============================================================================== 212.54/212.63 c | 0 | 2572 33140 73688 | 11046 0 nan | 0.000 % | 212.54/212.64 c =============================================================================== 212.64/212.71 c core #559 212.64/212.71 c 212.64/212.71 c 212.64/212.71 c Core size: 16 Core Weight: 1 Total Weight: -441 212.64/212.71 c 212.64/212.71 c 212.64/212.71 c ============================[ Search Statistics ]============================== 212.64/212.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.64/212.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.64/212.71 c =============================================================================== 212.64/212.71 c | 0 | 2582 33141 73708 | 11047 0 nan | 0.000 % | 212.64/212.72 c =============================================================================== 212.73/212.80 c core #560 212.73/212.80 c 212.73/212.80 c 212.73/212.80 c Core size: 16 Core Weight: 1 Total Weight: -440 212.73/212.80 c 212.73/212.80 c 212.73/212.80 c ============================[ Search Statistics ]============================== 212.73/212.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.73/212.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.73/212.80 c =============================================================================== 212.73/212.80 c | 0 | 2592 33142 73728 | 11047 0 nan | 0.000 % | 212.73/212.81 c =============================================================================== 212.73/212.89 c core #561 212.73/212.89 c 212.73/212.89 c 212.73/212.89 c Core size: 16 Core Weight: 1 Total Weight: -439 212.73/212.89 c 212.73/212.89 c 212.73/212.89 c ============================[ Search Statistics ]============================== 212.73/212.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.73/212.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.73/212.89 c =============================================================================== 212.73/212.89 c | 0 | 2602 33143 73748 | 11047 0 nan | 0.000 % | 212.84/212.90 c =============================================================================== 212.84/212.98 c core #562 212.84/212.98 c 212.84/212.98 c 212.84/212.98 c Core size: 16 Core Weight: 1 Total Weight: -438 212.84/212.98 c 212.84/212.98 c 212.84/212.98 c ============================[ Search Statistics ]============================== 212.84/212.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.84/212.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.84/212.98 c =============================================================================== 212.84/212.98 c | 0 | 2612 33144 73768 | 11048 0 nan | 0.000 % | 212.84/212.99 c =============================================================================== 212.94/213.07 c core #563 212.94/213.07 c 212.94/213.07 c 212.94/213.07 c Core size: 18 Core Weight: 1 Total Weight: -437 212.94/213.07 c 212.94/213.07 c 212.94/213.07 c ============================[ Search Statistics ]============================== 212.94/213.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.94/213.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.94/213.07 c =============================================================================== 212.94/213.07 c | 0 | 2622 33145 73788 | 11048 0 nan | 0.000 % | 212.94/213.08 c =============================================================================== 213.04/213.16 c core #564 213.04/213.16 c 213.04/213.16 c 213.04/213.16 c Core size: 16 Core Weight: 1 Total Weight: -436 213.04/213.16 c 213.04/213.16 c 213.04/213.16 c ============================[ Search Statistics ]============================== 213.04/213.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.04/213.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.04/213.16 c =============================================================================== 213.04/213.16 c | 0 | 2632 33146 73808 | 11048 0 nan | 0.000 % | 213.04/213.17 c =============================================================================== 213.14/213.25 c core #565 213.14/213.25 c 213.14/213.25 c 213.14/213.25 c Core size: 20 Core Weight: 1 Total Weight: -435 213.14/213.25 c 213.14/213.25 c 213.14/213.25 c ============================[ Search Statistics ]============================== 213.14/213.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.14/213.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.14/213.25 c =============================================================================== 213.14/213.25 c | 0 | 2644 33147 73832 | 11049 0 nan | 0.000 % | 213.14/213.26 c =============================================================================== 213.25/213.34 c core #566 213.25/213.34 c 213.25/213.34 c 213.25/213.34 c Core size: 20 Core Weight: 1 Total Weight: -434 213.25/213.34 c 213.25/213.34 c 213.25/213.34 c ============================[ Search Statistics ]============================== 213.25/213.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.25/213.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.25/213.34 c =============================================================================== 213.25/213.34 c | 0 | 2656 33148 73856 | 11049 0 nan | 0.000 % | 213.25/213.36 c =============================================================================== 213.35/213.44 c core #567 213.35/213.44 c 213.35/213.44 c 213.35/213.44 c Core size: 18 Core Weight: 1 Total Weight: -433 213.35/213.44 c 213.35/213.44 c 213.35/213.44 c ============================[ Search Statistics ]============================== 213.35/213.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.35/213.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.35/213.44 c =============================================================================== 213.35/213.44 c | 0 | 2668 33149 73880 | 11049 0 nan | 0.000 % | 213.35/213.44 c =============================================================================== 213.44/213.53 c core #568 213.44/213.53 c 213.44/213.53 c 213.44/213.53 c Core size: 16 Core Weight: 1 Total Weight: -432 213.44/213.53 c 213.44/213.53 c 213.44/213.53 c ============================[ Search Statistics ]============================== 213.44/213.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.44/213.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.44/213.53 c =============================================================================== 213.44/213.53 c | 0 | 2678 33150 73900 | 11050 0 nan | 0.000 % | 213.44/213.53 c =============================================================================== 213.54/213.62 c core #569 213.54/213.62 c 213.54/213.62 c 213.54/213.62 c Core size: 16 Core Weight: 1 Total Weight: -431 213.54/213.62 c 213.54/213.62 c 213.54/213.62 c ============================[ Search Statistics ]============================== 213.54/213.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.54/213.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.54/213.62 c =============================================================================== 213.54/213.62 c | 0 | 2688 33151 73920 | 11050 0 nan | 0.000 % | 213.54/213.63 c =============================================================================== 213.64/213.71 c core #570 213.64/213.71 c 213.64/213.71 c 213.64/213.71 c Core size: 20 Core Weight: 1 Total Weight: -430 213.64/213.71 c 213.64/213.71 c 213.64/213.71 c ============================[ Search Statistics ]============================== 213.64/213.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.64/213.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.64/213.71 c =============================================================================== 213.64/213.71 c | 0 | 2700 33152 73944 | 11050 0 nan | 0.000 % | 213.64/213.73 c =============================================================================== 213.74/213.81 c core #571 213.74/213.81 c 213.74/213.81 c 213.74/213.81 c Core size: 24 Core Weight: 1 Total Weight: -429 213.74/213.81 c 213.74/213.81 c 213.74/213.81 c ============================[ Search Statistics ]============================== 213.74/213.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.74/213.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.74/213.81 c =============================================================================== 213.74/213.81 c | 0 | 2714 33153 73972 | 11051 0 nan | 0.000 % | 213.74/213.82 c =============================================================================== 213.84/213.90 c core #572 213.84/213.90 c 213.84/213.90 c 213.84/213.90 c Core size: 16 Core Weight: 1 Total Weight: -428 213.84/213.90 c 213.84/213.90 c 213.84/213.90 c ============================[ Search Statistics ]============================== 213.84/213.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.84/213.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.84/213.90 c =============================================================================== 213.84/213.90 c | 0 | 2724 33154 73992 | 11051 0 nan | 0.000 % | 213.84/213.91 c =============================================================================== 213.84/213.99 c core #573 213.84/213.99 c 213.84/213.99 c 213.84/213.99 c Core size: 28 Core Weight: 1 Total Weight: -427 213.84/213.99 c 213.84/213.99 c 213.84/213.99 c ============================[ Search Statistics ]============================== 213.84/213.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.84/213.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.84/213.99 c =============================================================================== 213.84/213.99 c | 0 | 2740 33155 74024 | 11051 0 nan | 0.000 % | 213.94/214.00 c =============================================================================== 213.94/214.08 c core #574 213.94/214.08 c 213.94/214.08 c 213.94/214.08 c Core size: 16 Core Weight: 1 Total Weight: -426 213.94/214.08 c 213.94/214.08 c 213.94/214.08 c ============================[ Search Statistics ]============================== 213.94/214.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.94/214.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.94/214.08 c =============================================================================== 213.94/214.08 c | 0 | 2750 33156 74044 | 11052 0 nan | 0.000 % | 213.94/214.09 c =============================================================================== 214.04/214.18 c core #575 214.04/214.18 c 214.04/214.18 c 214.04/214.18 c Core size: 24 Core Weight: 1 Total Weight: -425 214.04/214.18 c 214.04/214.18 c 214.04/214.18 c ============================[ Search Statistics ]============================== 214.04/214.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.04/214.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.04/214.18 c =============================================================================== 214.04/214.18 c | 0 | 2764 33157 74072 | 11052 0 nan | 0.000 % | 214.14/214.20 c =============================================================================== 214.14/214.28 c core #576 214.14/214.28 c 214.14/214.28 c 214.14/214.28 c Core size: 22 Core Weight: 1 Total Weight: -424 214.14/214.28 c 214.14/214.28 c 214.14/214.28 c ============================[ Search Statistics ]============================== 214.14/214.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.14/214.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.14/214.28 c =============================================================================== 214.14/214.28 c | 0 | 2778 33158 74100 | 11052 0 nan | 0.000 % | 214.14/214.29 c =============================================================================== 214.24/214.37 c core #577 214.24/214.37 c 214.24/214.37 c 214.24/214.37 c Core size: 16 Core Weight: 1 Total Weight: -423 214.24/214.37 c 214.24/214.37 c 214.24/214.37 c ============================[ Search Statistics ]============================== 214.24/214.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.24/214.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.24/214.37 c =============================================================================== 214.24/214.37 c | 0 | 2788 33159 74120 | 11053 0 nan | 0.000 % | 214.24/214.38 c =============================================================================== 214.35/214.47 c core #578 214.35/214.47 c 214.35/214.47 c 214.35/214.47 c Core size: 18 Core Weight: 1 Total Weight: -422 214.35/214.47 c 214.35/214.47 c 214.35/214.47 c ============================[ Search Statistics ]============================== 214.35/214.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.35/214.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.35/214.47 c =============================================================================== 214.35/214.47 c | 0 | 2798 33160 74140 | 11053 0 nan | 0.000 % | 214.35/214.48 c =============================================================================== 214.45/214.56 c core #579 214.45/214.56 c 214.45/214.56 c 214.45/214.56 c Core size: 16 Core Weight: 1 Total Weight: -421 214.45/214.56 c 214.45/214.56 c 214.45/214.56 c ============================[ Search Statistics ]============================== 214.45/214.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.45/214.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.45/214.56 c =============================================================================== 214.45/214.56 c | 0 | 2808 33161 74160 | 11053 0 nan | 0.000 % | 214.45/214.57 c =============================================================================== 214.54/214.66 c core #580 214.54/214.66 c 214.54/214.66 c 214.54/214.66 c Core size: 24 Core Weight: 1 Total Weight: -420 214.54/214.66 c 214.54/214.66 c 214.54/214.66 c ============================[ Search Statistics ]============================== 214.54/214.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.54/214.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.54/214.66 c =============================================================================== 214.54/214.66 c | 0 | 2822 33162 74188 | 11054 0 nan | 0.000 % | 214.54/214.67 c =============================================================================== 214.64/214.76 c core #581 214.64/214.76 c 214.64/214.76 c 214.64/214.76 c Core size: 24 Core Weight: 1 Total Weight: -419 214.64/214.76 c 214.64/214.76 c 214.64/214.76 c ============================[ Search Statistics ]============================== 214.64/214.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.64/214.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.64/214.76 c =============================================================================== 214.64/214.76 c | 0 | 2838 33163 74220 | 11054 0 nan | 0.000 % | 214.64/214.78 c =============================================================================== 214.74/214.86 c core #582 214.74/214.86 c 214.74/214.86 c 214.74/214.86 c Core size: 32 Core Weight: 1 Total Weight: -418 214.74/214.86 c 214.74/214.86 c 214.74/214.86 c ============================[ Search Statistics ]============================== 214.74/214.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.74/214.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.74/214.86 c =============================================================================== 214.74/214.86 c | 0 | 2863 33164 74270 | 11054 0 nan | 0.000 % | 214.74/214.88 c =============================================================================== 214.84/214.96 c core #583 214.84/214.96 c 214.84/214.96 c 214.84/214.96 c Core size: 20 Core Weight: 1 Total Weight: -417 214.84/214.96 c 214.84/214.96 c 214.84/214.96 c ============================[ Search Statistics ]============================== 214.84/214.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.84/214.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.84/214.96 c =============================================================================== 214.84/214.96 c | 0 | 2875 33165 74294 | 11055 0 nan | 0.000 % | 214.84/214.98 c =============================================================================== 214.94/215.06 c core #584 214.94/215.06 c 214.94/215.06 c 214.94/215.06 c Core size: 28 Core Weight: 1 Total Weight: -416 214.94/215.06 c 214.94/215.06 c 214.94/215.06 c ============================[ Search Statistics ]============================== 214.94/215.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.94/215.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.94/215.06 c =============================================================================== 214.94/215.06 c | 0 | 2891 33166 74326 | 11055 0 nan | 0.000 % | 214.94/215.08 c =============================================================================== 215.04/215.17 c core #585 215.04/215.17 c 215.04/215.17 c 215.04/215.17 c Core size: 28 Core Weight: 1 Total Weight: -415 215.04/215.17 c 215.04/215.17 c 215.04/215.17 c ============================[ Search Statistics ]============================== 215.04/215.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.04/215.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.04/215.17 c =============================================================================== 215.04/215.17 c | 0 | 2909 33167 74362 | 11055 0 nan | 0.000 % | 215.04/215.18 c =============================================================================== 215.14/215.27 c core #586 215.14/215.27 c 215.14/215.27 c 215.14/215.27 c Core size: 30 Core Weight: 1 Total Weight: -414 215.14/215.27 c 215.14/215.27 c 215.14/215.27 c ============================[ Search Statistics ]============================== 215.14/215.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.14/215.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.14/215.27 c =============================================================================== 215.14/215.27 c | 0 | 2931 33168 74406 | 11056 0 nan | 0.000 % | 215.14/215.29 c =============================================================================== 215.24/215.37 c core #587 215.24/215.37 c 215.24/215.37 c 215.24/215.37 c Core size: 46 Core Weight: 1 Total Weight: -413 215.24/215.37 c 215.24/215.37 c 215.24/215.37 c ============================[ Search Statistics ]============================== 215.24/215.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.24/215.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.24/215.37 c =============================================================================== 215.24/215.37 c | 0 | 2955 33169 74454 | 11056 0 nan | 0.000 % | 215.34/215.47 c =============================================================================== 215.44/215.55 c core #588 215.44/215.55 c 215.44/215.55 c 215.44/215.55 c Core size: 57 Core Weight: 1 Total Weight: -412 215.44/215.55 c 215.44/215.55 c 215.44/215.55 c ============================[ Search Statistics ]============================== 215.44/215.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.44/215.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.44/215.55 c =============================================================================== 215.44/215.55 c | 0 | 3010 33170 74564 | 11056 0 nan | 0.000 % | 215.54/215.61 c =============================================================================== 215.63/215.70 c core #589 215.63/215.70 c 215.63/215.70 c 215.63/215.70 c Core size: 51 Core Weight: 1 Total Weight: -411 215.63/215.70 c 215.63/215.70 c 215.63/215.70 c ============================[ Search Statistics ]============================== 215.63/215.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.63/215.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.63/215.70 c =============================================================================== 215.63/215.70 c | 0 | 3056 33171 74656 | 11057 0 nan | 0.000 % | 215.73/215.84 c =============================================================================== 215.83/215.93 c core #590 215.83/215.93 c 215.83/215.93 c 215.83/215.93 c Core size: 72 Core Weight: 1 Total Weight: -410 215.83/215.93 c 215.83/215.93 c 215.83/215.93 c ============================[ Search Statistics ]============================== 215.83/215.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.83/215.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.83/215.93 c =============================================================================== 215.83/215.93 c | 0 | 3120 33172 74784 | 11057 0 nan | 0.000 % | 216.03/216.11 c | 102 | 3120 33172 74784 | 12163 102 21 | 83.485 % | 216.13/216.21 c | 252 | 3120 33172 74784 | 13379 252 20 | 83.485 % | 216.23/216.34 c =============================================================================== 216.33/216.42 c core #591 216.33/216.42 c 216.33/216.42 c 216.33/216.42 c Core size: 68 Core Weight: 1 Total Weight: -409 216.33/216.42 c 216.33/216.42 c 216.33/216.42 c ============================[ Search Statistics ]============================== 216.33/216.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.33/216.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.33/216.42 c =============================================================================== 216.33/216.42 c | 0 | 3178 33173 74900 | 11057 0 nan | 0.000 % | 216.43/216.59 c | 100 | 3176 33173 74900 | 12163 100 8 | 83.240 % | 216.55/216.69 c =============================================================================== 216.65/216.77 c core #592 216.65/216.77 c 216.65/216.77 c 216.65/216.77 c Core size: 95 Core Weight: 1 Total Weight: -408 216.65/216.77 c 216.65/216.77 c 216.65/216.77 c ============================[ Search Statistics ]============================== 216.65/216.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.65/216.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.65/216.77 c =============================================================================== 216.65/216.77 c | 0 | 3251 33174 75046 | 11058 0 nan | 0.000 % | 216.84/216.94 c | 100 | 3251 33174 75046 | 12163 100 12 | 82.910 % | 217.04/217.13 c | 250 | 3251 33174 75046 | 13380 250 15 | 82.910 % | 217.34/217.46 c | 475 | 3251 33174 75046 | 14718 475 15 | 82.910 % | 217.83/217.90 c | 813 | 3251 33174 75046 | 16190 813 14 | 82.910 % | 218.53/218.62 c =============================================================================== 218.63/218.71 c core #593 218.63/218.71 c 218.63/218.71 c 218.63/218.71 c Core size: 146 Core Weight: 1 Total Weight: -407 218.63/218.71 c 218.63/218.71 c 218.63/218.71 c ============================[ Search Statistics ]============================== 218.63/218.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.63/218.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.63/218.71 c =============================================================================== 218.63/218.71 c | 0 | 3382 33175 75308 | 11058 0 nan | 0.000 % | 218.75/218.90 c | 101 | 3382 33175 75308 | 12164 101 19 | 82.343 % | 218.94/219.06 c | 251 | 3382 33175 75308 | 13380 251 17 | 82.343 % | 219.14/219.27 c | 477 | 3382 33175 75308 | 14718 477 15 | 82.343 % | 219.74/219.83 c | 816 | 3382 33175 75308 | 16190 816 18 | 82.343 % | 220.44/220.57 c | 1324 | 3382 33175 75308 | 17809 1324 20 | 82.343 % | 221.54/221.67 c | 2083 | 3250 33175 75308 | 19590 953 16 | 83.032 % | 221.64/221.73 c =============================================================================== 221.74/221.84 c core #594 221.74/221.84 c 221.74/221.84 c 221.74/221.84 c Core size: 182 Core Weight: 1 Total Weight: -406 221.74/221.84 c 221.74/221.84 c 221.74/221.84 c ============================[ Search Statistics ]============================== 221.74/221.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 221.74/221.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 221.74/221.84 c =============================================================================== 221.74/221.84 c | 0 | 3545 33176 75634 | 11058 0 nan | 0.000 % | 221.94/222.01 c | 100 | 3545 33176 75634 | 12164 100 11 | 81.648 % | 222.04/222.12 c | 254 | 3545 33176 75634 | 13380 254 15 | 81.648 % | 222.34/222.42 c | 479 | 3545 33176 75634 | 14719 479 17 | 81.648 % | 222.73/222.84 c | 821 | 3545 33176 75634 | 16190 821 19 | 81.648 % | 223.44/223.56 c | 1330 | 3545 33176 75634 | 17810 1330 20 | 81.648 % | 224.44/224.53 c | 2091 | 3545 33176 75634 | 19591 2091 19 | 81.648 % | 225.03/225.11 c =============================================================================== 225.13/225.21 c core #595 225.13/225.21 c 225.13/225.21 c 225.13/225.21 c Core size: 163 Core Weight: 1 Total Weight: -405 225.13/225.21 c 225.13/225.21 c 225.13/225.21 c ============================[ Search Statistics ]============================== 225.13/225.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.13/225.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.13/225.21 c =============================================================================== 225.13/225.21 c | 0 | 3682 33177 75908 | 11059 0 nan | 0.000 % | 225.23/225.37 c | 101 | 3682 33177 75908 | 12164 101 21 | 81.073 % | 225.45/225.52 c | 254 | 3681 33177 75908 | 13381 254 13 | 81.078 % | 225.64/225.70 c | 480 | 3681 33177 75908 | 14719 480 12 | 81.078 % | 226.14/226.21 c | 819 | 3659 33177 75908 | 16191 818 15 | 81.402 % | 226.34/226.44 c =============================================================================== 226.44/226.53 c core #596 226.44/226.53 c 226.44/226.53 c 226.44/226.53 c Core size: 161 Core Weight: 1 Total Weight: -404 226.44/226.53 c 226.44/226.53 c 226.44/226.53 c ============================[ Search Statistics ]============================== 226.44/226.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.44/226.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.44/226.53 c =============================================================================== 226.44/226.53 c | 0 | 3812 33178 76168 | 11059 0 nan | 0.000 % | 226.54/226.70 c | 102 | 3812 33178 76168 | 12165 102 23 | 80.535 % | 226.73/226.85 c | 253 | 3812 33178 76168 | 13381 253 19 | 80.535 % | 226.93/227.08 c | 483 | 3812 33178 76168 | 14719 483 19 | 80.535 % | 227.33/227.44 c | 820 | 3812 33178 76168 | 16191 820 19 | 80.535 % | 227.83/227.96 c | 1328 | 3812 33178 76168 | 17811 1328 20 | 80.535 % | 228.74/228.88 c | 2087 | 3812 33178 76168 | 19592 2087 24 | 80.535 % | 230.23/230.34 c | 3227 | 3812 33178 76168 | 21551 3227 26 | 80.535 % | 232.14/232.21 c | 4939 | 3812 33178 76168 | 23706 4939 27 | 80.535 % | 233.33/233.47 c =============================================================================== 233.53/233.63 c core #597 233.53/233.63 c 233.53/233.63 c 233.53/233.63 c Core size: 155 Core Weight: 1 Total Weight: -403 233.53/233.63 c 233.53/233.63 c 233.53/233.63 c ============================[ Search Statistics ]============================== 233.53/233.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.53/233.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.53/233.63 c =============================================================================== 233.53/233.63 c | 0 | 3956 33179 76456 | 11059 0 nan | 0.000 % | 233.63/233.76 c | 101 | 3956 33179 76456 | 12165 101 25 | 79.947 % | 233.73/233.80 c | 253 | 3956 33179 76456 | 13382 253 26 | 79.947 % | 233.83/233.99 c | 479 | 3956 33179 76456 | 14720 479 29 | 79.947 % | 234.14/234.23 c | 816 | 3956 33179 76456 | 16192 816 34 | 79.947 % | 234.44/234.58 c | 1324 | 3956 33179 76456 | 17811 1324 37 | 79.947 % | 235.03/235.17 c | 2083 | 3956 33179 76456 | 19592 2083 38 | 79.947 % | 236.03/236.11 c | 3222 | 3956 33179 76456 | 21552 3222 37 | 79.947 % | 237.63/237.79 c | 4934 | 3956 33179 76456 | 23707 4934 36 | 79.947 % | 240.33/240.48 c =============================================================================== 240.53/240.62 c core #598 240.53/240.62 c 240.53/240.62 c 240.53/240.62 c Core size: 253 Core Weight: 1 Total Weight: -402 240.53/240.62 c 240.53/240.62 c 240.53/240.62 c ============================[ Search Statistics ]============================== 240.53/240.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.53/240.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.53/240.62 c =============================================================================== 240.53/240.62 c | 0 | 4161 33180 76866 | 11060 0 nan | 0.000 % | 240.64/240.75 c | 100 | 4161 33180 76866 | 12166 100 11 | 79.125 % | 240.74/240.85 c | 250 | 4161 33180 76866 | 13382 250 10 | 79.125 % | 240.84/240.98 c | 478 | 4161 33180 76866 | 14720 478 10 | 79.125 % | 241.23/241.33 c | 815 | 4161 33180 76866 | 16192 815 12 | 79.125 % | 241.73/241.83 c | 1321 | 4161 33180 76866 | 17812 1321 13 | 79.125 % | 242.43/242.52 c | 2081 | 4161 33180 76866 | 19593 2081 15 | 79.125 % | 243.33/243.41 c =============================================================================== 243.43/243.52 c core #599 243.43/243.52 c 243.43/243.52 c 243.43/243.52 c Core size: 163 Core Weight: 1 Total Weight: -401 243.43/243.52 c 243.43/243.52 c 243.43/243.52 c ============================[ Search Statistics ]============================== 243.43/243.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 243.43/243.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 243.43/243.52 c =============================================================================== 243.43/243.52 c | 0 | 4301 33181 77146 | 11060 0 nan | 0.000 % | 243.54/243.69 c | 100 | 4301 33181 77146 | 12166 100 18 | 78.573 % | 243.64/243.72 c | 250 | 4301 33181 77146 | 13383 250 16 | 78.573 % | 243.73/243.83 c | 476 | 4301 33181 77146 | 14721 476 15 | 78.573 % | 244.04/244.11 c | 815 | 4301 33181 77146 | 16193 815 18 | 78.573 % | 244.43/244.58 c | 1321 | 4301 33181 77146 | 17812 1321 22 | 78.573 % | 245.43/245.51 c | 2081 | 4301 33181 77146 | 19594 2081 30 | 78.573 % | 246.83/246.96 c | 3221 | 4301 33181 77146 | 21553 3221 40 | 78.573 % | 249.64/249.79 c | 4929 | 4301 33181 77146 | 23708 4929 48 | 78.573 % | 253.82/253.92 c | 7491 | 4301 33181 77146 | 26079 7491 50 | 78.573 % | 259.33/259.47 c | 11337 | 4301 33181 77146 | 28687 11337 49 | 78.573 % | 272.32/272.43 c | 17104 | 4301 33181 77146 | 31556 17104 47 | 78.573 % | 286.82/286.99 c =============================================================================== 287.42/287.56 c core #600 287.42/287.56 c 287.42/287.56 c 287.42/287.56 c Core size: 251 Core Weight: 1 Total Weight: -400 287.42/287.56 c 287.42/287.56 c 287.42/287.56 c ============================[ Search Statistics ]============================== 287.42/287.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 287.42/287.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 287.42/287.56 c =============================================================================== 287.42/287.56 c | 0 | 4511 33182 77566 | 11060 0 nan | 0.000 % | 287.52/287.68 c | 100 | 4511 33182 77566 | 12166 100 26 | 77.760 % | 287.62/287.72 c | 250 | 4511 33182 77566 | 13383 250 30 | 77.760 % | 287.62/287.79 c | 475 | 4511 33182 77566 | 14721 475 26 | 77.760 % | 287.82/287.92 c | 813 | 4511 33182 77566 | 16193 813 31 | 77.760 % | 288.02/288.15 c | 1322 | 4511 33182 77566 | 17813 1322 30 | 77.760 % | 288.52/288.67 c | 2081 | 4511 33182 77566 | 19594 2081 40 | 77.760 % | 289.72/289.83 c | 3223 | 4511 33182 77566 | 21554 3223 53 | 77.760 % | 291.22/291.35 c | 4932 | 4511 33182 77566 | 23709 4932 58 | 77.760 % | 293.52/293.69 c | 7495 | 4511 33182 77566 | 26080 7495 58 | 77.760 % | 296.62/296.75 c | 11339 | 4511 33182 77566 | 28688 11339 56 | 77.760 % | 303.91/304.04 c | 17105 | 4511 33182 77566 | 31557 17105 60 | 77.760 % | 318.01/318.19 c | 25761 | 4511 33182 77566 | 34713 25761 64 | 77.760 % | 341.61/341.71 c | 38735 | 4511 33182 77566 | 38184 38735 65 | 77.760 % | 385.80/385.92 c | 58198 | 4511 33182 77566 | 42002 18733 58 | 77.760 % | 411.30/411.43 c =============================================================================== 412.79/412.99 c core #601 412.79/412.99 c 412.79/412.99 c 412.79/412.99 c Core size: 239 Core Weight: 1 Total Weight: -399 412.79/412.99 c 412.79/412.99 c 412.79/412.99 c ============================[ Search Statistics ]============================== 412.79/412.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 412.79/412.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 412.79/412.99 c =============================================================================== 412.79/412.99 c | 0 | 4712 33183 77968 | 11061 0 nan | 0.000 % | 412.99/413.15 c | 101 | 4712 33183 77968 | 12167 101 33 | 76.997 % | 413.09/413.23 c | 252 | 4712 33183 77968 | 13383 252 24 | 76.997 % | 413.20/413.35 c | 477 | 4712 33183 77968 | 14722 477 20 | 76.997 % | 413.40/413.50 c | 817 | 4712 33183 77968 | 16194 817 25 | 76.997 % | 413.69/413.81 c | 1325 | 4712 33183 77968 | 17813 1325 25 | 76.997 % | 414.19/414.33 c | 2087 | 4712 33183 77968 | 19595 2087 24 | 76.997 % | 414.99/415.14 c | 3226 | 4712 33183 77968 | 21554 3226 30 | 76.997 % | 416.70/416.83 c | 4934 | 4712 33183 77968 | 23710 4934 35 | 76.997 % | 419.69/419.87 c | 7496 | 4712 33183 77968 | 26081 7496 40 | 76.997 % | 425.59/425.73 c | 11342 | 4712 33183 77968 | 28689 11342 42 | 76.997 % | 436.09/436.24 c | 17108 | 4712 33183 77968 | 31558 17108 44 | 76.997 % | 452.98/453.18 c | 25760 | 4712 33183 77968 | 34714 25760 44 | 76.997 % | 487.08/487.25 c | 38736 | 4712 33183 77968 | 38185 38736 46 | 76.997 % | 545.37/545.55 c | 58197 | 4712 33183 77968 | 42004 20015 53 | 76.997 % | 608.45/608.67 c | 87390 | 4685 33183 77968 | 46204 29343 53 | 77.129 % | 611.35/611.57 c =============================================================================== 613.74/613.96 c core #602 613.74/613.96 c 613.74/613.96 c 613.74/613.96 c Core size: 288 Core Weight: 1 Total Weight: -398 613.74/613.96 c 613.74/613.96 c 613.74/613.96 c ============================[ Search Statistics ]============================== 613.74/613.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 613.74/613.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 613.74/613.96 c =============================================================================== 613.74/613.96 c | 0 | 4955 33184 78454 | 11061 0 nan | 0.000 % | 613.84/614.09 c | 100 | 4955 33184 78454 | 12167 100 24 | 76.094 % | 613.94/614.15 c | 250 | 4955 33184 78454 | 13384 250 19 | 76.094 % | 614.04/614.26 c | 476 | 4955 33184 78454 | 14722 476 19 | 76.094 % | 614.14/614.34 c | 814 | 4955 33184 78454 | 16194 814 28 | 76.094 % | 614.54/614.71 c | 1320 | 4955 33184 78454 | 17814 1320 38 | 76.094 % | 615.04/615.28 c | 2079 | 4955 33184 78454 | 19595 2079 43 | 76.094 % | 615.84/616.08 c | 3218 | 4955 33184 78454 | 21555 3218 54 | 76.094 % | 617.34/617.57 c | 4926 | 4955 33184 78454 | 23710 4926 66 | 76.094 % | 619.84/620.08 c | 7488 | 4955 33184 78454 | 26082 7488 66 | 76.094 % | 624.34/624.55 c | 11332 | 4955 33184 78454 | 28690 11332 69 | 76.094 % | 631.74/631.98 c | 17100 | 4955 33184 78454 | 31559 17100 66 | 76.094 % | 647.43/647.61 c | 25750 | 4955 33184 78454 | 34715 25750 65 | 76.094 % | 672.03/672.20 c | 38726 | 4955 33184 78454 | 38186 38726 67 | 76.094 % | 710.92/711.14 c | 58189 | 4955 33184 78454 | 42005 18891 46 | 76.094 % | 778.61/778.87 c | 87384 | 4955 33184 78454 | 46205 48086 59 | 76.094 % | 889.08/889.37 c | 131173 | 4784 33184 78454 | 50826 10600 31 | 76.919 % | 889.18/889.44 c =============================================================================== 892.08/892.35 c core #603 892.08/892.35 c 892.08/892.35 c 892.08/892.35 c Core size: 205 Core Weight: 1 Total Weight: -397 892.08/892.35 c 892.08/892.35 c 892.08/892.35 c ============================[ Search Statistics ]============================== 892.08/892.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 892.08/892.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 892.08/892.35 c =============================================================================== 892.08/892.35 c | 0 | 5149 33185 78842 | 11061 0 nan | 0.000 % | 892.17/892.49 c | 100 | 5149 33185 78842 | 12167 100 28 | 75.388 % | 892.27/892.59 c | 250 | 5149 33185 78842 | 13384 250 21 | 75.388 % | 892.37/892.66 c | 475 | 5149 33185 78842 | 14723 475 27 | 75.388 % | 892.57/892.86 c | 813 | 5149 33185 78842 | 16195 813 29 | 75.388 % | 892.98/893.21 c | 1321 | 5149 33185 78842 | 17814 1321 37 | 75.388 % | 893.58/893.81 c | 2080 | 5149 33185 78842 | 19596 2080 51 | 75.388 % | 894.47/894.74 c | 3219 | 5149 33185 78842 | 21556 3219 65 | 75.388 % | 895.67/895.95 c | 4927 | 5149 33185 78842 | 23711 4927 60 | 75.388 % | 897.38/897.67 c | 7493 | 5149 33185 78842 | 26082 7493 64 | 75.388 % | 901.78/902.02 c | 11337 | 5149 33185 78842 | 28691 11337 66 | 75.388 % | 909.27/909.59 c | 17104 | 5149 33185 78842 | 31560 17104 76 | 75.388 % | 922.87/923.16 c | 25755 | 5149 33185 78842 | 34716 25755 83 | 75.388 % | 948.46/948.79 c | 38730 | 5149 33185 78842 | 38187 38730 88 | 75.388 % | 997.55/997.82 c | 58195 | 5149 33185 78842 | 42006 17692 103 | 75.388 % | 1067.74/1068.06 c | 87387 | 5149 33185 78842 | 46207 46884 104 | 75.388 % | 1163.31/1163.67 c | 131177 | 5149 33185 78842 | 50828 42856 84 | 75.388 % | 1304.38/1304.74 c | 196861 | 5149 33185 78842 | 55910 56792 85 | 75.388 % | 1548.32/1548.73 c | 295388 | 5149 33185 78842 | 61501 43236 80 | 75.388 % |
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-2702549-1278569929/watcher-2702549-1278569929 -o /tmp/evaluation-result-2702549-1278569929/solver-2702549-1278569929 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702549-1278569929.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.01 1.00 2/106 26988 /proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=4444 CPUtime=0 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 1 0 25200312 4550656 331 1992294400 134512640 135752675 4290001024 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 1111 332 137 303 0 470 0 [startup+0.0880081 s] /proc/loadavg: 1.04 1.01 1.00 2/106 26988 /proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=7956 CPUtime=0.08 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 1301 0 0 0 8 0 0 0 24 0 1 0 25200312 8146944 1220 1992294400 134512640 135752675 4290001024 18446744073709551615 134633421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 1989 1220 228 303 0 1348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7956 [startup+0.101008 s] /proc/loadavg: 1.04 1.01 1.00 2/106 26988 /proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=8088 CPUtime=0.09 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 1362 0 0 0 9 0 0 0 24 0 1 0 25200312 8282112 1281 1992294400 134512640 135752675 4290001024 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 2022 1281 248 303 0 1381 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8088 [startup+0.301026 s] /proc/loadavg: 1.04 1.01 1.00 2/106 26988 /proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=12424 CPUtime=0.29 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 2961 0 0 0 28 1 0 0 25 0 1 0 25200312 12722176 2511 1992294400 134512640 135752675 4290001024 18446744073709551615 134599276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 3106 2511 143 303 0 2801 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12424 [startup+0.701063 s] /proc/loadavg: 1.04 1.01 1.00 2/106 26988 /proc/meminfo: memFree=1683540/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=12952 CPUtime=0.69 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 3148 0 0 0 66 3 0 0 25 0 1 0 25200312 13262848 2698 1992294400 134512640 135752675 4290001024 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 3238 2698 145 303 0 2933 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12952 [startup+1.50113 s] /proc/loadavg: 1.04 1.01 1.00 2/107 26989 /proc/meminfo: memFree=1670264/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=20872 CPUtime=1.49 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 5105 0 0 0 144 5 0 0 25 0 1 0 25200312 21372928 4655 1992294400 134512640 135752675 4290001024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 5218 4655 145 303 0 4913 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20872 [startup+3.10028 s] /proc/loadavg: 1.04 1.01 1.00 2/107 26989 /proc/meminfo: memFree=1659848/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=33964 CPUtime=3.09 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 8409 0 0 0 302 7 0 0 25 0 1 0 25200312 34779136 7959 1992294400 134512640 135752675 4290001024 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 8491 7959 145 303 0 8186 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33964 [startup+6.30056 s] /proc/loadavg: 1.04 1.01 1.00 2/107 26989 /proc/meminfo: memFree=1640380/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=51052 CPUtime=6.29 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 12654 0 0 0 617 12 0 0 25 0 1 0 25200312 52277248 12204 1992294400 134512640 135752675 4290001024 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 12763 12204 145 303 0 12458 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51052 [startup+12.7011 s] /proc/loadavg: 1.03 1.01 1.00 2/107 26989 /proc/meminfo: memFree=1612356/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=76572 CPUtime=12.68 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 19058 0 0 0 1249 19 0 0 25 0 1 0 25200312 78409728 18608 1992294400 134512640 135752675 4290001024 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 19143 18608 145 303 0 18838 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 76572 [startup+25.5013 s] /proc/loadavg: 1.02 1.01 1.00 2/107 26990 /proc/meminfo: memFree=1587060/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=99600 CPUtime=25.49 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 24772 0 0 0 2523 26 0 0 25 0 1 0 25200312 101990400 24322 1992294400 134512640 135752675 4290001024 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 24900 24322 145 303 0 24595 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99600 [startup+51.1015 s] /proc/loadavg: 1.02 1.01 1.00 2/107 26992 /proc/meminfo: memFree=1532004/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=155140 CPUtime=51.08 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 38632 0 0 0 5064 44 0 0 25 0 1 0 25200312 158863360 38182 1992294400 134512640 135752675 4290001024 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 38785 38182 145 303 0 38480 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 155140 [startup+102.309 s] /proc/loadavg: 1.04 1.02 1.00 2/107 26995 /proc/meminfo: memFree=1374400/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=311084 CPUtime=102.27 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 77585 0 0 0 10152 75 0 0 25 0 1 0 25200312 318550016 77135 1992294400 134512640 135752675 4290001024 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 77771 77135 145 303 0 77466 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 311084 [startup+162.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 26996 /proc/meminfo: memFree=1279788/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=407980 CPUtime=162.25 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 101765 0 0 0 16126 99 0 0 25 0 1 0 25200312 417771520 101315 1992294400 134512640 135752675 4290001024 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 101995 101315 145 303 0 101690 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 407980 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 26998 /proc/meminfo: memFree=1261808/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=222.24 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106304 0 0 0 22116 108 0 0 25 0 1 0 25200312 432840704 105139 1992294400 134512640 135752675 4290001024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105139 146 303 0 105369 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 422696 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27000 /proc/meminfo: memFree=1261808/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=282.22 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106305 0 0 0 28095 127 0 0 25 0 1 0 25200312 432840704 105140 1992294400 134512640 135752675 4290001024 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105140 146 303 0 105369 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 422696 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27002 /proc/meminfo: memFree=1261684/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=342.21 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106306 0 0 0 34076 145 0 0 25 0 1 0 25200312 432840704 105141 1992294400 134512640 135752675 4290001024 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105141 146 303 0 105369 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 422696 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27003 /proc/meminfo: memFree=1261684/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=402.19 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106306 0 0 0 40062 157 0 0 25 0 1 0 25200312 432840704 105141 1992294400 134512640 135752675 4290001024 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105141 146 303 0 105369 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 422696 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27004 /proc/meminfo: memFree=1261684/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=462.18 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106318 0 0 0 46045 173 0 0 25 0 1 0 25200312 432840704 105153 1992294400 134512640 135752675 4290001024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105153 146 303 0 105369 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 422696 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27006 /proc/meminfo: memFree=1261560/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=522.17 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106318 0 0 0 52032 185 0 0 25 0 1 0 25200312 432840704 105153 1992294400 134512640 135752675 4290001024 18446744073709551615 134612012 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105153 146 303 0 105369 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 422696 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27008 /proc/meminfo: memFree=1261560/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=582.15 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106318 0 0 0 58017 198 0 0 25 0 1 0 25200312 432840704 105153 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105153 146 303 0 105369 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 422696 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27010 /proc/meminfo: memFree=1261560/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=642.14 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106323 0 0 0 64001 213 0 0 25 0 1 0 25200312 432840704 105158 1992294400 134512640 135752675 4290001024 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105158 146 303 0 105369 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 422696 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27016 /proc/meminfo: memFree=1261312/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=882.07 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106334 0 0 0 87947 260 0 0 25 0 1 0 25200312 432840704 105169 1992294400 134512640 135752675 4290001024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105169 146 303 0 105369 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 422696 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27018 /proc/meminfo: memFree=1261312/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=422696 CPUtime=942.07 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 106342 0 0 0 93928 279 0 0 25 0 1 0 25200312 432840704 105177 1992294400 134512640 135752675 4290001024 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 105674 105177 146 303 0 105369 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 422696 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27019 /proc/meminfo: memFree=1253376/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=430928 CPUtime=1002.05 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 108391 0 0 0 99912 293 0 0 25 0 1 0 25200312 441270272 107226 1992294400 134512640 135752675 4290001024 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 107732 107226 146 303 0 107427 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 430928 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27020 /proc/meminfo: memFree=1242216/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=441992 CPUtime=1062.03 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 111165 0 0 0 105894 309 0 0 25 0 1 0 25200312 452599808 110000 1992294400 134512640 135752675 4290001024 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 110498 110000 146 303 0 110193 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 441992 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27022 /proc/meminfo: memFree=1228948/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=455292 CPUtime=1122.02 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 114458 0 0 0 111877 325 0 0 25 0 1 0 25200312 466219008 113293 1992294400 134512640 135752675 4290001024 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 113823 113293 146 303 0 113518 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 455292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27024 /proc/meminfo: memFree=1215060/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=469456 CPUtime=1182.01 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 117947 0 0 0 117859 342 0 0 25 0 1 0 25200312 480722944 116782 1992294400 134512640 135752675 4290001024 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 117364 116782 146 303 0 117059 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 469456 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27026 /proc/meminfo: memFree=1200800/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=483492 CPUtime=1241.99 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 121449 0 0 0 123839 360 0 0 25 0 1 0 25200312 495095808 120284 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 120873 120284 146 303 0 120568 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 483492 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27027 /proc/meminfo: memFree=1187160/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=496872 CPUtime=1301.98 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 124793 0 0 0 129821 377 0 0 25 0 1 0 25200312 508796928 123628 1992294400 134512640 135752675 4290001024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 124218 123628 146 303 0 123913 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 496872 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27028 /proc/meminfo: memFree=1175380/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=508908 CPUtime=1361.96 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 127778 0 0 0 135806 390 0 0 25 0 1 0 25200312 521121792 126613 1992294400 134512640 135752675 4290001024 18446744073709551615 134518854 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 127227 126613 146 303 0 126922 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 508908 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27030 /proc/meminfo: memFree=1159756/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=524432 CPUtime=1421.96 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 131649 0 0 0 141790 406 0 0 25 0 1 0 25200312 537018368 130484 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 131108 130484 146 303 0 130803 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 524432 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27032 /proc/meminfo: memFree=1149092/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=535368 CPUtime=1481.93 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 134330 0 0 0 147775 418 0 0 25 0 1 0 25200312 548216832 133165 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 133842 133165 146 303 0 133537 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 535368 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27034 /proc/meminfo: memFree=1134956/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=549268 CPUtime=1541.91 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 137836 0 0 0 153754 437 0 0 25 0 1 0 25200312 562450432 136671 1992294400 134512640 135752675 4290001024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 137317 136671 146 303 0 137012 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 549268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27035 /proc/meminfo: memFree=1124292/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=560144 CPUtime=1601.91 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 140524 0 0 0 159738 453 0 0 25 0 1 0 25200312 573587456 139359 1992294400 134512640 135752675 4290001024 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 140036 139359 146 303 0 139731 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 560144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27036 /proc/meminfo: memFree=1113256/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=571020 CPUtime=1661.89 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 143249 0 0 0 165723 466 0 0 25 0 1 0 25200312 584724480 142084 1992294400 134512640 135752675 4290001024 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 142755 142084 146 303 0 142450 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 571020 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27038 /proc/meminfo: memFree=1098500/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=585812 CPUtime=1721.87 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 146950 0 0 0 171705 482 0 0 25 0 1 0 25200312 599871488 145785 1992294400 134512640 135752675 4290001024 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 146453 145785 146 303 0 146148 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 585812 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27040 /proc/meminfo: memFree=1088580/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=595408 CPUtime=1781.86 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 149329 0 0 0 177688 498 0 0 25 0 1 0 25200312 609697792 148164 1992294400 134512640 135752675 4290001024 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 148852 148164 146 303 0 148547 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 595408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27040 /proc/meminfo: memFree=1086224/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=597648 CPUtime=1800.07 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 149913 0 0 0 179506 501 0 0 25 0 1 0 25200312 611991552 148748 1992294400 134512640 135752675 4290001024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 149412 148748 146 303 0 149107 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 597648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27040 /proc/meminfo: memFree=1086224/2059040 swapFree=4139712/4192956 [pid=26988] ppid=26986 vsize=597648 CPUtime=1800.07 /proc/26988/stat : 26988 (wbo1.4b) R 26986 26988 26481 0 -1 4202496 149913 0 0 0 179506 501 0 0 25 0 1 0 25200312 611991552 148748 1992294400 134512640 135752675 4290001024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26988/statm: 149412 148748 146 303 0 149107 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 597648 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.57 CPU time (s): 1800.13 CPU user time (s): 1795.06 CPU system time (s): 5.06923 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 597648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.06 system time used= 5.06923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 149913 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= 80 involuntary context switches= 2108 runsolver used 3.09553 second user time and 8.44971 second system time The end
Begin job on node043 at 2010-07-08 08:18:49 IDJOB=2702549 IDBENCH=48209 IDSOLVER=1190 FILE ID=node043/2702549-1278569929 PBS_JOBID= 11239539 Free space on /tmp= 62528 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.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-2702549-1278569929/watcher-2702549-1278569929 -o /tmp/evaluation-result-2702549-1278569929/solver-2702549-1278569929 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702549-1278569929.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe RANDOM SEED=1544787760 node043.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.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1685556 kB Buffers: 77656 kB Cached: 206368 kB SwapCached: 8072 kB Active: 147092 kB Inactive: 151892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1685556 kB SwapTotal: 4192956 kB SwapFree: 4139712 kB Dirty: 2968 kB Writeback: 0 kB AnonPages: 11772 kB Mapped: 12088 kB Slab: 52740 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181180 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-2702549-1278569929.opb Free space on /tmp at the end= 62524 MiB End job on node043 at 2010-07-08 08:48:52