Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.11 | 1800.68 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
MD5SUM | 366c883f3118f840e595e8bbe10351c8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1789.87 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27856 |
Number of constraints which are clauses | 27856 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
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 | 595 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680675-1277456134.opb. 0.00/0.00 c Instance file HOME/instance-2680675-1277456134.opb 0.00/0.00 c File size is 664636 bytes. 0.07/0.08 c Highest Coefficient sum: 3 0.07/0.08 c ============================[ Problem Statistics ]============================= 0.07/0.08 c | | 0.07/0.08 c | Parsing time: 0.08 s | 0.07/0.08 c | Number Variables: 595 | 0.07/0.08 c | Number Clauses: 27856 | 0.07/0.08 c | Number Cardinality: 0 | 0.07/0.08 c | Number PB Constraints: 0 | 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 595 27856 55712 | 9285 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 0 0.09/0.14 o 0 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 595 27857 56307 | 9285 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -1 0.09/0.15 o -1 0.09/0.15 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 595 27858 56902 | 9286 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -2 0.09/0.15 o -2 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 9 | 595 27859 57497 | 9286 9 589 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -3 0.09/0.18 o -3 0.09/0.18 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 107 | 595 27860 58092 | 9286 107 588 | 0.000 % | 0.19/0.20 c | 210 | 595 27860 58092 | 10215 210 588 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -4 0.19/0.22 o -4 0.19/0.22 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 285 | 595 27861 58687 | 9287 285 588 | 0.000 % | 0.19/0.23 c | 387 | 595 27861 58687 | 10215 387 588 | 0.000 % | 0.19/0.26 c | 537 | 595 27861 58687 | 11237 537 588 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -5 0.29/0.30 o -5 0.29/0.30 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 670 | 595 27862 59282 | 9287 670 588 | 0.000 % | 0.29/0.33 c | 773 | 595 27862 59282 | 10216 773 587 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -6 0.29/0.36 o -6 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 | 865 | 595 27863 59877 | 9287 865 587 | 0.000 % | 0.29/0.38 c | 966 | 595 27863 59877 | 10216 966 587 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: -7 0.39/0.40 o -7 0.39/0.40 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 1009 | 595 27864 60472 | 9288 1009 587 | 0.000 % | 0.39/0.43 c | 1110 | 595 27864 60472 | 10216 1110 587 | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: -8 0.39/0.48 o -8 0.39/0.48 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 1238 | 595 27865 61067 | 9288 1238 586 | 0.000 % | 0.49/0.51 c | 1338 | 595 27865 61067 | 10217 1338 586 | 0.000 % | 0.49/0.57 c | 1489 | 595 27865 61067 | 11238 1489 586 | 0.000 % | 0.59/0.64 c | 1715 | 595 27865 61067 | 12362 1715 586 | 0.000 % | 0.70/0.74 c =============================================================================== 0.70/0.74 c New solution: -9 0.70/0.74 o -9 0.70/0.74 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s 0.70/0.74 c =============================================================================== 0.70/0.74 c | 2016 | 595 27866 61662 | 9288 2016 585 | 0.000 % | 0.70/0.79 c | 2118 | 595 27866 61662 | 10217 2118 585 | 0.000 % | 0.80/0.87 c | 2270 | 595 27866 61662 | 11239 2270 585 | 0.000 % | 0.89/0.98 c | 2497 | 595 27866 61662 | 12363 2497 585 | 0.000 % | 1.10/1.12 c | 2835 | 595 27866 61662 | 13599 2835 584 | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.14 c New solution: -10 1.10/1.14 o -10 1.10/1.14 c Elapsed CPU time: 1.10983 s Remaining CPU time: 178.89 s 1.10/1.14 c =============================================================================== 1.10/1.14 c | 2913 | 595 27867 62257 | 9289 2913 584 | 0.000 % | 1.10/1.18 c | 3016 | 595 27867 62257 | 10217 3016 584 | 0.000 % | 1.19/1.27 c | 3167 | 595 27867 62257 | 11239 3167 584 | 0.000 % | 1.29/1.38 c | 3397 | 595 27867 62257 | 12363 3397 584 | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c New solution: -11 1.39/1.47 o -11 1.39/1.47 c Elapsed CPU time: 1.43378 s Remaining CPU time: 178.566 s 1.39/1.47 c =============================================================================== 1.39/1.47 c | 3558 | 595 27868 62852 | 9289 3558 584 | 0.000 % | 1.49/1.54 c | 3659 | 595 27868 62852 | 10218 3659 583 | 0.000 % | 1.59/1.65 c | 3810 | 595 27868 62852 | 11240 3810 583 | 0.000 % | 1.69/1.76 c | 4036 | 595 27868 62852 | 12364 4036 583 | 0.000 % | 1.89/1.97 c | 4374 | 595 27868 62852 | 13600 4374 583 | 0.000 % | 2.20/2.28 c | 4884 | 595 27868 62852 | 14960 4884 583 | 0.000 % | 2.79/2.81 c | 5644 | 595 27868 62852 | 16456 5644 582 | 0.000 % | 3.49/3.58 c | 6783 | 595 27868 62852 | 18102 6783 582 | 0.000 % | 5.20/5.21 c | 8491 | 595 27868 62852 | 19912 8491 581 | 0.000 % | 7.89/7.95 c =============================================================================== 7.89/7.95 c New solution: -12 7.89/7.95 o -12 7.89/7.95 c Elapsed CPU time: 7.84581 s Remaining CPU time: 172.154 s 7.89/7.95 c =============================================================================== 7.89/7.95 c | 10983 | 595 27869 63447 | 9289 10983 581 | 0.000 % | 7.99/8.08 c | 11084 | 595 27869 63447 | 10218 5593 580 | 0.000 % | 8.09/8.17 c | 11234 | 595 27869 63447 | 11240 5743 580 | 0.000 % | 8.29/8.31 c | 11459 | 595 27869 63447 | 12364 5968 580 | 0.000 % | 8.48/8.51 c | 11797 | 595 27869 63447 | 13601 6306 580 | 0.000 % | 8.69/8.73 c | 12303 | 595 27869 63447 | 14961 6812 580 | 0.000 % | 8.69/8.75 c =============================================================================== 8.69/8.75 c New solution: -13 8.69/8.75 o -13 8.69/8.75 c Elapsed CPU time: 8.64468 s Remaining CPU time: 171.355 s 8.69/8.75 c =============================================================================== 8.69/8.75 c | 12332 | 595 27870 64042 | 9290 6841 580 | 0.000 % | 8.80/8.81 c | 12432 | 595 27870 64042 | 10219 6941 580 | 0.000 % | 8.80/8.87 c | 12582 | 595 27870 64042 | 11240 7091 580 | 0.000 % | 8.89/8.99 c | 12808 | 595 27870 64042 | 12364 7317 580 | 0.000 % | 9.09/9.18 c | 13145 | 595 27870 64042 | 13601 7654 580 | 0.000 % | 9.39/9.42 c | 13652 | 595 27870 64042 | 14961 8161 580 | 0.000 % | 10.09/10.13 c | 14414 | 595 27870 64042 | 16457 8923 580 | 0.000 % | 10.58/10.68 c =============================================================================== 10.58/10.68 c New solution: -14 10.58/10.68 o -14 10.58/10.68 c Elapsed CPU time: 10.5524 s Remaining CPU time: 169.448 s 10.58/10.68 c =============================================================================== 10.58/10.68 c | 15307 | 595 27871 64637 | 9290 9816 579 | 0.000 % | 10.69/10.79 c | 15409 | 595 27871 64637 | 10219 5010 579 | 0.000 % | 10.79/10.88 c | 15559 | 595 27871 64637 | 11241 5160 579 | 0.000 % | 10.90/10.97 c | 15784 | 595 27871 64637 | 12365 5385 579 | 0.000 % | 11.00/11.07 c =============================================================================== 11.00/11.07 c New solution: -15 11.00/11.07 o -15 11.00/11.07 c Elapsed CPU time: 10.9423 s Remaining CPU time: 169.058 s 11.00/11.07 c =============================================================================== 11.00/11.07 c | 15922 | 595 27872 65232 | 9290 5523 579 | 0.000 % | 11.09/11.15 c | 16023 | 595 27872 65232 | 10219 5624 579 | 0.000 % | 11.09/11.18 c =============================================================================== 11.09/11.18 c New solution: -16 11.09/11.18 o -16 11.09/11.18 c Elapsed CPU time: 11.0443 s Remaining CPU time: 168.956 s 11.09/11.18 c =============================================================================== 11.09/11.18 c | 16053 | 595 27873 65827 | 9291 5654 579 | 0.000 % | 11.19/11.24 c | 16154 | 595 27873 65827 | 10220 5755 579 | 0.000 % | 11.28/11.32 c | 16304 | 595 27873 65827 | 11242 5905 579 | 0.000 % | 11.39/11.41 c | 16530 | 595 27873 65827 | 12366 6131 579 | 0.000 % | 11.59/11.65 c | 16867 | 595 27873 65827 | 13602 6468 578 | 0.000 % | 11.89/11.96 c | 17374 | 595 27873 65827 | 14963 6975 578 | 0.000 % | 12.69/12.72 c | 18135 | 595 27873 65827 | 16459 7736 578 | 0.000 % | 13.20/13.24 c =============================================================================== 13.20/13.24 c New solution: -17 13.20/13.24 o -17 13.20/13.24 c Elapsed CPU time: 13.093 s Remaining CPU time: 166.907 s 13.20/13.24 c =============================================================================== 13.20/13.24 c | 19202 | 595 27874 66422 | 9291 8803 578 | 0.000 % | 13.29/13.33 c | 19302 | 595 27874 66422 | 10220 8903 578 | 0.000 % | 13.49/13.51 c | 19454 | 595 27874 66422 | 11242 9055 577 | 0.000 % | 13.69/13.74 c | 19680 | 595 27874 66422 | 12366 9281 577 | 0.000 % | 14.08/14.13 c | 20018 | 595 27874 66422 | 13603 9619 577 | 0.000 % | 14.49/14.54 c | 20528 | 595 27874 66422 | 14963 10129 577 | 0.000 % | 15.48/15.56 c | 21289 | 595 27874 66422 | 16460 10890 577 | 0.000 % | 16.98/17.05 c | 22429 | 595 27874 66422 | 18106 12030 577 | 0.000 % | 18.69/18.78 c | 24137 | 595 27874 66422 | 19916 13738 576 | 0.000 % | 20.89/20.94 c | 26701 | 595 27874 66422 | 21908 16302 576 | 0.000 % | 26.08/26.17 c | 30549 | 595 27874 66422 | 24099 20150 576 | 0.000 % | 26.78/26.85 c =============================================================================== 26.78/26.85 c New solution: -18 26.78/26.85 o -18 26.78/26.85 c Elapsed CPU time: 26.592 s Remaining CPU time: 153.408 s 26.78/26.85 c =============================================================================== 26.78/26.85 c | 30984 | 595 27875 67017 | 9291 20585 576 | 0.000 % | 26.98/27.09 c | 31084 | 595 27875 67017 | 10220 5247 574 | 0.000 % | 27.08/27.19 c | 31235 | 595 27875 67017 | 11242 5398 574 | 0.000 % | 27.27/27.33 c | 31460 | 595 27875 67017 | 12367 5623 574 | 0.000 % | 27.49/27.54 c | 31798 | 595 27875 67017 | 13603 5961 574 | 0.000 % | 27.98/28.04 c | 32305 | 595 27875 67017 | 14964 6468 574 | 0.000 % | 28.49/28.50 c | 33064 | 595 27875 67017 | 16460 7227 574 | 0.000 % | 29.08/29.18 c | 34203 | 595 27875 67017 | 18106 8366 574 | 0.000 % | 29.98/30.02 c | 35913 | 595 27875 67017 | 19917 10076 574 | 0.000 % | 31.97/32.09 c | 38476 | 595 27875 67017 | 21909 12639 574 | 0.000 % | 34.37/34.47 c | 42321 | 595 27875 67017 | 24100 16484 574 | 0.000 % | 40.08/40.15 c | 48087 | 595 27875 67017 | 26510 22250 574 | 0.000 % | 52.57/52.66 c | 56737 | 595 27875 67017 | 29161 14679 574 | 0.000 % | 81.97/82.01 c | 69711 | 595 27875 67017 | 32077 27653 574 | 0.000 % | 122.65/122.71 c | 89173 | 595 27875 67017 | 35285 25521 574 | 0.000 % | 180.83/180.95 c There are 0 assigned variables. 0 in cost function. 182.53/182.68 c core #1 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -594 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #2 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -593 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #3 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -592 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #4 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -591 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #5 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -590 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #6 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -589 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #7 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -588 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #8 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -587 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #9 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -586 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #10 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -585 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #11 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -584 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #12 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -583 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #13 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -582 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #14 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -581 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #15 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -580 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #16 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -579 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #17 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -578 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #18 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -577 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #19 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -576 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #20 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -575 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #21 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -574 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #22 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -573 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #23 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -572 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #24 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -571 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #25 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -570 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #26 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -569 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #27 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -568 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #28 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -567 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #29 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -566 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c core #30 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 3 Core Weight: 1 Total Weight: -565 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #31 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -564 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #32 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -563 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #33 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -562 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #34 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -561 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #35 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -560 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #36 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -559 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #37 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -558 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #38 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -557 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #39 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -556 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #40 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -555 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #41 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -554 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #42 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -553 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #43 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -552 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #44 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -551 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #45 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -550 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #46 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -549 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #47 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -548 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #48 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -547 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #49 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -546 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #50 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -545 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #51 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -544 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #52 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -543 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #53 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -542 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #54 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -541 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #55 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -540 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #56 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -539 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #57 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -538 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #58 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -537 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c core #59 182.53/182.69 c 182.53/182.69 c 182.53/182.69 c Core size: 3 Core Weight: 1 Total Weight: -536 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #60 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -535 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #61 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -534 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #62 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -533 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #63 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -532 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #64 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -531 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #65 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -530 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #66 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -529 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #67 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -528 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #68 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -527 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #69 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -526 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #70 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -525 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #71 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -524 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #72 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -523 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #73 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -522 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #74 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -521 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #75 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -520 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #76 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -519 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #77 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -518 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #78 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -517 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #79 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -516 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #80 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -515 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #81 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -514 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #82 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -513 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #83 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -512 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #84 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -511 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #85 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -510 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #86 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -509 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #87 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -508 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #88 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -507 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #89 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -506 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #90 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -505 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #91 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -504 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #92 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -503 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #93 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -502 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #94 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -501 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #95 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -500 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #96 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -499 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #97 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -498 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #98 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -497 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #99 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -496 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #100 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -495 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #101 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -494 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #102 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -493 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #103 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -492 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #104 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -491 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #105 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -490 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #106 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -489 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #107 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -488 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #108 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -487 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #109 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -486 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #110 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -485 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #111 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -484 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #112 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -483 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #113 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -482 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #114 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -481 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #115 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -480 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #116 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -479 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #117 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 3 Core Weight: 1 Total Weight: -478 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #118 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -477 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #119 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -476 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #120 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -475 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #121 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -474 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #122 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -473 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #123 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -472 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #124 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -471 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #125 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -470 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #126 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -469 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #127 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -468 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #128 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -467 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #129 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -466 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #130 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -465 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #131 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -464 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #132 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -463 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #133 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -462 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #134 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -461 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #135 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -460 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #136 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -459 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #137 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -458 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #138 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -457 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #139 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -456 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #140 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -455 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #141 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -454 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #142 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -453 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #143 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -452 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #144 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -451 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #145 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -450 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #146 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -449 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #147 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -448 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #148 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -447 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #149 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -446 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #150 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -445 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #151 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -444 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #152 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -443 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #153 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -442 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #154 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -441 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #155 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -440 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #156 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -439 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #157 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -438 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #158 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -437 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #159 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -436 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #160 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -435 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #161 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -434 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #162 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -433 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #163 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -432 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #164 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -431 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #165 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -430 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #166 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -429 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #167 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -428 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #168 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -427 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #169 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -426 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #170 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -425 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #171 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -424 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #172 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -423 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #173 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -422 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #174 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -421 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c core #175 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 3 Core Weight: 1 Total Weight: -420 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #176 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -419 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #177 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -418 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #178 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -417 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #179 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -416 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #180 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -415 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #181 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -414 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #182 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -413 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #183 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -412 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #184 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -411 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #185 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -410 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #186 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -409 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #187 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -408 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #188 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -407 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #189 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -406 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #190 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -405 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #191 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -404 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #192 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -403 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #193 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -402 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #194 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -401 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #195 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -400 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #196 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -399 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #197 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -398 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #198 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -397 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #199 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -396 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #200 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -395 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #201 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -394 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #202 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -393 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #203 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -392 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #204 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -391 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #205 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -390 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #206 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -389 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #207 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -388 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #208 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -387 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #209 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -386 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #210 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -385 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #211 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -384 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #212 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -383 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #213 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -382 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #214 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -381 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #215 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -380 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #216 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -379 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #217 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -378 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #218 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -377 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #219 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -376 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #220 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -375 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #221 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -374 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #222 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -373 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #223 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -372 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #224 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -371 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #225 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -370 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #226 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -369 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #227 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -368 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #228 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -367 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #229 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -366 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #230 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -365 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #231 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -364 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #232 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -363 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c core #233 188.33/188.50 c 188.33/188.50 c 188.33/188.50 c Core size: 3 Core Weight: 1 Total Weight: -362 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #234 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -361 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #235 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -360 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #236 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -359 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #237 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -358 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #238 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -357 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #239 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -356 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #240 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -355 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #241 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -354 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #242 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -353 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #243 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -352 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #244 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -351 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #245 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -350 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #246 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -349 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #247 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -348 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #248 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -347 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #249 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -346 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #250 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -345 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #251 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -344 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #252 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -343 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #253 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -342 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #254 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -341 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #255 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -340 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #256 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -339 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #257 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -338 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #258 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -337 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #259 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -336 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #260 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -335 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #261 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -334 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #262 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -333 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #263 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -332 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #264 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -331 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #265 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -330 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #266 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -329 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #267 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -328 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #268 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -327 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #269 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -326 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #270 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -325 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #271 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -324 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #272 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -323 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #273 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -322 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #274 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -321 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #275 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -320 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #276 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -319 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #277 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -318 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #278 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -317 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #279 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -316 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #280 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -315 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #281 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -314 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #282 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -313 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #283 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -312 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #284 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -311 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #285 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -310 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #286 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -309 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #287 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -308 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #288 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -307 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #289 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -306 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c core #290 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 3 Core Weight: 1 Total Weight: -305 190.83/190.91 c 191.24/191.33 c 191.24/191.33 c core #291 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c Core size: 3 Core Weight: 1 Total Weight: -304 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c core #292 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c Core size: 3 Core Weight: 1 Total Weight: -303 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c core #293 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c Core size: 3 Core Weight: 1 Total Weight: -302 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c core #294 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c Core size: 3 Core Weight: 1 Total Weight: -301 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c core #295 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c Core size: 3 Core Weight: 1 Total Weight: -300 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c core #296 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c Core size: 3 Core Weight: 1 Total Weight: -299 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c core #297 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c Core size: 11 Core Weight: 1 Total Weight: -298 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c core #298 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c Core size: 10 Core Weight: 1 Total Weight: -297 191.24/191.33 c 191.24/191.33 c 191.24/191.33 c ============================[ Search Statistics ]============================== 191.24/191.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.24/191.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.24/191.33 c =============================================================================== 191.24/191.33 c | 0 | 1198 28768 68818 | 9589 0 nan | 0.000 % | 191.24/191.34 c =============================================================================== 191.24/191.38 c core #299 191.24/191.38 c 191.24/191.38 c 191.24/191.38 c Core size: 10 Core Weight: 1 Total Weight: -296 191.24/191.38 c 191.24/191.38 c 191.24/191.38 c ============================[ Search Statistics ]============================== 191.24/191.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.24/191.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.24/191.38 c =============================================================================== 191.24/191.38 c | 0 | 1204 28769 68830 | 9589 0 nan | 0.000 % | 191.24/191.39 c =============================================================================== 191.34/191.44 c core #300 191.34/191.44 c 191.34/191.44 c 191.34/191.44 c Core size: 10 Core Weight: 1 Total Weight: -295 191.34/191.44 c 191.34/191.44 c 191.34/191.44 c ============================[ Search Statistics ]============================== 191.34/191.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.34/191.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.34/191.44 c =============================================================================== 191.34/191.44 c | 0 | 1210 28770 68842 | 9590 0 nan | 0.000 % | 191.34/191.45 c =============================================================================== 191.34/191.49 c core #301 191.34/191.49 c 191.34/191.49 c 191.34/191.49 c Core size: 8 Core Weight: 1 Total Weight: -294 191.34/191.49 c 191.34/191.49 c 191.34/191.49 c ============================[ Search Statistics ]============================== 191.34/191.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.34/191.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.34/191.49 c =============================================================================== 191.34/191.49 c | 0 | 1214 28771 68850 | 9590 0 nan | 0.000 % | 191.43/191.50 c =============================================================================== 191.43/191.55 c core #302 191.43/191.55 c 191.43/191.55 c 191.43/191.55 c Core size: 8 Core Weight: 1 Total Weight: -293 191.43/191.55 c 191.43/191.55 c 191.43/191.55 c ============================[ Search Statistics ]============================== 191.43/191.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.43/191.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.43/191.55 c =============================================================================== 191.43/191.55 c | 0 | 1218 28772 68858 | 9590 0 nan | 0.000 % | 191.43/191.56 c =============================================================================== 191.53/191.60 c core #303 191.53/191.60 c 191.53/191.60 c 191.53/191.60 c Core size: 10 Core Weight: 1 Total Weight: -292 191.53/191.60 c 191.53/191.60 c 191.53/191.60 c ============================[ Search Statistics ]============================== 191.53/191.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.53/191.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.53/191.60 c =============================================================================== 191.53/191.60 c | 0 | 1225 28773 68872 | 9591 0 nan | 0.000 % | 191.53/191.61 c =============================================================================== 191.53/191.66 c core #304 191.53/191.66 c 191.53/191.66 c 191.53/191.66 c Core size: 13 Core Weight: 1 Total Weight: -291 191.53/191.66 c 191.53/191.66 c 191.53/191.66 c ============================[ Search Statistics ]============================== 191.53/191.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.53/191.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.53/191.66 c =============================================================================== 191.53/191.66 c | 0 | 1238 28774 68898 | 9591 0 nan | 0.000 % | 191.53/191.67 c =============================================================================== 191.63/191.72 c core #305 191.63/191.72 c 191.63/191.72 c 191.63/191.72 c Core size: 8 Core Weight: 1 Total Weight: -290 191.63/191.72 c 191.63/191.72 c 191.63/191.72 c ============================[ Search Statistics ]============================== 191.63/191.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.63/191.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.63/191.72 c =============================================================================== 191.63/191.72 c | 0 | 1242 28775 68906 | 9591 0 nan | 0.000 % | 191.63/191.73 c =============================================================================== 191.63/191.78 c core #306 191.63/191.78 c 191.63/191.78 c 191.63/191.78 c Core size: 10 Core Weight: 1 Total Weight: -289 191.63/191.78 c 191.63/191.78 c 191.63/191.78 c ============================[ Search Statistics ]============================== 191.63/191.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.63/191.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.63/191.78 c =============================================================================== 191.63/191.78 c | 0 | 1248 28776 68918 | 9592 0 nan | 0.000 % | 191.63/191.79 c =============================================================================== 191.73/191.83 c core #307 191.73/191.83 c 191.73/191.83 c 191.73/191.83 c Core size: 10 Core Weight: 1 Total Weight: -288 191.73/191.83 c 191.73/191.83 c 191.73/191.83 c ============================[ Search Statistics ]============================== 191.73/191.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.73/191.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.73/191.83 c =============================================================================== 191.73/191.83 c | 0 | 1254 28777 68930 | 9592 0 nan | 0.000 % | 191.73/191.85 c =============================================================================== 191.73/191.89 c core #308 191.73/191.89 c 191.73/191.89 c 191.73/191.89 c Core size: 10 Core Weight: 1 Total Weight: -287 191.73/191.89 c 191.73/191.89 c 191.73/191.89 c ============================[ Search Statistics ]============================== 191.73/191.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.73/191.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.73/191.89 c =============================================================================== 191.73/191.89 c | 0 | 1260 28778 68942 | 9592 0 nan | 0.000 % | 191.83/191.90 c =============================================================================== 191.83/191.95 c core #309 191.83/191.95 c 191.83/191.95 c 191.83/191.95 c Core size: 10 Core Weight: 1 Total Weight: -286 191.83/191.95 c 191.83/191.95 c 191.83/191.95 c ============================[ Search Statistics ]============================== 191.83/191.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.83/191.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.83/191.95 c =============================================================================== 191.83/191.95 c | 0 | 1266 28779 68954 | 9593 0 nan | 0.000 % | 191.83/191.96 c =============================================================================== 191.93/192.01 c core #310 191.93/192.01 c 191.93/192.01 c 191.93/192.01 c Core size: 10 Core Weight: 1 Total Weight: -285 191.93/192.01 c 191.93/192.01 c 191.93/192.01 c ============================[ Search Statistics ]============================== 191.93/192.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.93/192.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.93/192.01 c =============================================================================== 191.93/192.01 c | 0 | 1272 28780 68966 | 9593 0 nan | 0.000 % | 191.93/192.02 c =============================================================================== 191.93/192.07 c core #311 191.93/192.07 c 191.93/192.07 c 191.93/192.07 c Core size: 8 Core Weight: 1 Total Weight: -284 191.93/192.07 c 191.93/192.07 c 191.93/192.07 c ============================[ Search Statistics ]============================== 191.93/192.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.93/192.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.93/192.07 c =============================================================================== 191.93/192.07 c | 0 | 1276 28781 68974 | 9593 0 nan | 0.000 % | 191.93/192.08 c =============================================================================== 192.03/192.12 c core #312 192.03/192.12 c 192.03/192.12 c 192.03/192.12 c Core size: 10 Core Weight: 1 Total Weight: -283 192.03/192.12 c 192.03/192.12 c 192.03/192.12 c ============================[ Search Statistics ]============================== 192.03/192.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.03/192.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.03/192.12 c =============================================================================== 192.03/192.12 c | 0 | 1282 28782 68986 | 9594 0 nan | 0.000 % | 192.03/192.14 c =============================================================================== 192.03/192.18 c core #313 192.03/192.18 c 192.03/192.18 c 192.03/192.18 c Core size: 8 Core Weight: 1 Total Weight: -282 192.03/192.18 c 192.03/192.18 c 192.03/192.18 c ============================[ Search Statistics ]============================== 192.03/192.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.03/192.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.03/192.18 c =============================================================================== 192.03/192.18 c | 0 | 1286 28783 68994 | 9594 0 nan | 0.000 % | 192.03/192.19 c =============================================================================== 192.13/192.24 c core #314 192.13/192.24 c 192.13/192.24 c 192.13/192.24 c Core size: 10 Core Weight: 1 Total Weight: -281 192.13/192.24 c 192.13/192.24 c 192.13/192.24 c ============================[ Search Statistics ]============================== 192.13/192.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.13/192.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.13/192.24 c =============================================================================== 192.13/192.24 c | 0 | 1292 28784 69006 | 9594 0 nan | 0.000 % | 192.13/192.25 c =============================================================================== 192.13/192.30 c core #315 192.13/192.30 c 192.13/192.30 c 192.13/192.30 c Core size: 10 Core Weight: 1 Total Weight: -280 192.13/192.30 c 192.13/192.30 c 192.13/192.30 c ============================[ Search Statistics ]============================== 192.13/192.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.13/192.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.13/192.30 c =============================================================================== 192.13/192.30 c | 0 | 1298 28785 69018 | 9595 0 nan | 0.000 % | 192.23/192.31 c =============================================================================== 192.23/192.35 c core #316 192.23/192.35 c 192.23/192.35 c 192.23/192.35 c Core size: 8 Core Weight: 1 Total Weight: -279 192.23/192.35 c 192.23/192.35 c 192.23/192.35 c ============================[ Search Statistics ]============================== 192.23/192.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.23/192.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.23/192.35 c =============================================================================== 192.23/192.35 c | 0 | 1302 28786 69026 | 9595 0 nan | 0.000 % | 192.23/192.36 c =============================================================================== 192.34/192.41 c core #317 192.34/192.41 c 192.34/192.41 c 192.34/192.41 c Core size: 10 Core Weight: 1 Total Weight: -278 192.34/192.41 c 192.34/192.41 c 192.34/192.41 c ============================[ Search Statistics ]============================== 192.34/192.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.34/192.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.34/192.41 c =============================================================================== 192.34/192.41 c | 0 | 1308 28787 69038 | 9595 0 nan | 0.000 % | 192.34/192.42 c =============================================================================== 192.34/192.47 c core #318 192.34/192.47 c 192.34/192.47 c 192.34/192.47 c Core size: 10 Core Weight: 1 Total Weight: -277 192.34/192.47 c 192.34/192.47 c 192.34/192.47 c ============================[ Search Statistics ]============================== 192.34/192.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.34/192.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.34/192.47 c =============================================================================== 192.34/192.47 c | 0 | 1314 28788 69050 | 9596 0 nan | 0.000 % | 192.34/192.48 c =============================================================================== 192.44/192.52 c core #319 192.44/192.52 c 192.44/192.52 c 192.44/192.52 c Core size: 8 Core Weight: 1 Total Weight: -276 192.44/192.52 c 192.44/192.52 c 192.44/192.52 c ============================[ Search Statistics ]============================== 192.44/192.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.44/192.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.44/192.52 c =============================================================================== 192.44/192.52 c | 0 | 1318 28789 69058 | 9596 0 nan | 0.000 % | 192.44/192.53 c =============================================================================== 192.44/192.58 c core #320 192.44/192.58 c 192.44/192.58 c 192.44/192.58 c Core size: 8 Core Weight: 1 Total Weight: -275 192.44/192.58 c 192.44/192.58 c 192.44/192.58 c ============================[ Search Statistics ]============================== 192.44/192.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.44/192.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.44/192.58 c =============================================================================== 192.44/192.58 c | 0 | 1322 28790 69066 | 9596 0 nan | 0.000 % | 192.44/192.59 c =============================================================================== 192.53/192.63 c core #321 192.53/192.63 c 192.53/192.63 c 192.53/192.63 c Core size: 10 Core Weight: 1 Total Weight: -274 192.53/192.63 c 192.53/192.63 c 192.53/192.63 c ============================[ Search Statistics ]============================== 192.53/192.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.53/192.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.53/192.63 c =============================================================================== 192.53/192.63 c | 0 | 1328 28791 69078 | 9597 0 nan | 0.000 % | 192.53/192.64 c =============================================================================== 192.53/192.69 c core #322 192.53/192.69 c 192.53/192.69 c 192.53/192.69 c Core size: 8 Core Weight: 1 Total Weight: -273 192.53/192.69 c 192.53/192.69 c 192.53/192.69 c ============================[ Search Statistics ]============================== 192.53/192.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.53/192.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.53/192.69 c =============================================================================== 192.53/192.69 c | 0 | 1332 28792 69086 | 9597 0 nan | 0.000 % | 192.53/192.69 c =============================================================================== 192.63/192.74 c core #323 192.63/192.74 c 192.63/192.74 c 192.63/192.74 c Core size: 10 Core Weight: 1 Total Weight: -272 192.63/192.74 c 192.63/192.74 c 192.63/192.74 c ============================[ Search Statistics ]============================== 192.63/192.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.63/192.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.63/192.74 c =============================================================================== 192.63/192.74 c | 0 | 1338 28793 69098 | 9597 0 nan | 0.000 % | 192.63/192.75 c =============================================================================== 192.63/192.80 c core #324 192.63/192.80 c 192.63/192.80 c 192.63/192.80 c Core size: 8 Core Weight: 1 Total Weight: -271 192.63/192.80 c 192.63/192.80 c 192.63/192.80 c ============================[ Search Statistics ]============================== 192.63/192.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.63/192.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.63/192.80 c =============================================================================== 192.63/192.80 c | 0 | 1342 28794 69106 | 9598 0 nan | 0.000 % | 192.73/192.81 c =============================================================================== 192.73/192.85 c core #325 192.73/192.85 c 192.73/192.85 c 192.73/192.85 c Core size: 8 Core Weight: 1 Total Weight: -270 192.73/192.85 c 192.73/192.85 c 192.73/192.85 c ============================[ Search Statistics ]============================== 192.73/192.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.73/192.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.73/192.85 c =============================================================================== 192.73/192.85 c | 0 | 1346 28795 69114 | 9598 0 nan | 0.000 % | 192.73/192.86 c =============================================================================== 192.83/192.91 c core #326 192.83/192.91 c 192.83/192.91 c 192.83/192.91 c Core size: 10 Core Weight: 1 Total Weight: -269 192.83/192.91 c 192.83/192.91 c 192.83/192.91 c ============================[ Search Statistics ]============================== 192.83/192.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.83/192.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.83/192.91 c =============================================================================== 192.83/192.91 c | 0 | 1352 28796 69126 | 9598 0 nan | 0.000 % | 192.83/192.92 c =============================================================================== 192.83/192.96 c core #327 192.83/192.96 c 192.83/192.96 c 192.83/192.96 c Core size: 10 Core Weight: 1 Total Weight: -268 192.83/192.96 c 192.83/192.96 c 192.83/192.96 c ============================[ Search Statistics ]============================== 192.83/192.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.83/192.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.83/192.96 c =============================================================================== 192.83/192.96 c | 0 | 1358 28797 69138 | 9599 0 nan | 0.000 % | 192.83/192.97 c =============================================================================== 192.93/193.02 c core #328 192.93/193.02 c 192.93/193.02 c 192.93/193.02 c Core size: 8 Core Weight: 1 Total Weight: -267 192.93/193.02 c 192.93/193.02 c 192.93/193.02 c ============================[ Search Statistics ]============================== 192.93/193.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.93/193.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.93/193.02 c =============================================================================== 192.93/193.02 c | 0 | 1362 28798 69146 | 9599 0 nan | 0.000 % | 192.93/193.03 c =============================================================================== 192.93/193.07 c core #329 192.93/193.07 c 192.93/193.07 c 192.93/193.07 c Core size: 10 Core Weight: 1 Total Weight: -266 192.93/193.07 c 192.93/193.07 c 192.93/193.07 c ============================[ Search Statistics ]============================== 192.93/193.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.93/193.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.93/193.07 c =============================================================================== 192.93/193.07 c | 0 | 1368 28799 69158 | 9599 0 nan | 0.000 % | 192.93/193.08 c =============================================================================== 193.03/193.13 c core #330 193.03/193.13 c 193.03/193.13 c 193.03/193.13 c Core size: 8 Core Weight: 1 Total Weight: -265 193.03/193.13 c 193.03/193.13 c 193.03/193.13 c ============================[ Search Statistics ]============================== 193.03/193.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.03/193.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.03/193.13 c =============================================================================== 193.03/193.13 c | 0 | 1372 28800 69166 | 9600 0 nan | 0.000 % | 193.03/193.14 c =============================================================================== 193.03/193.19 c core #331 193.03/193.19 c 193.03/193.19 c 193.03/193.19 c Core size: 14 Core Weight: 1 Total Weight: -264 193.03/193.19 c 193.03/193.19 c 193.03/193.19 c ============================[ Search Statistics ]============================== 193.03/193.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.03/193.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.03/193.19 c =============================================================================== 193.03/193.19 c | 0 | 1384 28801 69190 | 9600 0 nan | 0.000 % | 193.13/193.20 c =============================================================================== 193.13/193.24 c core #332 193.13/193.24 c 193.13/193.24 c 193.13/193.24 c Core size: 10 Core Weight: 1 Total Weight: -263 193.13/193.24 c 193.13/193.24 c 193.13/193.24 c ============================[ Search Statistics ]============================== 193.13/193.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.13/193.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.13/193.24 c =============================================================================== 193.13/193.24 c | 0 | 1390 28802 69202 | 9600 0 nan | 0.000 % | 193.13/193.26 c =============================================================================== 193.23/193.30 c core #333 193.23/193.30 c 193.23/193.30 c 193.23/193.30 c Core size: 10 Core Weight: 1 Total Weight: -262 193.23/193.30 c 193.23/193.30 c 193.23/193.30 c ============================[ Search Statistics ]============================== 193.23/193.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.23/193.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.23/193.30 c =============================================================================== 193.23/193.30 c | 0 | 1396 28803 69214 | 9601 0 nan | 0.000 % | 193.23/193.31 c =============================================================================== 193.23/193.36 c core #334 193.23/193.36 c 193.23/193.36 c 193.23/193.36 c Core size: 8 Core Weight: 1 Total Weight: -261 193.23/193.36 c 193.23/193.36 c 193.23/193.36 c ============================[ Search Statistics ]============================== 193.23/193.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.23/193.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.23/193.36 c =============================================================================== 193.23/193.36 c | 0 | 1400 28804 69222 | 9601 0 nan | 0.000 % | 193.23/193.37 c =============================================================================== 193.33/193.41 c core #335 193.33/193.41 c 193.33/193.41 c 193.33/193.41 c Core size: 10 Core Weight: 1 Total Weight: -260 193.33/193.41 c 193.33/193.41 c 193.33/193.41 c ============================[ Search Statistics ]============================== 193.33/193.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.33/193.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.33/193.41 c =============================================================================== 193.33/193.41 c | 0 | 1406 28805 69234 | 9601 0 nan | 0.000 % | 193.33/193.42 c =============================================================================== 193.33/193.47 c core #336 193.33/193.47 c 193.33/193.47 c 193.33/193.47 c Core size: 10 Core Weight: 1 Total Weight: -259 193.33/193.47 c 193.33/193.47 c 193.33/193.47 c ============================[ Search Statistics ]============================== 193.33/193.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.33/193.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.33/193.47 c =============================================================================== 193.33/193.47 c | 0 | 1412 28806 69246 | 9602 0 nan | 0.000 % | 193.33/193.48 c =============================================================================== 193.44/193.53 c core #337 193.44/193.53 c 193.44/193.53 c 193.44/193.53 c Core size: 10 Core Weight: 1 Total Weight: -258 193.44/193.53 c 193.44/193.53 c 193.44/193.53 c ============================[ Search Statistics ]============================== 193.44/193.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.44/193.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.44/193.53 c =============================================================================== 193.44/193.53 c | 0 | 1418 28807 69258 | 9602 0 nan | 0.000 % | 193.44/193.54 c =============================================================================== 193.44/193.58 c core #338 193.44/193.58 c 193.44/193.58 c 193.44/193.58 c Core size: 8 Core Weight: 1 Total Weight: -257 193.44/193.58 c 193.44/193.58 c 193.44/193.58 c ============================[ Search Statistics ]============================== 193.44/193.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.44/193.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.44/193.58 c =============================================================================== 193.44/193.58 c | 0 | 1422 28808 69266 | 9602 0 nan | 0.000 % | 193.44/193.60 c =============================================================================== 193.54/193.64 c core #339 193.54/193.64 c 193.54/193.64 c 193.54/193.64 c Core size: 8 Core Weight: 1 Total Weight: -256 193.54/193.64 c 193.54/193.64 c 193.54/193.64 c ============================[ Search Statistics ]============================== 193.54/193.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.54/193.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.54/193.64 c =============================================================================== 193.54/193.64 c | 0 | 1426 28809 69274 | 9603 0 nan | 0.000 % | 193.54/193.65 c =============================================================================== 193.63/193.70 c core #340 193.63/193.70 c 193.63/193.70 c 193.63/193.70 c Core size: 10 Core Weight: 1 Total Weight: -255 193.63/193.70 c 193.63/193.70 c 193.63/193.70 c ============================[ Search Statistics ]============================== 193.63/193.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.63/193.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.63/193.70 c =============================================================================== 193.63/193.70 c | 0 | 1432 28810 69286 | 9603 0 nan | 0.000 % | 193.63/193.71 c =============================================================================== 193.63/193.76 c core #341 193.63/193.76 c 193.63/193.76 c 193.63/193.76 c Core size: 8 Core Weight: 1 Total Weight: -254 193.63/193.76 c 193.63/193.76 c 193.63/193.76 c ============================[ Search Statistics ]============================== 193.63/193.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.63/193.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.63/193.76 c =============================================================================== 193.63/193.76 c | 0 | 1436 28811 69294 | 9603 0 nan | 0.000 % | 193.63/193.77 c =============================================================================== 193.73/193.81 c core #342 193.73/193.81 c 193.73/193.81 c 193.73/193.81 c Core size: 15 Core Weight: 1 Total Weight: -253 193.73/193.81 c 193.73/193.81 c 193.73/193.81 c ============================[ Search Statistics ]============================== 193.73/193.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.73/193.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.73/193.81 c =============================================================================== 193.73/193.81 c | 0 | 1448 28812 69318 | 9604 0 nan | 0.000 % | 193.73/193.83 c =============================================================================== 193.73/193.87 c core #343 193.73/193.87 c 193.73/193.87 c 193.73/193.87 c Core size: 8 Core Weight: 1 Total Weight: -252 193.73/193.87 c 193.73/193.87 c 193.73/193.87 c ============================[ Search Statistics ]============================== 193.73/193.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.73/193.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.73/193.87 c =============================================================================== 193.73/193.87 c | 0 | 1452 28813 69326 | 9604 0 nan | 0.000 % | 193.73/193.89 c =============================================================================== 193.83/193.93 c core #344 193.83/193.93 c 193.83/193.93 c 193.83/193.93 c Core size: 10 Core Weight: 1 Total Weight: -251 193.83/193.93 c 193.83/193.93 c 193.83/193.93 c ============================[ Search Statistics ]============================== 193.83/193.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.83/193.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.83/193.93 c =============================================================================== 193.83/193.93 c | 0 | 1458 28814 69338 | 9604 0 nan | 0.000 % | 193.83/193.95 c =============================================================================== 193.83/193.99 c core #345 193.83/193.99 c 193.83/193.99 c 193.83/193.99 c Core size: 10 Core Weight: 1 Total Weight: -250 193.83/193.99 c 193.83/193.99 c 193.83/193.99 c ============================[ Search Statistics ]============================== 193.83/193.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.83/193.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.83/193.99 c =============================================================================== 193.83/193.99 c | 0 | 1464 28815 69350 | 9605 0 nan | 0.000 % | 193.93/194.01 c =============================================================================== 193.93/194.05 c core #346 193.93/194.05 c 193.93/194.05 c 193.93/194.05 c Core size: 15 Core Weight: 1 Total Weight: -249 193.93/194.05 c 193.93/194.05 c 193.93/194.05 c ============================[ Search Statistics ]============================== 193.93/194.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.93/194.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.93/194.05 c =============================================================================== 193.93/194.05 c | 0 | 1476 28816 69374 | 9605 0 nan | 0.000 % | 193.93/194.06 c =============================================================================== 194.03/194.11 c core #347 194.03/194.11 c 194.03/194.11 c 194.03/194.11 c Core size: 10 Core Weight: 1 Total Weight: -248 194.03/194.11 c 194.03/194.11 c 194.03/194.11 c ============================[ Search Statistics ]============================== 194.03/194.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.03/194.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.03/194.11 c =============================================================================== 194.03/194.11 c | 0 | 1482 28817 69386 | 9605 0 nan | 0.000 % | 194.03/194.12 c =============================================================================== 194.03/194.17 c core #348 194.03/194.17 c 194.03/194.17 c 194.03/194.17 c Core size: 10 Core Weight: 1 Total Weight: -247 194.03/194.17 c 194.03/194.17 c 194.03/194.17 c ============================[ Search Statistics ]============================== 194.03/194.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.03/194.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.03/194.17 c =============================================================================== 194.03/194.17 c | 0 | 1488 28818 69398 | 9606 0 nan | 0.000 % | 194.03/194.18 c =============================================================================== 194.13/194.22 c core #349 194.13/194.22 c 194.13/194.22 c 194.13/194.22 c Core size: 10 Core Weight: 1 Total Weight: -246 194.13/194.22 c 194.13/194.22 c 194.13/194.22 c ============================[ Search Statistics ]============================== 194.13/194.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.13/194.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.13/194.22 c =============================================================================== 194.13/194.22 c | 0 | 1494 28819 69410 | 9606 0 nan | 0.000 % | 194.13/194.24 c =============================================================================== 194.13/194.28 c core #350 194.13/194.28 c 194.13/194.28 c 194.13/194.28 c Core size: 15 Core Weight: 1 Total Weight: -245 194.13/194.28 c 194.13/194.28 c 194.13/194.28 c ============================[ Search Statistics ]============================== 194.13/194.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.13/194.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.13/194.28 c =============================================================================== 194.13/194.28 c | 0 | 1506 28820 69434 | 9606 0 nan | 0.000 % | 194.13/194.29 c =============================================================================== 194.23/194.34 c core #351 194.23/194.34 c 194.23/194.34 c 194.23/194.34 c Core size: 10 Core Weight: 1 Total Weight: -244 194.23/194.34 c 194.23/194.34 c 194.23/194.34 c ============================[ Search Statistics ]============================== 194.23/194.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.23/194.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.23/194.34 c =============================================================================== 194.23/194.34 c | 0 | 1512 28821 69446 | 9607 0 nan | 0.000 % | 194.23/194.35 c =============================================================================== 194.33/194.40 c core #352 194.33/194.40 c 194.33/194.40 c 194.33/194.40 c Core size: 8 Core Weight: 1 Total Weight: -243 194.33/194.40 c 194.33/194.40 c 194.33/194.40 c ============================[ Search Statistics ]============================== 194.33/194.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.33/194.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.33/194.40 c =============================================================================== 194.33/194.40 c | 0 | 1516 28822 69454 | 9607 0 nan | 0.000 % | 194.33/194.41 c =============================================================================== 194.33/194.46 c core #353 194.33/194.46 c 194.33/194.46 c 194.33/194.46 c Core size: 8 Core Weight: 1 Total Weight: -242 194.33/194.46 c 194.33/194.46 c 194.33/194.46 c ============================[ Search Statistics ]============================== 194.33/194.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.33/194.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.33/194.46 c =============================================================================== 194.33/194.46 c | 0 | 1520 28823 69462 | 9607 0 nan | 0.000 % | 194.33/194.47 c =============================================================================== 194.43/194.52 c core #354 194.43/194.52 c 194.43/194.52 c 194.43/194.52 c Core size: 16 Core Weight: 1 Total Weight: -241 194.43/194.52 c 194.43/194.52 c 194.43/194.52 c ============================[ Search Statistics ]============================== 194.43/194.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.43/194.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.43/194.52 c =============================================================================== 194.43/194.52 c | 0 | 1532 28824 69486 | 9608 0 nan | 0.000 % | 194.43/194.53 c =============================================================================== 194.43/194.58 c core #355 194.43/194.58 c 194.43/194.58 c 194.43/194.58 c Core size: 8 Core Weight: 1 Total Weight: -240 194.43/194.58 c 194.43/194.58 c 194.43/194.58 c ============================[ Search Statistics ]============================== 194.43/194.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.43/194.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.43/194.58 c =============================================================================== 194.43/194.58 c | 0 | 1536 28825 69494 | 9608 0 nan | 0.000 % | 194.43/194.59 c =============================================================================== 194.54/194.64 c core #356 194.54/194.64 c 194.54/194.64 c 194.54/194.64 c Core size: 10 Core Weight: 1 Total Weight: -239 194.54/194.64 c 194.54/194.64 c 194.54/194.64 c ============================[ Search Statistics ]============================== 194.54/194.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.54/194.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.54/194.64 c =============================================================================== 194.54/194.64 c | 0 | 1542 28826 69506 | 9608 0 nan | 0.000 % | 194.54/194.65 c =============================================================================== 194.54/194.69 c core #357 194.54/194.69 c 194.54/194.69 c 194.54/194.69 c Core size: 10 Core Weight: 1 Total Weight: -238 194.54/194.69 c 194.54/194.69 c 194.54/194.69 c ============================[ Search Statistics ]============================== 194.54/194.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.54/194.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.54/194.69 c =============================================================================== 194.54/194.69 c | 0 | 1548 28827 69518 | 9609 0 nan | 0.000 % | 194.54/194.70 c =============================================================================== 194.64/194.75 c core #358 194.64/194.75 c 194.64/194.75 c 194.64/194.75 c Core size: 8 Core Weight: 1 Total Weight: -237 194.64/194.75 c 194.64/194.75 c 194.64/194.75 c ============================[ Search Statistics ]============================== 194.64/194.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.64/194.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.64/194.75 c =============================================================================== 194.64/194.75 c | 0 | 1552 28828 69526 | 9609 0 nan | 0.000 % | 194.64/194.76 c =============================================================================== 194.73/194.81 c core #359 194.73/194.81 c 194.73/194.81 c 194.73/194.81 c Core size: 10 Core Weight: 1 Total Weight: -236 194.73/194.81 c 194.73/194.81 c 194.73/194.81 c ============================[ Search Statistics ]============================== 194.73/194.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.73/194.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.73/194.81 c =============================================================================== 194.73/194.81 c | 0 | 1558 28829 69538 | 9609 0 nan | 0.000 % | 194.73/194.82 c =============================================================================== 194.73/194.87 c core #360 194.73/194.87 c 194.73/194.87 c 194.73/194.87 c Core size: 10 Core Weight: 1 Total Weight: -235 194.73/194.87 c 194.73/194.87 c 194.73/194.87 c ============================[ Search Statistics ]============================== 194.73/194.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.73/194.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.73/194.87 c =============================================================================== 194.73/194.87 c | 0 | 1564 28830 69550 | 9610 0 nan | 0.000 % | 194.73/194.88 c =============================================================================== 194.83/194.93 c core #361 194.83/194.93 c 194.83/194.93 c 194.83/194.93 c Core size: 10 Core Weight: 1 Total Weight: -234 194.83/194.93 c 194.83/194.93 c 194.83/194.93 c ============================[ Search Statistics ]============================== 194.83/194.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.83/194.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.83/194.93 c =============================================================================== 194.83/194.93 c | 0 | 1570 28831 69562 | 9610 0 nan | 0.000 % | 194.83/194.94 c =============================================================================== 194.83/194.99 c core #362 194.83/194.99 c 194.83/194.99 c 194.83/194.99 c Core size: 10 Core Weight: 1 Total Weight: -233 194.83/194.99 c 194.83/194.99 c 194.83/194.99 c ============================[ Search Statistics ]============================== 194.83/194.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.83/194.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.83/194.99 c =============================================================================== 194.83/194.99 c | 0 | 1576 28832 69574 | 9610 0 nan | 0.000 % | 194.93/195.00 c =============================================================================== 194.93/195.05 c core #363 194.93/195.05 c 194.93/195.05 c 194.93/195.05 c Core size: 10 Core Weight: 1 Total Weight: -232 194.93/195.05 c 194.93/195.05 c 194.93/195.05 c ============================[ Search Statistics ]============================== 194.93/195.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.93/195.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.93/195.05 c =============================================================================== 194.93/195.05 c | 0 | 1582 28833 69586 | 9611 0 nan | 0.000 % | 194.93/195.06 c =============================================================================== 195.02/195.11 c core #364 195.02/195.11 c 195.02/195.11 c 195.02/195.11 c Core size: 8 Core Weight: 1 Total Weight: -231 195.02/195.11 c 195.02/195.11 c 195.02/195.11 c ============================[ Search Statistics ]============================== 195.02/195.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.02/195.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.02/195.11 c =============================================================================== 195.02/195.11 c | 0 | 1586 28834 69594 | 9611 0 nan | 0.000 % | 195.02/195.12 c =============================================================================== 195.02/195.17 c core #365 195.02/195.17 c 195.02/195.17 c 195.02/195.17 c Core size: 14 Core Weight: 1 Total Weight: -230 195.02/195.17 c 195.02/195.17 c 195.02/195.17 c ============================[ Search Statistics ]============================== 195.02/195.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.02/195.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.02/195.17 c =============================================================================== 195.02/195.17 c | 0 | 1598 28835 69618 | 9611 0 nan | 0.000 % | 195.02/195.18 c =============================================================================== 195.12/195.23 c core #366 195.12/195.23 c 195.12/195.23 c 195.12/195.23 c Core size: 13 Core Weight: 1 Total Weight: -229 195.12/195.23 c 195.12/195.23 c 195.12/195.23 c ============================[ Search Statistics ]============================== 195.12/195.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.12/195.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.12/195.23 c =============================================================================== 195.12/195.23 c | 0 | 1608 28836 69638 | 9612 0 nan | 0.000 % | 195.12/195.24 c =============================================================================== 195.12/195.29 c core #367 195.12/195.29 c 195.12/195.29 c 195.12/195.29 c Core size: 10 Core Weight: 1 Total Weight: -228 195.12/195.29 c 195.12/195.29 c 195.12/195.29 c ============================[ Search Statistics ]============================== 195.12/195.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.12/195.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.12/195.29 c =============================================================================== 195.12/195.29 c | 0 | 1614 28837 69650 | 9612 0 nan | 0.000 % | 195.22/195.30 c =============================================================================== 195.22/195.35 c core #368 195.22/195.35 c 195.22/195.35 c 195.22/195.35 c Core size: 15 Core Weight: 1 Total Weight: -227 195.22/195.35 c 195.22/195.35 c 195.22/195.35 c ============================[ Search Statistics ]============================== 195.22/195.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.22/195.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.22/195.35 c =============================================================================== 195.22/195.35 c | 0 | 1626 28838 69674 | 9612 0 nan | 0.000 % | 195.22/195.36 c =============================================================================== 195.32/195.40 c core #369 195.32/195.40 c 195.32/195.40 c 195.32/195.40 c Core size: 10 Core Weight: 1 Total Weight: -226 195.32/195.40 c 195.32/195.40 c 195.32/195.40 c ============================[ Search Statistics ]============================== 195.32/195.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.32/195.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.32/195.40 c =============================================================================== 195.32/195.40 c | 0 | 1632 28839 69686 | 9613 0 nan | 0.000 % | 195.32/195.41 c =============================================================================== 195.32/195.46 c core #370 195.32/195.46 c 195.32/195.46 c 195.32/195.46 c Core size: 10 Core Weight: 1 Total Weight: -225 195.32/195.46 c 195.32/195.46 c 195.32/195.46 c ============================[ Search Statistics ]============================== 195.32/195.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.32/195.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.32/195.46 c =============================================================================== 195.32/195.46 c | 0 | 1638 28840 69698 | 9613 0 nan | 0.000 % | 195.32/195.47 c =============================================================================== 195.42/195.52 c core #371 195.42/195.52 c 195.42/195.52 c 195.42/195.52 c Core size: 10 Core Weight: 1 Total Weight: -224 195.42/195.52 c 195.42/195.52 c 195.42/195.52 c ============================[ Search Statistics ]============================== 195.42/195.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.42/195.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.42/195.52 c =============================================================================== 195.42/195.52 c | 0 | 1644 28841 69710 | 9613 0 nan | 0.000 % | 195.42/195.53 c =============================================================================== 195.42/195.58 c core #372 195.42/195.58 c 195.42/195.58 c 195.42/195.58 c Core size: 8 Core Weight: 1 Total Weight: -223 195.42/195.58 c 195.42/195.58 c 195.42/195.58 c ============================[ Search Statistics ]============================== 195.42/195.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.42/195.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.42/195.58 c =============================================================================== 195.42/195.58 c | 0 | 1648 28842 69718 | 9614 0 nan | 0.000 % | 195.42/195.59 c =============================================================================== 195.52/195.64 c core #373 195.52/195.64 c 195.52/195.64 c 195.52/195.64 c Core size: 10 Core Weight: 1 Total Weight: -222 195.52/195.64 c 195.52/195.64 c 195.52/195.64 c ============================[ Search Statistics ]============================== 195.52/195.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.52/195.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.52/195.64 c =============================================================================== 195.52/195.64 c | 0 | 1654 28843 69730 | 9614 0 nan | 0.000 % | 195.52/195.65 c =============================================================================== 195.63/195.70 c core #374 195.63/195.70 c 195.63/195.70 c 195.63/195.70 c Core size: 10 Core Weight: 1 Total Weight: -221 195.63/195.70 c 195.63/195.70 c 195.63/195.70 c ============================[ Search Statistics ]============================== 195.63/195.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.63/195.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.63/195.70 c =============================================================================== 195.63/195.70 c | 0 | 1660 28844 69742 | 9614 0 nan | 0.000 % | 195.63/195.71 c =============================================================================== 195.63/195.76 c core #375 195.63/195.76 c 195.63/195.76 c 195.63/195.76 c Core size: 10 Core Weight: 1 Total Weight: -220 195.63/195.76 c 195.63/195.76 c 195.63/195.76 c ============================[ Search Statistics ]============================== 195.63/195.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.63/195.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.63/195.76 c =============================================================================== 195.63/195.76 c | 0 | 1666 28845 69754 | 9615 0 nan | 0.000 % | 195.63/195.77 c =============================================================================== 195.74/195.82 c core #376 195.74/195.82 c 195.74/195.82 c 195.74/195.82 c Core size: 10 Core Weight: 1 Total Weight: -219 195.74/195.82 c 195.74/195.82 c 195.74/195.82 c ============================[ Search Statistics ]============================== 195.74/195.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.74/195.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.74/195.82 c =============================================================================== 195.74/195.82 c | 0 | 1672 28846 69766 | 9615 0 nan | 0.000 % | 195.74/195.83 c =============================================================================== 195.74/195.88 c core #377 195.74/195.88 c 195.74/195.88 c 195.74/195.88 c Core size: 10 Core Weight: 1 Total Weight: -218 195.74/195.88 c 195.74/195.88 c 195.74/195.88 c ============================[ Search Statistics ]============================== 195.74/195.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.74/195.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.74/195.88 c =============================================================================== 195.74/195.88 c | 0 | 1678 28847 69778 | 9615 0 nan | 0.000 % | 195.74/195.89 c =============================================================================== 195.83/195.94 c core #378 195.83/195.94 c 195.83/195.94 c 195.83/195.94 c Core size: 8 Core Weight: 1 Total Weight: -217 195.83/195.94 c 195.83/195.94 c 195.83/195.94 c ============================[ Search Statistics ]============================== 195.83/195.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.83/195.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.83/195.94 c =============================================================================== 195.83/195.94 c | 0 | 1682 28848 69786 | 9616 0 nan | 0.000 % | 195.83/195.95 c =============================================================================== 195.93/196.00 c core #379 195.93/196.00 c 195.93/196.00 c 195.93/196.00 c Core size: 10 Core Weight: 1 Total Weight: -216 195.93/196.00 c 195.93/196.00 c 195.93/196.00 c ============================[ Search Statistics ]============================== 195.93/196.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.93/196.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.93/196.00 c =============================================================================== 195.93/196.00 c | 0 | 1688 28849 69798 | 9616 0 nan | 0.000 % | 195.93/196.01 c =============================================================================== 195.93/196.06 c core #380 195.93/196.06 c 195.93/196.06 c 195.93/196.06 c Core size: 10 Core Weight: 1 Total Weight: -215 195.93/196.06 c 195.93/196.06 c 195.93/196.06 c ============================[ Search Statistics ]============================== 195.93/196.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.93/196.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.93/196.06 c =============================================================================== 195.93/196.06 c | 0 | 1694 28850 69810 | 9616 0 nan | 0.000 % | 195.93/196.07 c =============================================================================== 196.03/196.12 c core #381 196.03/196.12 c 196.03/196.12 c 196.03/196.12 c Core size: 10 Core Weight: 1 Total Weight: -214 196.03/196.12 c 196.03/196.12 c 196.03/196.12 c ============================[ Search Statistics ]============================== 196.03/196.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.03/196.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.03/196.12 c =============================================================================== 196.03/196.12 c | 0 | 1700 28851 69822 | 9617 0 nan | 0.000 % | 196.03/196.13 c =============================================================================== 196.03/196.18 c core #382 196.03/196.18 c 196.03/196.18 c 196.03/196.18 c Core size: 16 Core Weight: 1 Total Weight: -213 196.03/196.18 c 196.03/196.18 c 196.03/196.18 c ============================[ Search Statistics ]============================== 196.03/196.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.03/196.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.03/196.18 c =============================================================================== 196.03/196.18 c | 0 | 1712 28852 69846 | 9617 0 nan | 0.000 % | 196.03/196.19 c =============================================================================== 196.13/196.24 c core #383 196.13/196.24 c 196.13/196.24 c 196.13/196.24 c Core size: 8 Core Weight: 1 Total Weight: -212 196.13/196.24 c 196.13/196.24 c 196.13/196.24 c ============================[ Search Statistics ]============================== 196.13/196.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.13/196.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.13/196.24 c =============================================================================== 196.13/196.24 c | 0 | 1716 28853 69854 | 9617 0 nan | 0.000 % | 196.13/196.25 c =============================================================================== 196.23/196.30 c core #384 196.23/196.30 c 196.23/196.30 c 196.23/196.30 c Core size: 10 Core Weight: 1 Total Weight: -211 196.23/196.30 c 196.23/196.30 c 196.23/196.30 c ============================[ Search Statistics ]============================== 196.23/196.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.23/196.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.23/196.30 c =============================================================================== 196.23/196.30 c | 0 | 1722 28854 69866 | 9618 0 nan | 0.000 % | 196.23/196.31 c =============================================================================== 196.23/196.36 c core #385 196.23/196.36 c 196.23/196.36 c 196.23/196.36 c Core size: 10 Core Weight: 1 Total Weight: -210 196.23/196.36 c 196.23/196.36 c 196.23/196.36 c ============================[ Search Statistics ]============================== 196.23/196.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.23/196.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.23/196.36 c =============================================================================== 196.23/196.36 c | 0 | 1728 28855 69878 | 9618 0 nan | 0.000 % | 196.23/196.37 c =============================================================================== 196.33/196.42 c core #386 196.33/196.42 c 196.33/196.42 c 196.33/196.42 c Core size: 10 Core Weight: 1 Total Weight: -209 196.33/196.42 c 196.33/196.42 c 196.33/196.42 c ============================[ Search Statistics ]============================== 196.33/196.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.33/196.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.33/196.42 c =============================================================================== 196.33/196.42 c | 0 | 1734 28856 69890 | 9618 0 nan | 0.000 % | 196.33/196.43 c =============================================================================== 196.33/196.48 c core #387 196.33/196.48 c 196.33/196.48 c 196.33/196.48 c Core size: 8 Core Weight: 1 Total Weight: -208 196.33/196.48 c 196.33/196.48 c 196.33/196.48 c ============================[ Search Statistics ]============================== 196.33/196.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.33/196.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.33/196.48 c =============================================================================== 196.33/196.48 c | 0 | 1738 28857 69898 | 9619 0 nan | 0.000 % | 196.33/196.49 c =============================================================================== 196.43/196.54 c core #388 196.43/196.54 c 196.43/196.54 c 196.43/196.54 c Core size: 10 Core Weight: 1 Total Weight: -207 196.43/196.54 c 196.43/196.54 c 196.43/196.54 c ============================[ Search Statistics ]============================== 196.43/196.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.43/196.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.43/196.54 c =============================================================================== 196.43/196.54 c | 0 | 1744 28858 69910 | 9619 0 nan | 0.000 % | 196.43/196.55 c =============================================================================== 196.53/196.60 c core #389 196.53/196.60 c 196.53/196.60 c 196.53/196.60 c Core size: 10 Core Weight: 1 Total Weight: -206 196.53/196.60 c 196.53/196.60 c 196.53/196.60 c ============================[ Search Statistics ]============================== 196.53/196.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.53/196.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.53/196.60 c =============================================================================== 196.53/196.60 c | 0 | 1750 28859 69922 | 9619 0 nan | 0.000 % | 196.53/196.61 c =============================================================================== 196.53/196.66 c core #390 196.53/196.66 c 196.53/196.66 c 196.53/196.66 c Core size: 8 Core Weight: 1 Total Weight: -205 196.53/196.66 c 196.53/196.66 c 196.53/196.66 c ============================[ Search Statistics ]============================== 196.53/196.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.53/196.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.53/196.66 c =============================================================================== 196.53/196.66 c | 0 | 1754 28860 69930 | 9620 0 nan | 0.000 % | 196.53/196.68 c =============================================================================== 196.63/196.73 c core #391 196.63/196.73 c 196.63/196.73 c 196.63/196.73 c Core size: 8 Core Weight: 1 Total Weight: -204 196.63/196.73 c 196.63/196.73 c 196.63/196.73 c ============================[ Search Statistics ]============================== 196.63/196.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.63/196.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.63/196.73 c =============================================================================== 196.63/196.73 c | 0 | 1758 28861 69938 | 9620 0 nan | 0.000 % | 196.63/196.74 c =============================================================================== 196.63/196.79 c core #392 196.63/196.79 c 196.63/196.79 c 196.63/196.79 c Core size: 8 Core Weight: 1 Total Weight: -203 196.63/196.79 c 196.63/196.79 c 196.63/196.79 c ============================[ Search Statistics ]============================== 196.63/196.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.63/196.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.63/196.79 c =============================================================================== 196.63/196.79 c | 0 | 1762 28862 69946 | 9620 0 nan | 0.000 % | 196.74/196.80 c =============================================================================== 196.74/196.85 c core #393 196.74/196.85 c 196.74/196.85 c 196.74/196.85 c Core size: 13 Core Weight: 1 Total Weight: -202 196.74/196.85 c 196.74/196.85 c 196.74/196.85 c ============================[ Search Statistics ]============================== 196.74/196.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.74/196.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.74/196.85 c =============================================================================== 196.74/196.85 c | 0 | 1772 28863 69966 | 9621 0 nan | 0.000 % | 196.74/196.86 c =============================================================================== 196.84/196.91 c core #394 196.84/196.91 c 196.84/196.91 c 196.84/196.91 c Core size: 10 Core Weight: 1 Total Weight: -201 196.84/196.91 c 196.84/196.91 c 196.84/196.91 c ============================[ Search Statistics ]============================== 196.84/196.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.84/196.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.84/196.91 c =============================================================================== 196.84/196.91 c | 0 | 1778 28864 69978 | 9621 0 nan | 0.000 % | 196.84/196.93 c =============================================================================== 196.84/196.98 c core #395 196.84/196.98 c 196.84/196.98 c 196.84/196.98 c Core size: 8 Core Weight: 1 Total Weight: -200 196.84/196.98 c 196.84/196.98 c 196.84/196.98 c ============================[ Search Statistics ]============================== 196.84/196.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.84/196.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.84/196.98 c =============================================================================== 196.84/196.98 c | 0 | 1782 28865 69986 | 9621 0 nan | 0.000 % | 196.84/196.99 c =============================================================================== 196.93/197.04 c core #396 196.93/197.04 c 196.93/197.04 c 196.93/197.04 c Core size: 10 Core Weight: 1 Total Weight: -199 196.93/197.04 c 196.93/197.04 c 196.93/197.04 c ============================[ Search Statistics ]============================== 196.93/197.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.93/197.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.93/197.04 c =============================================================================== 196.93/197.04 c | 0 | 1788 28866 69998 | 9622 0 nan | 0.000 % | 196.93/197.05 c =============================================================================== 197.03/197.10 c core #397 197.03/197.10 c 197.03/197.10 c 197.03/197.10 c Core size: 8 Core Weight: 1 Total Weight: -198 197.03/197.10 c 197.03/197.10 c 197.03/197.10 c ============================[ Search Statistics ]============================== 197.03/197.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.03/197.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.03/197.10 c =============================================================================== 197.03/197.10 c | 0 | 1792 28867 70006 | 9622 0 nan | 0.000 % | 197.03/197.12 c =============================================================================== 197.03/197.17 c core #398 197.03/197.17 c 197.03/197.17 c 197.03/197.17 c Core size: 10 Core Weight: 1 Total Weight: -197 197.03/197.17 c 197.03/197.17 c 197.03/197.17 c ============================[ Search Statistics ]============================== 197.03/197.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.03/197.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.03/197.17 c =============================================================================== 197.03/197.17 c | 0 | 1798 28868 70018 | 9622 0 nan | 0.000 % | 197.03/197.19 c =============================================================================== 197.13/197.24 c core #399 197.13/197.24 c 197.13/197.24 c 197.13/197.24 c Core size: 10 Core Weight: 1 Total Weight: -196 197.13/197.24 c 197.13/197.24 c 197.13/197.24 c ============================[ Search Statistics ]============================== 197.13/197.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.13/197.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.13/197.24 c =============================================================================== 197.13/197.24 c | 0 | 1804 28869 70030 | 9623 0 nan | 0.000 % | 197.13/197.26 c =============================================================================== 197.23/197.31 c core #400 197.23/197.31 c 197.23/197.31 c 197.23/197.31 c Core size: 8 Core Weight: 1 Total Weight: -195 197.23/197.31 c 197.23/197.31 c 197.23/197.31 c ============================[ Search Statistics ]============================== 197.23/197.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.23/197.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.23/197.31 c =============================================================================== 197.23/197.31 c | 0 | 1808 28870 70038 | 9623 0 nan | 0.000 % | 197.23/197.32 c =============================================================================== 197.23/197.37 c core #401 197.23/197.37 c 197.23/197.37 c 197.23/197.37 c Core size: 10 Core Weight: 1 Total Weight: -194 197.23/197.37 c 197.23/197.37 c 197.23/197.37 c ============================[ Search Statistics ]============================== 197.23/197.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.23/197.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.23/197.37 c =============================================================================== 197.23/197.37 c | 0 | 1814 28871 70050 | 9623 0 nan | 0.000 % | 197.23/197.39 c =============================================================================== 197.33/197.44 c core #402 197.33/197.44 c 197.33/197.44 c 197.33/197.44 c Core size: 10 Core Weight: 1 Total Weight: -193 197.33/197.44 c 197.33/197.44 c 197.33/197.44 c ============================[ Search Statistics ]============================== 197.33/197.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.33/197.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.33/197.44 c =============================================================================== 197.33/197.44 c | 0 | 1820 28872 70062 | 9624 0 nan | 0.000 % | 197.33/197.46 c =============================================================================== 197.42/197.51 c core #403 197.42/197.51 c 197.42/197.51 c 197.42/197.51 c Core size: 10 Core Weight: 1 Total Weight: -192 197.42/197.51 c 197.42/197.51 c 197.42/197.51 c ============================[ Search Statistics ]============================== 197.42/197.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.42/197.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.42/197.51 c =============================================================================== 197.42/197.51 c | 0 | 1826 28873 70074 | 9624 0 nan | 0.000 % | 197.42/197.52 c =============================================================================== 197.42/197.57 c core #404 197.42/197.57 c 197.42/197.57 c 197.42/197.57 c Core size: 8 Core Weight: 1 Total Weight: -191 197.42/197.57 c 197.42/197.57 c 197.42/197.57 c ============================[ Search Statistics ]============================== 197.42/197.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.42/197.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.42/197.57 c =============================================================================== 197.42/197.57 c | 0 | 1830 28874 70082 | 9624 0 nan | 0.000 % | 197.42/197.59 c =============================================================================== 197.52/197.64 c core #405 197.52/197.64 c 197.52/197.64 c 197.52/197.64 c Core size: 20 Core Weight: 1 Total Weight: -190 197.52/197.64 c 197.52/197.64 c 197.52/197.64 c ============================[ Search Statistics ]============================== 197.52/197.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.52/197.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.52/197.64 c =============================================================================== 197.52/197.64 c | 0 | 1840 28875 70102 | 9625 0 nan | 0.000 % | 197.52/197.67 c =============================================================================== 197.62/197.72 c core #406 197.62/197.72 c 197.62/197.72 c 197.62/197.72 c Core size: 11 Core Weight: 1 Total Weight: -189 197.62/197.72 c 197.62/197.72 c 197.62/197.72 c ============================[ Search Statistics ]============================== 197.62/197.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.62/197.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.62/197.72 c =============================================================================== 197.62/197.72 c | 0 | 1848 28876 70118 | 9625 0 nan | 0.000 % | 197.62/197.74 c =============================================================================== 197.62/197.79 c core #407 197.62/197.79 c 197.62/197.79 c 197.62/197.79 c Core size: 18 Core Weight: 1 Total Weight: -188 197.62/197.79 c 197.62/197.79 c 197.62/197.79 c ============================[ Search Statistics ]============================== 197.62/197.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.62/197.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.62/197.79 c =============================================================================== 197.62/197.79 c | 0 | 1862 28877 70146 | 9625 0 nan | 0.000 % | 197.72/197.83 c =============================================================================== 197.72/197.89 c core #408 197.72/197.89 c 197.72/197.89 c 197.72/197.89 c Core size: 21 Core Weight: 1 Total Weight: -187 197.72/197.89 c 197.72/197.89 c 197.72/197.89 c ============================[ Search Statistics ]============================== 197.72/197.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.72/197.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.72/197.89 c =============================================================================== 197.72/197.89 c | 0 | 1878 28878 70178 | 9626 0 nan | 0.000 % | 197.83/197.92 c =============================================================================== 197.83/197.97 c core #409 197.83/197.97 c 197.83/197.97 c 197.83/197.97 c Core size: 21 Core Weight: 1 Total Weight: -186 197.83/197.97 c 197.83/197.97 c 197.83/197.97 c ============================[ Search Statistics ]============================== 197.83/197.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.83/197.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.83/197.97 c =============================================================================== 197.83/197.97 c | 0 | 1898 28879 70218 | 9626 0 nan | 0.000 % | 197.94/198.01 c | 100 | 1893 28879 70218 | 10588 100 7 | 0.263 % | 197.94/198.01 c =============================================================================== 197.94/198.06 c core #410 197.94/198.06 c 197.94/198.06 c 197.94/198.06 c Core size: 20 Core Weight: 1 Total Weight: -185 197.94/198.06 c 197.94/198.06 c 197.94/198.06 c ============================[ Search Statistics ]============================== 197.94/198.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.94/198.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.94/198.06 c =============================================================================== 197.94/198.06 c | 0 | 1916 28880 70254 | 9626 0 nan | 0.000 % | 198.03/198.11 c | 101 | 1916 28880 70254 | 10589 101 17 | 0.000 % | 198.03/198.13 c =============================================================================== 198.03/198.18 c core #411 198.03/198.18 c 198.03/198.18 c 198.03/198.18 c Core size: 20 Core Weight: 1 Total Weight: -184 198.03/198.18 c 198.03/198.18 c 198.03/198.18 c ============================[ Search Statistics ]============================== 198.03/198.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.03/198.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.03/198.18 c =============================================================================== 198.03/198.18 c | 0 | 1934 28881 70290 | 9627 0 nan | 0.000 % | 198.13/198.23 c | 100 | 1934 28881 70290 | 10589 100 13 | 0.000 % | 198.13/198.25 c | 250 | 1934 28881 70290 | 11648 250 16 | 0.000 % | 198.13/198.26 c =============================================================================== 198.23/198.31 c core #412 198.23/198.31 c 198.23/198.31 c 198.23/198.31 c Core size: 30 Core Weight: 1 Total Weight: -183 198.23/198.31 c 198.23/198.31 c 198.23/198.31 c ============================[ Search Statistics ]============================== 198.23/198.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.23/198.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.23/198.31 c =============================================================================== 198.23/198.31 c | 0 | 1962 28882 70346 | 9627 0 nan | 0.000 % | 198.23/198.36 c | 100 | 1962 28882 70346 | 10590 100 17 | 0.000 % | 198.33/198.41 c | 250 | 1956 28882 70346 | 11649 250 20 | 0.306 % | 198.33/198.45 c | 475 | 1956 28882 70346 | 12813 475 25 | 0.306 % | 198.43/198.51 c | 815 | 1956 28882 70346 | 14095 815 26 | 0.306 % | 198.43/198.59 c | 1322 | 1956 28882 70346 | 15504 1322 28 | 0.306 % | 198.62/198.76 c | 2082 | 1956 28882 70346 | 17055 2054 30 | 0.306 % | 198.73/198.85 c =============================================================================== 198.83/198.93 c core #413 198.83/198.93 c 198.83/198.93 c 198.83/198.93 c Core size: 39 Core Weight: 1 Total Weight: -182 198.83/198.93 c 198.83/198.93 c 198.83/198.93 c ============================[ Search Statistics ]============================== 198.83/198.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.83/198.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.83/198.93 c =============================================================================== 198.83/198.93 c | 0 | 1998 28883 70418 | 9627 0 nan | 0.000 % | 198.83/198.96 c | 101 | 1998 28883 70418 | 10590 101 13 | 0.000 % | 198.83/198.99 c | 251 | 1998 28883 70418 | 11649 251 16 | 0.000 % | 198.93/199.01 c =============================================================================== 198.93/199.06 c core #414 198.93/199.06 c 198.93/199.06 c 198.93/199.06 c Core size: 37 Core Weight: 1 Total Weight: -181 198.93/199.06 c 198.93/199.06 c 198.93/199.06 c ============================[ Search Statistics ]============================== 198.93/199.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.93/199.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.93/199.06 c =============================================================================== 198.93/199.06 c | 0 | 2028 28884 70478 | 9628 0 nan | 0.000 % | 198.93/199.08 c =============================================================================== 199.03/199.13 c core #415 199.03/199.13 c 199.03/199.13 c 199.03/199.13 c Core size: 11 Core Weight: 1 Total Weight: -180 199.03/199.13 c 199.03/199.13 c 199.03/199.13 c ============================[ Search Statistics ]============================== 199.03/199.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.03/199.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.03/199.13 c =============================================================================== 199.03/199.13 c | 0 | 2036 28885 70494 | 9628 0 nan | 0.000 % | 199.03/199.18 c | 100 | 2036 28885 70494 | 10591 100 18 | 0.000 % | 199.12/199.21 c | 253 | 2035 28885 70494 | 11650 253 24 | 0.049 % | 199.12/199.26 c | 478 | 2035 28885 70494 | 12815 478 25 | 0.049 % | 199.22/199.36 c | 818 | 2034 28885 70494 | 14096 818 29 | 0.098 % | 199.42/199.51 c | 1324 | 2033 28885 70494 | 15506 1307 31 | 0.147 % | 199.63/199.79 c | 2087 | 2032 28885 70494 | 17057 2070 30 | 0.196 % | 199.83/199.95 c =============================================================================== 199.93/200.00 c core #416 199.93/200.00 c 199.93/200.00 c 199.93/200.00 c Core size: 60 Core Weight: 1 Total Weight: -179 199.93/200.00 c 199.93/200.00 c 199.93/200.00 c ============================[ Search Statistics ]============================== 199.93/200.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.93/200.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.93/200.00 c =============================================================================== 199.93/200.00 c | 0 | 2092 28886 70606 | 9628 0 nan | 0.000 % | 199.93/200.06 c =============================================================================== 200.03/200.11 c core #417 200.03/200.11 c 200.03/200.11 c 200.03/200.11 c Core size: 35 Core Weight: 1 Total Weight: -178 200.03/200.11 c 200.03/200.11 c 200.03/200.11 c ============================[ Search Statistics ]============================== 200.03/200.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.03/200.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.03/200.11 c =============================================================================== 200.03/200.11 c | 0 | 2120 28887 70662 | 9629 0 nan | 0.000 % | 200.03/200.15 c =============================================================================== 200.03/200.20 c core #418 200.03/200.20 c 200.03/200.20 c 200.03/200.20 c Core size: 17 Core Weight: 1 Total Weight: -177 200.03/200.20 c 200.03/200.20 c 200.03/200.20 c ============================[ Search Statistics ]============================== 200.03/200.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.03/200.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.03/200.20 c =============================================================================== 200.03/200.20 c | 0 | 2134 28888 70690 | 9629 0 nan | 0.000 % | 200.13/200.26 c | 100 | 2134 28888 70690 | 10592 100 33 | 0.000 % | 200.23/200.32 c | 251 | 2134 28888 70690 | 11651 251 27 | 0.000 % | 200.23/200.33 c =============================================================================== 200.23/200.38 c core #419 200.23/200.38 c 200.23/200.38 c 200.23/200.38 c Core size: 28 Core Weight: 1 Total Weight: -176 200.23/200.38 c 200.23/200.38 c 200.23/200.38 c ============================[ Search Statistics ]============================== 200.23/200.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.23/200.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.23/200.38 c =============================================================================== 200.23/200.38 c | 0 | 2158 28889 70738 | 9629 0 nan | 0.000 % | 200.32/200.42 c | 100 | 2156 28889 70738 | 10592 100 14 | 0.093 % | 200.32/200.44 c | 250 | 2144 28889 70738 | 11651 250 19 | 5.885 % | 200.32/200.45 c =============================================================================== 200.42/200.50 c core #420 200.42/200.50 c 200.42/200.50 c 200.42/200.50 c Core size: 50 Core Weight: 1 Total Weight: -175 200.42/200.50 c 200.42/200.50 c 200.42/200.50 c ============================[ Search Statistics ]============================== 200.42/200.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.42/200.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.42/200.50 c =============================================================================== 200.42/200.50 c | 0 | 2194 28890 70810 | 9630 0 nan | 0.000 % | 200.42/200.54 c =============================================================================== 200.42/200.59 c core #421 200.42/200.59 c 200.42/200.59 c 200.42/200.59 c Core size: 13 Core Weight: 1 Total Weight: -174 200.42/200.59 c 200.42/200.59 c 200.42/200.59 c ============================[ Search Statistics ]============================== 200.42/200.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.42/200.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.42/200.59 c =============================================================================== 200.42/200.59 c | 0 | 2204 28891 70830 | 9630 0 nan | 0.000 % | 200.52/200.63 c | 102 | 2204 28891 70830 | 10593 102 29 | 0.000 % | 200.52/200.66 c | 252 | 2203 28891 70830 | 11652 252 36 | 0.091 % | 200.52/200.68 c | 478 | 2203 28891 70830 | 12817 478 47 | 0.091 % | 200.63/200.72 c | 815 | 2203 28891 70830 | 14099 815 51 | 0.091 % | 200.63/200.78 c | 1323 | 2200 28891 70830 | 15509 1323 52 | 0.227 % | 200.73/200.89 c | 2084 | 2198 28891 70830 | 17060 2084 55 | 0.318 % | 201.02/201.14 c | 3224 | 2197 28891 70830 | 18766 3210 56 | 0.318 % | 201.43/201.59 c | 4933 | 2196 28891 70830 | 20643 4919 57 | 0.363 % | 202.24/202.32 c | 7496 | 2196 28891 70830 | 22707 7482 56 | 0.363 % | 203.72/203.86 c | 11346 | 2196 28891 70830 | 24978 11194 54 | 0.363 % | 204.83/204.99 c =============================================================================== 205.13/205.27 c core #422 205.13/205.27 c 205.13/205.27 c 205.13/205.27 c Core size: 43 Core Weight: 1 Total Weight: -173 205.13/205.27 c 205.13/205.27 c 205.13/205.27 c ============================[ Search Statistics ]============================== 205.13/205.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.13/205.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.13/205.27 c =============================================================================== 205.13/205.27 c | 0 | 2240 28892 70902 | 9630 0 nan | 0.000 % | 205.22/205.31 c | 101 | 2240 28892 70902 | 10593 101 33 | 0.000 % | 205.22/205.33 c =============================================================================== 205.22/205.38 c core #423 205.22/205.38 c 205.22/205.38 c 205.22/205.38 c Core size: 19 Core Weight: 1 Total Weight: -172 205.22/205.38 c 205.22/205.38 c 205.22/205.38 c ============================[ Search Statistics ]============================== 205.22/205.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.22/205.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.22/205.38 c =============================================================================== 205.22/205.38 c | 0 | 2254 28893 70930 | 9631 0 nan | 0.000 % | 205.32/205.43 c | 100 | 2254 28893 70930 | 10594 100 25 | 0.000 % | 205.32/205.47 c | 251 | 2252 28893 70930 | 11653 251 24 | 0.089 % | 205.42/205.53 c | 478 | 2252 28893 70930 | 12818 478 26 | 0.089 % | 205.42/205.56 c =============================================================================== 205.53/205.62 c core #424 205.53/205.62 c 205.53/205.62 c 205.53/205.62 c Core size: 32 Core Weight: 1 Total Weight: -171 205.53/205.62 c 205.53/205.62 c 205.53/205.62 c ============================[ Search Statistics ]============================== 205.53/205.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.53/205.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.53/205.62 c =============================================================================== 205.53/205.62 c | 0 | 2284 28894 70990 | 9631 0 nan | 0.000 % | 205.53/205.66 c | 100 | 2284 28894 70990 | 10594 100 25 | 0.000 % | 205.64/205.70 c =============================================================================== 205.64/205.75 c core #425 205.64/205.75 c 205.64/205.75 c 205.64/205.75 c Core size: 26 Core Weight: 1 Total Weight: -170 205.64/205.75 c 205.64/205.75 c 205.64/205.75 c ============================[ Search Statistics ]============================== 205.64/205.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.64/205.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.64/205.75 c =============================================================================== 205.64/205.75 c | 0 | 2306 28895 71034 | 9631 0 nan | 0.000 % | 205.64/205.78 c =============================================================================== 205.73/205.83 c core #426 205.73/205.83 c 205.73/205.83 c 205.73/205.83 c Core size: 13 Core Weight: 1 Total Weight: -169 205.73/205.83 c 205.73/205.83 c 205.73/205.83 c ============================[ Search Statistics ]============================== 205.73/205.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.73/205.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.73/205.83 c =============================================================================== 205.73/205.83 c | 0 | 2318 28896 71058 | 9632 0 nan | 0.000 % | 205.83/205.90 c | 101 | 2317 28896 71058 | 10595 101 9 | 0.043 % | 205.83/205.92 c | 251 | 2317 28896 71058 | 11654 251 17 | 0.043 % | 205.83/205.96 c =============================================================================== 205.92/206.01 c core #427 205.92/206.01 c 205.92/206.01 c 205.92/206.01 c Core size: 51 Core Weight: 1 Total Weight: -168 205.92/206.01 c 205.92/206.01 c 205.92/206.01 c ============================[ Search Statistics ]============================== 205.92/206.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.92/206.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.92/206.01 c =============================================================================== 205.92/206.01 c | 0 | 2352 28897 71126 | 9632 0 nan | 0.000 % | 205.92/206.06 c | 100 | 2352 28897 71126 | 10595 100 29 | 0.000 % | 205.92/206.08 c | 251 | 2332 28897 71126 | 11655 251 27 | 6.165 % | 206.02/206.11 c | 477 | 2332 28897 71126 | 12820 477 40 | 6.165 % | 206.02/206.15 c | 814 | 2327 28897 71126 | 14102 814 52 | 9.226 % | 206.02/206.19 c =============================================================================== 206.12/206.25 c core #428 206.12/206.25 c 206.12/206.25 c 206.12/206.25 c Core size: 22 Core Weight: 1 Total Weight: -167 206.12/206.25 c 206.12/206.25 c 206.12/206.25 c ============================[ Search Statistics ]============================== 206.12/206.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.12/206.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.12/206.25 c =============================================================================== 206.12/206.25 c | 0 | 2366 28898 71154 | 9632 0 nan | 0.000 % | 206.23/206.30 c | 101 | 2365 28898 71154 | 10595 101 17 | 0.042 % | 206.23/206.33 c | 252 | 2364 28898 71154 | 11655 252 21 | 0.085 % | 206.23/206.37 c | 477 | 2362 28898 71154 | 12821 477 28 | 0.169 % | 206.32/206.40 c | 814 | 2360 28898 71154 | 14103 814 37 | 0.296 % | 206.32/206.47 c =============================================================================== 206.42/206.53 c core #429 206.42/206.53 c 206.42/206.53 c 206.42/206.53 c Core size: 51 Core Weight: 1 Total Weight: -166 206.42/206.53 c 206.42/206.53 c 206.42/206.53 c ============================[ Search Statistics ]============================== 206.42/206.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.42/206.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.42/206.53 c =============================================================================== 206.42/206.53 c | 0 | 2414 28899 71250 | 9633 0 nan | 0.000 % | 206.42/206.58 c =============================================================================== 206.52/206.63 c core #430 206.52/206.63 c 206.52/206.63 c 206.52/206.63 c Core size: 45 Core Weight: 1 Total Weight: -165 206.52/206.63 c 206.52/206.63 c 206.52/206.63 c ============================[ Search Statistics ]============================== 206.52/206.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.52/206.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.52/206.63 c =============================================================================== 206.52/206.63 c | 0 | 2452 28900 71326 | 9633 0 nan | 0.000 % | 206.52/206.70 c | 102 | 2452 28900 71326 | 10596 102 9 | 0.000 % | 206.63/206.76 c | 254 | 2452 28900 71326 | 11656 254 12 | 0.000 % | 206.73/206.87 c | 481 | 2452 28900 71326 | 12821 481 13 | 0.000 % | 206.92/207.02 c =============================================================================== 206.92/207.07 c core #431 206.92/207.07 c 206.92/207.07 c 206.92/207.07 c Core size: 71 Core Weight: 1 Total Weight: -164 206.92/207.07 c 206.92/207.07 c 206.92/207.07 c ============================[ Search Statistics ]============================== 206.92/207.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.92/207.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.92/207.07 c =============================================================================== 206.92/207.07 c | 0 | 2504 28901 71430 | 9633 0 nan | 0.000 % | 207.02/207.11 c =============================================================================== 207.02/207.16 c core #432 207.02/207.16 c 207.02/207.16 c 207.02/207.16 c Core size: 14 Core Weight: 1 Total Weight: -163 207.02/207.16 c 207.02/207.16 c 207.02/207.16 c ============================[ Search Statistics ]============================== 207.02/207.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.02/207.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.02/207.16 c =============================================================================== 207.02/207.16 c | 0 | 2514 28902 71450 | 9634 0 nan | 0.000 % | 207.12/207.21 c | 100 | 2513 28902 71450 | 10597 100 15 | 0.040 % | 207.12/207.25 c | 250 | 2513 28902 71450 | 11657 250 13 | 0.040 % | 207.22/207.32 c | 478 | 2513 28902 71450 | 12822 478 13 | 0.040 % | 207.22/207.32 c =============================================================================== 207.22/207.37 c core #433 207.22/207.37 c 207.22/207.37 c 207.22/207.37 c Core size: 32 Core Weight: 1 Total Weight: -162 207.22/207.37 c 207.22/207.37 c 207.22/207.37 c ============================[ Search Statistics ]============================== 207.22/207.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.22/207.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.22/207.37 c =============================================================================== 207.22/207.37 c | 0 | 2538 28903 71498 | 9634 0 nan | 0.000 % | 207.32/207.43 c | 100 | 2535 28903 71498 | 10597 100 5 | 0.199 % | 207.32/207.43 c =============================================================================== 207.32/207.48 c core #434 207.32/207.48 c 207.32/207.48 c 207.32/207.48 c Core size: 54 Core Weight: 1 Total Weight: -161 207.32/207.48 c 207.32/207.48 c 207.32/207.48 c ============================[ Search Statistics ]============================== 207.32/207.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.32/207.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.32/207.48 c =============================================================================== 207.32/207.48 c | 0 | 2574 28904 71570 | 9634 0 nan | 0.000 % | 207.42/207.55 c | 100 | 2574 28904 71570 | 10598 100 11 | 0.000 % | 207.52/207.63 c | 250 | 2574 28904 71570 | 11657 250 13 | 0.000 % | 207.62/207.71 c | 482 | 2574 28904 71570 | 12823 482 18 | 0.000 % | 207.73/207.87 c | 820 | 2573 28904 71570 | 14106 817 20 | 0.039 % | 207.93/208.09 c =============================================================================== 208.03/208.15 c core #435 208.03/208.15 c 208.03/208.15 c 208.03/208.15 c Core size: 74 Core Weight: 1 Total Weight: -160 208.03/208.15 c 208.03/208.15 c 208.03/208.15 c ============================[ Search Statistics ]============================== 208.03/208.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.03/208.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.03/208.15 c =============================================================================== 208.03/208.15 c | 0 | 2636 28905 71694 | 9635 0 nan | 0.000 % | 208.03/208.19 c | 100 | 2636 28905 71694 | 10598 100 10 | 0.000 % | 208.12/208.21 c | 251 | 2634 28905 71694 | 11658 251 21 | 0.076 % | 208.12/208.22 c =============================================================================== 208.12/208.27 c core #436 208.12/208.27 c 208.12/208.27 c 208.12/208.27 c Core size: 41 Core Weight: 1 Total Weight: -159 208.12/208.27 c 208.12/208.27 c 208.12/208.27 c ============================[ Search Statistics ]============================== 208.12/208.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.12/208.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.12/208.27 c =============================================================================== 208.12/208.27 c | 0 | 2666 28906 71754 | 9635 0 nan | 0.000 % | 208.22/208.30 c | 100 | 2666 28906 71754 | 10598 100 26 | 0.000 % | 208.22/208.37 c | 250 | 2666 28906 71754 | 11658 250 21 | 0.000 % | 208.32/208.40 c | 475 | 2665 28906 71754 | 12824 475 27 | 0.038 % | 208.32/208.47 c | 812 | 2663 28906 71754 | 14107 812 31 | 0.113 % | 208.43/208.56 c | 1318 | 2662 28906 71754 | 15517 1318 40 | 0.150 % | 208.52/208.66 c =============================================================================== 208.62/208.71 c core #437 208.62/208.71 c 208.62/208.71 c 208.62/208.71 c Core size: 41 Core Weight: 1 Total Weight: -158 208.62/208.71 c 208.62/208.71 c 208.62/208.71 c ============================[ Search Statistics ]============================== 208.62/208.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.62/208.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.62/208.71 c =============================================================================== 208.62/208.71 c | 0 | 2700 28907 71822 | 9635 0 nan | 0.000 % | 208.62/208.77 c | 104 | 2700 28907 71822 | 10599 104 11 | 0.000 % | 208.72/208.81 c | 255 | 2700 28907 71822 | 11659 255 10 | 0.000 % | 208.72/208.84 c =============================================================================== 208.72/208.89 c core #438 208.72/208.89 c 208.72/208.89 c 208.72/208.89 c Core size: 49 Core Weight: 1 Total Weight: -157 208.72/208.89 c 208.72/208.89 c 208.72/208.89 c ============================[ Search Statistics ]============================== 208.72/208.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.72/208.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.72/208.89 c =============================================================================== 208.72/208.89 c | 0 | 2730 28908 71882 | 9636 0 nan | 0.000 % | 208.83/208.94 c | 100 | 2730 28908 71882 | 10599 100 32 | 0.000 % | 208.83/208.98 c | 252 | 2730 28908 71882 | 11659 252 32 | 0.000 % | 208.93/209.02 c | 477 | 2729 28908 71882 | 12825 477 36 | 0.037 % | 209.03/209.11 c | 814 | 2729 28908 71882 | 14108 814 43 | 0.037 % | 209.12/209.28 c | 1320 | 2729 28908 71882 | 15518 1320 54 | 0.037 % | 209.42/209.53 c | 2079 | 2729 28908 71882 | 17070 2078 61 | 0.037 % | 209.72/209.86 c | 3219 | 2729 28908 71882 | 18777 3218 61 | 0.037 % | 210.32/210.44 c | 4927 | 2729 28908 71882 | 20655 4926 62 | 0.037 % | 211.13/211.26 c | 7492 | 2729 28908 71882 | 22721 7491 65 | 0.037 % | 212.82/212.98 c | 11336 | 2728 28908 71882 | 24993 11288 66 | 0.073 % | 216.92/217.04 c | 17103 | 2728 28908 71882 | 27492 17055 68 | 0.073 % | 223.52/223.69 c | 25753 | 2726 28908 71882 | 30241 25705 68 | 0.147 % | 231.51/231.63 c =============================================================================== 231.61/231.72 c core #439 231.61/231.72 c 231.61/231.72 c 231.61/231.72 c Core size: 11 Core Weight: 1 Total Weight: -156 231.61/231.72 c 231.61/231.72 c 231.61/231.72 c ============================[ Search Statistics ]============================== 231.61/231.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.61/231.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.61/231.72 c =============================================================================== 231.61/231.72 c | 0 | 2738 28909 71898 | 9636 0 nan | 0.000 % | 231.61/231.75 c | 100 | 2738 28909 71898 | 10599 100 36 | 0.000 % | 231.71/231.81 c | 252 | 2738 28909 71898 | 11659 252 22 | 0.000 % | 231.71/231.88 c | 477 | 2737 28909 71898 | 12825 477 30 | 0.037 % | 231.93/232.03 c | 818 | 2737 28909 71898 | 14108 818 26 | 0.037 % | 231.93/232.07 c =============================================================================== 232.03/232.12 c core #440 232.03/232.12 c 232.03/232.12 c 232.03/232.12 c Core size: 69 Core Weight: 1 Total Weight: -155 232.03/232.12 c 232.03/232.12 c 232.03/232.12 c ============================[ Search Statistics ]============================== 232.03/232.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.03/232.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.03/232.12 c =============================================================================== 232.03/232.12 c | 0 | 2806 28910 72034 | 9636 0 nan | 0.000 % | 232.03/232.17 c | 102 | 2806 28910 72034 | 10600 102 12 | 0.000 % | 232.12/232.21 c | 252 | 2806 28910 72034 | 11660 252 15 | 0.000 % | 232.12/232.27 c | 477 | 2806 28910 72034 | 12826 477 17 | 0.000 % | 232.32/232.44 c | 815 | 2806 28910 72034 | 14109 815 20 | 0.000 % | 232.51/232.69 c | 1323 | 2806 28910 72034 | 15519 1323 24 | 0.000 % | 233.03/233.10 c | 2082 | 2806 28910 72034 | 17071 2082 30 | 0.000 % | 234.01/234.19 c | 3226 | 2806 28910 72034 | 18779 3226 36 | 0.000 % | 235.32/235.48 c | 4936 | 2790 28910 72034 | 20657 4930 37 | 0.570 % | 235.72/235.83 c =============================================================================== 235.81/235.94 c core #441 235.81/235.94 c 235.81/235.94 c 235.81/235.94 c Core size: 128 Core Weight: 1 Total Weight: -154 235.81/235.94 c 235.81/235.94 c 235.81/235.94 c ============================[ Search Statistics ]============================== 235.81/235.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.81/235.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.81/235.94 c =============================================================================== 235.81/235.94 c | 0 | 2902 28911 72226 | 9637 0 nan | 0.000 % | 235.91/236.00 c | 100 | 2902 28911 72226 | 10600 100 10 | 0.000 % | 235.91/236.03 c | 252 | 2902 28911 72226 | 11660 252 10 | 0.000 % | 235.91/236.06 c =============================================================================== 236.01/236.11 c core #442 236.01/236.11 c 236.01/236.11 c 236.01/236.11 c Core size: 55 Core Weight: 1 Total Weight: -153 236.01/236.11 c 236.01/236.11 c 236.01/236.11 c ============================[ Search Statistics ]============================== 236.01/236.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.01/236.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.01/236.11 c =============================================================================== 236.01/236.11 c | 0 | 2948 28912 72318 | 9637 0 nan | 0.000 % | 236.01/236.16 c | 100 | 2947 28912 72318 | 10601 100 11 | 0.034 % | 236.01/236.18 c | 250 | 2944 28912 72318 | 11661 250 11 | 0.204 % | 236.12/236.20 c =============================================================================== 236.12/236.26 c core #443 236.12/236.26 c 236.12/236.26 c 236.12/236.26 c Core size: 45 Core Weight: 1 Total Weight: -152 236.12/236.26 c 236.12/236.26 c 236.12/236.26 c ============================[ Search Statistics ]============================== 236.12/236.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.12/236.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.12/236.26 c =============================================================================== 236.12/236.26 c | 0 | 2984 28913 72390 | 9637 0 nan | 0.000 % | 236.22/236.31 c | 104 | 2984 28913 72390 | 10601 104 19 | 0.000 % | 236.22/236.33 c | 255 | 2984 28913 72390 | 11661 255 18 | 0.000 % | 236.22/236.39 c | 482 | 2984 28913 72390 | 12827 482 18 | 0.000 % | 236.43/236.51 c | 819 | 2984 28913 72390 | 14110 819 19 | 0.000 % | 236.52/236.63 c | 1325 | 2984 28913 72390 | 15521 1325 22 | 0.000 % | 236.72/236.83 c | 2084 | 2984 28913 72390 | 17073 2084 24 | 0.000 % | 237.12/237.29 c | 3225 | 2984 28913 72390 | 18781 3225 28 | 0.000 % | 238.12/238.23 c | 4933 | 2983 28913 72390 | 20659 4664 33 | 0.034 % | 239.62/239.79 c =============================================================================== 239.81/239.92 c core #444 239.81/239.92 c 239.81/239.92 c 239.81/239.92 c Core size: 118 Core Weight: 1 Total Weight: -151 239.81/239.92 c 239.81/239.92 c 239.81/239.92 c ============================[ Search Statistics ]============================== 239.81/239.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.81/239.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.81/239.92 c =============================================================================== 239.81/239.92 c | 0 | 3095 28914 72612 | 9638 0 nan | 0.000 % | 239.81/239.95 c | 101 | 3095 28914 72612 | 10601 101 38 | 0.000 % | 239.81/239.97 c | 251 | 3095 28914 72612 | 11661 251 28 | 0.000 % | 239.92/240.00 c | 477 | 3095 28914 72612 | 12828 477 30 | 0.000 % | 239.92/240.02 c | 814 | 3095 28914 72612 | 14110 814 29 | 0.000 % | 240.02/240.12 c | 1321 | 3094 28914 72612 | 15522 1321 30 | 0.032 % | 240.02/240.18 c | 2080 | 3094 28914 72612 | 17074 2078 36 | 0.032 % | 240.42/240.51 c | 3220 | 3094 28914 72612 | 18781 3218 43 | 0.032 % | 241.22/241.31 c | 4930 | 3094 28914 72612 | 20659 4928 54 | 0.032 % | 242.81/242.90 c | 7492 | 3094 28914 72612 | 22725 7490 66 | 0.032 % | 245.31/245.46 c | 11336 | 3094 28914 72612 | 24998 11334 73 | 0.032 % | 250.42/250.54 c | 17102 | 3094 28914 72612 | 27498 17100 74 | 0.032 % | 258.91/259.03 c | 25752 | 3094 28914 72612 | 30248 25750 79 | 0.032 % | 271.91/272.04 c | 38741 | 3094 28914 72612 | 33272 21080 80 | 0.032 % | 293.50/293.64 c | 58204 | 3094 28914 72612 | 36600 20032 75 | 0.032 % | 325.59/325.72 c | 87397 | 3094 28914 72612 | 40260 25858 81 | 0.032 % | 378.06/378.23 c | 131192 | 3094 28914 72612 | 44286 16926 64 | 0.032 % | 452.44/452.61 c | 196878 | 3093 28914 72612 | 48714 22422 67 | 0.065 % | 518.22/518.46 c =============================================================================== 520.81/521.08 c core #445 520.81/521.08 c 520.81/521.08 c 520.81/521.08 c Core size: 132 Core Weight: 1 Total Weight: -150 520.81/521.08 c 520.81/521.08 c 520.81/521.08 c ============================[ Search Statistics ]============================== 520.81/521.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 520.81/521.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 520.81/521.08 c =============================================================================== 520.81/521.08 c | 0 | 3209 28915 72840 | 9638 0 nan | 0.000 % | 520.91/521.13 c | 100 | 3209 28915 72840 | 10602 100 36 | 0.000 % | 520.91/521.16 c | 251 | 3209 28915 72840 | 11662 251 24 | 0.000 % | 520.91/521.18 c | 476 | 3209 28915 72840 | 12828 476 32 | 0.000 % | 521.02/521.23 c | 815 | 3209 28915 72840 | 14111 815 34 | 0.000 % | 521.12/521.36 c | 1327 | 3209 28915 72840 | 15522 1327 51 | 0.000 % | 521.42/521.62 c | 2089 | 3209 28915 72840 | 17074 2089 85 | 0.000 % | 521.81/522.08 c | 3228 | 3209 28915 72840 | 18782 3228 107 | 0.000 % | 522.71/522.94 c | 4943 | 3209 28915 72840 | 20660 4943 113 | 0.000 % | 524.02/524.29 c | 7505 | 3209 28915 72840 | 22726 7505 108 | 0.000 % | 526.51/526.72 c | 11351 | 3209 28915 72840 | 24999 11351 106 | 0.000 % | 528.82/529.05 c | 17123 | 3209 28915 72840 | 27499 17123 96 | 0.000 % | 536.40/536.60 c | 25773 | 3209 28915 72840 | 30249 25773 98 | 0.000 % | 546.90/547.10 c | 38748 | 3209 28915 72840 | 33274 21305 72 | 0.000 % | 568.29/568.58 c =============================================================================== 569.19/569.49 c core #446 569.19/569.49 c 569.19/569.49 c 569.19/569.49 c Core size: 119 Core Weight: 1 Total Weight: -149 569.19/569.49 c 569.19/569.49 c 569.19/569.49 c ============================[ Search Statistics ]============================== 569.19/569.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 569.19/569.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 569.19/569.49 c =============================================================================== 569.19/569.49 c | 0 | 3327 28916 73076 | 9638 0 nan | 0.000 % | 569.29/569.55 c | 102 | 3327 28916 73076 | 10602 102 21 | 0.000 % | 569.29/569.56 c | 252 | 3327 28916 73076 | 11662 252 32 | 0.000 % | 569.29/569.60 c | 477 | 3327 28916 73076 | 12829 477 34 | 0.000 % | 569.40/569.65 c | 815 | 3327 28916 73076 | 14111 815 42 | 0.000 % | 569.40/569.70 c | 1324 | 3327 28916 73076 | 15523 1324 42 | 0.000 % | 569.61/569.83 c | 2084 | 3327 28916 73076 | 17075 2084 61 | 0.000 % | 569.80/570.05 c | 3224 | 3327 28916 73076 | 18783 3224 75 | 0.000 % | 569.99/570.30 c | 4934 | 3327 28916 73076 | 20661 4934 70 | 0.000 % | 570.60/570.86 c | 7499 | 3327 28916 73076 | 22727 7499 74 | 0.000 % | 571.70/571.96 c | 11344 | 3327 28916 73076 | 25000 11344 72 | 0.000 % | 573.79/574.10 c | 17110 | 3327 28916 73076 | 27500 17110 83 | 0.000 % | 579.09/579.39 c | 25759 | 3327 28916 73076 | 30250 25759 82 | 0.000 % | 586.99/587.26 c | 38733 | 3327 28916 73076 | 33275 21161 90 | 0.000 % | 604.29/604.53 c | 58194 | 3327 28916 73076 | 36602 20157 121 | 0.000 % | 637.88/638.12 c | 87386 | 3327 28916 73076 | 40263 25005 153 | 0.000 % | 702.15/702.40 c | 131175 | 3325 28916 73076 | 44289 14377 95 | 0.060 % | 717.45/717.75 c =============================================================================== 717.65/717.97 c core #447 717.65/717.97 c 717.65/717.97 c 717.65/717.97 c Core size: 129 Core Weight: 1 Total Weight: -148 717.65/717.97 c 717.65/717.97 c 717.65/717.98 c ============================[ Search Statistics ]============================== 717.65/717.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 717.65/717.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 717.65/717.98 c =============================================================================== 717.65/717.98 c | 0 | 3419 28917 73260 | 9639 0 nan | 0.000 % | 717.75/718.03 c | 100 | 3419 28917 73260 | 10602 100 31 | 0.000 % | 717.75/718.06 c | 254 | 3419 28917 73260 | 11663 254 22 | 0.000 % | 717.86/718.13 c | 479 | 3419 28917 73260 | 12829 479 40 | 0.000 % | 717.86/718.20 c | 818 | 3419 28917 73260 | 14112 818 42 | 0.000 % | 718.06/718.37 c | 1325 | 3419 28917 73260 | 15523 1325 60 | 0.000 % | 718.25/718.54 c | 2089 | 3419 28917 73260 | 17076 2089 69 | 0.000 % | 718.45/718.75 c | 3228 | 3419 28917 73260 | 18783 3228 62 | 0.000 % | 718.85/719.19 c | 4936 | 3419 28917 73260 | 20662 4936 72 | 0.000 % | 720.05/720.38 c | 7499 | 3419 28917 73260 | 22728 7499 71 | 0.000 % | 721.65/721.90 c | 11344 | 3419 28917 73260 | 25001 11344 71 | 0.000 % | 724.66/724.93 c | 17111 | 3419 28917 73260 | 27501 17111 93 | 0.000 % | 729.74/730.07 c | 25760 | 3419 28917 73260 | 30251 25760 107 | 0.000 % | 743.14/743.47 c | 38739 | 3419 28917 73260 | 33276 21211 116 | 0.000 % | 760.64/760.92 c | 58200 | 3419 28917 73260 | 36604 20342 96 | 0.000 % | 800.22/800.58 c | 87394 | 3419 28917 73260 | 40264 25932 141 | 0.000 % | 878.91/879.27 c | 131183 | 3419 28917 73260 | 44290 17766 131 | 0.000 % | 1021.16/1021.52 c | 196870 | 3419 28917 73260 | 48720 26463 127 | 0.000 % | 1154.41/1154.86 c =============================================================================== 1156.83/1157.27 c core #448 1156.83/1157.27 c 1156.83/1157.27 c 1156.83/1157.27 c Core size: 275 Core Weight: 1 Total Weight: -147 1156.83/1157.27 c 1156.83/1157.27 c 1156.83/1157.27 c ============================[ Search Statistics ]============================== 1156.83/1157.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1156.83/1157.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1156.83/1157.27 c =============================================================================== 1156.83/1157.27 c | 0 | 3596 28918 73614 | 9639 0 nan | 0.000 % | 1156.92/1157.37 c | 100 | 3596 28918 73614 | 10603 100 30 | 0.000 % | 1157.02/1157.46 c | 252 | 3596 28918 73614 | 11663 252 24 | 0.000 % | 1157.12/1157.50 c =============================================================================== 1157.12/1157.56 c core #449 1157.12/1157.56 c 1157.12/1157.56 c 1157.12/1157.56 c Core size: 42 Core Weight: 1 Total Weight: -146 1157.12/1157.56 c 1157.12/1157.56 c 1157.12/1157.56 c ============================[ Search Statistics ]============================== 1157.12/1157.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1157.12/1157.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1157.12/1157.56 c =============================================================================== 1157.12/1157.56 c | 0 | 3620 28919 73662 | 9639 0 nan | 0.000 % | 1157.22/1157.61 c | 104 | 3620 28919 73662 | 10603 104 15 | 0.000 % | 1157.22/1157.64 c | 255 | 3620 28919 73662 | 11663 255 15 | 0.000 % | 1157.22/1157.69 c | 480 | 3620 28919 73662 | 12830 480 24 | 0.000 % | 1157.41/1157.80 c | 817 | 3620 28919 73662 | 14113 817 27 | 0.000 % | 1157.51/1157.94 c | 1324 | 3620 28919 73662 | 15524 1324 33 | 0.000 % | 1157.72/1158.18 c | 2083 | 3620 28919 73662 | 17077 2083 35 | 0.000 % | 1157.92/1158.38 c | 3222 | 3620 28919 73662 | 18784 3222 46 | 0.000 % | 1158.52/1158.98 c | 4930 | 3620 28919 73662 | 20663 4930 48 | 0.000 % | 1160.12/1160.56 c | 7493 | 3619 28919 73662 | 22729 7483 54 | 0.028 % | 1164.11/1164.50 c | 11338 | 3619 28919 73662 | 25002 11328 69 | 0.028 % | 1168.82/1169.25 c | 17105 | 3619 28919 73662 | 27503 17095 76 | 0.028 % | 1179.70/1180.20 c | 25754 | 3619 28919 73662 | 30253 25744 82 | 0.028 % | 1198.80/1199.29 c | 38728 | 3618 28919 73662 | 33278 21481 89 | 0.055 % | 1224.90/1225.34 c =============================================================================== 1225.29/1225.73 c core #450 1225.29/1225.73 c 1225.29/1225.73 c 1225.29/1225.73 c Core size: 167 Core Weight: 1 Total Weight: -145 1225.29/1225.73 c 1225.29/1225.73 c 1225.29/1225.73 c ============================[ Search Statistics ]============================== 1225.29/1225.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1225.29/1225.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1225.29/1225.73 c =============================================================================== 1225.29/1225.73 c | 0 | 3754 28920 73930 | 9640 0 nan | 0.000 % | 1225.39/1225.81 c | 100 | 3754 28920 73930 | 10604 100 24 | 0.000 % | 1225.39/1225.87 c | 250 | 3754 28920 73930 | 11664 250 25 | 0.000 % | 1225.50/1225.92 c | 475 | 3754 28920 73930 | 12830 475 23 | 0.000 % | 1225.59/1226.00 c | 812 | 3754 28920 73930 | 14113 812 25 | 0.000 % | 1225.69/1226.17 c | 1319 | 3754 28920 73930 | 15525 1319 41 | 0.000 % | 1225.99/1226.42 c | 2081 | 3754 28920 73930 | 17077 2081 58 | 0.000 % | 1226.39/1226.89 c | 3220 | 3754 28920 73930 | 18785 3220 68 | 0.000 % | 1227.20/1227.62 c | 4929 | 3754 28920 73930 | 20664 4929 71 | 0.000 % | 1228.89/1229.37 c | 7492 | 3754 28920 73930 | 22730 7492 80 | 0.000 % | 1232.39/1232.86 c | 11337 | 3754 28920 73930 | 25003 11337 86 | 0.000 % | 1237.69/1238.10 c | 17103 | 3754 28920 73930 | 27504 17103 91 | 0.000 % | 1248.29/1248.79 c | 25753 | 3754 28920 73930 | 30254 25753 98 | 0.000 % | 1266.98/1267.40 c | 38727 | 3754 28920 73930 | 33279 21171 104 | 0.000 % | 1299.16/1299.62 c | 58188 | 3754 28920 73930 | 36607 20033 108 | 0.000 % | 1334.76/1335.26 c | 87384 | 3754 28920 73930 | 40268 25632 76 | 0.000 % | 1388.64/1389.14 c | 131174 | 3648 28920 73930 | 44295 22941 71 | 2.824 % | 1391.24/1391.78 c =============================================================================== 1393.05/1393.53 c core #451 1393.05/1393.53 c 1393.05/1393.53 c 1393.05/1393.53 c Core size: 173 Core Weight: 1 Total Weight: -144 1393.05/1393.53 c 1393.05/1393.53 c 1393.05/1393.53 c ============================[ Search Statistics ]============================== 1393.05/1393.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1393.05/1393.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1393.05/1393.53 c =============================================================================== 1393.05/1393.53 c | 0 | 3888 28921 74198 | 9640 0 nan | 0.000 % | 1393.15/1393.64 c | 101 | 3888 28921 74198 | 10604 101 24 | 0.000 % | 1393.15/1393.69 c | 251 | 3888 28921 74198 | 11664 251 19 | 0.000 % | 1393.25/1393.74 c | 476 | 3888 28921 74198 | 12831 476 20 | 0.000 % | 1393.25/1393.79 c | 814 | 3888 28921 74198 | 14114 814 25 | 0.000 % | 1393.34/1393.89 c | 1322 | 3888 28921 74198 | 15525 1322 30 | 0.000 % | 1393.74/1394.28 c | 2081 | 3888 28921 74198 | 17078 2081 40 | 0.000 % | 1394.34/1394.83 c | 3221 | 3888 28921 74198 | 18786 3221 46 | 0.000 % | 1394.94/1395.47 c | 4929 | 3888 28921 74198 | 20664 4929 52 | 0.000 % | 1396.14/1396.62 c | 7492 | 3888 28921 74198 | 22731 7492 63 | 0.000 % | 1398.53/1399.07 c | 11336 | 3887 28921 74198 | 25004 11330 77 | 0.026 % | 1403.64/1404.14 c | 17102 | 3887 28921 74198 | 27504 17096 90 | 0.026 % | 1411.94/1412.43 c | 25751 | 3887 28921 74198 | 30255 25745 87 | 0.026 % | 1428.93/1429.41 c | 38727 | 3887 28921 74198 | 33281 21375 87 | 0.026 % | 1452.92/1453.46 c | 58189 | 3887 28921 74198 | 36609 21292 98 | 0.026 % | 1500.10/1500.64 c | 87381 | 3887 28921 74198 | 40270 27799 115 | 0.026 % | 1569.78/1570.35 c | 131171 | 3887 28921 74198 | 44297 21816 113 | 0.026 % | 1671.55/1672.15 c | 196857 | 3887 28921 74198 | 48726 30474 98 | 0.026 % |
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-2680675-1277456134/watcher-2680675-1277456134 -o /tmp/evaluation-result-2680675-1277456134/solver-2680675-1277456134 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680675-1277456134.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.98 0.99 3/105 28417 /proc/meminfo: memFree=1853160/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=3224 CPUtime=0 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 300 0 0 0 0 0 0 0 25 0 1 0 86907186 3301376 219 1992294400 134512640 135752675 4291851168 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 806 220 141 303 0 338 0 [startup+0.075141 s] /proc/loadavg: 0.91 0.98 0.99 3/105 28417 /proc/meminfo: memFree=1853160/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=4344 CPUtime=0.07 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 684 0 0 0 7 0 0 0 25 0 1 0 86907186 4448256 603 1992294400 134512640 135752675 4291851168 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 1086 604 269 303 0 618 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4344 [startup+0.101143 s] /proc/loadavg: 0.91 0.98 0.99 3/105 28417 /proc/meminfo: memFree=1853160/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=5836 CPUtime=0.09 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 1242 0 0 0 9 0 0 0 25 0 1 0 86907186 5976064 998 1992294400 134512640 135752675 4291851168 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 1459 998 140 303 0 1154 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5836 [startup+0.301166 s] /proc/loadavg: 0.91 0.98 0.99 3/105 28417 /proc/meminfo: memFree=1853160/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=5704 CPUtime=0.29 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 1626 0 0 0 28 1 0 0 18 0 1 0 86907186 5840896 982 1992294400 134512640 135752675 4291851168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 1426 982 145 303 0 1121 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5704 [startup+0.701211 s] /proc/loadavg: 0.91 0.98 0.99 3/105 28417 /proc/meminfo: memFree=1853160/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=8920 CPUtime=0.7 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 2410 0 0 0 67 3 0 0 18 0 1 0 86907186 9134080 1766 1992294400 134512640 135752675 4291851168 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 2230 1766 145 303 0 1925 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 8920 [startup+1.5013 s] /proc/loadavg: 0.91 0.98 0.99 2/106 28418 /proc/meminfo: memFree=1845092/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=12904 CPUtime=1.49 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 3426 0 0 0 145 4 0 0 18 0 1 0 86907186 13213696 2782 1992294400 134512640 135752675 4291851168 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 3226 2782 145 303 0 2921 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12904 [startup+3.10148 s] /proc/loadavg: 0.91 0.98 0.99 2/106 28418 /proc/meminfo: memFree=1839760/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=18844 CPUtime=3.09 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 4913 0 0 0 304 5 0 0 20 0 1 0 86907186 19296256 4269 1992294400 134512640 135752675 4291851168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 4711 4269 145 303 0 4406 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18844 [startup+6.30184 s] /proc/loadavg: 0.92 0.98 0.99 2/106 28418 /proc/meminfo: memFree=1829716/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=27336 CPUtime=6.29 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 7029 0 0 0 620 9 0 0 25 0 1 0 86907186 27992064 6385 1992294400 134512640 135752675 4291851168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 6834 6385 145 303 0 6529 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27336 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/106 28418 /proc/meminfo: memFree=1808636/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=48040 CPUtime=12.69 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 12192 0 0 0 1255 14 0 0 25 0 1 0 86907186 49192960 11548 1992294400 134512640 135752675 4291851168 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 12010 11548 145 303 0 11705 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48040 [startup+25.501 s] /proc/loadavg: 0.94 0.98 0.99 2/106 28418 /proc/meminfo: memFree=1778752/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=76656 CPUtime=25.48 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 19316 0 0 0 2524 24 0 0 25 0 1 0 86907186 78495744 18672 1992294400 134512640 135752675 4291851168 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 19164 18672 145 303 0 18859 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76656 [startup+51.1009 s] /proc/loadavg: 0.96 0.98 0.99 2/106 28420 /proc/meminfo: memFree=1718984/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=136752 CPUtime=51.07 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 34319 0 0 0 5064 43 0 0 25 0 1 0 86907186 140034048 33675 1992294400 134512640 135752675 4291851168 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 34188 33675 145 303 0 33883 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 136752 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/106 28422 /proc/meminfo: memFree=1662688/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=192248 CPUtime=102.26 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 48156 0 0 0 10162 64 0 0 25 0 1 0 86907186 196861952 47512 1992294400 134512640 135752675 4291851168 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 48062 47512 145 303 0 47757 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 192248 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28422 /proc/meminfo: memFree=1609740/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=245880 CPUtime=162.24 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 61519 0 0 0 16141 83 0 0 25 0 1 0 86907186 251781120 60875 1992294400 134512640 135752675 4291851168 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 61470 60875 145 303 0 61165 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 245880 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28424 /proc/meminfo: memFree=1587048/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=267028 CPUtime=222.22 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 67052 0 0 0 22112 110 0 0 25 0 1 0 86907186 273436672 66316 1992294400 134512640 135752675 4291851168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 66757 66316 146 303 0 66452 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 267028 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28426 /proc/meminfo: memFree=1586800/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=267028 CPUtime=282.2 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 67064 0 0 0 28081 139 0 0 25 0 1 0 86907186 273436672 66328 1992294400 134512640 135752675 4291851168 18446744073709551615 134640288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 66757 66328 146 303 0 66452 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 267028 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28437 /proc/meminfo: memFree=1572544/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=280704 CPUtime=342.17 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 70474 0 0 0 34053 164 0 0 25 0 1 0 86907186 287440896 69738 1992294400 134512640 135752675 4291851168 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 70176 69738 146 303 0 69871 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 280704 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28439 /proc/meminfo: memFree=1547372/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=306428 CPUtime=402.15 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 76843 0 0 0 40024 191 0 0 25 0 1 0 86907186 313782272 76107 1992294400 134512640 135752675 4291851168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 76607 76107 146 303 0 76302 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 306428 [startup+462.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28439 /proc/meminfo: memFree=1527284/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=326480 CPUtime=462.13 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 81826 0 0 0 46000 213 0 0 25 0 1 0 86907186 334315520 81090 1992294400 134512640 135752675 4291851168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 81620 81090 146 303 0 81315 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 326480 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28441 /proc/meminfo: memFree=1507940/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=345580 CPUtime=522.12 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 86619 0 0 0 51975 237 0 0 19 0 1 0 86907186 353873920 85835 1992294400 134512640 135752675 4291851168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 86395 85835 146 303 0 86090 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 345580 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28443 /proc/meminfo: memFree=1505088/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=348604 CPUtime=582.09 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 87476 0 0 0 57939 270 0 0 25 0 1 0 86907186 356970496 86692 1992294400 134512640 135752675 4291851168 18446744073709551615 134605267 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 87151 86692 146 303 0 86846 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 348604 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28445 /proc/meminfo: memFree=1469376/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=383956 CPUtime=642.08 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 96318 0 0 0 63902 306 0 0 25 0 1 0 86907186 393170944 95534 1992294400 134512640 135752675 4291851168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 95989 95534 146 303 0 95684 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 383956 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28449 /proc/meminfo: memFree=1408120/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=445096 CPUtime=822.02 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 111610 0 0 0 81820 382 0 0 25 0 1 0 86907186 455778304 110826 1992294400 134512640 135752675 4291851168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 111274 110826 146 303 0 110969 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 445096 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28451 /proc/meminfo: memFree=1384932/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=468008 CPUtime=882 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 117336 0 0 0 87795 405 0 0 25 0 1 0 86907186 479240192 116552 1992294400 134512640 135752675 4291851168 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 117002 116552 146 303 0 116697 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 468008 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28453 /proc/meminfo: memFree=1367200/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=486432 CPUtime=941.98 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 121909 0 0 0 93776 422 0 0 25 0 1 0 86907186 498106368 121125 1992294400 134512640 135752675 4291851168 18446744073709551615 134639396 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 121608 121125 146 303 0 121303 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 486432 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28455 /proc/meminfo: memFree=1345996/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=507000 CPUtime=1001.97 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 127029 0 0 0 99757 440 0 0 25 0 1 0 86907186 519168000 126245 1992294400 134512640 135752675 4291851168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 126750 126245 146 303 0 126445 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 507000 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28455 /proc/meminfo: memFree=1323180/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=529928 CPUtime=1061.95 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 132768 0 0 0 105729 466 0 0 25 0 1 0 86907186 542646272 131984 1992294400 134512640 135752675 4291851168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 132482 131984 146 303 0 132177 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 529928 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28457 /proc/meminfo: memFree=1310656/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=542448 CPUtime=1121.92 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 135887 0 0 0 111709 483 0 0 25 0 1 0 86907186 555466752 135103 1992294400 134512640 135752675 4291851168 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 135612 135103 146 303 0 135307 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 542448 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28459 /proc/meminfo: memFree=1294536/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=558200 CPUtime=1181.91 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 139797 0 0 0 117681 510 0 0 25 0 1 0 86907186 571596800 139013 1992294400 134512640 135752675 4291851168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 139550 139013 146 303 0 139245 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 558200 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28461 /proc/meminfo: memFree=1293048/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=559364 CPUtime=1241.89 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 140160 0 0 0 123657 532 0 0 25 0 1 0 86907186 572788736 139376 1992294400 134512640 135752675 4291851168 18446744073709551615 134605519 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 139841 139376 146 303 0 139536 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 559364 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28463 /proc/meminfo: memFree=1275688/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=576396 CPUtime=1301.88 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 144411 0 0 0 129634 554 0 0 25 0 1 0 86907186 590229504 143627 1992294400 134512640 135752675 4291851168 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 144099 143627 146 303 0 143794 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 576396 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28463 /proc/meminfo: memFree=1257584/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=594576 CPUtime=1361.85 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 148978 0 0 0 135603 582 0 0 25 0 1 0 86907186 608845824 148194 1992294400 134512640 135752675 4291851168 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 148644 148194 146 303 0 148339 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 594576 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28465 /proc/meminfo: memFree=1247912/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=604180 CPUtime=1421.83 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 151366 0 0 0 141577 606 0 0 25 0 1 0 86907186 618680320 150582 1992294400 134512640 135752675 4291851168 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 151045 150582 146 303 0 150740 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 604180 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28467 /proc/meminfo: memFree=1227700/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=624476 CPUtime=1481.8 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 156456 0 0 0 147548 632 0 0 25 0 1 0 86907186 639463424 155672 1992294400 134512640 135752675 4291851168 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 156119 155672 146 303 0 155814 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 624476 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28469 /proc/meminfo: memFree=1204636/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=647356 CPUtime=1541.79 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 162166 0 0 0 153523 656 0 0 25 0 1 0 86907186 662892544 161382 1992294400 134512640 135752675 4291851168 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 161839 161382 146 303 0 161534 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 647356 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28471 /proc/meminfo: memFree=1184920/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=667092 CPUtime=1601.78 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 167078 0 0 0 159500 678 0 0 25 0 1 0 86907186 683102208 166294 1992294400 134512640 135752675 4291851168 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 166773 166294 146 303 0 166468 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 667092 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28471 /proc/meminfo: memFree=1160988/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=691112 CPUtime=1661.75 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 173052 0 0 0 165471 704 0 0 25 0 1 0 86907186 707698688 172268 1992294400 134512640 135752675 4291851168 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 172778 172268 146 303 0 172473 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 691112 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28473 /proc/meminfo: memFree=1143132/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=709076 CPUtime=1721.73 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 177553 0 0 0 171449 724 0 0 25 0 1 0 86907186 726093824 176769 1992294400 134512640 135752675 4291851168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 177269 176769 146 303 0 176964 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 709076 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28475 /proc/meminfo: memFree=1116224/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=735528 CPUtime=1781.72 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 184135 0 0 0 177420 752 0 0 25 0 1 0 86907186 753180672 183351 1992294400 134512640 135752675 4291851168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 183882 183351 146 303 0 183577 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 735528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/106 28475 /proc/meminfo: memFree=1109900/2059040 swapFree=4140316/4192956 [pid=28417] ppid=28415 vsize=741836 CPUtime=1800.03 /proc/28417/stat : 28417 (wbo1.4b) R 28415 28417 28151 0 -1 4202496 185697 0 0 0 179245 758 0 0 25 0 1 0 86907186 759640064 184913 1992294400 134512640 135752675 4291851168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28417/statm: 185459 184913 146 303 0 185154 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 741836 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.68 CPU time (s): 1800.11 CPU user time (s): 1792.45 CPU system time (s): 7.65484 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 741836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.45 system time used= 7.65484 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 185697 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 104 involuntary context switches= 2556 runsolver used 3.08353 second user time and 8.46071 second system time The end
Begin job on node085 at 2010-06-25 10:55:34 IDJOB=2680675 IDBENCH=2273 IDSOLVER=1190 FILE ID=node085/2680675-1277456134 PBS_JOBID= 11188105 Free space on /tmp= 121676 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680675-1277456134/watcher-2680675-1277456134 -o /tmp/evaluation-result-2680675-1277456134/solver-2680675-1277456134 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680675-1277456134.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8 RANDOM SEED=2052467025 node085.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 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.44 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.221 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853564 kB Buffers: 14936 kB Cached: 102892 kB SwapCached: 5344 kB Active: 30924 kB Inactive: 99848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853564 kB SwapTotal: 4192956 kB SwapFree: 4140316 kB Dirty: 3244 kB Writeback: 0 kB AnonPages: 11628 kB Mapped: 12064 kB Slab: 52876 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182264 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121672 MiB End job on node085 at 2010-06-25 11:25:36