Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.09 | 1800.58 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb |
MD5SUM | 7f24dba3f3d4b877b96bd50f5b27c089 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -33 |
Best CPU time to get the best result obtained on this benchmark | 1789.78 |
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 | 28143 |
Number of constraints which are clauses | 28143 |
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-2680708-1277456032.opb. 0.00/0.00 c Instance file HOME/instance-2680708-1277456032.opb 0.00/0.00 c File size is 669646 bytes. 0.06/0.08 c Highest Coefficient sum: 3 0.06/0.08 c ============================[ Problem Statistics ]============================= 0.06/0.08 c | | 0.06/0.08 c | Parsing time: 0.08 s | 0.06/0.08 c | Number Variables: 595 | 0.06/0.08 c | Number Clauses: 28143 | 0.06/0.08 c | Number Cardinality: 0 | 0.06/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 28143 56286 | 9381 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.141978 s Remaining CPU time: 179.858 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 595 28144 56881 | 9381 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.143978 s Remaining CPU time: 179.856 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 595 28145 57476 | 9381 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.147977 s Remaining CPU time: 179.852 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 9 | 595 28146 58071 | 9382 9 589 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -3 0.09/0.17 o -3 0.09/0.17 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 80 | 595 28147 58666 | 9382 80 588 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -4 0.09/0.18 o -4 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 149 | 595 28148 59261 | 9382 149 588 | 0.000 % | 0.19/0.20 c | 251 | 595 28148 59261 | 10320 251 588 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -5 0.19/0.21 o -5 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 292 | 595 28149 59856 | 9383 292 587 | 0.000 % | 0.19/0.23 c | 394 | 595 28149 59856 | 10321 394 587 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -6 0.19/0.24 o -6 0.19/0.24 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 417 | 595 28150 60451 | 9383 417 587 | 0.000 % | 0.19/0.26 c | 517 | 595 28150 60451 | 10321 517 587 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -7 0.19/0.27 o -7 0.19/0.27 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 525 | 595 28151 61046 | 9383 525 587 | 0.000 % | 0.19/0.29 c | 626 | 595 28151 61046 | 10322 626 586 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -8 0.29/0.30 o -8 0.29/0.30 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 691 | 595 28152 61641 | 9384 691 586 | 0.000 % | 0.29/0.33 c | 792 | 595 28152 61641 | 10322 792 586 | 0.000 % | 0.29/0.37 c | 943 | 595 28152 61641 | 11354 943 585 | 0.000 % | 0.39/0.43 c | 1168 | 595 28152 61641 | 12490 1168 585 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: -9 0.39/0.45 o -9 0.39/0.45 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 1272 | 595 28153 62236 | 9384 1272 585 | 0.000 % | 0.39/0.48 c | 1374 | 595 28153 62236 | 10322 1374 584 | 0.000 % | 0.49/0.52 c | 1524 | 595 28153 62236 | 11355 1524 584 | 0.000 % | 0.49/0.59 c | 1749 | 595 28153 62236 | 12490 1749 584 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: -10 0.59/0.63 o -10 0.59/0.63 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 1901 | 595 28154 62831 | 9384 1901 584 | 0.000 % | 0.59/0.68 c | 2002 | 595 28154 62831 | 10323 2002 584 | 0.000 % | 0.69/0.73 c | 2152 | 595 28154 62831 | 11355 2152 583 | 0.000 % | 0.79/0.80 c | 2377 | 595 28154 62831 | 12490 2377 583 | 0.000 % | 0.89/0.94 c | 2714 | 595 28154 62831 | 13740 2714 583 | 0.000 % | 1.10/1.15 c | 3220 | 595 28154 62831 | 15114 3220 583 | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c New solution: -11 1.29/1.31 o -11 1.29/1.31 c Elapsed CPU time: 1.27981 s Remaining CPU time: 178.72 s 1.29/1.31 c =============================================================================== 1.29/1.31 c | 3513 | 595 28155 63426 | 9385 3513 583 | 0.000 % | 1.29/1.36 c | 3613 | 595 28155 63426 | 10323 3613 582 | 0.000 % | 1.39/1.45 c | 3767 | 595 28155 63426 | 11355 3767 582 | 0.000 % | 1.59/1.61 c | 3992 | 595 28155 63426 | 12491 3992 582 | 0.000 % | 1.69/1.78 c | 4330 | 595 28155 63426 | 13740 4330 582 | 0.000 % | 1.89/1.95 c | 4838 | 595 28155 63426 | 15114 4838 582 | 0.000 % | 2.20/2.23 c | 5599 | 595 28155 63426 | 16626 5599 582 | 0.000 % | 2.89/2.92 c | 6738 | 595 28155 63426 | 18288 6738 581 | 0.000 % | 3.09/3.14 c =============================================================================== 3.09/3.14 c New solution: -12 3.09/3.14 o -12 3.09/3.14 c Elapsed CPU time: 3.08253 s Remaining CPU time: 176.917 s 3.09/3.14 c =============================================================================== 3.09/3.14 c | 7116 | 595 28156 64021 | 9385 7116 581 | 0.000 % | 3.20/3.20 c | 7216 | 595 28156 64021 | 10323 7216 581 | 0.000 % | 3.20/3.29 c | 7367 | 595 28156 64021 | 11356 7367 581 | 0.000 % | 3.39/3.46 c | 7592 | 595 28156 64021 | 12491 7592 581 | 0.000 % | 3.69/3.77 c | 7929 | 595 28156 64021 | 13741 7929 581 | 0.000 % | 4.10/4.18 c | 8435 | 595 28156 64021 | 15115 8435 581 | 0.000 % | 4.89/4.91 c | 9195 | 595 28156 64021 | 16626 9195 581 | 0.000 % | 5.40/5.50 c | 10334 | 595 28156 64021 | 18289 10334 581 | 0.000 % | 5.59/5.66 c =============================================================================== 5.59/5.66 c New solution: -13 5.59/5.66 o -13 5.59/5.66 c Elapsed CPU time: 5.57715 s Remaining CPU time: 174.423 s 5.59/5.66 c =============================================================================== 5.59/5.66 c | 10570 | 595 28157 64616 | 9385 10570 581 | 0.000 % | 5.69/5.76 c | 10674 | 595 28157 64616 | 10324 5389 579 | 0.000 % | 5.79/5.86 c | 10824 | 595 28157 64616 | 11356 5539 579 | 0.000 % | 5.90/5.96 c | 11050 | 595 28157 64616 | 12492 5765 579 | 0.000 % | 5.99/6.10 c | 11388 | 595 28157 64616 | 13741 6103 579 | 0.000 % | 6.29/6.31 c =============================================================================== 6.29/6.31 c New solution: -14 6.29/6.31 o -14 6.29/6.31 c Elapsed CPU time: 6.21505 s Remaining CPU time: 173.785 s 6.29/6.31 c =============================================================================== 6.29/6.31 c | 11732 | 595 28158 65211 | 9386 6447 579 | 0.000 % | 6.29/6.36 c | 11833 | 595 28158 65211 | 10324 6548 579 | 0.000 % | 6.39/6.43 c | 11983 | 595 28158 65211 | 11357 6698 579 | 0.000 % | 6.50/6.55 c | 12209 | 595 28158 65211 | 12492 6924 579 | 0.000 % | 6.59/6.69 c | 12547 | 595 28158 65211 | 13742 7262 579 | 0.000 % | 6.99/7.07 c | 13054 | 595 28158 65211 | 15116 7769 579 | 0.000 % | 7.59/7.69 c | 13814 | 595 28158 65211 | 16627 8529 579 | 0.000 % | 8.49/8.53 c | 14953 | 595 28158 65211 | 18290 9668 579 | 0.000 % | 10.39/10.45 c | 16661 | 595 28158 65211 | 20119 11376 579 | 0.000 % | 10.90/10.95 c =============================================================================== 10.90/10.95 c New solution: -15 10.90/10.95 o -15 10.90/10.95 c Elapsed CPU time: 10.8224 s Remaining CPU time: 169.178 s 10.90/10.95 c =============================================================================== 10.90/10.95 c | 17147 | 595 28159 65806 | 9386 11862 579 | 0.000 % | 11.09/11.10 c | 17247 | 595 28159 65806 | 10324 6031 578 | 0.000 % | 11.19/11.24 c | 17399 | 595 28159 65806 | 11357 6183 578 | 0.000 % | 11.39/11.41 c | 17625 | 595 28159 65806 | 12493 6409 578 | 0.000 % | 11.59/11.69 c | 17962 | 595 28159 65806 | 13742 6746 578 | 0.000 % | 11.99/12.03 c | 18469 | 595 28159 65806 | 15116 7253 578 | 0.000 % | 12.79/12.81 c | 19228 | 595 28159 65806 | 16628 8012 578 | 0.000 % | 13.88/13.98 c | 20368 | 595 28159 65806 | 18291 9152 578 | 0.000 % | 17.18/17.29 c | 22077 | 595 28159 65806 | 20120 10861 577 | 0.000 % | 24.28/24.34 c | 24640 | 595 28159 65806 | 22132 13424 577 | 0.000 % | 38.28/38.38 c | 28484 | 595 28159 65806 | 24345 17268 577 | 0.000 % | 43.38/43.49 c =============================================================================== 43.38/43.49 c New solution: -16 43.38/43.49 o -16 43.38/43.49 c Elapsed CPU time: 43.2224 s Remaining CPU time: 136.778 s 43.38/43.49 c =============================================================================== 43.38/43.49 c | 29354 | 595 28160 66401 | 9386 18138 577 | 0.000 % | 43.78/43.81 c | 29456 | 595 28160 66401 | 10325 9171 577 | 0.000 % | 43.98/44.06 c | 29608 | 595 28160 66401 | 11357 9323 577 | 0.000 % | 44.68/44.77 c | 29835 | 595 28160 66401 | 12493 9550 577 | 0.000 % | 45.98/46.01 c | 30173 | 595 28160 66401 | 13743 9888 577 | 0.000 % | 47.78/47.90 c | 30679 | 595 28160 66401 | 15117 10394 577 | 0.000 % | 49.49/49.53 c | 31438 | 595 28160 66401 | 16629 11153 577 | 0.000 % | 53.88/53.98 c | 32580 | 595 28160 66401 | 18291 12295 576 | 0.000 % | 60.67/60.71 c | 34289 | 595 28160 66401 | 20121 14004 576 | 0.000 % | 67.57/67.66 c =============================================================================== 67.57/67.66 c New solution: -17 67.57/67.66 o -17 67.57/67.66 c Elapsed CPU time: 67.3248 s Remaining CPU time: 112.675 s 67.57/67.66 c =============================================================================== 67.57/67.66 c | 35683 | 595 28161 66996 | 9387 15398 576 | 0.000 % | 67.78/67.86 c | 35784 | 595 28161 66996 | 10325 7800 575 | 0.000 % | 68.18/68.24 c | 35937 | 595 28161 66996 | 11358 7953 575 | 0.000 % | 68.48/68.59 c | 36162 | 595 28161 66996 | 12494 8178 575 | 0.000 % | 68.77/68.80 c | 36502 | 595 28161 66996 | 13743 8518 575 | 0.000 % | 69.18/69.29 c | 37008 | 595 28161 66996 | 15117 9024 575 | 0.000 % | 71.17/71.23 c | 37769 | 595 28161 66996 | 16629 9785 575 | 0.000 % | 74.27/74.33 c | 38908 | 595 28161 66996 | 18292 10924 575 | 0.000 % | 77.17/77.21 c | 40617 | 595 28161 66996 | 20121 12633 575 | 0.000 % | 82.67/82.77 c | 43179 | 595 28161 66996 | 22134 15195 575 | 0.000 % | 93.97/94.08 c | 47023 | 595 28161 66996 | 24347 19039 575 | 0.000 % | 95.67/95.73 c =============================================================================== 95.67/95.73 c New solution: -18 95.67/95.73 o -18 95.67/95.73 c Elapsed CPU time: 95.2825 s Remaining CPU time: 84.7175 s 95.67/95.73 c =============================================================================== 95.67/95.73 c | 48444 | 595 28162 67591 | 9387 20460 575 | 0.000 % | 96.16/96.21 c | 48544 | 595 28162 67591 | 10326 5215 575 | 0.000 % | 96.16/96.26 c =============================================================================== 96.16/96.26 c New solution: -19 96.16/96.26 o -19 96.16/96.26 c Elapsed CPU time: 95.8124 s Remaining CPU time: 84.1876 s 96.16/96.26 c =============================================================================== 96.16/96.26 c | 48627 | 595 28163 68186 | 9387 5298 575 | 0.000 % | 96.26/96.34 c | 48727 | 595 28163 68186 | 10326 5398 575 | 0.000 % | 96.36/96.47 c | 48877 | 595 28163 68186 | 11359 5548 574 | 0.000 % | 96.56/96.65 c | 49104 | 595 28163 68186 | 12494 5775 574 | 0.000 % | 96.97/97.03 c | 49441 | 595 28163 68186 | 13744 6112 574 | 0.000 % | 97.47/97.54 c | 49947 | 595 28163 68186 | 15118 6618 574 | 0.000 % | 98.36/98.43 c | 50707 | 595 28163 68186 | 16630 7378 574 | 0.000 % | 99.97/100.07 c | 51848 | 595 28163 68186 | 18293 8519 574 | 0.000 % | 101.57/101.64 c | 53557 | 595 28163 68186 | 20123 10228 574 | 0.000 % | 104.27/104.39 c | 56121 | 595 28163 68186 | 22135 12792 573 | 0.000 % | 110.36/110.48 c | 59965 | 595 28163 68186 | 24349 16636 573 | 0.000 % | 122.86/122.95 c | 65733 | 595 28163 68186 | 26784 22404 573 | 0.000 % | 144.15/144.29 c | 74385 | 595 28163 68186 | 29462 14579 573 | 0.000 % | 180.64/180.74 c There are 0 assigned variables. 0 in cost function. 182.34/182.48 c core #1 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -594 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #2 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -593 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #3 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -592 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #4 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -591 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #5 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -590 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #6 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -589 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #7 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -588 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #8 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -587 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #9 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -586 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #10 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -585 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #11 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -584 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #12 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -583 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #13 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -582 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #14 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -581 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #15 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -580 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #16 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -579 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #17 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -578 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #18 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -577 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #19 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -576 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #20 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -575 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #21 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -574 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #22 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -573 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #23 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -572 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #24 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -571 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #25 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -570 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #26 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -569 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #27 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -568 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #28 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -567 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #29 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -566 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #30 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -565 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #31 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -564 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #32 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -563 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #33 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -562 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #34 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -561 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #35 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -560 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #36 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -559 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #37 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -558 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #38 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -557 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #39 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -556 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #40 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -555 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #41 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -554 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #42 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -553 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #43 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -552 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #44 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -551 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #45 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -550 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #46 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -549 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #47 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -548 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #48 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -547 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #49 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -546 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #50 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -545 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #51 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -544 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #52 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -543 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #53 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -542 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #54 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -541 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #55 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -540 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #56 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -539 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #57 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -538 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #58 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -537 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c core #59 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 3 Core Weight: 1 Total Weight: -536 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #60 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -535 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #61 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -534 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #62 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -533 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #63 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -532 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #64 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -531 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #65 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -530 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #66 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -529 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #67 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -528 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #68 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -527 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #69 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -526 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #70 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -525 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #71 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -524 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #72 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -523 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #73 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -522 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #74 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -521 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #75 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -520 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #76 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -519 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #77 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -518 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #78 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -517 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #79 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -516 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #80 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -515 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #81 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -514 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #82 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -513 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #83 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -512 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #84 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -511 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #85 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -510 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #86 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -509 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #87 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -508 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #88 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -507 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #89 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -506 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #90 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -505 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #91 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -504 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #92 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -503 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #93 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -502 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #94 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -501 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #95 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -500 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #96 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -499 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #97 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -498 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #98 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -497 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #99 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -496 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #100 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -495 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #101 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -494 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #102 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -493 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #103 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -492 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #104 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -491 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #105 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -490 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #106 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -489 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #107 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -488 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #108 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -487 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #109 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -486 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #110 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -485 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #111 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -484 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #112 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -483 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #113 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -482 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #114 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -481 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #115 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -480 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #116 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -479 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c core #117 184.14/184.24 c 184.14/184.24 c 184.14/184.24 c Core size: 3 Core Weight: 1 Total Weight: -478 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #118 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -477 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #119 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -476 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #120 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -475 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #121 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -474 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #122 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -473 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #123 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -472 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #124 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -471 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #125 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -470 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #126 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -469 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #127 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -468 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #128 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -467 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #129 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -466 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #130 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -465 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #131 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -464 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #132 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -463 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #133 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -462 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #134 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -461 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #135 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -460 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #136 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -459 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #137 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -458 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #138 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -457 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #139 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -456 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #140 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -455 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #141 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -454 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #142 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -453 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #143 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -452 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #144 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -451 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #145 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -450 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #146 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -449 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #147 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -448 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #148 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -447 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #149 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -446 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #150 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -445 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #151 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -444 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #152 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -443 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #153 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -442 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #154 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -441 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #155 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -440 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #156 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -439 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #157 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -438 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #158 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -437 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #159 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -436 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #160 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -435 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #161 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -434 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #162 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -433 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #163 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -432 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #164 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -431 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #165 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -430 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #166 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -429 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #167 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -428 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #168 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -427 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #169 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -426 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #170 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -425 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #171 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -424 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #172 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -423 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #173 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -422 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #174 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -421 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c core #175 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 3 Core Weight: 1 Total Weight: -420 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #176 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -419 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #177 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -418 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #178 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -417 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #179 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -416 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #180 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -415 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #181 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -414 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #182 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -413 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #183 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -412 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #184 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -411 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #185 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -410 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #186 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -409 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #187 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -408 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #188 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -407 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #189 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -406 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #190 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -405 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #191 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -404 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #192 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -403 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #193 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -402 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #194 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -401 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #195 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -400 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #196 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -399 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #197 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -398 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #198 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -397 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #199 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -396 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #200 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -395 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #201 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -394 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #202 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -393 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #203 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -392 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c core #204 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 3 Core Weight: 1 Total Weight: -391 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #205 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -390 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #206 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -389 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #207 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -388 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #208 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -387 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #209 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -386 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #210 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -385 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #211 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -384 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #212 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -383 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #213 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -382 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #214 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -381 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #215 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -380 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #216 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -379 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #217 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -378 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #218 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -377 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #219 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -376 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #220 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -375 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #221 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -374 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #222 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -373 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #223 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -372 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #224 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -371 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #225 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -370 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #226 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -369 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #227 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -368 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #228 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -367 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #229 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -366 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #230 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -365 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #231 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -364 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #232 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -363 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c core #233 188.05/188.16 c 188.05/188.16 c 188.05/188.16 c Core size: 3 Core Weight: 1 Total Weight: -362 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #234 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -361 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #235 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -360 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #236 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -359 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #237 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -358 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #238 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -357 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #239 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -356 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #240 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -355 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #241 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -354 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #242 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -353 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #243 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -352 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #244 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -351 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #245 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -350 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #246 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -349 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #247 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -348 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #248 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -347 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #249 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -346 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #250 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -345 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #251 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -344 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #252 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -343 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #253 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -342 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #254 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -341 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #255 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -340 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #256 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -339 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #257 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -338 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #258 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -337 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #259 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -336 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #260 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -335 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #261 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -334 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #262 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -333 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #263 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -332 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #264 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -331 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #265 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -330 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #266 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -329 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #267 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -328 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #268 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -327 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #269 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -326 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #270 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -325 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #271 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -324 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #272 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -323 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #273 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -322 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #274 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -321 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #275 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -320 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #276 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -319 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #277 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -318 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #278 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -317 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #279 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -316 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #280 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -315 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #281 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -314 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #282 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -313 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #283 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -312 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #284 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -311 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #285 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -310 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #286 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -309 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #287 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -308 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #288 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -307 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #289 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -306 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c core #290 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 3 Core Weight: 1 Total Weight: -305 190.25/190.35 c 190.64/190.73 c 190.64/190.73 c core #291 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -304 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #292 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -303 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #293 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -302 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #294 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -301 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #295 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -300 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #296 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -299 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #297 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -298 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #298 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 10 Core Weight: 1 Total Weight: -297 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c ============================[ Search Statistics ]============================== 190.64/190.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.64/190.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.64/190.73 c =============================================================================== 190.64/190.73 c | 0 | 1194 29056 69979 | 9685 0 nan | 0.000 % | 190.64/190.74 c =============================================================================== 190.64/190.78 c core #299 190.64/190.78 c 190.64/190.78 c 190.64/190.78 c Core size: 10 Core Weight: 1 Total Weight: -296 190.64/190.78 c 190.64/190.78 c 190.64/190.78 c ============================[ Search Statistics ]============================== 190.64/190.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.64/190.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.64/190.78 c =============================================================================== 190.64/190.78 c | 0 | 1200 29057 69991 | 9685 0 nan | 0.000 % | 190.64/190.79 c =============================================================================== 190.74/190.84 c core #300 190.74/190.84 c 190.74/190.84 c 190.74/190.84 c Core size: 10 Core Weight: 1 Total Weight: -295 190.74/190.84 c 190.74/190.84 c 190.74/190.84 c ============================[ Search Statistics ]============================== 190.74/190.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.74/190.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.74/190.84 c =============================================================================== 190.74/190.84 c | 0 | 1207 29058 70005 | 9686 0 nan | 0.000 % | 190.74/190.85 c =============================================================================== 190.74/190.89 c core #301 190.74/190.89 c 190.74/190.89 c 190.74/190.89 c Core size: 8 Core Weight: 1 Total Weight: -294 190.74/190.89 c 190.74/190.89 c 190.74/190.89 c ============================[ Search Statistics ]============================== 190.74/190.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.74/190.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.74/190.89 c =============================================================================== 190.74/190.89 c | 0 | 1211 29059 70013 | 9686 0 nan | 0.000 % | 190.84/190.90 c =============================================================================== 190.84/190.95 c core #302 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c Core size: 14 Core Weight: 1 Total Weight: -293 190.84/190.95 c 190.84/190.95 c 190.84/190.95 c ============================[ Search Statistics ]============================== 190.84/190.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.84/190.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.84/190.95 c =============================================================================== 190.84/190.95 c | 0 | 1222 29060 70035 | 9686 0 nan | 0.000 % | 190.84/190.96 c =============================================================================== 190.94/191.00 c core #303 190.94/191.00 c 190.94/191.00 c 190.94/191.00 c Core size: 10 Core Weight: 1 Total Weight: -292 190.94/191.00 c 190.94/191.00 c 190.94/191.00 c ============================[ Search Statistics ]============================== 190.94/191.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.94/191.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.94/191.00 c =============================================================================== 190.94/191.00 c | 0 | 1228 29061 70047 | 9687 0 nan | 0.000 % | 190.94/191.02 c =============================================================================== 190.94/191.06 c core #304 190.94/191.06 c 190.94/191.06 c 190.94/191.06 c Core size: 10 Core Weight: 1 Total Weight: -291 190.94/191.06 c 190.94/191.06 c 190.94/191.06 c ============================[ Search Statistics ]============================== 190.94/191.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.94/191.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.94/191.06 c =============================================================================== 190.94/191.06 c | 0 | 1234 29062 70059 | 9687 0 nan | 0.000 % | 190.94/191.08 c =============================================================================== 191.04/191.12 c core #305 191.04/191.12 c 191.04/191.12 c 191.04/191.12 c Core size: 15 Core Weight: 1 Total Weight: -290 191.04/191.12 c 191.04/191.12 c 191.04/191.12 c ============================[ Search Statistics ]============================== 191.04/191.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.04/191.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.04/191.12 c =============================================================================== 191.04/191.12 c | 0 | 1246 29063 70083 | 9687 0 nan | 0.000 % | 191.04/191.13 c =============================================================================== 191.04/191.17 c core #306 191.04/191.17 c 191.04/191.17 c 191.04/191.17 c Core size: 10 Core Weight: 1 Total Weight: -289 191.04/191.17 c 191.04/191.17 c 191.04/191.17 c ============================[ Search Statistics ]============================== 191.04/191.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.04/191.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.04/191.17 c =============================================================================== 191.04/191.17 c | 0 | 1252 29064 70095 | 9688 0 nan | 0.000 % | 191.04/191.19 c =============================================================================== 191.14/191.23 c core #307 191.14/191.23 c 191.14/191.23 c 191.14/191.23 c Core size: 10 Core Weight: 1 Total Weight: -288 191.14/191.23 c 191.14/191.23 c 191.14/191.23 c ============================[ Search Statistics ]============================== 191.14/191.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.14/191.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.14/191.23 c =============================================================================== 191.14/191.23 c | 0 | 1258 29065 70107 | 9688 0 nan | 0.000 % | 191.14/191.25 c =============================================================================== 191.14/191.29 c core #308 191.14/191.29 c 191.14/191.29 c 191.14/191.29 c Core size: 10 Core Weight: 1 Total Weight: -287 191.14/191.29 c 191.14/191.29 c 191.14/191.29 c ============================[ Search Statistics ]============================== 191.14/191.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.14/191.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.14/191.29 c =============================================================================== 191.14/191.29 c | 0 | 1264 29066 70119 | 9688 0 nan | 0.000 % | 191.25/191.30 c =============================================================================== 191.25/191.35 c core #309 191.25/191.35 c 191.25/191.35 c 191.25/191.35 c Core size: 10 Core Weight: 1 Total Weight: -286 191.25/191.35 c 191.25/191.35 c 191.25/191.35 c ============================[ Search Statistics ]============================== 191.25/191.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.25/191.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.25/191.35 c =============================================================================== 191.25/191.35 c | 0 | 1270 29067 70131 | 9689 0 nan | 0.000 % | 191.25/191.36 c =============================================================================== 191.35/191.40 c core #310 191.35/191.40 c 191.35/191.40 c 191.35/191.40 c Core size: 10 Core Weight: 1 Total Weight: -285 191.35/191.40 c 191.35/191.40 c 191.35/191.40 c ============================[ Search Statistics ]============================== 191.35/191.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.35/191.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.35/191.40 c =============================================================================== 191.35/191.40 c | 0 | 1276 29068 70143 | 9689 0 nan | 0.000 % | 191.35/191.42 c =============================================================================== 191.35/191.46 c core #311 191.35/191.46 c 191.35/191.46 c 191.35/191.46 c Core size: 8 Core Weight: 1 Total Weight: -284 191.35/191.46 c 191.35/191.46 c 191.35/191.46 c ============================[ Search Statistics ]============================== 191.35/191.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.35/191.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.35/191.46 c =============================================================================== 191.35/191.46 c | 0 | 1280 29069 70151 | 9689 0 nan | 0.000 % | 191.35/191.47 c =============================================================================== 191.44/191.52 c core #312 191.44/191.52 c 191.44/191.52 c 191.44/191.52 c Core size: 10 Core Weight: 1 Total Weight: -283 191.44/191.52 c 191.44/191.52 c 191.44/191.52 c ============================[ Search Statistics ]============================== 191.44/191.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.44/191.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.44/191.52 c =============================================================================== 191.44/191.52 c | 0 | 1286 29070 70163 | 9690 0 nan | 0.000 % | 191.44/191.53 c =============================================================================== 191.44/191.57 c core #313 191.44/191.57 c 191.44/191.57 c 191.44/191.57 c Core size: 10 Core Weight: 1 Total Weight: -282 191.44/191.57 c 191.44/191.57 c 191.44/191.57 c ============================[ Search Statistics ]============================== 191.44/191.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.44/191.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.44/191.57 c =============================================================================== 191.44/191.57 c | 0 | 1292 29071 70175 | 9690 0 nan | 0.000 % | 191.44/191.58 c =============================================================================== 191.54/191.62 c core #314 191.54/191.62 c 191.54/191.62 c 191.54/191.62 c Core size: 10 Core Weight: 1 Total Weight: -281 191.54/191.62 c 191.54/191.62 c 191.54/191.62 c ============================[ Search Statistics ]============================== 191.54/191.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.54/191.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.54/191.62 c =============================================================================== 191.54/191.62 c | 0 | 1298 29072 70187 | 9690 0 nan | 0.000 % | 191.54/191.63 c =============================================================================== 191.54/191.68 c core #315 191.54/191.68 c 191.54/191.68 c 191.54/191.68 c Core size: 8 Core Weight: 1 Total Weight: -280 191.54/191.68 c 191.54/191.68 c 191.54/191.68 c ============================[ Search Statistics ]============================== 191.54/191.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.54/191.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.54/191.68 c =============================================================================== 191.54/191.68 c | 0 | 1302 29073 70195 | 9691 0 nan | 0.000 % | 191.54/191.69 c =============================================================================== 191.64/191.73 c core #316 191.64/191.73 c 191.64/191.73 c 191.64/191.73 c Core size: 10 Core Weight: 1 Total Weight: -279 191.64/191.73 c 191.64/191.73 c 191.64/191.73 c ============================[ Search Statistics ]============================== 191.64/191.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.73 c =============================================================================== 191.64/191.73 c | 0 | 1308 29074 70207 | 9691 0 nan | 0.000 % | 191.64/191.74 c =============================================================================== 191.64/191.78 c core #317 191.64/191.78 c 191.64/191.78 c 191.64/191.78 c Core size: 10 Core Weight: 1 Total Weight: -278 191.64/191.78 c 191.64/191.78 c 191.64/191.78 c ============================[ Search Statistics ]============================== 191.64/191.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.78 c =============================================================================== 191.64/191.78 c | 0 | 1314 29075 70219 | 9691 0 nan | 0.000 % | 191.64/191.79 c =============================================================================== 191.74/191.84 c core #318 191.74/191.84 c 191.74/191.84 c 191.74/191.84 c Core size: 8 Core Weight: 1 Total Weight: -277 191.74/191.84 c 191.74/191.84 c 191.74/191.84 c ============================[ Search Statistics ]============================== 191.74/191.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.84 c =============================================================================== 191.74/191.84 c | 0 | 1318 29076 70227 | 9692 0 nan | 0.000 % | 191.74/191.85 c =============================================================================== 191.74/191.89 c core #319 191.74/191.89 c 191.74/191.89 c 191.74/191.89 c Core size: 10 Core Weight: 1 Total Weight: -276 191.74/191.89 c 191.74/191.89 c 191.74/191.89 c ============================[ Search Statistics ]============================== 191.74/191.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.89 c =============================================================================== 191.74/191.89 c | 0 | 1324 29077 70239 | 9692 0 nan | 0.000 % | 191.84/191.90 c =============================================================================== 191.84/191.95 c core #320 191.84/191.95 c 191.84/191.95 c 191.84/191.95 c Core size: 11 Core Weight: 1 Total Weight: -275 191.84/191.95 c 191.84/191.95 c 191.84/191.95 c ============================[ Search Statistics ]============================== 191.84/191.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.84/191.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.84/191.95 c =============================================================================== 191.84/191.95 c | 0 | 1332 29078 70255 | 9692 0 nan | 0.000 % | 191.84/191.96 c =============================================================================== 191.94/192.00 c core #321 191.94/192.00 c 191.94/192.00 c 191.94/192.00 c Core size: 8 Core Weight: 1 Total Weight: -274 191.94/192.00 c 191.94/192.00 c 191.94/192.00 c ============================[ Search Statistics ]============================== 191.94/192.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.94/192.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.94/192.00 c =============================================================================== 191.94/192.00 c | 0 | 1336 29079 70263 | 9693 0 nan | 0.000 % | 191.94/192.01 c =============================================================================== 191.94/192.06 c core #322 191.94/192.06 c 191.94/192.06 c 191.94/192.06 c Core size: 9 Core Weight: 1 Total Weight: -273 191.94/192.06 c 191.94/192.06 c 191.94/192.06 c ============================[ Search Statistics ]============================== 191.94/192.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.94/192.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.94/192.06 c =============================================================================== 191.94/192.06 c | 0 | 1342 29080 70275 | 9693 0 nan | 0.000 % | 191.94/192.07 c =============================================================================== 192.04/192.11 c core #323 192.04/192.11 c 192.04/192.11 c 192.04/192.11 c Core size: 15 Core Weight: 1 Total Weight: -272 192.04/192.11 c 192.04/192.11 c 192.04/192.11 c ============================[ Search Statistics ]============================== 192.04/192.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.04/192.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.04/192.11 c =============================================================================== 192.04/192.11 c | 0 | 1354 29081 70299 | 9693 0 nan | 0.000 % | 192.04/192.12 c =============================================================================== 192.04/192.17 c core #324 192.04/192.17 c 192.04/192.17 c 192.04/192.17 c Core size: 10 Core Weight: 1 Total Weight: -271 192.04/192.17 c 192.04/192.17 c 192.04/192.17 c ============================[ Search Statistics ]============================== 192.04/192.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.04/192.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.04/192.17 c =============================================================================== 192.04/192.17 c | 0 | 1360 29082 70311 | 9694 0 nan | 0.000 % | 192.04/192.18 c =============================================================================== 192.14/192.22 c core #325 192.14/192.22 c 192.14/192.22 c 192.14/192.22 c Core size: 8 Core Weight: 1 Total Weight: -270 192.14/192.22 c 192.14/192.22 c 192.14/192.22 c ============================[ Search Statistics ]============================== 192.14/192.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.14/192.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.14/192.22 c =============================================================================== 192.14/192.22 c | 0 | 1364 29083 70319 | 9694 0 nan | 0.000 % | 192.14/192.23 c =============================================================================== 192.14/192.28 c core #326 192.14/192.28 c 192.14/192.28 c 192.14/192.28 c Core size: 11 Core Weight: 1 Total Weight: -269 192.14/192.28 c 192.14/192.28 c 192.14/192.28 c ============================[ Search Statistics ]============================== 192.14/192.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.14/192.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.14/192.28 c =============================================================================== 192.14/192.28 c | 0 | 1370 29084 70331 | 9694 0 nan | 0.000 % | 192.14/192.28 c =============================================================================== 192.24/192.33 c core #327 192.24/192.33 c 192.24/192.33 c 192.24/192.33 c Core size: 10 Core Weight: 1 Total Weight: -268 192.24/192.33 c 192.24/192.33 c 192.24/192.33 c ============================[ Search Statistics ]============================== 192.24/192.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.24/192.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.24/192.33 c =============================================================================== 192.24/192.33 c | 0 | 1376 29085 70343 | 9695 0 nan | 0.000 % | 192.24/192.34 c =============================================================================== 192.24/192.38 c core #328 192.24/192.38 c 192.24/192.38 c 192.24/192.38 c Core size: 10 Core Weight: 1 Total Weight: -267 192.24/192.38 c 192.24/192.38 c 192.24/192.38 c ============================[ Search Statistics ]============================== 192.24/192.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.24/192.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.24/192.38 c =============================================================================== 192.24/192.38 c | 0 | 1382 29086 70355 | 9695 0 nan | 0.000 % | 192.24/192.39 c =============================================================================== 192.35/192.44 c core #329 192.35/192.44 c 192.35/192.44 c 192.35/192.44 c Core size: 8 Core Weight: 1 Total Weight: -266 192.35/192.44 c 192.35/192.44 c 192.35/192.44 c ============================[ Search Statistics ]============================== 192.35/192.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.35/192.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.35/192.44 c =============================================================================== 192.35/192.44 c | 0 | 1386 29087 70363 | 9695 0 nan | 0.000 % | 192.35/192.45 c =============================================================================== 192.35/192.49 c core #330 192.35/192.49 c 192.35/192.49 c 192.35/192.49 c Core size: 8 Core Weight: 1 Total Weight: -265 192.35/192.49 c 192.35/192.49 c 192.35/192.49 c ============================[ Search Statistics ]============================== 192.35/192.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.35/192.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.35/192.49 c =============================================================================== 192.35/192.49 c | 0 | 1390 29088 70371 | 9696 0 nan | 0.000 % | 192.35/192.50 c =============================================================================== 192.45/192.55 c core #331 192.45/192.55 c 192.45/192.55 c 192.45/192.55 c Core size: 8 Core Weight: 1 Total Weight: -264 192.45/192.55 c 192.45/192.55 c 192.45/192.55 c ============================[ Search Statistics ]============================== 192.45/192.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.45/192.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.45/192.55 c =============================================================================== 192.45/192.55 c | 0 | 1394 29089 70379 | 9696 0 nan | 0.000 % | 192.45/192.56 c =============================================================================== 192.54/192.61 c core #332 192.54/192.61 c 192.54/192.61 c 192.54/192.61 c Core size: 11 Core Weight: 1 Total Weight: -263 192.54/192.61 c 192.54/192.61 c 192.54/192.61 c ============================[ Search Statistics ]============================== 192.54/192.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.61 c =============================================================================== 192.54/192.61 c | 0 | 1402 29090 70395 | 9696 0 nan | 0.000 % | 192.54/192.62 c =============================================================================== 192.54/192.67 c core #333 192.54/192.67 c 192.54/192.67 c 192.54/192.67 c Core size: 10 Core Weight: 1 Total Weight: -262 192.54/192.67 c 192.54/192.67 c 192.54/192.67 c ============================[ Search Statistics ]============================== 192.54/192.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.67 c =============================================================================== 192.54/192.67 c | 0 | 1408 29091 70407 | 9697 0 nan | 0.000 % | 192.54/192.68 c =============================================================================== 192.64/192.73 c core #334 192.64/192.73 c 192.64/192.73 c 192.64/192.73 c Core size: 21 Core Weight: 1 Total Weight: -261 192.64/192.73 c 192.64/192.73 c 192.64/192.73 c ============================[ Search Statistics ]============================== 192.64/192.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.64/192.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.64/192.73 c =============================================================================== 192.64/192.73 c | 0 | 1426 29092 70443 | 9697 0 nan | 0.000 % | 192.64/192.74 c =============================================================================== 192.64/192.78 c core #335 192.64/192.78 c 192.64/192.78 c 192.64/192.78 c Core size: 10 Core Weight: 1 Total Weight: -260 192.64/192.78 c 192.64/192.78 c 192.64/192.78 c ============================[ Search Statistics ]============================== 192.64/192.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.64/192.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.64/192.78 c =============================================================================== 192.64/192.78 c | 0 | 1432 29093 70455 | 9697 0 nan | 0.000 % | 192.64/192.79 c =============================================================================== 192.74/192.84 c core #336 192.74/192.84 c 192.74/192.84 c 192.74/192.84 c Core size: 15 Core Weight: 1 Total Weight: -259 192.74/192.84 c 192.74/192.84 c 192.74/192.84 c ============================[ Search Statistics ]============================== 192.74/192.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.74/192.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.74/192.84 c =============================================================================== 192.74/192.84 c | 0 | 1444 29094 70479 | 9698 0 nan | 0.000 % | 192.74/192.85 c =============================================================================== 192.74/192.89 c core #337 192.74/192.89 c 192.74/192.89 c 192.74/192.89 c Core size: 8 Core Weight: 1 Total Weight: -258 192.74/192.89 c 192.74/192.89 c 192.74/192.89 c ============================[ Search Statistics ]============================== 192.74/192.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.74/192.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.74/192.89 c =============================================================================== 192.74/192.89 c | 0 | 1448 29095 70487 | 9698 0 nan | 0.000 % | 192.84/192.90 c =============================================================================== 192.84/192.95 c core #338 192.84/192.95 c 192.84/192.95 c 192.84/192.95 c Core size: 8 Core Weight: 1 Total Weight: -257 192.84/192.95 c 192.84/192.95 c 192.84/192.95 c ============================[ Search Statistics ]============================== 192.84/192.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.84/192.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.84/192.95 c =============================================================================== 192.84/192.95 c | 0 | 1452 29096 70495 | 9698 0 nan | 0.000 % | 192.84/192.96 c =============================================================================== 192.94/193.00 c core #339 192.94/193.00 c 192.94/193.00 c 192.94/193.00 c Core size: 8 Core Weight: 1 Total Weight: -256 192.94/193.00 c 192.94/193.00 c 192.94/193.00 c ============================[ Search Statistics ]============================== 192.94/193.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.94/193.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.94/193.00 c =============================================================================== 192.94/193.00 c | 0 | 1456 29097 70503 | 9699 0 nan | 0.000 % | 192.94/193.02 c =============================================================================== 192.94/193.06 c core #340 192.94/193.06 c 192.94/193.06 c 192.94/193.06 c Core size: 12 Core Weight: 1 Total Weight: -255 192.94/193.06 c 192.94/193.06 c 192.94/193.06 c ============================[ Search Statistics ]============================== 192.94/193.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.94/193.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.94/193.06 c =============================================================================== 192.94/193.06 c | 0 | 1466 29098 70523 | 9699 0 nan | 0.000 % | 192.94/193.08 c =============================================================================== 193.04/193.12 c core #341 193.04/193.12 c 193.04/193.12 c 193.04/193.12 c Core size: 19 Core Weight: 1 Total Weight: -254 193.04/193.12 c 193.04/193.12 c 193.04/193.12 c ============================[ Search Statistics ]============================== 193.04/193.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.12 c =============================================================================== 193.04/193.12 c | 0 | 1482 29099 70555 | 9699 0 nan | 0.000 % | 193.04/193.13 c =============================================================================== 193.04/193.18 c core #342 193.04/193.18 c 193.04/193.18 c 193.04/193.18 c Core size: 8 Core Weight: 1 Total Weight: -253 193.04/193.18 c 193.04/193.18 c 193.04/193.18 c ============================[ Search Statistics ]============================== 193.04/193.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.18 c =============================================================================== 193.04/193.18 c | 0 | 1486 29100 70563 | 9700 0 nan | 0.000 % | 193.04/193.18 c =============================================================================== 193.14/193.23 c core #343 193.14/193.23 c 193.14/193.23 c 193.14/193.23 c Core size: 11 Core Weight: 1 Total Weight: -252 193.14/193.23 c 193.14/193.23 c 193.14/193.23 c ============================[ Search Statistics ]============================== 193.14/193.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.14/193.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.14/193.23 c =============================================================================== 193.14/193.23 c | 0 | 1492 29101 70575 | 9700 0 nan | 0.000 % | 193.14/193.24 c =============================================================================== 193.14/193.29 c core #344 193.14/193.29 c 193.14/193.29 c 193.14/193.29 c Core size: 8 Core Weight: 1 Total Weight: -251 193.14/193.29 c 193.14/193.29 c 193.14/193.29 c ============================[ Search Statistics ]============================== 193.14/193.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.14/193.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.14/193.29 c =============================================================================== 193.14/193.29 c | 0 | 1496 29102 70583 | 9700 0 nan | 0.000 % | 193.14/193.29 c =============================================================================== 193.24/193.34 c core #345 193.24/193.34 c 193.24/193.34 c 193.24/193.34 c Core size: 10 Core Weight: 1 Total Weight: -250 193.24/193.34 c 193.24/193.34 c 193.24/193.34 c ============================[ Search Statistics ]============================== 193.24/193.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.24/193.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.24/193.34 c =============================================================================== 193.24/193.34 c | 0 | 1502 29103 70595 | 9701 0 nan | 0.000 % | 193.24/193.35 c =============================================================================== 193.24/193.39 c core #346 193.24/193.39 c 193.24/193.39 c 193.24/193.39 c Core size: 8 Core Weight: 1 Total Weight: -249 193.24/193.39 c 193.24/193.39 c 193.24/193.39 c ============================[ Search Statistics ]============================== 193.24/193.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.24/193.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.24/193.39 c =============================================================================== 193.24/193.39 c | 0 | 1506 29104 70603 | 9701 0 nan | 0.000 % | 193.34/193.40 c =============================================================================== 193.34/193.45 c core #347 193.34/193.45 c 193.34/193.45 c 193.34/193.45 c Core size: 8 Core Weight: 1 Total Weight: -248 193.34/193.45 c 193.34/193.45 c 193.34/193.45 c ============================[ Search Statistics ]============================== 193.34/193.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.34/193.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.34/193.45 c =============================================================================== 193.34/193.45 c | 0 | 1510 29105 70611 | 9701 0 nan | 0.000 % | 193.34/193.46 c =============================================================================== 193.44/193.51 c core #348 193.44/193.51 c 193.44/193.51 c 193.44/193.51 c Core size: 15 Core Weight: 1 Total Weight: -247 193.44/193.51 c 193.44/193.51 c 193.44/193.51 c ============================[ Search Statistics ]============================== 193.44/193.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.44/193.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.44/193.51 c =============================================================================== 193.44/193.51 c | 0 | 1520 29106 70631 | 9702 0 nan | 0.000 % | 193.44/193.52 c =============================================================================== 193.44/193.57 c core #349 193.44/193.57 c 193.44/193.57 c 193.44/193.57 c Core size: 15 Core Weight: 1 Total Weight: -246 193.44/193.57 c 193.44/193.57 c 193.44/193.57 c ============================[ Search Statistics ]============================== 193.44/193.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.44/193.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.44/193.57 c =============================================================================== 193.44/193.57 c | 0 | 1532 29107 70655 | 9702 0 nan | 0.000 % | 193.44/193.57 c =============================================================================== 193.54/193.62 c core #350 193.54/193.62 c 193.54/193.62 c 193.54/193.62 c Core size: 8 Core Weight: 1 Total Weight: -245 193.54/193.62 c 193.54/193.62 c 193.54/193.62 c ============================[ Search Statistics ]============================== 193.54/193.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.54/193.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.54/193.62 c =============================================================================== 193.54/193.62 c | 0 | 1536 29108 70663 | 9702 0 nan | 0.000 % | 193.54/193.63 c =============================================================================== 193.54/193.68 c core #351 193.54/193.68 c 193.54/193.68 c 193.54/193.68 c Core size: 10 Core Weight: 1 Total Weight: -244 193.54/193.68 c 193.54/193.68 c 193.54/193.68 c ============================[ Search Statistics ]============================== 193.54/193.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.54/193.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.54/193.68 c =============================================================================== 193.54/193.68 c | 0 | 1542 29109 70675 | 9703 0 nan | 0.000 % | 193.54/193.69 c =============================================================================== 193.64/193.74 c core #352 193.64/193.74 c 193.64/193.74 c 193.64/193.74 c Core size: 8 Core Weight: 1 Total Weight: -243 193.64/193.74 c 193.64/193.74 c 193.64/193.74 c ============================[ Search Statistics ]============================== 193.64/193.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.64/193.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.64/193.74 c =============================================================================== 193.64/193.74 c | 0 | 1546 29110 70683 | 9703 0 nan | 0.000 % | 193.64/193.74 c =============================================================================== 193.64/193.79 c core #353 193.64/193.79 c 193.64/193.79 c 193.64/193.79 c Core size: 8 Core Weight: 1 Total Weight: -242 193.64/193.79 c 193.64/193.79 c 193.64/193.79 c ============================[ Search Statistics ]============================== 193.64/193.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.64/193.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.64/193.79 c =============================================================================== 193.64/193.79 c | 0 | 1550 29111 70691 | 9703 0 nan | 0.000 % | 193.74/193.80 c =============================================================================== 193.74/193.85 c core #354 193.74/193.85 c 193.74/193.85 c 193.74/193.85 c Core size: 16 Core Weight: 1 Total Weight: -241 193.74/193.85 c 193.74/193.85 c 193.74/193.85 c ============================[ Search Statistics ]============================== 193.74/193.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.74/193.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.74/193.85 c =============================================================================== 193.74/193.85 c | 0 | 1562 29112 70715 | 9704 0 nan | 0.000 % | 193.74/193.86 c =============================================================================== 193.84/193.90 c core #355 193.84/193.90 c 193.84/193.90 c 193.84/193.90 c Core size: 10 Core Weight: 1 Total Weight: -240 193.84/193.90 c 193.84/193.90 c 193.84/193.90 c ============================[ Search Statistics ]============================== 193.84/193.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.84/193.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.84/193.90 c =============================================================================== 193.84/193.90 c | 0 | 1568 29113 70727 | 9704 0 nan | 0.000 % | 193.84/193.91 c =============================================================================== 193.84/193.96 c core #356 193.84/193.96 c 193.84/193.96 c 193.84/193.96 c Core size: 10 Core Weight: 1 Total Weight: -239 193.84/193.96 c 193.84/193.96 c 193.84/193.96 c ============================[ Search Statistics ]============================== 193.84/193.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.84/193.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.84/193.96 c =============================================================================== 193.84/193.96 c | 0 | 1574 29114 70739 | 9704 0 nan | 0.000 % | 193.84/193.97 c =============================================================================== 193.94/194.02 c core #357 193.94/194.02 c 193.94/194.02 c 193.94/194.02 c Core size: 14 Core Weight: 1 Total Weight: -238 193.94/194.02 c 193.94/194.02 c 193.94/194.02 c ============================[ Search Statistics ]============================== 193.94/194.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.02 c =============================================================================== 193.94/194.02 c | 0 | 1584 29115 70759 | 9705 0 nan | 0.000 % | 193.94/194.02 c =============================================================================== 193.94/194.07 c core #358 193.94/194.07 c 193.94/194.07 c 193.94/194.07 c Core size: 10 Core Weight: 1 Total Weight: -237 193.94/194.07 c 193.94/194.07 c 193.94/194.07 c ============================[ Search Statistics ]============================== 193.94/194.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.07 c =============================================================================== 193.94/194.07 c | 0 | 1590 29116 70771 | 9705 0 nan | 0.000 % | 193.94/194.08 c =============================================================================== 194.04/194.13 c core #359 194.04/194.13 c 194.04/194.13 c 194.04/194.13 c Core size: 10 Core Weight: 1 Total Weight: -236 194.04/194.13 c 194.04/194.13 c 194.04/194.13 c ============================[ Search Statistics ]============================== 194.04/194.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.13 c =============================================================================== 194.04/194.13 c | 0 | 1596 29117 70783 | 9705 0 nan | 0.000 % | 194.04/194.14 c =============================================================================== 194.04/194.19 c core #360 194.04/194.19 c 194.04/194.19 c 194.04/194.19 c Core size: 8 Core Weight: 1 Total Weight: -235 194.04/194.19 c 194.04/194.19 c 194.04/194.19 c ============================[ Search Statistics ]============================== 194.04/194.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.19 c =============================================================================== 194.04/194.19 c | 0 | 1600 29118 70791 | 9706 0 nan | 0.000 % | 194.14/194.20 c =============================================================================== 194.14/194.25 c core #361 194.14/194.25 c 194.14/194.25 c 194.14/194.25 c Core size: 12 Core Weight: 1 Total Weight: -234 194.14/194.25 c 194.14/194.25 c 194.14/194.25 c ============================[ Search Statistics ]============================== 194.14/194.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.14/194.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.14/194.25 c =============================================================================== 194.14/194.25 c | 0 | 1608 29119 70807 | 9706 0 nan | 0.000 % | 194.14/194.26 c =============================================================================== 194.24/194.31 c core #362 194.24/194.31 c 194.24/194.31 c 194.24/194.31 c Core size: 10 Core Weight: 1 Total Weight: -233 194.24/194.31 c 194.24/194.31 c 194.24/194.31 c ============================[ Search Statistics ]============================== 194.24/194.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.24/194.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.24/194.31 c =============================================================================== 194.24/194.31 c | 0 | 1614 29120 70819 | 9706 0 nan | 0.000 % | 194.24/194.32 c =============================================================================== 194.24/194.36 c core #363 194.24/194.36 c 194.24/194.36 c 194.24/194.36 c Core size: 8 Core Weight: 1 Total Weight: -232 194.24/194.36 c 194.24/194.36 c 194.24/194.36 c ============================[ Search Statistics ]============================== 194.24/194.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.24/194.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.24/194.36 c =============================================================================== 194.24/194.36 c | 0 | 1618 29121 70827 | 9707 0 nan | 0.000 % | 194.24/194.38 c =============================================================================== 194.34/194.42 c core #364 194.34/194.42 c 194.34/194.42 c 194.34/194.42 c Core size: 15 Core Weight: 1 Total Weight: -231 194.34/194.42 c 194.34/194.42 c 194.34/194.42 c ============================[ Search Statistics ]============================== 194.34/194.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.34/194.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.34/194.42 c =============================================================================== 194.34/194.42 c | 0 | 1630 29122 70851 | 9707 0 nan | 0.000 % | 194.34/194.43 c =============================================================================== 194.34/194.48 c core #365 194.34/194.48 c 194.34/194.48 c 194.34/194.48 c Core size: 8 Core Weight: 1 Total Weight: -230 194.34/194.48 c 194.34/194.48 c 194.34/194.48 c ============================[ Search Statistics ]============================== 194.34/194.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.34/194.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.34/194.48 c =============================================================================== 194.34/194.48 c | 0 | 1634 29123 70859 | 9707 0 nan | 0.000 % | 194.34/194.49 c =============================================================================== 194.44/194.54 c core #366 194.44/194.54 c 194.44/194.54 c 194.44/194.54 c Core size: 8 Core Weight: 1 Total Weight: -229 194.44/194.54 c 194.44/194.54 c 194.44/194.54 c ============================[ Search Statistics ]============================== 194.44/194.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.44/194.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.44/194.54 c =============================================================================== 194.44/194.54 c | 0 | 1638 29124 70867 | 9708 0 nan | 0.000 % | 194.44/194.55 c =============================================================================== 194.44/194.60 c core #367 194.44/194.60 c 194.44/194.60 c 194.44/194.60 c Core size: 8 Core Weight: 1 Total Weight: -228 194.44/194.60 c 194.44/194.60 c 194.44/194.60 c ============================[ Search Statistics ]============================== 194.44/194.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.44/194.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.44/194.60 c =============================================================================== 194.44/194.60 c | 0 | 1642 29125 70875 | 9708 0 nan | 0.000 % | 194.55/194.60 c =============================================================================== 194.55/194.65 c core #368 194.55/194.65 c 194.55/194.65 c 194.55/194.65 c Core size: 10 Core Weight: 1 Total Weight: -227 194.55/194.65 c 194.55/194.65 c 194.55/194.65 c ============================[ Search Statistics ]============================== 194.55/194.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.55/194.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.55/194.65 c =============================================================================== 194.55/194.65 c | 0 | 1648 29126 70887 | 9708 0 nan | 0.000 % | 194.55/194.66 c =============================================================================== 194.65/194.71 c core #369 194.65/194.71 c 194.65/194.71 c 194.65/194.71 c Core size: 10 Core Weight: 1 Total Weight: -226 194.65/194.71 c 194.65/194.71 c 194.65/194.71 c ============================[ Search Statistics ]============================== 194.65/194.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.65/194.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.65/194.71 c =============================================================================== 194.65/194.71 c | 0 | 1654 29127 70899 | 9709 0 nan | 0.000 % | 194.65/194.72 c =============================================================================== 194.65/194.77 c core #370 194.65/194.77 c 194.65/194.77 c 194.65/194.77 c Core size: 10 Core Weight: 1 Total Weight: -225 194.65/194.77 c 194.65/194.77 c 194.65/194.77 c ============================[ Search Statistics ]============================== 194.65/194.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.65/194.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.65/194.77 c =============================================================================== 194.65/194.77 c | 0 | 1660 29128 70911 | 9709 0 nan | 0.000 % | 194.65/194.78 c =============================================================================== 194.74/194.82 c core #371 194.74/194.82 c 194.74/194.82 c 194.74/194.82 c Core size: 10 Core Weight: 1 Total Weight: -224 194.74/194.82 c 194.74/194.82 c 194.74/194.82 c ============================[ Search Statistics ]============================== 194.74/194.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.74/194.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.74/194.82 c =============================================================================== 194.74/194.82 c | 0 | 1666 29129 70923 | 9709 0 nan | 0.000 % | 194.74/194.83 c =============================================================================== 194.74/194.88 c core #372 194.74/194.88 c 194.74/194.88 c 194.74/194.88 c Core size: 10 Core Weight: 1 Total Weight: -223 194.74/194.88 c 194.74/194.88 c 194.74/194.88 c ============================[ Search Statistics ]============================== 194.74/194.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.74/194.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.74/194.88 c =============================================================================== 194.74/194.88 c | 0 | 1672 29130 70935 | 9710 0 nan | 0.000 % | 194.74/194.89 c =============================================================================== 194.84/194.94 c core #373 194.84/194.94 c 194.84/194.94 c 194.84/194.94 c Core size: 10 Core Weight: 1 Total Weight: -222 194.84/194.94 c 194.84/194.94 c 194.84/194.94 c ============================[ Search Statistics ]============================== 194.84/194.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.84/194.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.84/194.94 c =============================================================================== 194.84/194.94 c | 0 | 1678 29131 70947 | 9710 0 nan | 0.000 % | 194.84/194.95 c =============================================================================== 194.94/195.00 c core #374 194.94/195.00 c 194.94/195.00 c 194.94/195.00 c Core size: 8 Core Weight: 1 Total Weight: -221 194.94/195.00 c 194.94/195.00 c 194.94/195.00 c ============================[ Search Statistics ]============================== 194.94/195.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.94/195.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.94/195.00 c =============================================================================== 194.94/195.00 c | 0 | 1682 29132 70955 | 9710 0 nan | 0.000 % | 194.94/195.01 c =============================================================================== 194.94/195.05 c core #375 194.94/195.05 c 194.94/195.05 c 194.94/195.05 c Core size: 10 Core Weight: 1 Total Weight: -220 194.94/195.05 c 194.94/195.05 c 194.94/195.05 c ============================[ Search Statistics ]============================== 194.94/195.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.94/195.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.94/195.05 c =============================================================================== 194.94/195.05 c | 0 | 1688 29133 70967 | 9711 0 nan | 0.000 % | 194.94/195.06 c =============================================================================== 195.04/195.11 c core #376 195.04/195.11 c 195.04/195.11 c 195.04/195.11 c Core size: 10 Core Weight: 1 Total Weight: -219 195.04/195.11 c 195.04/195.11 c 195.04/195.11 c ============================[ Search Statistics ]============================== 195.04/195.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.04/195.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.04/195.11 c =============================================================================== 195.04/195.11 c | 0 | 1694 29134 70979 | 9711 0 nan | 0.000 % | 195.04/195.12 c =============================================================================== 195.04/195.17 c core #377 195.04/195.17 c 195.04/195.17 c 195.04/195.17 c Core size: 8 Core Weight: 1 Total Weight: -218 195.04/195.17 c 195.04/195.17 c 195.04/195.17 c ============================[ Search Statistics ]============================== 195.04/195.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.04/195.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.04/195.17 c =============================================================================== 195.04/195.17 c | 0 | 1698 29135 70987 | 9711 0 nan | 0.000 % | 195.04/195.18 c =============================================================================== 195.14/195.23 c core #378 195.14/195.23 c 195.14/195.23 c 195.14/195.23 c Core size: 10 Core Weight: 1 Total Weight: -217 195.14/195.23 c 195.14/195.23 c 195.14/195.23 c ============================[ Search Statistics ]============================== 195.14/195.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.14/195.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.14/195.23 c =============================================================================== 195.14/195.23 c | 0 | 1704 29136 70999 | 9712 0 nan | 0.000 % | 195.14/195.24 c =============================================================================== 195.14/195.29 c core #379 195.14/195.29 c 195.14/195.29 c 195.14/195.29 c Core size: 13 Core Weight: 1 Total Weight: -216 195.14/195.29 c 195.14/195.29 c 195.14/195.29 c ============================[ Search Statistics ]============================== 195.14/195.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.14/195.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.14/195.29 c =============================================================================== 195.14/195.29 c | 0 | 1714 29137 71019 | 9712 0 nan | 0.000 % | 195.24/195.30 c =============================================================================== 195.24/195.35 c core #380 195.24/195.35 c 195.24/195.35 c 195.24/195.35 c Core size: 10 Core Weight: 1 Total Weight: -215 195.24/195.35 c 195.24/195.35 c 195.24/195.35 c ============================[ Search Statistics ]============================== 195.24/195.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.24/195.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.24/195.35 c =============================================================================== 195.24/195.35 c | 0 | 1720 29138 71031 | 9712 0 nan | 0.000 % | 195.24/195.36 c =============================================================================== 195.34/195.41 c core #381 195.34/195.41 c 195.34/195.41 c 195.34/195.41 c Core size: 10 Core Weight: 1 Total Weight: -214 195.34/195.41 c 195.34/195.41 c 195.34/195.41 c ============================[ Search Statistics ]============================== 195.34/195.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.34/195.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.34/195.41 c =============================================================================== 195.34/195.41 c | 0 | 1726 29139 71043 | 9713 0 nan | 0.000 % | 195.34/195.42 c =============================================================================== 195.34/195.46 c core #382 195.34/195.46 c 195.34/195.46 c 195.34/195.46 c Core size: 8 Core Weight: 1 Total Weight: -213 195.34/195.46 c 195.34/195.46 c 195.34/195.46 c ============================[ Search Statistics ]============================== 195.34/195.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.34/195.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.34/195.46 c =============================================================================== 195.34/195.46 c | 0 | 1730 29140 71051 | 9713 0 nan | 0.000 % | 195.34/195.47 c =============================================================================== 195.44/195.52 c core #383 195.44/195.52 c 195.44/195.52 c 195.44/195.52 c Core size: 8 Core Weight: 1 Total Weight: -212 195.44/195.52 c 195.44/195.52 c 195.44/195.52 c ============================[ Search Statistics ]============================== 195.44/195.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.44/195.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.44/195.52 c =============================================================================== 195.44/195.52 c | 0 | 1734 29141 71059 | 9713 0 nan | 0.000 % | 195.44/195.53 c =============================================================================== 195.44/195.58 c core #384 195.44/195.58 c 195.44/195.58 c 195.44/195.58 c Core size: 10 Core Weight: 1 Total Weight: -211 195.44/195.58 c 195.44/195.58 c 195.44/195.58 c ============================[ Search Statistics ]============================== 195.44/195.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.44/195.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.44/195.58 c =============================================================================== 195.44/195.58 c | 0 | 1740 29142 71071 | 9714 0 nan | 0.000 % | 195.44/195.59 c =============================================================================== 195.54/195.63 c core #385 195.54/195.63 c 195.54/195.63 c 195.54/195.63 c Core size: 10 Core Weight: 1 Total Weight: -210 195.54/195.63 c 195.54/195.63 c 195.54/195.63 c ============================[ Search Statistics ]============================== 195.54/195.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.54/195.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.54/195.63 c =============================================================================== 195.54/195.63 c | 0 | 1746 29143 71083 | 9714 0 nan | 0.000 % | 195.54/195.64 c =============================================================================== 195.54/195.69 c core #386 195.54/195.69 c 195.54/195.69 c 195.54/195.69 c Core size: 10 Core Weight: 1 Total Weight: -209 195.54/195.69 c 195.54/195.69 c 195.54/195.69 c ============================[ Search Statistics ]============================== 195.54/195.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.54/195.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.54/195.69 c =============================================================================== 195.54/195.69 c | 0 | 1752 29144 71095 | 9714 0 nan | 0.000 % | 195.64/195.70 c =============================================================================== 195.64/195.75 c core #387 195.64/195.75 c 195.64/195.75 c 195.64/195.75 c Core size: 10 Core Weight: 1 Total Weight: -208 195.64/195.75 c 195.64/195.75 c 195.64/195.75 c ============================[ Search Statistics ]============================== 195.64/195.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.64/195.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.64/195.75 c =============================================================================== 195.64/195.75 c | 0 | 1758 29145 71107 | 9715 0 nan | 0.000 % | 195.64/195.76 c =============================================================================== 195.74/195.80 c core #388 195.74/195.80 c 195.74/195.80 c 195.74/195.80 c Core size: 8 Core Weight: 1 Total Weight: -207 195.74/195.80 c 195.74/195.80 c 195.74/195.80 c ============================[ Search Statistics ]============================== 195.74/195.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.74/195.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.74/195.80 c =============================================================================== 195.74/195.80 c | 0 | 1762 29146 71115 | 9715 0 nan | 0.000 % | 195.74/195.81 c =============================================================================== 195.74/195.86 c core #389 195.74/195.86 c 195.74/195.86 c 195.74/195.86 c Core size: 19 Core Weight: 1 Total Weight: -206 195.74/195.86 c 195.74/195.86 c 195.74/195.86 c ============================[ Search Statistics ]============================== 195.74/195.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.74/195.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.74/195.86 c =============================================================================== 195.74/195.86 c | 0 | 1776 29147 71143 | 9715 0 nan | 0.000 % | 195.74/195.87 c =============================================================================== 195.84/195.92 c core #390 195.84/195.92 c 195.84/195.92 c 195.84/195.92 c Core size: 8 Core Weight: 1 Total Weight: -205 195.84/195.92 c 195.84/195.92 c 195.84/195.92 c ============================[ Search Statistics ]============================== 195.84/195.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.84/195.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.84/195.92 c =============================================================================== 195.84/195.92 c | 0 | 1780 29148 71151 | 9716 0 nan | 0.000 % | 195.84/195.93 c =============================================================================== 195.84/195.97 c core #391 195.84/195.97 c 195.84/195.97 c 195.84/195.97 c Core size: 10 Core Weight: 1 Total Weight: -204 195.84/195.97 c 195.84/195.97 c 195.84/195.97 c ============================[ Search Statistics ]============================== 195.84/195.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.84/195.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.84/195.97 c =============================================================================== 195.84/195.97 c | 0 | 1786 29149 71163 | 9716 0 nan | 0.000 % | 195.84/195.98 c =============================================================================== 195.94/196.03 c core #392 195.94/196.03 c 195.94/196.03 c 195.94/196.03 c Core size: 10 Core Weight: 1 Total Weight: -203 195.94/196.03 c 195.94/196.03 c 195.94/196.03 c ============================[ Search Statistics ]============================== 195.94/196.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.94/196.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.94/196.03 c =============================================================================== 195.94/196.03 c | 0 | 1792 29150 71175 | 9716 0 nan | 0.000 % | 195.94/196.04 c =============================================================================== 195.94/196.09 c core #393 195.94/196.09 c 195.94/196.09 c 195.94/196.09 c Core size: 10 Core Weight: 1 Total Weight: -202 195.94/196.09 c 195.94/196.09 c 195.94/196.09 c ============================[ Search Statistics ]============================== 195.94/196.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.94/196.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.94/196.09 c =============================================================================== 195.94/196.09 c | 0 | 1798 29151 71187 | 9717 0 nan | 0.000 % | 196.03/196.10 c =============================================================================== 196.03/196.15 c core #394 196.03/196.15 c 196.03/196.15 c 196.03/196.15 c Core size: 10 Core Weight: 1 Total Weight: -201 196.03/196.15 c 196.03/196.15 c 196.03/196.15 c ============================[ Search Statistics ]============================== 196.03/196.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.03/196.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.03/196.15 c =============================================================================== 196.03/196.15 c | 0 | 1804 29152 71199 | 9717 0 nan | 0.000 % | 196.03/196.16 c =============================================================================== 196.13/196.21 c core #395 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 8 Core Weight: 1 Total Weight: -200 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c ============================[ Search Statistics ]============================== 196.13/196.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.13/196.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.13/196.21 c =============================================================================== 196.13/196.21 c | 0 | 1808 29153 71207 | 9717 0 nan | 0.000 % | 196.13/196.22 c =============================================================================== 196.13/196.27 c core #396 196.13/196.27 c 196.13/196.27 c 196.13/196.27 c Core size: 10 Core Weight: 1 Total Weight: -199 196.13/196.27 c 196.13/196.27 c 196.13/196.27 c ============================[ Search Statistics ]============================== 196.13/196.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.13/196.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.13/196.27 c =============================================================================== 196.13/196.27 c | 0 | 1814 29154 71219 | 9718 0 nan | 0.000 % | 196.13/196.28 c =============================================================================== 196.23/196.33 c core #397 196.23/196.33 c 196.23/196.33 c 196.23/196.33 c Core size: 15 Core Weight: 1 Total Weight: -198 196.23/196.33 c 196.23/196.33 c 196.23/196.33 c ============================[ Search Statistics ]============================== 196.23/196.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.23/196.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.23/196.33 c =============================================================================== 196.23/196.33 c | 0 | 1826 29155 71243 | 9718 0 nan | 0.000 % | 196.23/196.34 c =============================================================================== 196.23/196.39 c core #398 196.23/196.39 c 196.23/196.39 c 196.23/196.39 c Core size: 10 Core Weight: 1 Total Weight: -197 196.23/196.39 c 196.23/196.39 c 196.23/196.39 c ============================[ Search Statistics ]============================== 196.23/196.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.23/196.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.23/196.39 c =============================================================================== 196.23/196.39 c | 0 | 1832 29156 71255 | 9718 0 nan | 0.000 % | 196.34/196.40 c =============================================================================== 196.34/196.45 c core #399 196.34/196.45 c 196.34/196.45 c 196.34/196.45 c Core size: 10 Core Weight: 1 Total Weight: -196 196.34/196.45 c 196.34/196.45 c 196.34/196.45 c ============================[ Search Statistics ]============================== 196.34/196.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.34/196.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.34/196.45 c =============================================================================== 196.34/196.45 c | 0 | 1838 29157 71267 | 9719 0 nan | 0.000 % | 196.34/196.46 c =============================================================================== 196.44/196.51 c core #400 196.44/196.51 c 196.44/196.51 c 196.44/196.51 c Core size: 8 Core Weight: 1 Total Weight: -195 196.44/196.51 c 196.44/196.51 c 196.44/196.51 c ============================[ Search Statistics ]============================== 196.44/196.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.44/196.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.44/196.51 c =============================================================================== 196.44/196.51 c | 0 | 1842 29158 71275 | 9719 0 nan | 0.000 % | 196.44/196.52 c =============================================================================== 196.44/196.57 c core #401 196.44/196.57 c 196.44/196.57 c 196.44/196.57 c Core size: 17 Core Weight: 1 Total Weight: -194 196.44/196.57 c 196.44/196.57 c 196.44/196.57 c ============================[ Search Statistics ]============================== 196.44/196.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.44/196.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.44/196.57 c =============================================================================== 196.44/196.57 c | 0 | 1854 29159 71299 | 9719 0 nan | 0.000 % | 196.44/196.58 c =============================================================================== 196.54/196.63 c core #402 196.54/196.63 c 196.54/196.63 c 196.54/196.63 c Core size: 8 Core Weight: 1 Total Weight: -193 196.54/196.63 c 196.54/196.63 c 196.54/196.63 c ============================[ Search Statistics ]============================== 196.54/196.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.54/196.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.54/196.63 c =============================================================================== 196.54/196.63 c | 0 | 1858 29160 71307 | 9720 0 nan | 0.000 % | 196.54/196.64 c =============================================================================== 196.54/196.69 c core #403 196.54/196.69 c 196.54/196.69 c 196.54/196.69 c Core size: 8 Core Weight: 1 Total Weight: -192 196.54/196.69 c 196.54/196.69 c 196.54/196.69 c ============================[ Search Statistics ]============================== 196.54/196.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.54/196.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.54/196.69 c =============================================================================== 196.54/196.69 c | 0 | 1862 29161 71315 | 9720 0 nan | 0.000 % | 196.64/196.70 c =============================================================================== 196.64/196.75 c core #404 196.64/196.75 c 196.64/196.75 c 196.64/196.75 c Core size: 14 Core Weight: 1 Total Weight: -191 196.64/196.75 c 196.64/196.75 c 196.64/196.75 c ============================[ Search Statistics ]============================== 196.64/196.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.64/196.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.64/196.75 c =============================================================================== 196.64/196.75 c | 0 | 1870 29162 71331 | 9720 0 nan | 0.000 % | 196.64/196.77 c =============================================================================== 196.75/196.81 c core #405 196.75/196.81 c 196.75/196.81 c 196.75/196.81 c Core size: 8 Core Weight: 1 Total Weight: -190 196.75/196.81 c 196.75/196.81 c 196.75/196.81 c ============================[ Search Statistics ]============================== 196.75/196.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.75/196.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.75/196.81 c =============================================================================== 196.75/196.81 c | 0 | 1874 29163 71339 | 9721 0 nan | 0.000 % | 196.75/196.83 c =============================================================================== 196.75/196.88 c core #406 196.75/196.88 c 196.75/196.88 c 196.75/196.88 c Core size: 8 Core Weight: 1 Total Weight: -189 196.75/196.88 c 196.75/196.88 c 196.75/196.88 c ============================[ Search Statistics ]============================== 196.75/196.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.75/196.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.75/196.88 c =============================================================================== 196.75/196.88 c | 0 | 1878 29164 71347 | 9721 0 nan | 0.000 % | 196.75/196.89 c =============================================================================== 196.85/196.94 c core #407 196.85/196.94 c 196.85/196.94 c 196.85/196.94 c Core size: 10 Core Weight: 1 Total Weight: -188 196.85/196.94 c 196.85/196.94 c 196.85/196.94 c ============================[ Search Statistics ]============================== 196.85/196.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.85/196.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.85/196.94 c =============================================================================== 196.85/196.94 c | 0 | 1884 29165 71359 | 9721 0 nan | 0.000 % | 196.85/196.95 c =============================================================================== 196.94/197.00 c core #408 196.94/197.00 c 196.94/197.00 c 196.94/197.00 c Core size: 10 Core Weight: 1 Total Weight: -187 196.94/197.00 c 196.94/197.00 c 196.94/197.00 c ============================[ Search Statistics ]============================== 196.94/197.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.94/197.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.94/197.00 c =============================================================================== 196.94/197.00 c | 0 | 1890 29166 71371 | 9722 0 nan | 0.000 % | 196.94/197.02 c =============================================================================== 196.94/197.07 c core #409 196.94/197.07 c 196.94/197.07 c 196.94/197.07 c Core size: 8 Core Weight: 1 Total Weight: -186 196.94/197.07 c 196.94/197.07 c 196.94/197.07 c ============================[ Search Statistics ]============================== 196.94/197.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.94/197.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.94/197.07 c =============================================================================== 196.94/197.07 c | 0 | 1894 29167 71379 | 9722 0 nan | 0.000 % | 196.94/197.08 c =============================================================================== 197.04/197.13 c core #410 197.04/197.13 c 197.04/197.13 c 197.04/197.13 c Core size: 15 Core Weight: 1 Total Weight: -185 197.04/197.13 c 197.04/197.13 c 197.04/197.13 c ============================[ Search Statistics ]============================== 197.04/197.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.04/197.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.04/197.13 c =============================================================================== 197.04/197.13 c | 0 | 1904 29168 71399 | 9722 0 nan | 0.000 % | 197.04/197.14 c =============================================================================== 197.04/197.19 c core #411 197.04/197.19 c 197.04/197.19 c 197.04/197.19 c Core size: 13 Core Weight: 1 Total Weight: -184 197.04/197.19 c 197.04/197.19 c 197.04/197.19 c ============================[ Search Statistics ]============================== 197.04/197.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.04/197.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.04/197.19 c =============================================================================== 197.04/197.19 c | 0 | 1912 29169 71415 | 9723 0 nan | 0.000 % | 197.14/197.21 c =============================================================================== 197.14/197.26 c core #412 197.14/197.26 c 197.14/197.26 c 197.14/197.26 c Core size: 11 Core Weight: 1 Total Weight: -183 197.14/197.26 c 197.14/197.26 c 197.14/197.26 c ============================[ Search Statistics ]============================== 197.14/197.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.14/197.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.14/197.26 c =============================================================================== 197.14/197.26 c | 0 | 1922 29170 71435 | 9723 0 nan | 0.000 % | 197.14/197.28 c =============================================================================== 197.24/197.33 c core #413 197.24/197.33 c 197.24/197.33 c 197.24/197.33 c Core size: 13 Core Weight: 1 Total Weight: -182 197.24/197.33 c 197.24/197.33 c 197.24/197.33 c ============================[ Search Statistics ]============================== 197.24/197.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.24/197.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.24/197.33 c =============================================================================== 197.24/197.33 c | 0 | 1928 29171 71447 | 9723 0 nan | 0.000 % | 197.24/197.34 c =============================================================================== 197.24/197.39 c core #414 197.24/197.39 c 197.24/197.39 c 197.24/197.39 c Core size: 22 Core Weight: 1 Total Weight: -181 197.24/197.39 c 197.24/197.39 c 197.24/197.39 c ============================[ Search Statistics ]============================== 197.24/197.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.24/197.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.24/197.39 c =============================================================================== 197.24/197.39 c | 0 | 1942 29172 71475 | 9724 0 nan | 0.000 % | 197.34/197.41 c =============================================================================== 197.34/197.45 c core #415 197.34/197.45 c 197.34/197.45 c 197.34/197.45 c Core size: 10 Core Weight: 1 Total Weight: -180 197.34/197.45 c 197.34/197.45 c 197.34/197.45 c ============================[ Search Statistics ]============================== 197.34/197.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.34/197.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.34/197.45 c =============================================================================== 197.34/197.45 c | 0 | 1948 29173 71487 | 9724 0 nan | 0.000 % | 197.34/197.48 c =============================================================================== 197.44/197.53 c core #416 197.44/197.53 c 197.44/197.53 c 197.44/197.53 c Core size: 15 Core Weight: 1 Total Weight: -179 197.44/197.53 c 197.44/197.53 c 197.44/197.53 c ============================[ Search Statistics ]============================== 197.44/197.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.44/197.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.44/197.53 c =============================================================================== 197.44/197.53 c | 0 | 1958 29174 71507 | 9724 0 nan | 0.000 % | 197.44/197.56 c =============================================================================== 197.54/197.61 c core #417 197.54/197.61 c 197.54/197.61 c 197.54/197.61 c Core size: 21 Core Weight: 1 Total Weight: -178 197.54/197.61 c 197.54/197.61 c 197.54/197.61 c ============================[ Search Statistics ]============================== 197.54/197.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.54/197.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.54/197.61 c =============================================================================== 197.54/197.61 c | 0 | 1976 29175 71543 | 9725 0 nan | 0.000 % | 197.54/197.66 c =============================================================================== 197.64/197.70 c core #418 197.64/197.70 c 197.64/197.70 c 197.64/197.70 c Core size: 22 Core Weight: 1 Total Weight: -177 197.64/197.70 c 197.64/197.70 c 197.64/197.70 c ============================[ Search Statistics ]============================== 197.64/197.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.64/197.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.64/197.70 c =============================================================================== 197.64/197.70 c | 0 | 1994 29176 71579 | 9725 0 nan | 0.000 % | 197.64/197.71 c =============================================================================== 197.64/197.76 c core #419 197.64/197.76 c 197.64/197.76 c 197.64/197.76 c Core size: 13 Core Weight: 1 Total Weight: -176 197.64/197.76 c 197.64/197.76 c 197.64/197.76 c ============================[ Search Statistics ]============================== 197.64/197.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.64/197.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.64/197.76 c =============================================================================== 197.64/197.76 c | 0 | 2002 29177 71595 | 9725 0 nan | 0.000 % | 197.64/197.79 c =============================================================================== 197.74/197.84 c core #420 197.74/197.84 c 197.74/197.84 c 197.74/197.84 c Core size: 13 Core Weight: 1 Total Weight: -175 197.74/197.84 c 197.74/197.84 c 197.74/197.84 c ============================[ Search Statistics ]============================== 197.74/197.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.74/197.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.74/197.84 c =============================================================================== 197.74/197.84 c | 0 | 2014 29178 71619 | 9726 0 nan | 0.000 % | 197.74/197.88 c | 100 | 2013 29178 71619 | 10698 100 7 | 0.050 % | 197.74/197.88 c =============================================================================== 197.84/197.93 c core #421 197.84/197.93 c 197.84/197.93 c 197.84/197.93 c Core size: 25 Core Weight: 1 Total Weight: -174 197.84/197.93 c 197.84/197.93 c 197.84/197.93 c ============================[ Search Statistics ]============================== 197.84/197.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.84/197.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.84/197.93 c =============================================================================== 197.84/197.93 c | 0 | 2028 29179 71647 | 9726 0 nan | 0.000 % | 197.84/197.95 c =============================================================================== 197.84/198.00 c core #422 197.84/198.00 c 197.84/198.00 c 197.84/198.00 c Core size: 20 Core Weight: 1 Total Weight: -173 197.84/198.00 c 197.84/198.00 c 197.84/198.00 c ============================[ Search Statistics ]============================== 197.84/198.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.84/198.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.84/198.00 c =============================================================================== 197.84/198.00 c | 0 | 2044 29180 71679 | 9726 0 nan | 0.000 % | 197.94/198.06 c | 103 | 2044 29180 71679 | 10699 103 7 | 0.000 % | 197.94/198.07 c =============================================================================== 198.04/198.12 c core #423 198.04/198.12 c 198.04/198.12 c 198.04/198.12 c Core size: 25 Core Weight: 1 Total Weight: -172 198.04/198.12 c 198.04/198.12 c 198.04/198.12 c ============================[ Search Statistics ]============================== 198.04/198.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.04/198.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.04/198.12 c =============================================================================== 198.04/198.12 c | 0 | 2068 29181 71727 | 9727 0 nan | 0.000 % | 198.04/198.19 c | 100 | 2067 29181 71727 | 10699 100 8 | 0.048 % | 198.14/198.20 c =============================================================================== 198.14/198.25 c core #424 198.14/198.25 c 198.14/198.25 c 198.14/198.25 c Core size: 46 Core Weight: 1 Total Weight: -171 198.14/198.25 c 198.14/198.25 c 198.14/198.25 c ============================[ Search Statistics ]============================== 198.14/198.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.14/198.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.14/198.25 c =============================================================================== 198.14/198.25 c | 0 | 2104 29182 71799 | 9727 0 nan | 0.000 % | 198.14/198.27 c =============================================================================== 198.23/198.32 c core #425 198.23/198.32 c 198.23/198.32 c 198.23/198.32 c Core size: 13 Core Weight: 1 Total Weight: -170 198.23/198.32 c 198.23/198.32 c 198.23/198.32 c ============================[ Search Statistics ]============================== 198.23/198.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.23/198.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.23/198.32 c =============================================================================== 198.23/198.32 c | 0 | 2114 29183 71819 | 9727 0 nan | 0.000 % | 198.23/198.35 c | 100 | 2113 29183 71819 | 10700 100 8 | 0.047 % | 198.23/198.36 c =============================================================================== 198.33/198.41 c core #426 198.33/198.41 c 198.33/198.41 c 198.33/198.41 c Core size: 47 Core Weight: 1 Total Weight: -169 198.33/198.41 c 198.33/198.41 c 198.33/198.41 c ============================[ Search Statistics ]============================== 198.33/198.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.33/198.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.33/198.41 c =============================================================================== 198.33/198.41 c | 0 | 2146 29184 71883 | 9728 0 nan | 0.000 % | 198.33/198.46 c | 102 | 2146 29184 71883 | 10700 102 17 | 0.000 % | 198.43/198.50 c =============================================================================== 198.43/198.55 c core #427 198.43/198.55 c 198.43/198.55 c 198.43/198.55 c Core size: 51 Core Weight: 1 Total Weight: -168 198.43/198.55 c 198.43/198.55 c 198.43/198.55 c ============================[ Search Statistics ]============================== 198.43/198.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.43/198.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.43/198.55 c =============================================================================== 198.43/198.55 c | 0 | 2180 29185 71951 | 9728 0 nan | 0.000 % | 198.43/198.57 c =============================================================================== 198.53/198.62 c core #428 198.53/198.62 c 198.53/198.62 c 198.53/198.62 c Core size: 15 Core Weight: 1 Total Weight: -167 198.53/198.62 c 198.53/198.62 c 198.53/198.62 c ============================[ Search Statistics ]============================== 198.53/198.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.53/198.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.53/198.62 c =============================================================================== 198.53/198.62 c | 0 | 2190 29186 71971 | 9728 0 nan | 0.000 % | 198.53/198.64 c | 104 | 2185 29186 71971 | 10701 104 9 | 0.274 % | 198.53/198.64 c =============================================================================== 198.53/198.69 c core #429 198.53/198.69 c 198.53/198.69 c 198.53/198.69 c Core size: 23 Core Weight: 1 Total Weight: -166 198.53/198.69 c 198.53/198.69 c 198.53/198.69 c ============================[ Search Statistics ]============================== 198.53/198.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.53/198.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.53/198.69 c =============================================================================== 198.53/198.69 c | 0 | 2206 29187 72003 | 9729 0 nan | 0.000 % | 198.63/198.74 c | 101 | 2206 29187 72003 | 10701 101 11 | 0.000 % | 198.63/198.75 c =============================================================================== 198.73/198.80 c core #430 198.73/198.80 c 198.73/198.80 c 198.73/198.80 c Core size: 29 Core Weight: 1 Total Weight: -165 198.73/198.80 c 198.73/198.80 c 198.73/198.80 c ============================[ Search Statistics ]============================== 198.73/198.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.73/198.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.73/198.80 c =============================================================================== 198.73/198.80 c | 0 | 2228 29188 72047 | 9729 0 nan | 0.000 % | 198.73/198.87 c | 100 | 2228 29188 72047 | 10702 100 14 | 0.000 % | 198.84/198.92 c =============================================================================== 198.84/198.97 c core #431 198.84/198.97 c 198.84/198.97 c 198.84/198.97 c Core size: 26 Core Weight: 1 Total Weight: -164 198.84/198.97 c 198.84/198.97 c 198.84/198.97 c ============================[ Search Statistics ]============================== 198.84/198.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.84/198.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.84/198.97 c =============================================================================== 198.84/198.97 c | 0 | 2252 29189 72095 | 9729 0 nan | 0.000 % | 198.84/198.99 c =============================================================================== 198.95/199.04 c core #432 198.95/199.04 c 198.95/199.04 c 198.95/199.04 c Core size: 21 Core Weight: 1 Total Weight: -163 198.95/199.04 c 198.95/199.04 c 198.95/199.04 c ============================[ Search Statistics ]============================== 198.95/199.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.95/199.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.95/199.04 c =============================================================================== 198.95/199.04 c | 0 | 2272 29190 72135 | 9730 0 nan | 0.000 % | 198.95/199.08 c | 105 | 2272 29190 72135 | 10703 105 13 | 0.000 % | 199.05/199.16 c | 256 | 2270 29190 72135 | 11773 256 11 | 0.088 % | 199.14/199.20 c =============================================================================== 199.14/199.25 c core #433 199.14/199.25 c 199.14/199.25 c 199.14/199.25 c Core size: 63 Core Weight: 1 Total Weight: -162 199.14/199.25 c 199.14/199.25 c 199.14/199.25 c ============================[ Search Statistics ]============================== 199.14/199.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.14/199.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.14/199.25 c =============================================================================== 199.14/199.25 c | 0 | 2328 29191 72247 | 9730 0 nan | 0.000 % | 199.14/199.29 c =============================================================================== 199.24/199.34 c core #434 199.24/199.34 c 199.24/199.34 c 199.24/199.34 c Core size: 27 Core Weight: 1 Total Weight: -161 199.24/199.34 c 199.24/199.34 c 199.24/199.34 c ============================[ Search Statistics ]============================== 199.24/199.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.24/199.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.24/199.34 c =============================================================================== 199.24/199.34 c | 0 | 2344 29192 72279 | 9730 0 nan | 0.000 % | 199.24/199.38 c | 101 | 2344 29192 72279 | 10703 101 12 | 0.000 % | 199.34/199.45 c | 251 | 2344 29192 72279 | 11774 251 11 | 0.000 % | 199.44/199.59 c =============================================================================== 199.54/199.64 c core #435 199.54/199.64 c 199.54/199.64 c 199.54/199.64 c Core size: 42 Core Weight: 1 Total Weight: -160 199.54/199.64 c 199.54/199.64 c 199.54/199.64 c ============================[ Search Statistics ]============================== 199.54/199.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.54/199.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.54/199.64 c =============================================================================== 199.54/199.64 c | 0 | 2382 29193 72355 | 9731 0 nan | 0.000 % | 199.64/199.70 c | 100 | 2382 29193 72355 | 10704 100 11 | 0.000 % | 199.64/199.75 c =============================================================================== 199.64/199.80 c core #436 199.64/199.80 c 199.64/199.80 c 199.64/199.80 c Core size: 36 Core Weight: 1 Total Weight: -159 199.64/199.80 c 199.64/199.80 c 199.64/199.80 c ============================[ Search Statistics ]============================== 199.64/199.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.64/199.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.64/199.80 c =============================================================================== 199.64/199.80 c | 0 | 2412 29194 72415 | 9731 0 nan | 0.000 % | 199.74/199.84 c | 103 | 2412 29194 72415 | 10704 103 8 | 0.000 % | 199.74/199.88 c | 253 | 2396 29194 72415 | 11774 253 12 | 5.804 % | 199.74/199.89 c =============================================================================== 199.84/199.94 c core #437 199.84/199.94 c 199.84/199.94 c 199.84/199.94 c Core size: 55 Core Weight: 1 Total Weight: -158 199.84/199.94 c 199.84/199.94 c 199.84/199.94 c ============================[ Search Statistics ]============================== 199.84/199.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.84/199.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.84/199.94 c =============================================================================== 199.84/199.94 c | 0 | 2460 29195 72511 | 9731 0 nan | 0.000 % | 199.93/200.01 c | 101 | 2460 29195 72511 | 10704 101 6 | 0.041 % | 199.93/200.01 c =============================================================================== 199.93/200.06 c core #438 199.93/200.06 c 199.93/200.06 c 199.93/200.06 c Core size: 32 Core Weight: 1 Total Weight: -157 199.93/200.06 c 199.93/200.06 c 199.93/200.06 c ============================[ Search Statistics ]============================== 199.93/200.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.93/200.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.93/200.06 c =============================================================================== 199.93/200.06 c | 0 | 2486 29196 72563 | 9732 0 nan | 0.000 % | 200.05/200.10 c | 103 | 2486 29196 72563 | 10705 103 13 | 0.000 % | 200.05/200.14 c | 254 | 2484 29196 72563 | 11775 254 12 | 0.080 % | 200.05/200.19 c =============================================================================== 200.15/200.24 c core #439 200.15/200.24 c 200.15/200.24 c 200.15/200.24 c Core size: 39 Core Weight: 1 Total Weight: -156 200.15/200.24 c 200.15/200.24 c 200.15/200.24 c ============================[ Search Statistics ]============================== 200.15/200.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.15/200.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.15/200.24 c =============================================================================== 200.15/200.24 c | 0 | 2518 29197 72627 | 9732 0 nan | 0.000 % | 200.24/200.30 c | 102 | 2518 29197 72627 | 10705 102 18 | 0.000 % | 200.24/200.38 c =============================================================================== 200.34/200.43 c core #440 200.34/200.43 c 200.34/200.43 c 200.34/200.43 c Core size: 43 Core Weight: 1 Total Weight: -155 200.34/200.43 c 200.34/200.43 c 200.34/200.43 c ============================[ Search Statistics ]============================== 200.34/200.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.34/200.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.34/200.43 c =============================================================================== 200.34/200.43 c | 0 | 2550 29198 72691 | 9732 0 nan | 0.000 % | 200.34/200.47 c | 101 | 2550 29198 72691 | 10705 101 15 | 0.000 % | 200.43/200.51 c | 252 | 2550 29198 72691 | 11776 252 11 | 0.000 % | 200.43/200.53 c =============================================================================== 200.43/200.58 c core #441 200.43/200.58 c 200.43/200.58 c 200.43/200.58 c Core size: 75 Core Weight: 1 Total Weight: -154 200.43/200.58 c 200.43/200.58 c 200.43/200.58 c ============================[ Search Statistics ]============================== 200.43/200.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.43/200.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.43/200.58 c =============================================================================== 200.43/200.58 c | 0 | 2596 29199 72783 | 9733 0 nan | 0.000 % | 200.53/200.64 c | 101 | 2594 29199 72783 | 10706 101 8 | 0.077 % | 200.63/200.76 c | 251 | 2593 29199 72783 | 11776 251 10 | 0.116 % | 200.63/200.79 c =============================================================================== 200.73/200.84 c core #442 200.73/200.84 c 200.73/200.84 c 200.73/200.84 c Core size: 73 Core Weight: 1 Total Weight: -153 200.73/200.84 c 200.73/200.84 c 200.73/200.84 c ============================[ Search Statistics ]============================== 200.73/200.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.73/200.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.73/200.84 c =============================================================================== 200.73/200.84 c | 0 | 2648 29200 72887 | 9733 0 nan | 0.000 % | 200.83/200.91 c | 100 | 2648 29200 72887 | 10706 100 13 | 0.000 % | 200.83/200.93 c | 252 | 2648 29200 72887 | 11777 252 12 | 0.000 % | 200.83/200.95 c =============================================================================== 200.94/201.00 c core #443 200.94/201.00 c 200.94/201.00 c 200.94/201.00 c Core size: 14 Core Weight: 1 Total Weight: -152 200.94/201.00 c 200.94/201.00 c 200.94/201.00 c ============================[ Search Statistics ]============================== 200.94/201.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.94/201.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.94/201.00 c =============================================================================== 200.94/201.00 c | 0 | 2658 29201 72907 | 9733 0 nan | 0.000 % | 201.04/201.10 c | 104 | 2658 29201 72907 | 10707 104 14 | 0.000 % | 201.04/201.15 c | 254 | 2658 29201 72907 | 11777 254 14 | 0.000 % | 201.15/201.23 c | 482 | 2656 29201 72907 | 12955 482 13 | 3.574 % | 201.15/201.25 c =============================================================================== 201.15/201.30 c core #444 201.15/201.30 c 201.15/201.30 c 201.15/201.30 c Core size: 98 Core Weight: 1 Total Weight: -151 201.15/201.30 c 201.15/201.30 c 201.15/201.30 c ============================[ Search Statistics ]============================== 201.15/201.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.15/201.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.15/201.30 c =============================================================================== 201.15/201.30 c | 0 | 2724 29202 73039 | 9734 0 nan | 0.000 % | 201.25/201.36 c | 100 | 2724 29202 73039 | 10707 100 11 | 0.000 % | 201.25/201.38 c | 250 | 2724 29202 73039 | 11778 250 13 | 0.000 % | 201.34/201.46 c | 475 | 2722 29202 73039 | 12955 475 13 | 0.073 % | 201.43/201.51 c =============================================================================== 201.43/201.57 c core #445 201.43/201.57 c 201.43/201.57 c 201.43/201.57 c Core size: 64 Core Weight: 1 Total Weight: -150 201.43/201.57 c 201.43/201.57 c 201.43/201.57 c ============================[ Search Statistics ]============================== 201.43/201.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.43/201.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.43/201.57 c =============================================================================== 201.43/201.57 c | 0 | 2772 29203 73135 | 9734 0 nan | 0.000 % | 201.53/201.60 c =============================================================================== 201.53/201.65 c core #446 201.53/201.65 c 201.53/201.65 c 201.53/201.65 c Core size: 22 Core Weight: 1 Total Weight: -149 201.53/201.65 c 201.53/201.65 c 201.53/201.65 c ============================[ Search Statistics ]============================== 201.53/201.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.53/201.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.53/201.65 c =============================================================================== 201.53/201.65 c | 0 | 2786 29204 73163 | 9734 0 nan | 0.000 % | 201.64/201.73 c | 100 | 2786 29204 73163 | 10708 100 14 | 0.000 % | 201.64/201.76 c | 252 | 2786 29204 73163 | 11778 252 14 | 0.000 % | 201.74/201.82 c | 478 | 2786 29204 73163 | 12956 478 14 | 0.000 % | 201.84/201.93 c =============================================================================== 201.84/201.99 c core #447 201.84/201.99 c 201.84/201.99 c 201.84/201.99 c Core size: 42 Core Weight: 1 Total Weight: -148 201.84/201.99 c 201.84/201.99 c 201.84/201.99 c ============================[ Search Statistics ]============================== 201.84/201.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.84/201.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.84/201.99 c =============================================================================== 201.84/201.99 c | 0 | 2818 29205 73227 | 9735 0 nan | 0.000 % | 201.94/202.04 c | 103 | 2818 29205 73227 | 10708 103 17 | 0.000 % | 201.94/202.09 c | 253 | 2817 29205 73227 | 11779 253 16 | 0.035 % | 202.04/202.13 c | 480 | 2815 29205 73227 | 12957 480 16 | 5.110 % | 202.04/202.15 c =============================================================================== 202.04/202.20 c core #448 202.04/202.20 c 202.04/202.20 c 202.04/202.20 c Core size: 47 Core Weight: 1 Total Weight: -147 202.04/202.20 c 202.04/202.20 c 202.04/202.20 c ============================[ Search Statistics ]============================== 202.04/202.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.04/202.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.04/202.20 c =============================================================================== 202.04/202.20 c | 0 | 2856 29206 73303 | 9735 0 nan | 0.000 % | 202.14/202.24 c | 101 | 2856 29206 73303 | 10708 101 16 | 0.000 % | 202.14/202.27 c | 255 | 2856 29206 73303 | 11779 255 15 | 0.000 % | 202.25/202.31 c | 480 | 2856 29206 73303 | 12957 480 16 | 0.000 % | 202.35/202.49 c | 817 | 2854 29206 73303 | 14253 817 17 | 0.070 % | 202.64/202.75 c | 1323 | 2854 29206 73303 | 15678 1318 23 | 0.070 % | 203.04/203.17 c | 2084 | 2852 29206 73303 | 17246 2072 31 | 0.140 % | 203.64/203.74 c | 3223 | 2815 29206 73303 | 18971 3211 34 | 9.805 % | 203.64/203.76 c =============================================================================== 203.74/203.85 c core #449 203.74/203.85 c 203.74/203.85 c 203.74/203.85 c Core size: 122 Core Weight: 1 Total Weight: -146 203.74/203.85 c 203.74/203.85 c 203.74/203.85 c ============================[ Search Statistics ]============================== 203.74/203.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.74/203.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.74/203.85 c =============================================================================== 203.74/203.85 c | 0 | 2946 29207 73483 | 9735 0 nan | 0.000 % | 203.84/203.92 c | 101 | 2946 29207 73483 | 10709 101 23 | 0.000 % | 203.84/203.97 c | 252 | 2946 29207 73483 | 11780 252 20 | 0.000 % | 203.94/204.00 c | 477 | 2945 29207 73483 | 12958 477 23 | 0.034 % | 203.94/204.04 c | 814 | 2945 29207 73483 | 14253 814 27 | 0.034 % | 204.13/204.23 c | 1321 | 2943 29207 73483 | 15679 1310 28 | 0.102 % | 204.45/204.53 c | 2084 | 2943 29207 73483 | 17247 2073 26 | 0.102 % | 204.74/204.81 c =============================================================================== 204.74/204.87 c core #450 204.74/204.87 c 204.74/204.87 c 204.74/204.87 c Core size: 119 Core Weight: 1 Total Weight: -145 204.74/204.87 c 204.74/204.87 c 204.74/204.87 c ============================[ Search Statistics ]============================== 204.74/204.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.74/204.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.74/204.87 c =============================================================================== 204.74/204.87 c | 0 | 3030 29208 73651 | 9736 0 nan | 0.000 % | 204.84/204.91 c | 101 | 3030 29208 73651 | 10709 101 18 | 0.000 % | 204.84/204.97 c | 251 | 3030 29208 73651 | 11780 251 19 | 0.000 % | 204.84/204.98 c =============================================================================== 204.94/205.03 c core #451 204.94/205.03 c 204.94/205.03 c 204.94/205.03 c Core size: 33 Core Weight: 1 Total Weight: -144 204.94/205.03 c 204.94/205.03 c 204.94/205.03 c ============================[ Search Statistics ]============================== 204.94/205.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.94/205.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.94/205.03 c =============================================================================== 204.94/205.03 c | 0 | 3048 29209 73687 | 9736 0 nan | 0.000 % | 204.94/205.07 c | 100 | 3048 29209 73687 | 10709 100 18 | 0.000 % | 204.94/205.09 c | 250 | 3047 29209 73687 | 11780 250 19 | 0.033 % | 205.04/205.12 c | 475 | 3047 29209 73687 | 12959 475 15 | 0.033 % | 205.04/205.16 c | 815 | 3046 29209 73687 | 14254 815 20 | 0.066 % | 205.13/205.25 c =============================================================================== 205.23/205.30 c core #452 205.23/205.30 c 205.23/205.30 c 205.23/205.30 c Core size: 68 Core Weight: 1 Total Weight: -143 205.23/205.30 c 205.23/205.30 c 205.23/205.30 c ============================[ Search Statistics ]============================== 205.23/205.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.23/205.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.23/205.30 c =============================================================================== 205.23/205.30 c | 0 | 3113 29210 73817 | 9736 0 nan | 0.000 % | 205.23/205.39 c | 101 | 3113 29210 73817 | 10710 101 22 | 0.000 % | 205.33/205.40 c | 252 | 3113 29210 73817 | 11781 252 18 | 0.000 % | 205.33/205.46 c | 477 | 3113 29210 73817 | 12959 477 19 | 0.000 % | 205.43/205.55 c | 817 | 3113 29210 73817 | 14255 817 20 | 0.000 % | 205.54/205.66 c | 1325 | 3113 29210 73817 | 15680 1325 23 | 0.000 % | 205.84/205.94 c | 2087 | 3112 29210 73817 | 17249 2086 27 | 0.032 % | 206.03/206.19 c =============================================================================== 206.13/206.27 c core #453 206.13/206.27 c 206.13/206.27 c 206.13/206.27 c Core size: 114 Core Weight: 1 Total Weight: -142 206.13/206.27 c 206.13/206.27 c 206.13/206.27 c ============================[ Search Statistics ]============================== 206.13/206.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.13/206.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.13/206.27 c =============================================================================== 206.13/206.27 c | 0 | 3183 29211 73957 | 9737 0 nan | 0.000 % | 206.23/206.31 c | 100 | 3183 29211 73957 | 10710 100 18 | 0.000 % | 206.23/206.36 c | 252 | 3183 29211 73957 | 11781 252 18 | 0.000 % | 206.23/206.39 c | 479 | 3183 29211 73957 | 12959 479 21 | 0.000 % | 206.33/206.45 c | 821 | 3183 29211 73957 | 14255 821 21 | 0.000 % | 206.44/206.58 c | 1328 | 3183 29211 73957 | 15681 1328 24 | 0.000 % | 206.75/206.88 c | 2087 | 3183 29211 73957 | 17249 2087 33 | 0.000 % | 207.43/207.56 c | 3226 | 3183 29211 73957 | 18974 3226 41 | 0.000 % | 208.24/208.36 c | 4936 | 3183 29211 73957 | 20872 4936 42 | 0.000 % | 209.64/209.77 c | 7498 | 3183 29211 73957 | 22959 7498 44 | 0.000 % | 212.73/212.86 c | 11342 | 3183 29211 73957 | 25255 11342 45 | 0.001 % | 213.43/213.56 c =============================================================================== 213.73/213.80 c core #454 213.73/213.80 c 213.73/213.80 c 213.73/213.80 c Core size: 112 Core Weight: 1 Total Weight: -141 213.73/213.80 c 213.73/213.80 c 213.73/213.80 c ============================[ Search Statistics ]============================== 213.73/213.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.73/213.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.73/213.80 c =============================================================================== 213.73/213.80 c | 0 | 3293 29212 74177 | 9737 0 nan | 0.000 % | 213.73/213.85 c | 100 | 3293 29212 74177 | 10711 100 20 | 0.000 % | 213.73/213.87 c | 252 | 3293 29212 74177 | 11782 252 23 | 0.000 % | 213.84/213.90 c | 478 | 3293 29212 74177 | 12960 478 23 | 0.000 % | 213.84/213.93 c | 818 | 3293 29212 74177 | 14256 818 23 | 0.000 % | 213.94/214.04 c | 1325 | 3290 29212 74177 | 15682 1322 25 | 0.091 % | 214.23/214.30 c | 2084 | 3290 29212 74177 | 17250 2081 32 | 0.092 % | 214.54/214.65 c | 3223 | 3202 29212 74177 | 18975 3141 38 | 2.763 % | 215.23/215.33 c | 4934 | 3191 29212 74177 | 20872 4852 44 | 5.648 % | 216.13/216.21 c =============================================================================== 216.23/216.33 c core #455 216.23/216.33 c 216.23/216.33 c 216.23/216.33 c Core size: 156 Core Weight: 1 Total Weight: -140 216.23/216.33 c 216.23/216.33 c 216.23/216.33 c ============================[ Search Statistics ]============================== 216.23/216.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.23/216.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.23/216.33 c =============================================================================== 216.23/216.33 c | 0 | 3395 29213 74381 | 9737 0 nan | 0.000 % | 216.23/216.36 c | 100 | 3395 29213 74381 | 10711 100 23 | 0.000 % | 216.23/216.39 c | 250 | 3395 29213 74381 | 11782 250 18 | 0.000 % | 216.33/216.43 c | 476 | 3395 29213 74381 | 12960 476 17 | 0.000 % | 216.33/216.48 c | 815 | 3394 29213 74381 | 14256 815 21 | 0.029 % | 216.44/216.55 c | 1322 | 3393 29213 74381 | 15682 1315 38 | 0.059 % | 216.64/216.76 c | 2084 | 3390 29213 74381 | 17250 2070 45 | 0.147 % | 216.94/217.05 c | 3223 | 3390 29213 74381 | 18975 3209 54 | 0.147 % | 217.53/217.68 c | 4931 | 3388 29213 74381 | 20873 4917 63 | 0.206 % | 218.53/218.62 c | 7496 | 3388 29213 74381 | 22960 7479 73 | 0.206 % | 220.73/220.80 c | 11340 | 3386 29213 74381 | 25256 11323 81 | 0.265 % | 224.93/225.08 c | 17108 | 3350 29213 74381 | 27782 17075 89 | 3.358 % | 231.63/231.79 c =============================================================================== 232.04/232.14 c core #456 232.04/232.14 c 232.04/232.14 c 232.04/232.14 c Core size: 142 Core Weight: 1 Total Weight: -139 232.04/232.14 c 232.04/232.14 c 232.04/232.14 c ============================[ Search Statistics ]============================== 232.04/232.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.04/232.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.04/232.14 c =============================================================================== 232.04/232.14 c | 0 | 3513 29214 74617 | 9738 0 nan | 0.000 % | 232.04/232.19 c | 102 | 3513 29214 74617 | 10711 102 23 | 0.000 % | 232.13/232.21 c | 252 | 3513 29214 74617 | 11782 252 29 | 0.000 % | 232.13/232.25 c | 480 | 3513 29214 74617 | 12961 480 30 | 0.000 % | 232.23/232.32 c | 818 | 3513 29214 74617 | 14257 818 33 | 0.000 % | 232.43/232.52 c | 1324 | 3513 29214 74617 | 15683 1324 39 | 0.000 % | 232.63/232.78 c | 2085 | 3513 29214 74617 | 17251 2085 53 | 0.000 % | 233.33/233.41 c | 3224 | 3513 29214 74617 | 18976 3224 88 | 0.000 % | 234.43/234.50 c | 4936 | 3513 29214 74617 | 20874 4936 116 | 0.000 % | 235.93/236.04 c | 7500 | 3513 29214 74617 | 22961 7500 134 | 0.000 % | 239.22/239.31 c | 11348 | 3513 29214 74617 | 25257 11348 149 | 0.000 % | 243.83/243.98 c | 17114 | 3513 29214 74617 | 27783 17114 150 | 0.000 % | 255.83/255.93 c | 25767 | 3513 29214 74617 | 30562 25767 154 | 0.000 % | 270.91/271.06 c | 38742 | 3513 29214 74617 | 33618 21184 139 | 0.000 % | 297.61/297.77 c | 58203 | 3513 29214 74617 | 36980 19980 144 | 0.000 % | 350.10/350.25 c | 87396 | 3513 29214 74617 | 40678 27100 152 | 0.000 % | 421.68/421.85 c | 131185 | 3513 29214 74617 | 44745 15949 140 | 0.000 % | 512.03/512.21 c | 196872 | 3513 29214 74617 | 49220 18455 119 | 0.000 % | 671.81/672.09 c | 295398 | 3511 29214 74617 | 54142 47708 125 | 0.057 % | 829.36/829.69 c =============================================================================== 831.96/832.21 c core #457 831.96/832.21 c 831.96/832.21 c 831.96/832.21 c Core size: 149 Core Weight: 1 Total Weight: -138 831.96/832.21 c 831.96/832.21 c 831.96/832.21 c ============================[ Search Statistics ]============================== 831.96/832.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 831.96/832.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 831.96/832.21 c =============================================================================== 831.96/832.21 c | 0 | 3655 29215 74901 | 9738 0 nan | 0.000 % | 832.06/832.30 c | 100 | 3655 29215 74901 | 10712 100 43 | 0.000 % | 832.06/832.35 c | 250 | 3654 29215 74901 | 11783 250 26 | 0.027 % | 832.15/832.41 c | 477 | 3652 29215 74901 | 12961 477 22 | 0.082 % | 832.15/832.47 c | 814 | 3652 29215 74901 | 14257 814 27 | 0.082 % | 832.36/832.62 c | 1320 | 3651 29215 74901 | 15683 1316 29 | 0.109 % | 832.76/833.03 c | 2079 | 3649 29215 74901 | 17252 2065 36 | 0.164 % | 833.15/833.40 c | 3218 | 3645 29215 74901 | 18977 3204 37 | 0.274 % | 833.65/833.93 c =============================================================================== 833.75/834.01 c core #458 833.75/834.01 c 833.75/834.01 c 833.75/834.01 c Core size: 146 Core Weight: 1 Total Weight: -137 833.75/834.01 c 833.75/834.01 c 833.75/834.01 c ============================[ Search Statistics ]============================== 833.75/834.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 833.75/834.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 833.75/834.01 c =============================================================================== 833.75/834.01 c | 0 | 3775 29216 75141 | 9738 0 nan | 0.000 % | 833.75/834.07 c | 100 | 3775 29216 75141 | 10712 100 35 | 0.000 % | 833.75/834.09 c | 250 | 3775 29216 75141 | 11783 250 31 | 0.000 % | 833.86/834.12 c | 478 | 3775 29216 75141 | 12962 478 33 | 0.000 % | 833.86/834.18 c | 815 | 3775 29216 75141 | 14258 815 45 | 0.000 % | 834.05/834.32 c | 1321 | 3775 29216 75141 | 15684 1321 85 | 0.000 % | 834.35/834.68 c | 2082 | 3775 29216 75141 | 17252 2082 98 | 0.000 % | 834.96/835.20 c | 3222 | 3775 29216 75141 | 18977 3222 107 | 0.000 % | 835.66/836.00 c | 4932 | 3775 29216 75141 | 20875 4932 110 | 0.000 % | 837.15/837.44 c | 7500 | 3775 29216 75141 | 22963 7500 105 | 0.000 % | 839.16/839.43 c | 11344 | 3775 29216 75141 | 25259 11344 110 | 0.000 % | 843.36/843.69 c | 17110 | 3774 29216 75141 | 27785 17100 110 | 0.027 % | 853.15/853.40 c | 25759 | 3772 29216 75141 | 30564 25749 111 | 0.079 % | 868.54/868.89 c | 38733 | 3772 29216 75141 | 33620 20911 108 | 0.079 % | 893.54/893.85 c | 58196 | 3772 29216 75141 | 36982 18848 111 | 0.080 % | 933.72/934.09 c | 87390 | 3772 29216 75141 | 40680 25737 109 | 0.079 % | 945.22/945.55 c =============================================================================== 947.32/947.68 c core #459 947.32/947.68 c 947.32/947.68 c 947.32/947.68 c Core size: 127 Core Weight: 1 Total Weight: -136 947.32/947.68 c 947.32/947.68 c 947.32/947.68 c ============================[ Search Statistics ]============================== 947.32/947.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 947.32/947.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 947.32/947.68 c =============================================================================== 947.32/947.68 c | 0 | 3899 29217 75389 | 9739 0 nan | 0.000 % | 947.42/947.73 c | 101 | 3899 29217 75389 | 10712 101 19 | 0.000 % | 947.42/947.76 c | 253 | 3899 29217 75389 | 11784 253 20 | 0.000 % | 947.53/947.83 c | 478 | 3899 29217 75389 | 12962 478 23 | 0.000 % | 947.63/947.93 c | 817 | 3899 29217 75389 | 14258 817 32 | 0.000 % | 947.72/948.05 c | 1323 | 3899 29217 75389 | 15684 1323 39 | 0.000 % | 947.94/948.24 c | 2082 | 3899 29217 75389 | 17253 2082 42 | 0.000 % | 948.23/948.55 c | 3221 | 3899 29217 75389 | 18978 3221 55 | 0.000 % | 948.82/949.16 c | 4932 | 3899 29217 75389 | 20876 4932 71 | 0.000 % | 950.13/950.42 c | 7495 | 3899 29217 75389 | 22964 7495 77 | 0.000 % | 951.72/952.09 c | 11344 | 3899 29217 75389 | 25260 11344 81 | 0.000 % | 956.03/956.38 c | 17111 | 3899 29217 75389 | 27786 17111 92 | 0.000 % | 962.23/962.55 c | 25761 | 3899 29217 75389 | 30565 25761 98 | 0.000 % | 975.02/975.32 c | 38737 | 3899 29217 75389 | 33621 20803 116 | 0.000 % | 1002.41/1002.73 c | 58201 | 3899 29217 75389 | 36983 19387 150 | 0.000 % | 1043.51/1043.84 c | 87393 | 3899 29217 75389 | 40682 24150 140 | 0.000 % | 1122.58/1122.95 c | 131184 | 3899 29217 75389 | 44750 40771 160 | 0.000 % | 1209.35/1209.75 c | 196874 | 3899 29217 75389 | 49225 18256 146 | 0.000 % | 1365.61/1366.04 c | 295400 | 3899 29217 75389 | 54148 48375 145 | 0.000 % | 1659.93/1660.44 c | 443192 | 3899 29217 75389 | 59562 43116 181 | 0.000 % |
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-2680708-1277456032/watcher-2680708-1277456032 -o /tmp/evaluation-result-2680708-1277456032/solver-2680708-1277456032 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680708-1277456032.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 0.99 0.91 3/105 27003 /proc/meminfo: memFree=1854340/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=3236 CPUtime=0 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 303 0 0 0 0 0 0 0 25 0 1 0 86896719 3313664 222 1992294400 134512640 135752675 4287494768 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 809 222 141 303 0 340 0 [startup+0.0632331 s] /proc/loadavg: 1.07 0.99 0.91 3/105 27003 /proc/meminfo: memFree=1854340/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=4224 CPUtime=0.06 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 616 0 0 0 6 0 0 0 25 0 1 0 86896719 4325376 535 1992294400 134512640 135752675 4287494768 18446744073709551615 134565934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 1056 536 245 303 0 587 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4224 [startup+0.101237 s] /proc/loadavg: 1.07 0.99 0.91 3/105 27003 /proc/meminfo: memFree=1854340/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=5844 CPUtime=0.09 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 1252 0 0 0 9 0 0 0 25 0 1 0 86896719 5984256 1007 1992294400 134512640 135752675 4287494768 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 1461 1007 140 303 0 1156 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5844 [startup+0.301259 s] /proc/loadavg: 1.07 0.99 0.91 3/105 27003 /proc/meminfo: memFree=1854340/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=5844 CPUtime=0.29 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 1261 0 0 0 28 1 0 0 25 0 1 0 86896719 5984256 1016 1992294400 134512640 135752675 4287494768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 1461 1016 145 303 0 1156 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5844 [startup+0.701303 s] /proc/loadavg: 1.07 0.99 0.91 3/105 27003 /proc/meminfo: memFree=1854340/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=9172 CPUtime=0.69 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 2101 0 0 0 67 2 0 0 25 0 1 0 86896719 9392128 1856 1992294400 134512640 135752675 4287494768 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 2293 1856 145 303 0 1988 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9172 [startup+1.50139 s] /proc/loadavg: 1.07 0.99 0.91 2/106 27004 /proc/meminfo: memFree=1845404/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=13532 CPUtime=1.49 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 3180 0 0 0 146 3 0 0 25 0 1 0 86896719 13856768 2935 1992294400 134512640 135752675 4287494768 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 3383 2935 145 303 0 3078 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13532 [startup+3.10157 s] /proc/loadavg: 1.07 0.99 0.91 2/106 27004 /proc/meminfo: memFree=1839204/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=21380 CPUtime=3.09 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 5123 0 0 0 303 6 0 0 25 0 1 0 86896719 21893120 4878 1992294400 134512640 135752675 4287494768 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 5345 4878 145 303 0 5040 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21380 [startup+6.30192 s] /proc/loadavg: 1.07 0.99 0.91 2/106 27004 /proc/meminfo: memFree=1827176/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=32696 CPUtime=6.29 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 7966 0 0 0 620 9 0 0 25 0 1 0 86896719 33480704 7721 1992294400 134512640 135752675 4287494768 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 8174 7721 145 303 0 7869 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32696 [startup+12.7016 s] /proc/loadavg: 1.06 0.99 0.91 2/106 27004 /proc/meminfo: memFree=1807212/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=50564 CPUtime=12.69 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 12414 0 0 0 1254 15 0 0 25 0 1 0 86896719 51777536 12169 1992294400 134512640 135752675 4287494768 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 12641 12169 145 303 0 12336 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50564 [startup+25.501 s] /proc/loadavg: 1.05 0.99 0.91 2/106 27004 /proc/meminfo: memFree=1791712/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=65332 CPUtime=25.48 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 16100 0 0 0 2528 20 0 0 25 0 1 0 86896719 66899968 15855 1992294400 134512640 135752675 4287494768 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 16333 15855 145 303 0 16028 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65332 [startup+51.1009 s] /proc/loadavg: 1.03 0.99 0.91 2/106 27004 /proc/meminfo: memFree=1775344/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=81244 CPUtime=51.08 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 20088 0 0 0 5081 27 0 0 25 0 1 0 86896719 83193856 19843 1992294400 134512640 135752675 4287494768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 20311 19843 145 303 0 20006 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 81244 [startup+102.309 s] /proc/loadavg: 1.01 0.99 0.91 2/106 27006 /proc/meminfo: memFree=1721900/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=134764 CPUtime=102.28 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 33413 0 0 0 10181 47 0 0 25 0 1 0 86896719 137998336 33168 1992294400 134512640 135752675 4287494768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 33691 33168 145 303 0 33386 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 134764 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 27008 /proc/meminfo: memFree=1663372/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=192984 CPUtime=162.25 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 47930 0 0 0 16161 64 0 0 25 0 1 0 86896719 197615616 47685 1992294400 134512640 135752675 4287494768 18446744073709551615 134611767 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 48246 47685 145 303 0 47941 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 192984 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 27010 /proc/meminfo: memFree=1645764/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=209588 CPUtime=222.23 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 52269 0 0 0 22133 90 0 0 25 0 1 0 86896719 214618112 51940 1992294400 134512640 135752675 4287494768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 52397 51940 146 303 0 52092 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 209588 [startup+282.3 s] /proc/loadavg: 1.00 0.99 0.91 2/106 27010 /proc/meminfo: memFree=1645516/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=209588 CPUtime=282.22 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 52297 0 0 0 28105 117 0 0 25 0 1 0 86896719 214618112 51968 1992294400 134512640 135752675 4287494768 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 52397 51968 146 303 0 52092 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 209588 [startup+342.301 s] /proc/loadavg: 1.04 1.00 0.92 2/106 27012 /proc/meminfo: memFree=1627164/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=228160 CPUtime=342.2 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 56912 0 0 0 34084 136 0 0 25 0 1 0 86896719 233635840 56583 1992294400 134512640 135752675 4287494768 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 57040 56583 146 303 0 56735 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 228160 [startup+402.301 s] /proc/loadavg: 1.09 1.02 0.93 2/106 27014 /proc/meminfo: memFree=1599388/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=256264 CPUtime=402.18 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 63889 0 0 0 40058 160 0 0 25 0 1 0 86896719 262414336 63560 1992294400 134512640 135752675 4287494768 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 64066 63560 146 303 0 63761 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 256264 [startup+462.301 s] /proc/loadavg: 1.03 1.01 0.93 2/106 27025 /proc/meminfo: memFree=1571364/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=284120 CPUtime=462.16 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 70849 0 0 0 46033 183 0 0 25 0 1 0 86896719 290938880 70520 1992294400 134512640 135752675 4287494768 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 71030 70520 146 303 0 70725 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 284120 [startup+522.301 s] /proc/loadavg: 1.08 1.02 0.93 2/106 27027 /proc/meminfo: memFree=1538752/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=317096 CPUtime=522.14 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 79065 0 0 0 52004 210 0 0 25 0 1 0 86896719 324706304 78736 1992294400 134512640 135752675 4287494768 18446744073709551615 134517411 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 79274 78736 146 303 0 78969 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 317096 [startup+582.301 s] /proc/loadavg: 1.09 1.03 0.94 2/106 27027 /proc/meminfo: memFree=1510604/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=344928 CPUtime=582.12 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 86012 0 0 0 57979 233 0 0 25 0 1 0 86896719 353206272 85683 1992294400 134512640 135752675 4287494768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 86232 85683 146 303 0 85927 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 344928 [startup+642.301 s] /proc/loadavg: 1.08 1.04 0.94 2/106 27029 /proc/meminfo: memFree=1485804/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=369504 CPUtime=642.11 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 92126 0 0 0 63957 254 0 0 25 0 1 0 86896719 378372096 91797 1992294400 134512640 135752675 4287494768 18446744073709551615 134611692 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 92376 91797 146 303 0 92071 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 369504 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.06 1.05 0.96 2/106 27035 /proc/meminfo: memFree=1404708/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=449820 CPUtime=882.04 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 112337 0 0 0 87848 356 0 0 25 0 1 0 86896719 460615680 111954 1992294400 134512640 135752675 4287494768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 112455 111954 146 303 0 112150 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 449820 [startup+942.301 s] /proc/loadavg: 1.06 1.06 0.97 2/106 27037 /proc/meminfo: memFree=1404460/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=449820 CPUtime=942.03 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 112388 0 0 0 93826 377 0 0 25 0 1 0 86896719 460615680 112005 1992294400 134512640 135752675 4287494768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 112455 112005 146 303 0 112150 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 449820 [startup+1002.3 s] /proc/loadavg: 1.06 1.06 0.97 2/106 27039 /proc/meminfo: memFree=1395780/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=458572 CPUtime=1002.01 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 114575 0 0 0 99794 407 0 0 25 0 1 0 86896719 469577728 114192 1992294400 134512640 135752675 4287494768 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 114643 114192 146 303 0 114338 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 458572 [startup+1062.3 s] /proc/loadavg: 1.13 1.07 0.98 2/106 27041 /proc/meminfo: memFree=1370112/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=484272 CPUtime=1061.99 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 121010 0 0 0 105764 435 0 0 25 0 1 0 86896719 495894528 120627 1992294400 134512640 135752675 4287494768 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 121068 120627 146 303 0 120763 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 484272 [startup+1122.3 s] /proc/loadavg: 1.12 1.07 0.99 2/106 27043 /proc/meminfo: memFree=1347544/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=506744 CPUtime=1121.98 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 126581 0 0 0 111738 460 0 0 25 0 1 0 86896719 518905856 126198 1992294400 134512640 135752675 4287494768 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 126686 126198 146 303 0 126381 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 506744 [startup+1182.3 s] /proc/loadavg: 1.11 1.07 1.00 2/106 27043 /proc/meminfo: memFree=1314808/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=540000 CPUtime=1181.97 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 134906 0 0 0 117707 490 0 0 25 0 1 0 86896719 552960000 134523 1992294400 134512640 135752675 4287494768 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 135000 134523 146 303 0 134695 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 540000 [startup+1242.3 s] /proc/loadavg: 1.10 1.07 1.00 2/106 27045 /proc/meminfo: memFree=1279344/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=574644 CPUtime=1241.95 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 143556 0 0 0 123678 517 0 0 25 0 1 0 86896719 588435456 143173 1992294400 134512640 135752675 4287494768 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 143661 143173 146 303 0 143356 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 574644 [startup+1302.3 s] /proc/loadavg: 1.08 1.07 1.00 2/106 27047 /proc/meminfo: memFree=1246360/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=607332 CPUtime=1301.94 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 151733 0 0 0 129650 544 0 0 25 0 1 0 86896719 621907968 151350 1992294400 134512640 135752675 4287494768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 151833 151350 146 303 0 151528 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 607332 [startup+1362.3 s] /proc/loadavg: 1.08 1.07 1.00 2/106 27049 /proc/meminfo: memFree=1220196/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=633772 CPUtime=1361.91 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 158332 0 0 0 135623 568 0 0 25 0 1 0 86896719 648982528 157949 1992294400 134512640 135752675 4287494768 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 158443 157949 146 303 0 158138 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 633772 [startup+1422.31 s] /proc/loadavg: 1.07 1.07 1.00 2/106 27051 /proc/meminfo: memFree=1193288/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=660376 CPUtime=1421.91 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 164978 0 0 0 141595 596 0 0 25 0 1 0 86896719 676225024 164595 1992294400 134512640 135752675 4287494768 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 165094 164595 146 303 0 164789 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 660376 [startup+1482.3 s] /proc/loadavg: 1.11 1.08 1.01 2/106 27051 /proc/meminfo: memFree=1165636/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=688300 CPUtime=1481.88 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 171954 0 0 0 147566 622 0 0 25 0 1 0 86896719 704819200 171571 1992294400 134512640 135752675 4287494768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 172075 171571 146 303 0 171770 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 688300 [startup+1542.3 s] /proc/loadavg: 1.12 1.09 1.01 2/106 27053 /proc/meminfo: memFree=1139844/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=713752 CPUtime=1541.87 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 178320 0 0 0 153545 642 0 0 25 0 1 0 86896719 730882048 177937 1992294400 134512640 135752675 4287494768 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 178438 177937 146 303 0 178133 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 713752 [startup+1602.3 s] /proc/loadavg: 1.05 1.07 1.01 2/106 27055 /proc/meminfo: memFree=1115788/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=738080 CPUtime=1601.85 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 184361 0 0 0 159523 662 0 0 25 0 1 0 86896719 755793920 183978 1992294400 134512640 135752675 4287494768 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 184520 183978 146 303 0 184215 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 738080 [startup+1662.3 s] /proc/loadavg: 1.01 1.06 1.00 2/106 27057 /proc/meminfo: memFree=1090864/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=762792 CPUtime=1661.84 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 190530 0 0 0 165503 681 0 0 25 0 1 0 86896719 781099008 190147 1992294400 134512640 135752675 4287494768 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 190698 190147 146 303 0 190393 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 762792 [startup+1722.3 s] /proc/loadavg: 1.00 1.05 1.00 2/106 27059 /proc/meminfo: memFree=1066064/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=787740 CPUtime=1721.83 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 196754 0 0 0 171484 699 0 0 25 0 1 0 86896719 806645760 196371 1992294400 134512640 135752675 4287494768 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 196935 196371 146 303 0 196630 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 787740 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 27059 /proc/meminfo: memFree=1040644/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=812572 CPUtime=1781.8 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 202961 0 0 0 177461 719 0 0 25 0 1 0 86896719 832073728 202578 1992294400 134512640 135752675 4287494768 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 203143 202578 146 303 0 202838 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 812572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.03 1.00 2/106 27061 /proc/meminfo: memFree=1035808/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=817344 CPUtime=1800.01 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 204151 0 0 0 179278 723 0 0 25 0 1 0 86896719 836960256 203768 1992294400 134512640 135752675 4287494768 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 204336 203768 146 303 0 204031 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 817344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.03 1.00 2/106 27061 /proc/meminfo: memFree=1035808/2059040 swapFree=4139944/4192956 [pid=27003] ppid=27001 vsize=817344 CPUtime=1800.01 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26658 0 -1 4202496 204151 0 0 0 179278 723 0 0 25 0 1 0 86896719 836960256 203768 1992294400 134512640 135752675 4287494768 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 204336 203768 146 303 0 204031 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 817344 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.09 CPU user time (s): 1792.78 CPU system time (s): 7.31189 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 817344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.78 system time used= 7.31189 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 204151 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= 93 involuntary context switches= 4388 runsolver used 3.07053 second user time and 8.46271 second system time The end
Begin job on node087 at 2010-06-25 10:53:52 IDJOB=2680708 IDBENCH=2271 IDSOLVER=1190 FILE ID=node087/2680708-1277456032 PBS_JOBID= 11188103 Free space on /tmp= 62460 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-5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680708-1277456032/watcher-2680708-1277456032 -o /tmp/evaluation-result-2680708-1277456032/solver-2680708-1277456032 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680708-1277456032.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089 RANDOM SEED=1228687956 node087.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.213 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.42 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.213 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854868 kB Buffers: 28988 kB Cached: 83032 kB SwapCached: 5436 kB Active: 59440 kB Inactive: 65692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854868 kB SwapTotal: 4192956 kB SwapFree: 4139944 kB Dirty: 3260 kB Writeback: 0 kB AnonPages: 11648 kB Mapped: 12068 kB Slab: 57056 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181364 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= 62456 MiB End job on node087 at 2010-06-25 11:23:54