Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.12 | 1800.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_4.opb |
MD5SUM | 95ae68c901d0b7917be5b837e9e56612 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -78 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 49 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15754 |
Sum of products size (including duplicates) | 31508 |
Number of different products | 7877 |
Sum of products size | 15754 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702565-1278570213.opb. 0.00/0.00 c Instance file HOME/instance-2702565-1278570213.opb 0.00/0.00 c File size is 666811 bytes. 0.09/0.11 c Highest Coefficient sum: 49 0.09/0.11 c ============================[ Problem Statistics ]============================= 0.09/0.11 c | | 0.09/0.11 c | Parsing time: 0.11 s | 0.09/0.11 c | Number Variables: 8377 | 0.09/0.11 c | Number Clauses: 7877 | 0.09/0.11 c | Number Cardinality: 1000 | 0.09/0.11 c | Number PB Constraints: 7877 | 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 | 500 16754 38635 | 5584 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 0 0.09/0.14 o 0 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 500 16755 39135 | 5585 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.142978 s Remaining CPU time: 179.857 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 500 16756 39635 | 5585 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -2 0.09/0.15 o -2 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 500 16757 40135 | 5585 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -3 0.09/0.15 o -3 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 2 | 500 16758 40635 | 5586 2 498 | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -4 0.09/0.16 o -4 0.09/0.16 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 3 | 500 16759 41135 | 5586 3 498 | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -5 0.09/0.16 o -5 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 3 | 500 16760 41635 | 5586 3 498 | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -6 0.09/0.16 o -6 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 3 | 500 16761 42135 | 5587 3 498 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -7 0.09/0.17 o -7 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 | 5 | 500 16762 42635 | 5587 5 496 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -8 0.09/0.17 o -8 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 6 | 500 16763 43135 | 5587 6 496 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -9 0.09/0.18 o -9 0.09/0.18 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 9 | 500 16764 43635 | 5588 9 494 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -10 0.09/0.18 o -10 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 11 | 500 16765 44135 | 5588 11 494 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: -11 0.09/0.19 o -11 0.09/0.19 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 14 | 500 16766 44635 | 5588 14 493 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: -12 0.09/0.19 o -12 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 22 | 500 16767 45135 | 5589 22 492 | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: -13 0.19/0.20 o -13 0.19/0.20 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 41 | 500 16768 45635 | 5589 41 490 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -14 0.19/0.21 o -14 0.19/0.21 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 47 | 500 16769 46135 | 5589 47 490 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -15 0.19/0.21 o -15 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 | 61 | 500 16770 46635 | 5590 61 489 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -16 0.19/0.22 o -16 0.19/0.22 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 77 | 500 16771 47135 | 5590 77 489 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -17 0.19/0.23 o -17 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 131 | 500 16772 47635 | 5590 131 488 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -18 0.19/0.24 o -18 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 | 138 | 500 16773 48135 | 5591 138 488 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -19 0.19/0.25 o -19 0.19/0.25 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 167 | 500 16774 48635 | 5591 167 487 | 0.000 % | 0.19/0.27 c | 267 | 500 16774 48635 | 6150 267 486 | 94.031 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -20 0.19/0.28 o -20 0.19/0.28 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 287 | 500 16775 49135 | 5591 287 486 | 94.031 % | 0.29/0.31 c | 387 | 500 16775 49135 | 6150 387 485 | 94.031 % | 0.29/0.34 c | 538 | 500 16775 49135 | 6765 538 484 | 94.031 % | 0.29/0.39 c | 764 | 500 16775 49135 | 7442 764 484 | 94.031 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -21 0.39/0.43 o -21 0.39/0.43 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 925 | 500 16776 49635 | 5592 925 484 | 94.031 % | 0.39/0.47 c | 1026 | 500 16776 49635 | 6151 1026 484 | 94.031 % | 0.49/0.51 c | 1176 | 500 16776 49635 | 6766 1176 484 | 94.031 % | 0.49/0.58 c | 1402 | 500 16776 49635 | 7442 1402 484 | 94.031 % | 0.59/0.67 c | 1741 | 500 16776 49635 | 8187 1741 484 | 94.031 % | 0.79/0.80 c | 2248 | 500 16776 49635 | 9005 2248 483 | 94.031 % | 0.99/1.08 c | 3007 | 500 16776 49635 | 9906 3007 482 | 94.031 % | 1.49/1.54 c | 4148 | 500 16776 49635 | 10897 4148 482 | 94.031 % | 2.49/2.54 c | 5856 | 500 16776 49635 | 11986 5856 482 | 94.031 % | 4.09/4.18 c | 8419 | 500 16776 49635 | 13185 8419 481 | 94.031 % | 5.19/5.20 c =============================================================================== 5.19/5.20 c New solution: -22 5.19/5.20 o -22 5.19/5.20 c Elapsed CPU time: 5.14622 s Remaining CPU time: 174.854 s 5.19/5.20 c =============================================================================== 5.19/5.20 c | 10042 | 500 16777 50135 | 5592 10042 481 | 94.031 % | 5.29/5.30 c | 10142 | 500 16777 50135 | 6151 10142 481 | 94.031 % | 5.40/5.40 c | 10293 | 500 16777 50135 | 6766 10293 481 | 94.031 % | 5.40/5.42 c =============================================================================== 5.40/5.42 c New solution: -23 5.40/5.42 o -23 5.40/5.42 c Elapsed CPU time: 5.36418 s Remaining CPU time: 174.636 s 5.40/5.42 c =============================================================================== 5.40/5.42 c | 10313 | 500 16778 50635 | 5592 10313 481 | 94.031 % | 5.50/5.55 c | 10414 | 500 16778 50635 | 6151 10414 481 | 94.031 % | 5.59/5.64 c | 10566 | 500 16778 50635 | 6767 10566 481 | 94.031 % | 5.69/5.79 c | 10791 | 500 16778 50635 | 7443 10791 481 | 94.031 % | 5.99/6.06 c | 11129 | 500 16778 50635 | 8188 11129 481 | 94.031 % | 6.28/6.32 c | 11635 | 500 16778 50635 | 9007 11635 481 | 94.031 % | 6.79/6.89 c | 12395 | 500 16778 50635 | 9907 12395 481 | 94.031 % | 7.18/7.29 c =============================================================================== 7.18/7.29 c New solution: -24 7.18/7.29 o -24 7.18/7.29 c Elapsed CPU time: 7.2159 s Remaining CPU time: 172.784 s 7.18/7.29 c =============================================================================== 7.18/7.29 c | 12980 | 500 16779 51135 | 5593 12980 481 | 94.031 % | 7.28/7.37 c | 13080 | 500 16779 51135 | 6152 13080 481 | 94.031 % | 7.39/7.48 c | 13232 | 500 16779 51135 | 6767 13232 481 | 94.031 % | 7.89/7.95 c | 13457 | 500 16779 51135 | 7444 13457 481 | 94.031 % | 8.39/8.46 c | 13795 | 500 16779 51135 | 8188 13795 481 | 94.031 % | 9.29/9.36 c | 14302 | 500 16779 51135 | 9007 14302 480 | 94.031 % | 10.49/10.54 c | 15061 | 500 16779 51135 | 9908 15061 480 | 94.031 % | 11.99/12.00 c | 16200 | 500 16779 51135 | 10899 16200 480 | 94.031 % | 13.69/13.78 c | 17908 | 500 16779 51135 | 11989 17908 480 | 94.031 % | 14.69/14.78 c =============================================================================== 14.69/14.78 c New solution: -25 14.69/14.78 o -25 14.69/14.78 c Elapsed CPU time: 14.6578 s Remaining CPU time: 165.342 s 14.69/14.78 c =============================================================================== 14.69/14.78 c | 19076 | 500 16780 51635 | 5593 19076 480 | 94.031 % | 14.89/14.94 c | 19177 | 500 16780 51635 | 6152 9639 478 | 94.031 % | 14.99/15.05 c | 19327 | 500 16780 51635 | 6767 9789 478 | 94.031 % | 15.09/15.16 c | 19552 | 500 16780 51635 | 7444 10014 478 | 94.031 % | 15.29/15.34 c | 19891 | 500 16780 51635 | 8189 10353 478 | 94.031 % | 15.49/15.55 c | 20398 | 500 16780 51635 | 9008 10860 478 | 94.031 % | 15.99/16.08 c | 21158 | 500 16780 51635 | 9908 11620 478 | 94.031 % | 16.89/16.94 c | 22298 | 500 16780 51635 | 10899 12760 477 | 94.031 % | 17.88/17.93 c | 24007 | 500 16780 51635 | 11989 14469 477 | 94.031 % | 18.89/18.94 c =============================================================================== 18.89/18.94 c New solution: -26 18.89/18.94 o -26 18.89/18.94 c Elapsed CPU time: 18.7711 s Remaining CPU time: 161.229 s 18.89/18.94 c =============================================================================== 18.89/18.94 c | 26522 | 500 16781 52135 | 5593 16984 477 | 94.031 % | 19.19/19.24 c | 26622 | 500 16781 52135 | 6153 8592 476 | 94.031 % | 19.28/19.36 c | 26772 | 500 16781 52135 | 6768 8742 476 | 94.031 % | 19.48/19.51 c | 26999 | 500 16781 52135 | 7445 8969 476 | 94.031 % | 19.69/19.79 c | 27336 | 500 16781 52135 | 8189 9306 476 | 94.031 % | 20.08/20.13 c | 27842 | 500 16781 52135 | 9008 9812 476 | 94.031 % | 20.39/20.47 c | 28603 | 500 16781 52135 | 9909 10573 476 | 94.031 % | 21.19/21.21 c | 29742 | 500 16781 52135 | 10900 11712 476 | 94.031 % | 21.19/21.26 c =============================================================================== 21.19/21.26 c New solution: -27 21.19/21.26 o -27 21.19/21.26 c Elapsed CPU time: 21.0658 s Remaining CPU time: 158.934 s 21.19/21.26 c =============================================================================== 21.19/21.26 c | 29809 | 500 16782 52635 | 5594 11779 476 | 94.031 % | 21.29/21.36 c | 29912 | 500 16782 52635 | 6153 11882 476 | 94.031 % | 21.48/21.51 c | 30064 | 500 16782 52635 | 6768 12034 476 | 94.031 % | 21.68/21.72 c | 30291 | 500 16782 52635 | 7445 12261 476 | 94.031 % | 22.28/22.34 c | 30628 | 500 16782 52635 | 8190 12598 476 | 94.031 % | 22.79/22.88 c | 31134 | 500 16782 52635 | 9009 13104 476 | 94.031 % | 23.38/23.40 c | 31894 | 500 16782 52635 | 9910 13864 476 | 94.031 % | 24.79/24.80 c | 33033 | 500 16782 52635 | 10901 15003 476 | 94.031 % | 26.98/27.04 c | 34742 | 500 16782 52635 | 11991 16712 475 | 94.031 % | 30.88/30.93 c | 37305 | 500 16782 52635 | 13190 19275 475 | 94.031 % | 34.98/35.09 c | 41150 | 500 16782 52635 | 14509 12219 475 | 94.031 % | 36.29/36.35 c =============================================================================== 36.29/36.35 c New solution: -28 36.29/36.35 o -28 36.29/36.35 c Elapsed CPU time: 36.0815 s Remaining CPU time: 143.918 s 36.29/36.35 c =============================================================================== 36.29/36.35 c | 41786 | 500 16783 53135 | 5594 12855 475 | 94.031 % | 36.48/36.52 c | 41886 | 500 16783 53135 | 6153 12955 475 | 94.031 % | 36.89/36.95 c | 42038 | 500 16783 53135 | 6769 13107 475 | 94.031 % | 37.18/37.28 c | 42265 | 500 16783 53135 | 7446 13334 475 | 94.031 % | 38.08/38.10 c | 42602 | 500 16783 53135 | 8190 13671 475 | 94.031 % | 38.78/38.85 c | 43108 | 500 16783 53135 | 9009 14177 475 | 94.031 % | 39.68/39.78 c | 43867 | 500 16783 53135 | 9910 14936 475 | 94.031 % | 40.69/40.72 c | 45007 | 500 16783 53135 | 10901 16076 475 | 94.031 % | 42.38/42.41 c | 46715 | 500 16783 53135 | 11991 17784 475 | 94.031 % | 46.88/46.94 c | 49278 | 500 16783 53135 | 13191 10178 474 | 94.031 % | 53.47/53.52 c | 53123 | 500 16783 53135 | 14510 14023 474 | 94.031 % | 64.57/64.69 c | 58890 | 500 16783 53135 | 15961 19790 474 | 94.031 % | 68.48/68.59 c =============================================================================== 68.48/68.59 c New solution: -29 68.48/68.59 o -29 68.48/68.59 c Elapsed CPU time: 68.1556 s Remaining CPU time: 111.844 s 68.48/68.59 c =============================================================================== 68.48/68.59 c | 62758 | 500 16784 53635 | 5594 23658 474 | 94.031 % | 69.07/69.18 c | 62861 | 500 16784 53635 | 6154 10840 474 | 94.031 % | 69.37/69.43 c | 63012 | 500 16784 53635 | 6769 10991 474 | 94.031 % | 69.67/69.76 c | 63238 | 500 16784 53635 | 7446 11217 474 | 94.031 % | 70.07/70.12 c | 63576 | 500 16784 53635 | 8191 11555 474 | 94.031 % | 70.57/70.67 c =============================================================================== 70.57/70.67 c New solution: -30 70.57/70.67 o -30 70.57/70.67 c Elapsed CPU time: 70.2313 s Remaining CPU time: 109.769 s 70.57/70.67 c =============================================================================== 70.57/70.67 c | 63930 | 500 16785 54135 | 5595 11909 474 | 94.031 % | 70.77/70.82 c | 64031 | 500 16785 54135 | 6154 12010 474 | 94.031 % | 70.87/70.99 c | 64181 | 500 16785 54135 | 6769 12160 474 | 94.031 % | 71.38/71.46 c | 64409 | 500 16785 54135 | 7446 12388 474 | 94.031 % | 71.87/71.96 c | 64747 | 500 16785 54135 | 8191 12726 474 | 94.031 % | 72.58/72.61 c | 65254 | 500 16785 54135 | 9010 13233 474 | 94.031 % | 73.68/73.73 c | 66013 | 500 16785 54135 | 9911 13992 474 | 94.031 % | 74.87/74.92 c | 67153 | 500 16785 54135 | 10903 15132 474 | 94.031 % | 76.17/76.20 c =============================================================================== 76.17/76.20 c New solution: -31 76.17/76.20 o -31 76.17/76.20 c Elapsed CPU time: 75.7295 s Remaining CPU time: 104.271 s 76.17/76.20 c =============================================================================== 76.17/76.20 c | 68013 | 500 16786 54635 | 5595 15992 474 | 94.031 % | 76.47/76.51 c | 68113 | 500 16786 54635 | 6154 8096 474 | 94.031 % | 76.67/76.70 c | 68265 | 500 16786 54635 | 6770 8248 473 | 94.031 % | 76.77/76.88 c | 68490 | 500 16786 54635 | 7447 8473 473 | 94.031 % | 77.17/77.21 c | 68828 | 500 16786 54635 | 8192 8811 473 | 94.031 % | 77.47/77.52 c =============================================================================== 77.47/77.52 c New solution: -32 77.47/77.52 o -32 77.47/77.52 c Elapsed CPU time: 77.0433 s Remaining CPU time: 102.957 s 77.47/77.52 c =============================================================================== 77.47/77.52 c | 69162 | 500 16787 55135 | 5595 9145 473 | 94.031 % | 77.67/77.70 c | 69262 | 500 16787 55135 | 6155 9245 473 | 94.031 % | 77.77/77.86 c | 69414 | 500 16787 55135 | 6770 9397 473 | 94.031 % | 78.17/78.26 c | 69640 | 500 16787 55135 | 7447 9623 473 | 94.031 % | 78.67/78.70 c | 69978 | 500 16787 55135 | 8192 9961 473 | 94.031 % | 78.77/78.84 c =============================================================================== 78.77/78.84 c New solution: -33 78.77/78.84 o -33 78.77/78.84 c Elapsed CPU time: 78.3581 s Remaining CPU time: 101.642 s 78.77/78.84 c =============================================================================== 78.77/78.84 c | 70144 | 500 16788 55635 | 5596 10127 473 | 94.031 % | 78.87/78.95 c | 70244 | 500 16788 55635 | 6155 10227 473 | 94.031 % | 79.08/79.15 c | 70397 | 500 16788 55635 | 6771 10380 473 | 94.031 % | 79.37/79.46 c | 70623 | 500 16788 55635 | 7448 10606 473 | 94.031 % | 79.97/80.06 c | 70961 | 500 16788 55635 | 8193 10944 473 | 94.031 % | 80.57/80.69 c | 71471 | 500 16788 55635 | 9012 11454 473 | 94.031 % | 81.47/81.59 c | 72231 | 500 16788 55635 | 9913 12214 473 | 94.031 % | 83.17/83.21 c | 73370 | 500 16788 55635 | 10905 13353 473 | 94.031 % | 86.07/86.14 c | 75078 | 500 16788 55635 | 11995 15061 473 | 94.031 % | 87.98/88.06 c | 77641 | 500 16788 55635 | 13195 17624 472 | 94.031 % | 91.28/91.32 c | 81487 | 500 16788 55635 | 14514 21470 472 | 94.031 % | 97.07/97.19 c | 87253 | 500 16788 55635 | 15966 15081 470 | 94.031 % | 108.06/108.14 c | 95902 | 500 16788 55635 | 17562 23730 470 | 94.031 % | 119.16/119.29 c | 108877 | 500 16788 55635 | 19318 21616 469 | 94.031 % | 143.46/143.54 c | 128340 | 500 16788 55635 | 21250 24311 469 | 94.031 % | 180.54/180.63 c | 157533 | 500 16788 55635 | 23375 16242 470 | 94.031 % | 180.95/181.06 c There are 7877 assigned variables. 0 in cost function. 182.35/182.48 c core #1 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -499 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #2 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -498 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #3 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -497 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #4 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -496 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #5 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -495 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #6 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -494 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #7 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -493 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #8 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -492 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #9 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -491 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #10 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -490 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #11 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -489 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #12 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -488 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #13 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -487 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #14 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -486 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #15 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -485 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #16 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -484 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #17 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -483 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #18 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -482 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #19 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -481 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #20 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -480 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #21 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -479 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #22 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -478 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #23 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -477 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #24 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -476 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #25 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -475 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #26 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -474 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #27 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -473 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #28 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -472 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #29 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -471 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #30 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -470 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #31 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -469 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #32 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -468 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #33 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -467 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #34 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -466 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #35 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -465 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #36 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -464 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #37 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -463 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #38 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -462 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #39 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -461 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #40 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -460 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #41 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -459 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #42 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -458 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #43 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -457 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #44 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -456 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #45 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -455 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #46 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -454 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #47 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -453 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #48 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -452 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #49 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -451 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #50 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -450 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #51 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -449 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #52 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -448 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #53 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -447 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #54 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -446 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #55 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -445 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #56 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -444 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #57 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -443 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #58 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -442 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c core #59 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 3 Core Weight: 1 Total Weight: -441 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #60 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -440 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #61 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -439 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #62 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -438 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #63 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -437 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #64 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -436 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #65 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -435 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #66 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -434 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #67 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -433 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #68 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -432 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #69 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -431 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #70 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -430 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #71 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -429 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #72 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -428 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #73 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -427 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #74 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -426 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #75 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -425 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #76 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -424 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #77 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -423 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #78 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -422 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #79 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -421 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #80 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -420 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #81 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -419 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #82 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -418 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #83 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -417 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #84 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -416 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #85 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -415 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #86 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -414 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #87 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -413 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #88 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -412 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #89 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -411 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #90 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -410 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #91 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -409 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #92 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -408 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #93 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -407 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #94 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -406 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #95 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -405 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #96 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -404 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #97 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -403 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #98 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -402 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #99 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -401 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #100 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -400 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #101 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -399 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #102 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -398 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #103 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: -397 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #104 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -396 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #105 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -395 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #106 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -394 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #107 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -393 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #108 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -392 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #109 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -391 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #110 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -390 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #111 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -389 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #112 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -388 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #113 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -387 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #114 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -386 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #115 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -385 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #116 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -384 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c core #117 183.65/183.80 c 183.65/183.80 c 183.65/183.80 c Core size: 3 Core Weight: 1 Total Weight: -383 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #118 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -382 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #119 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -381 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #120 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -380 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #121 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -379 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #122 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -378 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #123 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -377 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #124 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -376 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #125 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -375 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #126 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -374 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #127 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -373 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #128 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -372 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #129 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -371 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #130 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -370 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #131 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -369 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #132 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -368 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #133 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -367 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #134 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -366 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #135 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -365 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #136 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -364 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #137 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -363 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #138 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -362 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #139 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -361 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #140 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -360 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #141 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -359 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #142 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -358 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #143 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -357 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #144 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -356 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #145 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -355 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #146 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -354 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #147 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -353 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #148 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -352 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #149 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -351 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #150 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -350 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #151 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -349 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #152 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -348 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #153 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -347 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #154 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -346 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #155 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -345 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #156 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -344 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #157 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -343 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #158 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -342 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #159 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -341 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #160 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -340 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #161 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -339 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #162 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -338 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #163 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -337 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #164 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -336 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #165 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -335 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #166 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -334 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #167 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -333 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #168 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -332 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #169 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -331 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #170 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -330 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #171 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -329 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #172 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -328 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #173 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -327 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #174 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -326 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c core #175 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 3 Core Weight: 1 Total Weight: -325 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #176 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -324 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #177 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -323 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #178 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -322 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #179 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -321 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #180 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -320 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #181 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -319 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #182 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -318 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #183 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -317 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #184 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -316 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #185 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -315 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #186 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -314 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #187 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -313 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #188 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -312 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #189 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -311 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #190 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -310 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #191 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -309 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #192 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -308 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #193 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -307 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #194 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -306 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #195 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -305 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #196 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -304 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #197 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -303 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #198 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -302 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #199 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -301 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #200 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -300 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #201 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -299 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #202 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -298 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #203 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -297 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #204 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -296 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #205 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -295 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #206 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -294 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #207 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -293 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #208 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -292 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #209 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -291 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #210 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -290 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #211 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -289 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #212 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -288 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #213 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -287 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #214 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -286 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #215 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -285 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #216 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -284 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #217 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -283 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #218 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -282 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #219 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -281 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #220 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -280 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #221 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -279 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #222 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -278 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #223 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -277 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #224 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -276 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #225 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -275 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #226 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -274 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #227 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -273 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #228 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -272 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #229 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -271 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #230 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -270 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #231 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -269 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #232 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -268 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c core #233 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 3 Core Weight: 1 Total Weight: -267 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #234 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 3 Core Weight: 1 Total Weight: -266 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #235 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 3 Core Weight: 1 Total Weight: -265 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #236 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 3 Core Weight: 1 Total Weight: -264 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #237 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 3 Core Weight: 1 Total Weight: -263 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #238 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 3 Core Weight: 1 Total Weight: -262 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #239 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 3 Core Weight: 1 Total Weight: -261 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #240 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 3 Core Weight: 1 Total Weight: -260 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #241 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 7 Core Weight: 1 Total Weight: -259 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #242 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 7 Core Weight: 1 Total Weight: -258 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #243 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 6 Core Weight: 1 Total Weight: -257 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #244 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 7 Core Weight: 1 Total Weight: -256 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #245 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 7 Core Weight: 1 Total Weight: -255 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #246 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 11 Core Weight: 1 Total Weight: -254 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #247 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 7 Core Weight: 1 Total Weight: -253 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #248 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 14 Core Weight: 1 Total Weight: -252 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #249 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 7 Core Weight: 1 Total Weight: -251 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #250 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 6 Core Weight: 1 Total Weight: -250 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #251 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 10 Core Weight: 1 Total Weight: -249 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #252 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 14 Core Weight: 1 Total Weight: -248 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c core #253 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 26 Core Weight: 1 Total Weight: -247 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c ============================[ Search Statistics ]============================== 187.54/187.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.66 c =============================================================================== 187.54/187.66 c | 0 | 1048 16541 34350 | 5513 0 nan | 0.000 % | 187.54/187.66 c =============================================================================== 187.64/187.70 c core #254 187.64/187.70 c 187.64/187.70 c 187.64/187.70 c Core size: 10 Core Weight: 1 Total Weight: -246 187.64/187.70 c 187.64/187.70 c 187.64/187.70 c ============================[ Search Statistics ]============================== 187.64/187.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.64/187.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.64/187.70 c =============================================================================== 187.64/187.70 c | 0 | 1054 16542 34362 | 5514 0 nan | 0.000 % | 187.64/187.70 c =============================================================================== 187.64/187.74 c core #255 187.64/187.74 c 187.64/187.74 c 187.64/187.74 c Core size: 14 Core Weight: 1 Total Weight: -245 187.64/187.74 c 187.64/187.74 c 187.64/187.74 c ============================[ Search Statistics ]============================== 187.64/187.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.64/187.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.64/187.74 c =============================================================================== 187.64/187.74 c | 0 | 1062 16543 34378 | 5514 0 nan | 0.000 % | 187.64/187.75 c =============================================================================== 187.64/187.79 c core #256 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 10 Core Weight: 1 Total Weight: -244 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c ============================[ Search Statistics ]============================== 187.64/187.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.64/187.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.64/187.79 c =============================================================================== 187.64/187.79 c | 0 | 1068 16544 34390 | 5514 0 nan | 0.000 % | 187.64/187.79 c =============================================================================== 187.74/187.83 c core #257 187.74/187.83 c 187.74/187.83 c 187.74/187.83 c Core size: 10 Core Weight: 1 Total Weight: -243 187.74/187.83 c 187.74/187.83 c 187.74/187.83 c ============================[ Search Statistics ]============================== 187.74/187.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.74/187.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.74/187.83 c =============================================================================== 187.74/187.83 c | 0 | 1074 16545 34402 | 5515 0 nan | 0.000 % | 187.74/187.84 c =============================================================================== 187.74/187.87 c core #258 187.74/187.87 c 187.74/187.87 c 187.74/187.87 c Core size: 14 Core Weight: 1 Total Weight: -242 187.74/187.87 c 187.74/187.87 c 187.74/187.87 c ============================[ Search Statistics ]============================== 187.74/187.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.74/187.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.74/187.88 c =============================================================================== 187.74/187.88 c | 0 | 1082 16546 34418 | 5515 0 nan | 0.000 % | 187.74/187.88 c =============================================================================== 187.84/187.92 c core #259 187.84/187.92 c 187.84/187.92 c 187.84/187.92 c Core size: 16 Core Weight: 1 Total Weight: -241 187.84/187.92 c 187.84/187.92 c 187.84/187.92 c ============================[ Search Statistics ]============================== 187.84/187.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.84/187.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.84/187.92 c =============================================================================== 187.84/187.92 c | 0 | 1092 16547 34438 | 5515 0 nan | 0.000 % | 187.84/187.93 c =============================================================================== 187.84/187.97 c core #260 187.84/187.97 c 187.84/187.97 c 187.84/187.97 c Core size: 25 Core Weight: 1 Total Weight: -240 187.84/187.97 c 187.84/187.97 c 187.84/187.97 c ============================[ Search Statistics ]============================== 187.84/187.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.84/187.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.84/187.97 c =============================================================================== 187.84/187.97 c | 0 | 1112 16548 34478 | 5516 0 nan | 0.000 % | 187.84/187.98 c =============================================================================== 187.94/188.02 c core #261 187.94/188.02 c 187.94/188.02 c 187.94/188.02 c Core size: 14 Core Weight: 1 Total Weight: -239 187.94/188.02 c 187.94/188.02 c 187.94/188.02 c ============================[ Search Statistics ]============================== 187.94/188.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.94/188.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.94/188.02 c =============================================================================== 187.94/188.02 c | 0 | 1120 16549 34494 | 5516 0 nan | 0.000 % | 187.94/188.02 c =============================================================================== 187.94/188.06 c core #262 187.94/188.06 c 187.94/188.06 c 187.94/188.06 c Core size: 12 Core Weight: 1 Total Weight: -238 187.94/188.06 c 187.94/188.06 c 187.94/188.06 c ============================[ Search Statistics ]============================== 187.94/188.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.94/188.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.94/188.06 c =============================================================================== 187.94/188.06 c | 0 | 1128 16550 34510 | 5516 0 nan | 0.000 % | 187.94/188.07 c =============================================================================== 188.05/188.11 c core #263 188.05/188.11 c 188.05/188.11 c 188.05/188.11 c Core size: 12 Core Weight: 1 Total Weight: -237 188.05/188.11 c 188.05/188.11 c 188.05/188.11 c ============================[ Search Statistics ]============================== 188.05/188.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.05/188.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.05/188.11 c =============================================================================== 188.05/188.11 c | 0 | 1136 16551 34526 | 5517 0 nan | 0.000 % | 188.05/188.11 c =============================================================================== 188.05/188.15 c core #264 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c Core size: 12 Core Weight: 1 Total Weight: -236 188.05/188.15 c 188.05/188.15 c 188.05/188.15 c ============================[ Search Statistics ]============================== 188.05/188.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.05/188.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.05/188.15 c =============================================================================== 188.05/188.15 c | 0 | 1144 16552 34542 | 5517 0 nan | 0.000 % | 188.05/188.16 c =============================================================================== 188.05/188.20 c core #265 188.05/188.20 c 188.05/188.20 c 188.05/188.20 c Core size: 10 Core Weight: 1 Total Weight: -235 188.05/188.20 c 188.05/188.20 c 188.05/188.20 c ============================[ Search Statistics ]============================== 188.05/188.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.05/188.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.05/188.20 c =============================================================================== 188.05/188.20 c | 0 | 1150 16553 34554 | 5517 0 nan | 0.000 % | 188.14/188.20 c =============================================================================== 188.14/188.24 c core #266 188.14/188.24 c 188.14/188.24 c 188.14/188.24 c Core size: 14 Core Weight: 1 Total Weight: -234 188.14/188.24 c 188.14/188.24 c 188.14/188.24 c ============================[ Search Statistics ]============================== 188.14/188.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.14/188.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.14/188.24 c =============================================================================== 188.14/188.24 c | 0 | 1158 16554 34570 | 5518 0 nan | 0.000 % | 188.14/188.25 c =============================================================================== 188.14/188.29 c core #267 188.14/188.29 c 188.14/188.29 c 188.14/188.29 c Core size: 21 Core Weight: 1 Total Weight: -233 188.14/188.29 c 188.14/188.29 c 188.14/188.29 c ============================[ Search Statistics ]============================== 188.14/188.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.14/188.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.14/188.29 c =============================================================================== 188.14/188.29 c | 0 | 1176 16555 34606 | 5518 0 nan | 0.000 % | 188.14/188.29 c =============================================================================== 188.24/188.33 c core #268 188.24/188.33 c 188.24/188.33 c 188.24/188.33 c Core size: 14 Core Weight: 1 Total Weight: -232 188.24/188.33 c 188.24/188.33 c 188.24/188.33 c ============================[ Search Statistics ]============================== 188.24/188.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.33 c =============================================================================== 188.24/188.33 c | 0 | 1184 16556 34622 | 5518 0 nan | 0.000 % | 188.24/188.34 c =============================================================================== 188.24/188.38 c core #269 188.24/188.38 c 188.24/188.38 c 188.24/188.38 c Core size: 16 Core Weight: 1 Total Weight: -231 188.24/188.38 c 188.24/188.38 c 188.24/188.38 c ============================[ Search Statistics ]============================== 188.24/188.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.38 c =============================================================================== 188.24/188.38 c | 0 | 1194 16557 34642 | 5519 0 nan | 0.000 % | 188.24/188.38 c =============================================================================== 188.34/188.42 c core #270 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 14 Core Weight: 1 Total Weight: -230 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c ============================[ Search Statistics ]============================== 188.34/188.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.42 c =============================================================================== 188.34/188.42 c | 0 | 1202 16558 34658 | 5519 0 nan | 0.000 % | 188.34/188.43 c =============================================================================== 188.34/188.46 c core #271 188.34/188.46 c 188.34/188.46 c 188.34/188.46 c Core size: 10 Core Weight: 1 Total Weight: -229 188.34/188.46 c 188.34/188.46 c 188.34/188.46 c ============================[ Search Statistics ]============================== 188.34/188.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.46 c =============================================================================== 188.34/188.46 c | 0 | 1208 16559 34670 | 5519 0 nan | 0.000 % | 188.34/188.47 c =============================================================================== 188.44/188.51 c core #272 188.44/188.51 c 188.44/188.51 c 188.44/188.51 c Core size: 14 Core Weight: 1 Total Weight: -228 188.44/188.51 c 188.44/188.51 c 188.44/188.51 c ============================[ Search Statistics ]============================== 188.44/188.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.44/188.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.44/188.51 c =============================================================================== 188.44/188.51 c | 0 | 1216 16560 34686 | 5520 0 nan | 0.000 % | 188.44/188.51 c =============================================================================== 188.44/188.55 c core #273 188.44/188.55 c 188.44/188.55 c 188.44/188.55 c Core size: 16 Core Weight: 1 Total Weight: -227 188.44/188.55 c 188.44/188.55 c 188.44/188.55 c ============================[ Search Statistics ]============================== 188.44/188.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.44/188.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.44/188.55 c =============================================================================== 188.44/188.55 c | 0 | 1226 16561 34706 | 5520 0 nan | 0.000 % | 188.44/188.56 c =============================================================================== 188.54/188.60 c core #274 188.54/188.60 c 188.54/188.60 c 188.54/188.60 c Core size: 14 Core Weight: 1 Total Weight: -226 188.54/188.60 c 188.54/188.60 c 188.54/188.60 c ============================[ Search Statistics ]============================== 188.54/188.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.54/188.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.54/188.60 c =============================================================================== 188.54/188.60 c | 0 | 1234 16562 34722 | 5520 0 nan | 0.000 % | 188.54/188.60 c =============================================================================== 188.54/188.64 c core #275 188.54/188.64 c 188.54/188.64 c 188.54/188.64 c Core size: 14 Core Weight: 1 Total Weight: -225 188.54/188.64 c 188.54/188.64 c 188.54/188.64 c ============================[ Search Statistics ]============================== 188.54/188.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.54/188.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.54/188.64 c =============================================================================== 188.54/188.64 c | 0 | 1242 16563 34738 | 5521 0 nan | 0.000 % | 188.54/188.65 c =============================================================================== 188.54/188.69 c core #276 188.54/188.69 c 188.54/188.69 c 188.54/188.69 c Core size: 16 Core Weight: 1 Total Weight: -224 188.54/188.69 c 188.54/188.69 c 188.54/188.69 c ============================[ Search Statistics ]============================== 188.54/188.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.54/188.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.54/188.69 c =============================================================================== 188.54/188.69 c | 0 | 1252 16564 34758 | 5521 0 nan | 0.000 % | 188.54/188.70 c =============================================================================== 188.64/188.73 c core #277 188.64/188.73 c 188.64/188.73 c 188.64/188.73 c Core size: 16 Core Weight: 1 Total Weight: -223 188.64/188.73 c 188.64/188.73 c 188.64/188.73 c ============================[ Search Statistics ]============================== 188.64/188.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.64/188.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.64/188.73 c =============================================================================== 188.64/188.73 c | 0 | 1262 16565 34778 | 5521 0 nan | 0.000 % | 188.64/188.74 c =============================================================================== 188.64/188.78 c core #278 188.64/188.78 c 188.64/188.78 c 188.64/188.78 c Core size: 12 Core Weight: 1 Total Weight: -222 188.64/188.78 c 188.64/188.78 c 188.64/188.78 c ============================[ Search Statistics ]============================== 188.64/188.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.64/188.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.64/188.78 c =============================================================================== 188.64/188.78 c | 0 | 1270 16566 34794 | 5522 0 nan | 0.000 % | 188.64/188.79 c =============================================================================== 188.74/188.83 c core #279 188.74/188.83 c 188.74/188.83 c 188.74/188.83 c Core size: 10 Core Weight: 1 Total Weight: -221 188.74/188.83 c 188.74/188.83 c 188.74/188.83 c ============================[ Search Statistics ]============================== 188.74/188.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.83 c =============================================================================== 188.74/188.83 c | 0 | 1276 16567 34806 | 5522 0 nan | 0.000 % | 188.74/188.83 c =============================================================================== 188.74/188.87 c core #280 188.74/188.87 c 188.74/188.87 c 188.74/188.87 c Core size: 16 Core Weight: 1 Total Weight: -220 188.74/188.87 c 188.74/188.87 c 188.74/188.87 c ============================[ Search Statistics ]============================== 188.74/188.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.87 c =============================================================================== 188.74/188.87 c | 0 | 1286 16568 34826 | 5522 0 nan | 0.000 % | 188.74/188.88 c =============================================================================== 188.84/188.92 c core #281 188.84/188.92 c 188.84/188.92 c 188.84/188.92 c Core size: 10 Core Weight: 1 Total Weight: -219 188.84/188.92 c 188.84/188.92 c 188.84/188.92 c ============================[ Search Statistics ]============================== 188.84/188.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.92 c =============================================================================== 188.84/188.92 c | 0 | 1292 16569 34838 | 5523 0 nan | 0.000 % | 188.84/188.93 c =============================================================================== 188.84/188.97 c core #282 188.84/188.97 c 188.84/188.97 c 188.84/188.97 c Core size: 14 Core Weight: 1 Total Weight: -218 188.84/188.97 c 188.84/188.97 c 188.84/188.97 c ============================[ Search Statistics ]============================== 188.84/188.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.97 c =============================================================================== 188.84/188.97 c | 0 | 1300 16570 34854 | 5523 0 nan | 0.000 % | 188.84/188.97 c =============================================================================== 188.94/189.01 c core #283 188.94/189.01 c 188.94/189.01 c 188.94/189.01 c Core size: 14 Core Weight: 1 Total Weight: -217 188.94/189.01 c 188.94/189.01 c 188.94/189.01 c ============================[ Search Statistics ]============================== 188.94/189.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.01 c =============================================================================== 188.94/189.01 c | 0 | 1308 16571 34870 | 5523 0 nan | 0.000 % | 188.94/189.02 c =============================================================================== 188.94/189.06 c core #284 188.94/189.06 c 188.94/189.06 c 188.94/189.06 c Core size: 18 Core Weight: 1 Total Weight: -216 188.94/189.06 c 188.94/189.06 c 188.94/189.06 c ============================[ Search Statistics ]============================== 188.94/189.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.06 c =============================================================================== 188.94/189.06 c | 0 | 1318 16572 34890 | 5524 0 nan | 0.000 % | 188.94/189.07 c =============================================================================== 189.04/189.11 c core #285 189.04/189.11 c 189.04/189.11 c 189.04/189.11 c Core size: 18 Core Weight: 1 Total Weight: -215 189.04/189.11 c 189.04/189.11 c 189.04/189.11 c ============================[ Search Statistics ]============================== 189.04/189.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.04/189.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.04/189.11 c =============================================================================== 189.04/189.11 c | 0 | 1328 16573 34910 | 5524 0 nan | 0.000 % | 189.04/189.12 c =============================================================================== 189.04/189.16 c core #286 189.04/189.16 c 189.04/189.16 c 189.04/189.16 c Core size: 14 Core Weight: 1 Total Weight: -214 189.04/189.16 c 189.04/189.16 c 189.04/189.16 c ============================[ Search Statistics ]============================== 189.04/189.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.04/189.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.04/189.16 c =============================================================================== 189.04/189.16 c | 0 | 1336 16574 34926 | 5524 0 nan | 0.000 % | 189.04/189.16 c =============================================================================== 189.14/189.20 c core #287 189.14/189.20 c 189.14/189.20 c 189.14/189.20 c Core size: 20 Core Weight: 1 Total Weight: -213 189.14/189.20 c 189.14/189.20 c 189.14/189.20 c ============================[ Search Statistics ]============================== 189.14/189.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.14/189.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.14/189.20 c =============================================================================== 189.14/189.20 c | 0 | 1348 16575 34950 | 5525 0 nan | 0.000 % | 189.14/189.21 c =============================================================================== 189.14/189.25 c core #288 189.14/189.25 c 189.14/189.25 c 189.14/189.25 c Core size: 16 Core Weight: 1 Total Weight: -212 189.14/189.25 c 189.14/189.25 c 189.14/189.25 c ============================[ Search Statistics ]============================== 189.14/189.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.14/189.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.14/189.25 c =============================================================================== 189.14/189.25 c | 0 | 1358 16576 34970 | 5525 0 nan | 0.000 % | 189.14/189.26 c =============================================================================== 189.24/189.30 c core #289 189.24/189.30 c 189.24/189.30 c 189.24/189.30 c Core size: 15 Core Weight: 1 Total Weight: -211 189.24/189.30 c 189.24/189.30 c 189.24/189.30 c ============================[ Search Statistics ]============================== 189.24/189.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.24/189.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.24/189.30 c =============================================================================== 189.24/189.30 c | 0 | 1367 16577 34988 | 5525 0 nan | 0.000 % | 189.24/189.31 c =============================================================================== 189.24/189.35 c core #290 189.24/189.35 c 189.24/189.35 c 189.24/189.35 c Core size: 18 Core Weight: 1 Total Weight: -210 189.24/189.35 c 189.24/189.35 c 189.24/189.35 c ============================[ Search Statistics ]============================== 189.24/189.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.24/189.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.24/189.35 c =============================================================================== 189.24/189.35 c | 0 | 1379 16578 35012 | 5526 0 nan | 0.000 % | 189.24/189.35 c =============================================================================== 189.24/189.39 c core #291 189.24/189.39 c 189.24/189.39 c 189.24/189.39 c Core size: 14 Core Weight: 1 Total Weight: -209 189.24/189.39 c 189.24/189.39 c 189.24/189.39 c ============================[ Search Statistics ]============================== 189.24/189.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.24/189.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.24/189.39 c =============================================================================== 189.24/189.39 c | 0 | 1387 16579 35028 | 5526 0 nan | 0.000 % | 189.34/189.41 c =============================================================================== 189.34/189.45 c core #292 189.34/189.45 c 189.34/189.45 c 189.34/189.45 c Core size: 25 Core Weight: 1 Total Weight: -208 189.34/189.45 c 189.34/189.45 c 189.34/189.45 c ============================[ Search Statistics ]============================== 189.34/189.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.45 c =============================================================================== 189.34/189.45 c | 0 | 1409 16580 35072 | 5526 0 nan | 0.000 % | 189.34/189.46 c =============================================================================== 189.45/189.50 c core #293 189.45/189.50 c 189.45/189.50 c 189.45/189.50 c Core size: 16 Core Weight: 1 Total Weight: -207 189.45/189.50 c 189.45/189.50 c 189.45/189.50 c ============================[ Search Statistics ]============================== 189.45/189.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.45/189.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.45/189.50 c =============================================================================== 189.45/189.50 c | 0 | 1419 16581 35092 | 5527 0 nan | 0.000 % | 189.45/189.51 c =============================================================================== 189.45/189.55 c core #294 189.45/189.55 c 189.45/189.55 c 189.45/189.55 c Core size: 20 Core Weight: 1 Total Weight: -206 189.45/189.55 c 189.45/189.55 c 189.45/189.55 c ============================[ Search Statistics ]============================== 189.45/189.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.45/189.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.45/189.55 c =============================================================================== 189.45/189.55 c | 0 | 1431 16582 35116 | 5527 0 nan | 0.000 % | 189.45/189.56 c =============================================================================== 189.55/189.60 c core #295 189.55/189.60 c 189.55/189.60 c 189.55/189.60 c Core size: 16 Core Weight: 1 Total Weight: -205 189.55/189.60 c 189.55/189.60 c 189.55/189.60 c ============================[ Search Statistics ]============================== 189.55/189.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.55/189.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.55/189.60 c =============================================================================== 189.55/189.60 c | 0 | 1441 16583 35136 | 5527 0 nan | 0.000 % | 189.55/189.61 c =============================================================================== 189.55/189.65 c core #296 189.55/189.65 c 189.55/189.65 c 189.55/189.65 c Core size: 24 Core Weight: 1 Total Weight: -204 189.55/189.65 c 189.55/189.65 c 189.55/189.65 c ============================[ Search Statistics ]============================== 189.55/189.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.55/189.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.55/189.65 c =============================================================================== 189.55/189.65 c | 0 | 1453 16584 35160 | 5528 0 nan | 0.000 % | 189.55/189.66 c =============================================================================== 189.64/189.70 c core #297 189.64/189.70 c 189.64/189.70 c 189.64/189.70 c Core size: 22 Core Weight: 1 Total Weight: -203 189.64/189.70 c 189.64/189.70 c 189.64/189.70 c ============================[ Search Statistics ]============================== 189.64/189.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.70 c =============================================================================== 189.64/189.70 c | 0 | 1467 16585 35188 | 5528 0 nan | 0.000 % | 189.64/189.71 c =============================================================================== 189.64/189.75 c core #298 189.64/189.75 c 189.64/189.75 c 189.64/189.75 c Core size: 21 Core Weight: 1 Total Weight: -202 189.64/189.75 c 189.64/189.75 c 189.64/189.75 c ============================[ Search Statistics ]============================== 189.64/189.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.75 c =============================================================================== 189.64/189.75 c | 0 | 1478 16586 35210 | 5528 0 nan | 0.000 % | 189.64/189.77 c =============================================================================== 189.74/189.81 c core #299 189.74/189.81 c 189.74/189.81 c 189.74/189.81 c Core size: 26 Core Weight: 1 Total Weight: -201 189.74/189.81 c 189.74/189.81 c 189.74/189.81 c ============================[ Search Statistics ]============================== 189.74/189.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.74/189.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.74/189.81 c =============================================================================== 189.74/189.81 c | 0 | 1496 16587 35246 | 5529 0 nan | 0.000 % | 189.74/189.83 c =============================================================================== 189.74/189.87 c core #300 189.74/189.87 c 189.74/189.87 c 189.74/189.87 c Core size: 38 Core Weight: 1 Total Weight: -200 189.74/189.87 c 189.74/189.87 c 189.74/189.87 c ============================[ Search Statistics ]============================== 189.74/189.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.74/189.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.74/189.87 c =============================================================================== 189.74/189.87 c | 0 | 1523 16588 35300 | 5529 0 nan | 0.000 % | 189.84/189.91 c =============================================================================== 189.84/189.95 c core #301 189.84/189.95 c 189.84/189.95 c 189.84/189.95 c Core size: 59 Core Weight: 1 Total Weight: -199 189.84/189.95 c 189.84/189.95 c 189.84/189.95 c ============================[ Search Statistics ]============================== 189.84/189.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.84/189.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.84/189.95 c =============================================================================== 189.84/189.95 c | 0 | 1562 16589 35378 | 5529 0 nan | 0.000 % | 189.94/190.02 c =============================================================================== 189.94/190.06 c core #302 189.94/190.06 c 189.94/190.06 c 189.94/190.06 c Core size: 52 Core Weight: 1 Total Weight: -198 189.94/190.06 c 189.94/190.06 c 189.94/190.06 c ============================[ Search Statistics ]============================== 189.94/190.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.94/190.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.94/190.06 c =============================================================================== 189.94/190.06 c | 0 | 1602 16590 35458 | 5530 0 nan | 0.000 % | 190.04/190.15 c | 101 | 1602 16590 35458 | 6083 101 20 | 83.099 % | 190.15/190.24 c | 251 | 1602 16590 35458 | 6691 251 14 | 83.099 % | 190.25/190.40 c | 476 | 1575 16590 35458 | 7360 301 12 | 83.384 % | 190.44/190.51 c =============================================================================== 190.44/190.56 c core #303 190.44/190.56 c 190.44/190.56 c 190.44/190.56 c Core size: 105 Core Weight: 1 Total Weight: -197 190.44/190.56 c 190.44/190.56 c 190.44/190.56 c ============================[ Search Statistics ]============================== 190.44/190.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.44/190.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.44/190.56 c =============================================================================== 190.44/190.56 c | 0 | 1692 16591 35638 | 5530 0 nan | 0.000 % | 190.54/190.63 c | 100 | 1692 16591 35638 | 6083 100 23 | 82.318 % | 190.64/190.71 c | 250 | 1692 16591 35638 | 6691 250 20 | 82.318 % | 190.74/190.84 c | 476 | 1692 16591 35638 | 7360 476 22 | 82.318 % | 190.94/191.02 c | 814 | 1692 16591 35638 | 8096 814 24 | 82.318 % | 191.34/191.44 c | 1321 | 1692 16591 35638 | 8906 1321 24 | 82.318 % | 191.45/191.55 c =============================================================================== 191.55/191.61 c core #304 191.55/191.61 c 191.55/191.61 c 191.55/191.61 c Core size: 80 Core Weight: 1 Total Weight: -196 191.55/191.61 c 191.55/191.61 c 191.55/191.61 c ============================[ Search Statistics ]============================== 191.55/191.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.55/191.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.55/191.61 c =============================================================================== 191.55/191.61 c | 0 | 1765 16592 35784 | 5530 0 nan | 0.000 % | 191.55/191.66 c | 101 | 1765 16592 35784 | 6083 101 19 | 81.695 % | 191.64/191.75 c | 252 | 1765 16592 35784 | 6692 252 22 | 81.695 % | 191.74/191.86 c | 477 | 1764 16592 35784 | 7361 476 22 | 81.705 % | 191.94/192.01 c | 814 | 1764 16592 35784 | 8097 813 24 | 81.705 % | 192.24/192.31 c | 1320 | 1763 16592 35784 | 8907 1303 25 | 81.715 % | 192.64/192.75 c | 2080 | 1763 16592 35784 | 9797 2063 28 | 81.715 % | 193.24/193.32 c =============================================================================== 193.34/193.41 c core #305 193.34/193.41 c 193.34/193.41 c 193.34/193.41 c Core size: 110 Core Weight: 1 Total Weight: -195 193.34/193.41 c 193.34/193.41 c 193.34/193.41 c ============================[ Search Statistics ]============================== 193.34/193.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.34/193.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.34/193.41 c =============================================================================== 193.34/193.41 c | 0 | 1867 16593 35988 | 5531 0 nan | 0.000 % | 193.34/193.47 c | 100 | 1867 16593 35988 | 6084 100 12 | 80.839 % | 193.45/193.55 c | 250 | 1867 16593 35988 | 6692 250 12 | 80.839 % | 193.55/193.69 c | 475 | 1867 16593 35988 | 7361 475 10 | 80.839 % | 193.84/193.90 c =============================================================================== 193.84/193.95 c core #306 193.84/193.95 c 193.84/193.95 c 193.84/193.95 c Core size: 113 Core Weight: 1 Total Weight: -194 193.84/193.95 c 193.84/193.95 c 193.84/193.95 c ============================[ Search Statistics ]============================== 193.84/193.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.84/193.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.84/193.95 c =============================================================================== 193.84/193.95 c | 0 | 1964 16594 36182 | 5531 0 nan | 0.000 % | 193.94/194.04 c | 100 | 1964 16594 36182 | 6084 100 11 | 80.043 % | 194.04/194.11 c | 251 | 1964 16594 36182 | 6692 251 11 | 80.043 % | 194.14/194.20 c | 476 | 1963 16594 36182 | 7362 475 16 | 80.053 % | 194.24/194.38 c | 814 | 1913 16594 36182 | 8098 782 22 | 81.150 % | 194.55/194.62 c =============================================================================== 194.55/194.68 c core #307 194.55/194.68 c 194.55/194.68 c 194.55/194.68 c Core size: 96 Core Weight: 1 Total Weight: -193 194.55/194.68 c 194.55/194.68 c 194.55/194.68 c ============================[ Search Statistics ]============================== 194.55/194.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.55/194.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.55/194.68 c =============================================================================== 194.55/194.68 c | 0 | 2041 16595 36336 | 5531 0 nan | 0.000 % | 194.65/194.79 c | 101 | 2041 16595 36336 | 6084 101 56 | 79.421 % | 194.74/194.86 c | 252 | 2041 16595 36336 | 6693 252 37 | 79.421 % | 194.94/195.03 c | 480 | 2040 16595 36336 | 7362 476 35 | 79.431 % | 195.14/195.23 c | 817 | 2040 16595 36336 | 8098 813 32 | 79.431 % | 195.44/195.57 c | 1325 | 2040 16595 36336 | 8908 1321 32 | 79.431 % | 195.75/195.87 c | 2085 | 2040 16595 36336 | 9799 2081 34 | 79.431 % | 196.54/196.61 c | 3225 | 2040 16595 36336 | 10779 3221 36 | 79.431 % | 197.34/197.41 c =============================================================================== 197.44/197.51 c core #308 197.44/197.51 c 197.44/197.51 c 197.44/197.51 c Core size: 134 Core Weight: 1 Total Weight: -192 197.44/197.51 c 197.44/197.51 c 197.44/197.51 c ============================[ Search Statistics ]============================== 197.44/197.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.44/197.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.44/197.51 c =============================================================================== 197.44/197.51 c | 0 | 2156 16596 36566 | 5532 0 nan | 0.000 % | 197.54/197.61 c | 102 | 2156 16596 36566 | 6085 102 37 | 78.511 % | 197.54/197.68 c | 253 | 2156 16596 36566 | 6693 253 40 | 78.511 % | 197.64/197.77 c | 478 | 2156 16596 36566 | 7363 478 31 | 78.511 % | 197.84/197.95 c | 815 | 2156 16596 36566 | 8099 815 32 | 78.511 % | 198.14/198.30 c | 1321 | 2156 16596 36566 | 8909 1321 34 | 78.511 % | 198.74/198.80 c | 2082 | 2156 16596 36566 | 9800 2082 42 | 78.511 % | 199.44/199.58 c | 3223 | 2156 16596 36566 | 10780 3223 47 | 78.511 % | 201.03/201.11 c | 4932 | 2156 16596 36566 | 11858 4932 52 | 78.511 % | 203.14/203.28 c | 7495 | 2156 16596 36566 | 13044 7495 50 | 78.511 % | 206.84/207.00 c | 11340 | 2155 16596 36566 | 14348 11311 47 | 78.521 % | 210.24/210.37 c =============================================================================== 210.54/210.69 c core #309 210.54/210.69 c 210.54/210.69 c 210.54/210.69 c Core size: 187 Core Weight: 1 Total Weight: -191 210.54/210.69 c 210.54/210.69 c 210.54/210.69 c ============================[ Search Statistics ]============================== 210.54/210.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.54/210.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.54/210.69 c =============================================================================== 210.54/210.69 c | 0 | 2320 16597 36894 | 5532 0 nan | 0.000 % | 210.64/210.76 c | 101 | 2320 16597 36894 | 6085 101 12 | 77.248 % | 210.64/210.78 c | 251 | 2320 16597 36894 | 6694 251 20 | 77.248 % | 210.74/210.88 c | 476 | 2320 16597 36894 | 7363 476 30 | 77.248 % | 210.94/211.05 c | 814 | 2320 16597 36894 | 8099 814 30 | 77.248 % | 211.23/211.38 c | 1320 | 2320 16597 36894 | 8909 1320 39 | 77.248 % | 211.74/211.84 c | 2079 | 2320 16597 36894 | 9800 2079 52 | 77.248 % | 212.44/212.50 c | 3218 | 2320 16597 36894 | 10780 3218 57 | 77.248 % | 213.63/213.71 c | 4926 | 2320 16597 36894 | 11859 4926 46 | 77.248 % | 214.54/214.60 c =============================================================================== 214.54/214.69 c core #310 214.54/214.69 c 214.54/214.69 c 214.54/214.69 c Core size: 123 Core Weight: 1 Total Weight: -190 214.54/214.69 c 214.54/214.69 c 214.54/214.69 c ============================[ Search Statistics ]============================== 214.54/214.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.54/214.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.54/214.69 c =============================================================================== 214.54/214.69 c | 0 | 2429 16598 37112 | 5532 0 nan | 0.000 % | 214.64/214.78 c | 100 | 2429 16598 37112 | 6085 100 45 | 76.431 % | 214.74/214.85 c | 251 | 2429 16598 37112 | 6694 251 26 | 76.431 % | 214.84/214.95 c | 478 | 2429 16598 37112 | 7363 478 24 | 76.431 % | 215.04/215.15 c | 815 | 2429 16598 37112 | 8100 815 24 | 76.431 % | 215.44/215.50 c | 1322 | 2429 16598 37112 | 8910 1322 28 | 76.431 % | 215.83/215.97 c | 2081 | 2429 16598 37112 | 9801 2081 28 | 76.431 % | 216.74/216.88 c | 3220 | 2429 16598 37112 | 10781 3220 29 | 76.431 % | 217.74/217.89 c | 4928 | 2429 16598 37112 | 11859 4928 28 | 76.431 % | 219.84/219.97 c | 7492 | 2429 16598 37112 | 13045 7492 29 | 76.431 % | 222.04/222.13 c =============================================================================== 222.23/222.31 c core #311 222.23/222.31 c 222.23/222.31 c 222.23/222.31 c Core size: 101 Core Weight: 1 Total Weight: -189 222.23/222.31 c 222.23/222.31 c 222.23/222.31 c ============================[ Search Statistics ]============================== 222.23/222.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.23/222.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.23/222.31 c =============================================================================== 222.23/222.31 c | 0 | 2517 16599 37288 | 5533 0 nan | 0.000 % | 222.23/222.37 c | 102 | 2517 16599 37288 | 6086 102 15 | 75.784 % | 222.23/222.40 c | 254 | 2517 16599 37288 | 6694 254 24 | 75.784 % | 222.33/222.47 c | 482 | 2517 16599 37288 | 7364 482 30 | 75.784 % | 222.54/222.63 c | 823 | 2517 16599 37288 | 8100 823 34 | 75.784 % | 222.64/222.76 c | 1332 | 2517 16599 37288 | 8910 1332 38 | 75.784 % | 222.94/223.06 c | 2092 | 2517 16599 37288 | 9802 2092 41 | 75.784 % | 223.43/223.54 c | 3231 | 2517 16599 37288 | 10782 3231 45 | 75.784 % | 224.53/224.63 c | 4940 | 2517 16599 37288 | 11860 4940 48 | 75.784 % | 226.44/226.60 c | 7502 | 2517 16599 37288 | 13046 7502 52 | 75.784 % | 229.84/229.98 c | 11346 | 2517 16599 37288 | 14351 11346 54 | 75.784 % | 236.64/236.78 c | 17114 | 2517 16599 37288 | 15786 17114 55 | 75.784 % | 247.12/247.23 c | 25764 | 2517 16599 37288 | 17364 13858 51 | 75.784 % | 261.73/261.87 c | 38738 | 2517 16599 37288 | 19101 14154 47 | 75.784 % | 284.51/284.62 c | 58199 | 2517 16599 37288 | 21011 20064 50 | 75.784 % | 328.61/328.77 c | 87391 | 2517 16599 37288 | 23112 19528 50 | 75.784 % | 345.31/345.48 c =============================================================================== 348.00/348.12 c core #312 348.00/348.12 c 348.00/348.12 c 348.00/348.12 c Core size: 140 Core Weight: 1 Total Weight: -188 348.00/348.12 c 348.00/348.12 c 348.00/348.12 c ============================[ Search Statistics ]============================== 348.00/348.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 348.00/348.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 348.00/348.12 c =============================================================================== 348.00/348.12 c | 0 | 2630 16600 37514 | 5533 0 nan | 0.000 % | 348.10/348.28 c | 101 | 2630 16600 37514 | 6086 101 57 | 74.969 % | 348.20/348.31 c | 253 | 2630 16600 37514 | 6695 253 49 | 74.969 % | 348.30/348.40 c | 481 | 2630 16600 37514 | 7364 481 58 | 74.969 % | 348.30/348.49 c | 818 | 2630 16600 37514 | 8101 818 43 | 74.969 % | 348.51/348.60 c | 1326 | 2630 16600 37514 | 8911 1326 37 | 74.969 % | 348.90/349.00 c | 2085 | 2630 16600 37514 | 9802 2085 35 | 74.969 % | 349.50/349.68 c | 3225 | 2630 16600 37514 | 10782 3225 35 | 74.969 % | 350.90/351.01 c | 4933 | 2630 16600 37514 | 11861 4933 36 | 74.969 % | 352.60/352.70 c | 7495 | 2630 16600 37514 | 13047 7495 39 | 74.969 % | 356.00/356.19 c | 11340 | 2630 16600 37514 | 14352 11340 43 | 74.969 % | 362.70/362.84 c | 17107 | 2630 16600 37514 | 15787 17107 42 | 74.969 % | 376.00/376.12 c | 25756 | 2630 16600 37514 | 17365 13861 38 | 74.969 % | 394.59/394.77 c | 38730 | 2630 16600 37514 | 19102 14188 37 | 74.969 % | 417.99/418.14 c =============================================================================== 419.58/419.71 c core #313 419.58/419.71 c 419.58/419.71 c 419.58/419.71 c Core size: 133 Core Weight: 1 Total Weight: -187 419.58/419.71 c 419.58/419.71 c 419.58/419.71 c ============================[ Search Statistics ]============================== 419.58/419.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 419.58/419.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 419.58/419.71 c =============================================================================== 419.58/419.71 c | 0 | 2741 16601 37736 | 5533 0 nan | 0.000 % | 419.68/419.81 c | 102 | 2741 16601 37736 | 6087 102 22 | 74.185 % | 419.68/419.84 c | 252 | 2741 16601 37736 | 6695 252 17 | 74.185 % | 419.79/419.91 c | 478 | 2741 16601 37736 | 7365 478 15 | 74.185 % | 419.89/420.06 c | 819 | 2741 16601 37736 | 8101 819 18 | 74.185 % | 419.99/420.20 c | 1325 | 2741 16601 37736 | 8912 1325 23 | 74.185 % | 420.39/420.57 c | 2086 | 2741 16601 37736 | 9803 2086 25 | 74.185 % | 420.98/421.18 c | 3225 | 2741 16601 37736 | 10783 3225 32 | 74.185 % | 422.29/422.48 c | 4933 | 2741 16601 37736 | 11861 4933 31 | 74.185 % | 424.38/424.58 c | 7499 | 2741 16601 37736 | 13048 7499 33 | 74.185 % | 428.98/429.10 c | 11345 | 2741 16601 37736 | 14352 11345 35 | 74.185 % | 435.88/436.05 c | 17111 | 2741 16601 37736 | 15788 17111 36 | 74.185 % | 443.58/443.77 c =============================================================================== 444.08/444.28 c core #314 444.08/444.28 c 444.08/444.28 c 444.08/444.28 c Core size: 131 Core Weight: 1 Total Weight: -186 444.08/444.28 c 444.08/444.28 c 444.08/444.28 c ============================[ Search Statistics ]============================== 444.08/444.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 444.08/444.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 444.08/444.28 c =============================================================================== 444.08/444.28 c | 0 | 2856 16602 37966 | 5534 0 nan | 0.000 % | 444.18/444.38 c | 100 | 2856 16602 37966 | 6087 100 43 | 73.390 % | 444.18/444.40 c | 251 | 2856 16602 37966 | 6696 251 38 | 73.390 % | 444.28/444.48 c | 477 | 2856 16602 37966 | 7365 477 34 | 73.390 % | 444.37/444.58 c | 817 | 2856 16602 37966 | 8102 817 35 | 73.390 % | 444.68/444.81 c | 1324 | 2856 16602 37966 | 8912 1324 44 | 73.390 % | 444.98/445.18 c | 2084 | 2856 16602 37966 | 9803 2084 46 | 73.390 % | 445.48/445.62 c | 3225 | 2856 16602 37966 | 10784 3225 50 | 73.390 % | 446.68/446.89 c | 4933 | 2856 16602 37966 | 11862 4933 63 | 73.390 % | 448.78/448.92 c | 7496 | 2856 16602 37966 | 13048 7496 70 | 73.390 % | 452.27/452.46 c | 11343 | 2856 16602 37966 | 14353 11343 76 | 73.390 % | 459.78/459.96 c | 17110 | 2856 16602 37966 | 15789 17110 83 | 73.390 % | 470.77/470.99 c | 25759 | 2856 16602 37966 | 17368 13836 81 | 73.390 % | 487.57/487.74 c | 38733 | 2856 16602 37966 | 19104 13780 80 | 73.390 % | 515.66/515.89 c | 58195 | 2856 16602 37966 | 21015 19719 73 | 73.390 % | 560.45/560.65 c | 87388 | 2856 16602 37966 | 23116 17108 86 | 73.390 % | 619.43/619.64 c | 131179 | 2856 16602 37966 | 25428 25007 91 | 73.390 % | 726.41/726.64 c | 196863 | 2856 16602 37966 | 27971 17805 82 | 73.390 % | 851.08/851.38 c | 295389 | 2856 16602 37966 | 30768 28577 91 | 73.390 % | 1075.42/1075.74 c | 443178 | 2856 16602 37966 | 33845 31484 116 | 73.390 % | 1419.03/1419.48 c | 664862 | 2856 16602 37966 | 37229 29725 103 | 73.390 % |
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-2702565-1278570213/watcher-2702565-1278570213 -o /tmp/evaluation-result-2702565-1278570213/solver-2702565-1278570213 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702565-1278570213.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.17 1.03 1.01 3/106 1306 /proc/meminfo: memFree=1709252/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=3360 CPUtime=0 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 293 0 0 0 0 0 0 0 19 0 1 0 25235112 3440640 211 1992294400 134512640 135752675 4293237840 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 840 211 131 303 0 372 0 [startup+0.0552011 s] /proc/loadavg: 1.17 1.03 1.01 3/106 1306 /proc/meminfo: memFree=1709252/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=5344 CPUtime=0.05 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 841 0 0 0 5 0 0 0 19 0 1 0 25235112 5472256 759 1992294400 134512640 135752675 4293237840 18446744073709551615 134560995 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 1336 759 197 303 0 868 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5344 [startup+0.101205 s] /proc/loadavg: 1.17 1.03 1.01 3/106 1306 /proc/meminfo: memFree=1709252/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=5940 CPUtime=0.09 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 1061 0 0 0 9 0 0 0 20 0 1 0 25235112 6082560 979 1992294400 134512640 135752675 4293237840 18446744073709551615 135197089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 1485 979 271 303 0 1017 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5940 [startup+0.300228 s] /proc/loadavg: 1.17 1.03 1.01 3/106 1306 /proc/meminfo: memFree=1709252/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=7400 CPUtime=0.29 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 1603 0 0 0 28 1 0 0 20 0 1 0 25235112 7577600 1358 1992294400 134512640 135752675 4293237840 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 1850 1358 145 303 0 1545 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7400 [startup+0.700267 s] /proc/loadavg: 1.17 1.03 1.01 3/106 1306 /proc/meminfo: memFree=1709252/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=9704 CPUtime=0.68 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 2201 0 0 0 67 1 0 0 20 0 1 0 25235112 9936896 1956 1992294400 134512640 135752675 4293237840 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 2426 1956 145 303 0 2121 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9704 [startup+1.50035 s] /proc/loadavg: 1.15 1.03 1.01 2/107 1307 /proc/meminfo: memFree=1700192/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=14316 CPUtime=1.49 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 3330 0 0 0 146 3 0 0 22 0 1 0 25235112 14659584 3085 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 3579 3085 145 303 0 3274 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14316 [startup+3.10051 s] /proc/loadavg: 1.15 1.03 1.01 2/107 1307 /proc/meminfo: memFree=1695604/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=19448 CPUtime=3.09 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 4620 0 0 0 305 4 0 0 25 0 1 0 25235112 19914752 4375 1992294400 134512640 135752675 4293237840 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 4862 4375 145 303 0 4557 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19448 [startup+6.30084 s] /proc/loadavg: 1.14 1.03 1.00 2/107 1307 /proc/meminfo: memFree=1684816/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=29592 CPUtime=6.28 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 7152 0 0 0 622 6 0 0 25 0 1 0 25235112 30302208 6907 1992294400 134512640 135752675 4293237840 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 7398 6907 145 303 0 7093 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29592 [startup+12.7015 s] /proc/loadavg: 1.13 1.03 1.00 2/107 1307 /proc/meminfo: memFree=1672788/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=40168 CPUtime=12.69 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 9797 0 0 0 1258 11 0 0 25 0 1 0 25235112 41132032 9552 1992294400 134512640 135752675 4293237840 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 10042 9552 145 303 0 9737 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40168 [startup+25.5018 s] /proc/loadavg: 1.10 1.03 1.00 2/107 1308 /proc/meminfo: memFree=1638564/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=73452 CPUtime=25.48 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 18090 0 0 0 2527 21 0 0 25 0 1 0 25235112 75214848 17845 1992294400 134512640 135752675 4293237840 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 18363 17845 145 303 0 18058 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 73452 [startup+51.1014 s] /proc/loadavg: 1.06 1.03 1.00 2/107 1309 /proc/meminfo: memFree=1602976/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=109420 CPUtime=51.07 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 27085 0 0 0 5073 34 0 0 25 0 1 0 25235112 112046080 26840 1992294400 134512640 135752675 4293237840 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 27355 26840 145 303 0 27050 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 109420 [startup+102.309 s] /proc/loadavg: 1.03 1.02 1.00 2/107 1310 /proc/meminfo: memFree=1525104/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=186460 CPUtime=102.27 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 46305 0 0 0 10168 59 0 0 25 0 1 0 25235112 190935040 46060 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 46615 46060 145 303 0 46310 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 186460 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/107 1311 /proc/meminfo: memFree=1429624/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=283344 CPUtime=162.25 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 70492 0 0 0 16134 91 0 0 25 0 1 0 25235112 290144256 70247 1992294400 134512640 135752675 4293237840 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 70836 70247 145 303 0 70531 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 283344 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1313 /proc/meminfo: memFree=1391804/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=318876 CPUtime=222.23 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 79717 0 0 0 22106 117 0 0 25 0 1 0 25235112 326529024 79243 1992294400 134512640 135752675 4293237840 18446744073709551615 135203161 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 79719 79243 146 303 0 79414 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 318876 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1315 /proc/meminfo: memFree=1391804/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=318876 CPUtime=282.22 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 79722 0 0 0 28083 139 0 0 25 0 1 0 25235112 326529024 79248 1992294400 134512640 135752675 4293237840 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 79719 79248 146 303 0 79414 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 318876 [startup+342.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 1316 /proc/meminfo: memFree=1379900/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=330840 CPUtime=342.21 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 82722 0 0 0 34063 158 0 0 25 0 1 0 25235112 338780160 82248 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 82710 82248 146 303 0 82405 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 330840 [startup+402.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 1318 /proc/meminfo: memFree=1375560/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=335216 CPUtime=402.19 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 83786 0 0 0 40044 175 0 0 25 0 1 0 25235112 343261184 83312 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 83804 83312 146 303 0 83499 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 335216 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1319 /proc/meminfo: memFree=1369484/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=341456 CPUtime=462.17 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 85471 0 0 0 46017 200 0 0 25 0 1 0 25235112 349650944 84872 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 85364 84872 146 303 0 85059 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 341456 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1321 /proc/meminfo: memFree=1351628/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=359232 CPUtime=522.16 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 89901 0 0 0 51991 225 0 0 25 0 1 0 25235112 367853568 89302 1992294400 134512640 135752675 4293237840 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 89808 89302 146 303 0 89503 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 359232 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1323 /proc/meminfo: memFree=1333896/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=376956 CPUtime=582.15 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 94315 0 0 0 57968 247 0 0 25 0 1 0 25235112 386002944 93716 1992294400 134512640 135752675 4293237840 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 94239 93716 146 303 0 93934 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 376956 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1324 /proc/meminfo: memFree=1310832/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=399640 CPUtime=642.13 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 100004 0 0 0 63942 271 0 0 25 0 1 0 25235112 409231360 99405 1992294400 134512640 135752675 4293237840 18446744073709551615 134612089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 99910 99405 146 303 0 99605 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 399640 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1331 /proc/meminfo: memFree=1222048/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=488260 CPUtime=882.07 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 122116 0 0 0 87833 374 0 0 25 0 1 0 25235112 499978240 121517 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 122065 121517 146 303 0 121760 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 488260 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1332 /proc/meminfo: memFree=1202332/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=508220 CPUtime=942.05 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 127070 0 0 0 93811 394 0 0 25 0 1 0 25235112 520417280 126471 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 127055 126471 146 303 0 126750 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 508220 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1334 /proc/meminfo: memFree=1180880/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=529496 CPUtime=1002.04 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 132399 0 0 0 99783 421 0 0 25 0 1 0 25235112 542203904 131800 1992294400 134512640 135752675 4293237840 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 132374 131800 146 303 0 132069 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 529496 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1335 /proc/meminfo: memFree=1159056/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=551616 CPUtime=1062.02 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 137913 0 0 0 105759 443 0 0 25 0 1 0 25235112 564854784 137314 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 137904 137314 146 303 0 137599 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 551616 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1337 /proc/meminfo: memFree=1136860/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=573740 CPUtime=1122 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 143413 0 0 0 111735 465 0 0 25 0 1 0 25235112 587509760 142814 1992294400 134512640 135752675 4293237840 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 143435 142814 146 303 0 143130 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 573740 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1339 /proc/meminfo: memFree=1115780/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=594844 CPUtime=1181.99 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 148691 0 0 0 117712 487 0 0 25 0 1 0 25235112 609120256 148092 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 148711 148092 146 303 0 148406 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 594844 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1340 /proc/meminfo: memFree=1095196/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=615104 CPUtime=1241.97 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 153751 0 0 0 123692 505 0 0 25 0 1 0 25235112 629866496 153152 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 153776 153152 146 303 0 153471 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 615104 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1342 /proc/meminfo: memFree=1068412/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=641428 CPUtime=1301.96 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 160324 0 0 0 129665 531 0 0 25 0 1 0 25235112 656822272 159725 1992294400 134512640 135752675 4293237840 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 160357 159725 146 303 0 160052 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 641428 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1343 /proc/meminfo: memFree=1045224/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=664920 CPUtime=1361.94 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 166200 0 0 0 135639 555 0 0 25 0 1 0 25235112 680878080 165601 1992294400 134512640 135752675 4293237840 18446744073709551615 134605270 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 166230 165601 146 303 0 165925 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 664920 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1345 /proc/meminfo: memFree=1021044/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=688860 CPUtime=1421.94 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 172156 0 0 0 141613 581 0 0 25 0 1 0 25235112 705392640 171557 1992294400 134512640 135752675 4293237840 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 172215 171557 146 303 0 171910 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 688860 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1347 /proc/meminfo: memFree=1000088/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=709972 CPUtime=1481.91 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 177429 0 0 0 147586 605 0 0 25 0 1 0 25235112 727011328 176830 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 177493 176830 146 303 0 177188 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 709972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1348 /proc/meminfo: memFree=981736/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=728376 CPUtime=1541.9 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 181984 0 0 0 153565 625 0 0 25 0 1 0 25235112 745857024 181385 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 182094 181385 146 303 0 181789 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 728376 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1350 /proc/meminfo: memFree=962268/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=748100 CPUtime=1601.89 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 186913 0 0 0 159542 647 0 0 25 0 1 0 25235112 766054400 186314 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 187025 186314 146 303 0 186720 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 748100 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1351 /proc/meminfo: memFree=944288/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=765824 CPUtime=1661.87 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 191348 0 0 0 165518 669 0 0 25 0 1 0 25235112 784203776 190749 1992294400 134512640 135752675 4293237840 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 191456 190749 146 303 0 191151 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 765824 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1353 /proc/meminfo: memFree=924820/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=785528 CPUtime=1721.85 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 196244 0 0 0 171495 690 0 0 25 0 1 0 25235112 804380672 195645 1992294400 134512640 135752675 4293237840 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 196382 195645 146 303 0 196077 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 785528 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1355 /proc/meminfo: memFree=907088/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=802748 CPUtime=1781.84 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 200568 0 0 0 177473 711 0 0 25 0 1 0 25235112 822013952 199969 1992294400 134512640 135752675 4293237840 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 200687 199969 146 303 0 200382 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 802748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1355 /proc/meminfo: memFree=902004/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=807808 CPUtime=1800.03 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 201827 0 0 0 179285 718 0 0 25 0 1 0 25235112 827195392 201228 1992294400 134512640 135752675 4293237840 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 201952 201228 146 303 0 201647 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 807808 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1355 /proc/meminfo: memFree=902004/2059040 swapFree=4134944/4192956 [pid=1306] ppid=1304 vsize=807808 CPUtime=1800.03 /proc/1306/stat : 1306 (wbo1.4b) R 1304 1306 31414 0 -1 4202496 201827 0 0 0 179285 718 0 0 25 0 1 0 25235112 827195392 201228 1992294400 134512640 135752675 4293237840 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1306/statm: 201952 201228 146 303 0 201647 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 807808 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.12 CPU user time (s): 1792.86 CPU system time (s): 7.2609 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 807808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.86 system time used= 7.2609 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 201827 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= 52 involuntary context switches= 1088 runsolver used 2.82157 second user time and 8.69868 second system time The end
Begin job on node002 at 2010-07-08 08:23:33 IDJOB=2702565 IDBENCH=48217 IDSOLVER=1190 FILE ID=node002/2702565-1278570213 PBS_JOBID= 11239536 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702565-1278570213/watcher-2702565-1278570213 -o /tmp/evaluation-result-2702565-1278570213/solver-2702565-1278570213 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702565-1278570213.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 95ae68c901d0b7917be5b837e9e56612 RANDOM SEED=511257062 node002.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.201 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.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1710524 kB Buffers: 93340 kB Cached: 169956 kB SwapCached: 12900 kB Active: 158124 kB Inactive: 120456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1710524 kB SwapTotal: 4192956 kB SwapFree: 4134944 kB Dirty: 3112 kB Writeback: 12 kB AnonPages: 12108 kB Mapped: 8460 kB Slab: 48008 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180344 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702565-1278570213.opb Free space on /tmp at the end= 62564 MiB End job on node002 at 2010-07-08 08:53:36