Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.02 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb |
MD5SUM | 866c660dea8282137b8c78839dd4c03f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4517 |
Best CPU time to get the best result obtained on this benchmark | 0.38694 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4517 |
Optimality of the best value was proved | YES |
Number of variables | 651 |
Total number of constraints | 1658 |
Number of constraints which are clauses | 1656 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
Number of terms in the objective function | 651 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 28138 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 28138 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680749-1277453238.opb. 0.00/0.00 c Instance file HOME/instance-2680749-1277453238.opb 0.00/0.00 c File size is 71286 bytes. 0.00/0.01 c Highest Coefficient sum: 43 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 651 | 0.00/0.01 c | Number Clauses: 1656 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 2 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 634 1661 6681 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 6293 0.00/0.02 o 6293 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 634 1662 7332 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 6282 0.00/0.02 o 6282 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 634 1663 7983 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 6269 0.00/0.02 o 6269 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 9 | 634 1664 8634 | 5000 9 186 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 6058 0.00/0.03 o 6058 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 11 | 634 1665 9285 | 5000 11 154 | 0.000 % | 0.00/0.04 c | 111 | 634 1665 9285 | 5500 111 147 | 2.612 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 5453 0.00/0.04 o 5453 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 113 | 634 1666 9936 | 5000 113 145 | 2.612 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 5439 0.00/0.05 o 5439 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 123 | 634 1667 10587 | 5000 123 143 | 2.612 % | 0.00/0.06 c | 224 | 634 1667 10587 | 5500 224 147 | 2.616 % | 0.00/0.07 c | 375 | 634 1667 10587 | 6050 375 141 | 2.613 % | 0.09/0.10 c | 600 | 634 1667 10587 | 6655 600 142 | 2.613 % | 0.09/0.14 c | 938 | 634 1667 10587 | 7320 938 142 | 2.612 % | 0.19/0.21 c | 1445 | 634 1667 10587 | 8052 1445 145 | 2.612 % | 0.29/0.31 c | 2204 | 634 1667 10587 | 8857 2204 141 | 2.612 % | 0.39/0.46 c | 3344 | 634 1667 10587 | 9743 3344 142 | 2.612 % | 0.69/0.72 c | 5053 | 634 1667 10587 | 10717 5053 141 | 2.612 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 5426 0.69/0.74 o 5426 0.69/0.74 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 5224 | 634 1668 11238 | 5000 5224 141 | 2.612 % | 0.69/0.76 c | 5325 | 634 1668 11238 | 5500 2713 141 | 2.612 % | 0.69/0.78 c | 5475 | 634 1668 11238 | 6050 2863 141 | 2.613 % | 0.79/0.82 c | 5701 | 634 1668 11238 | 6655 3089 140 | 2.612 % | 0.79/0.87 c | 6040 | 634 1668 11238 | 7320 3428 141 | 2.612 % | 0.89/0.93 c | 6546 | 634 1668 11238 | 8052 3934 141 | 2.612 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 5419 0.89/0.93 o 5419 0.89/0.93 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 6563 | 634 1669 11889 | 5000 3951 141 | 2.612 % | 0.89/0.95 c | 6663 | 634 1669 11889 | 5500 4051 141 | 2.612 % | 0.89/0.97 c | 6813 | 634 1669 11889 | 6050 4201 141 | 2.612 % | 0.99/1.00 c | 7038 | 634 1669 11889 | 6655 4426 140 | 2.613 % | 0.99/1.05 c | 7375 | 634 1669 11889 | 7320 4763 141 | 2.612 % | 1.10/1.11 c | 7881 | 634 1669 11889 | 8052 5269 141 | 2.612 % | 1.19/1.23 c | 8640 | 634 1669 11889 | 8857 6028 141 | 2.612 % | 1.29/1.39 c | 9779 | 634 1669 11889 | 9743 7167 141 | 2.612 % | 1.59/1.66 c | 11487 | 634 1669 11889 | 10717 8875 143 | 2.612 % | 1.99/2.04 c | 14049 | 634 1669 11889 | 11789 5821 142 | 2.612 % | 2.69/2.70 c | 17893 | 634 1669 11889 | 12968 9665 143 | 2.612 % | 3.79/3.81 c | 23659 | 634 1669 11889 | 14265 8690 142 | 2.612 % | 3.89/3.91 c =============================================================================== 3.89/3.91 c New solution: 5401 3.89/3.91 o 5401 3.89/3.91 c Elapsed CPU time: 3.82442 s Remaining CPU time: 176.176 s 3.89/3.91 c =============================================================================== 3.89/3.91 c | 24340 | 634 1670 12540 | 5000 9371 142 | 2.612 % | 3.89/3.94 c | 24440 | 634 1670 12540 | 5500 4786 141 | 2.612 % | 3.89/3.96 c | 24590 | 634 1670 12540 | 6050 4936 141 | 2.612 % | 3.89/3.99 c | 24815 | 634 1670 12540 | 6655 5161 141 | 2.612 % | 3.99/4.05 c | 25152 | 634 1670 12540 | 7320 5498 141 | 2.612 % | 4.09/4.11 c | 25659 | 634 1670 12540 | 8052 6005 141 | 2.612 % | 4.19/4.23 c | 26418 | 634 1670 12540 | 8857 6764 141 | 2.612 % | 4.40/4.44 c | 27557 | 634 1670 12540 | 9743 7903 142 | 2.612 % | 4.59/4.69 c | 29265 | 634 1670 12540 | 10717 9611 142 | 2.612 % | 5.09/5.12 c | 31827 | 634 1670 12540 | 11789 6561 141 | 2.612 % | 5.79/5.84 c | 35671 | 634 1670 12540 | 12968 10405 144 | 2.612 % | 6.89/6.94 c | 41437 | 634 1670 12540 | 14265 9440 142 | 2.612 % | 6.89/6.96 c =============================================================================== 6.89/6.96 c New solution: 5393 6.89/6.96 o 5393 6.89/6.96 c Elapsed CPU time: 6.82396 s Remaining CPU time: 173.176 s 6.89/6.96 c =============================================================================== 6.89/6.96 c | 41556 | 634 1671 13191 | 5000 9559 142 | 2.612 % | 6.89/6.99 c | 41656 | 634 1671 13191 | 5500 4880 138 | 2.612 % | 6.99/7.02 c | 41807 | 634 1671 13191 | 6050 5031 138 | 2.612 % | 6.99/7.05 c | 42033 | 634 1671 13191 | 6655 5257 138 | 2.612 % | 6.99/7.05 c =============================================================================== 6.99/7.05 c New solution: 5330 6.99/7.05 o 5330 6.99/7.05 c Elapsed CPU time: 6.90895 s Remaining CPU time: 173.091 s 6.99/7.05 c =============================================================================== 6.99/7.05 c | 42034 | 634 1672 13842 | 5000 5258 138 | 2.612 % | 6.99/7.07 c =============================================================================== 6.99/7.07 c New solution: 5320 6.99/7.07 o 5320 6.99/7.07 c Elapsed CPU time: 6.92095 s Remaining CPU time: 173.079 s 6.99/7.07 c =============================================================================== 6.99/7.07 c | 42041 | 634 1673 14493 | 5000 2636 136 | 2.612 % | 6.99/7.08 c | 42142 | 634 1673 14493 | 5500 2737 137 | 2.612 % | 7.09/7.11 c | 42293 | 634 1673 14493 | 6050 2888 137 | 2.612 % | 7.09/7.15 c | 42518 | 634 1673 14493 | 6655 3113 138 | 2.612 % | 7.19/7.20 c | 42855 | 634 1673 14493 | 7320 3450 137 | 2.612 % | 7.19/7.28 c | 43361 | 634 1673 14493 | 8052 3956 138 | 2.612 % | 7.39/7.40 c | 44121 | 634 1673 14493 | 8857 4716 139 | 2.612 % | 7.49/7.57 c | 45261 | 634 1673 14493 | 9743 5856 139 | 2.612 % | 7.79/7.83 c | 46970 | 634 1673 14493 | 10717 7565 139 | 2.612 % | 8.19/8.24 c | 49534 | 634 1673 14493 | 11789 10129 139 | 2.612 % | 8.80/8.88 c | 53378 | 634 1673 14493 | 12968 7812 137 | 2.612 % | 9.99/10.00 c | 59144 | 634 1673 14493 | 14265 6811 143 | 2.612 % | 11.49/11.56 c | 67793 | 634 1673 14493 | 15692 8082 137 | 2.612 % | 14.09/14.18 c | 80767 | 634 1673 14493 | 17261 12920 147 | 2.612 % | 17.59/17.67 c | 100229 | 634 1673 14493 | 18987 14595 135 | 2.612 % | 18.88/18.95 c =============================================================================== 18.88/18.95 c New solution: 5300 18.88/18.95 o 5300 18.88/18.95 c Elapsed CPU time: 18.5762 s Remaining CPU time: 161.424 s 18.88/18.95 c =============================================================================== 18.88/18.95 c | 106524 | 634 1674 15144 | 5000 11099 139 | 2.612 % | 18.88/18.99 c | 106624 | 634 1674 15144 | 5500 2875 143 | 2.612 % | 18.98/19.02 c | 106774 | 634 1674 15144 | 6050 3025 143 | 2.612 % | 18.98/19.05 c | 106999 | 634 1674 15144 | 6655 3250 143 | 2.612 % | 19.09/19.10 c | 107337 | 634 1674 15144 | 7320 3588 143 | 2.612 % | 19.09/19.18 c | 107844 | 634 1674 15144 | 8052 4095 141 | 2.612 % | 19.29/19.31 c | 108604 | 634 1674 15144 | 8857 4855 141 | 2.612 % | 19.39/19.46 c | 109743 | 634 1674 15144 | 9743 5994 140 | 2.612 % | 19.39/19.46 c =============================================================================== 19.39/19.46 c New solution: 5280 19.39/19.46 o 5280 19.39/19.46 c Elapsed CPU time: 19.0811 s Remaining CPU time: 160.919 s 19.39/19.46 c =============================================================================== 19.39/19.46 c | 109747 | 634 1675 15795 | 5000 5998 140 | 2.612 % | 19.39/19.48 c | 109848 | 634 1675 15795 | 5500 3100 136 | 2.612 % | 19.49/19.50 c | 109999 | 634 1675 15795 | 6050 3251 136 | 2.612 % | 19.49/19.54 c | 110226 | 634 1675 15795 | 6655 3478 137 | 2.612 % | 19.49/19.59 c | 110563 | 634 1675 15795 | 7320 3815 136 | 2.612 % | 19.59/19.69 c | 111069 | 634 1675 15795 | 8052 4321 138 | 2.612 % | 19.69/19.78 c | 111828 | 634 1675 15795 | 8857 5080 137 | 2.612 % | 19.89/19.95 c | 112967 | 634 1675 15795 | 9743 6219 137 | 2.612 % | 20.18/20.20 c | 114675 | 634 1675 15795 | 10717 7927 137 | 2.612 % | 20.28/20.30 c =============================================================================== 20.28/20.30 c New solution: 5273 20.28/20.30 o 5273 20.28/20.30 c Elapsed CPU time: 19.897 s Remaining CPU time: 160.103 s 20.28/20.30 c =============================================================================== 20.28/20.30 c | 115248 | 634 1676 16446 | 5000 8500 137 | 2.612 % | 20.28/20.32 c | 115349 | 634 1676 16446 | 5500 4351 136 | 2.612 % | 20.28/20.35 c | 115500 | 634 1676 16446 | 6050 4502 137 | 2.612 % | 20.28/20.38 c | 115725 | 634 1676 16446 | 6655 4727 137 | 2.612 % | 20.39/20.44 c | 116062 | 634 1676 16446 | 7320 5064 137 | 2.612 % | 20.48/20.52 c | 116568 | 634 1676 16446 | 8052 5570 136 | 2.612 % | 20.48/20.53 c =============================================================================== 20.48/20.53 c New solution: 5267 20.48/20.53 o 5267 20.48/20.53 c Elapsed CPU time: 20.1209 s Remaining CPU time: 159.879 s 20.48/20.53 c =============================================================================== 20.48/20.53 c | 116585 | 634 1677 17097 | 5000 5587 136 | 2.612 % | 20.48/20.55 c | 116686 | 634 1677 17097 | 5500 2895 136 | 2.612 % | 20.48/20.57 c | 116836 | 634 1677 17097 | 6050 3045 136 | 2.613 % | 20.58/20.61 c | 117061 | 634 1677 17097 | 6655 3270 137 | 2.624 % | 20.58/20.68 c | 117398 | 634 1677 17097 | 7320 3607 136 | 2.613 % | 20.68/20.77 c | 117904 | 634 1677 17097 | 8052 4113 137 | 2.612 % | 20.80/20.88 c | 118664 | 634 1677 17097 | 8857 4873 136 | 2.612 % | 20.99/21.09 c | 119804 | 634 1677 17097 | 9743 6013 136 | 2.612 % | 21.28/21.38 c | 121512 | 634 1677 17097 | 10717 7721 136 | 2.612 % | 21.78/21.85 c | 124074 | 634 1677 17097 | 11789 10283 137 | 2.612 % | 22.48/22.54 c | 127918 | 634 1677 17097 | 12968 7976 136 | 2.612 % | 23.58/23.62 c | 133684 | 634 1677 17097 | 14265 6992 136 | 2.612 % | 25.78/25.80 c | 142333 | 634 1677 17097 | 15692 8228 142 | 2.612 % | 28.38/28.48 c | 155307 | 634 1677 17097 | 17261 13096 140 | 2.612 % | 32.48/32.52 c | 174769 | 634 1677 17097 | 18987 14776 138 | 2.612 % | 39.08/39.16 c | 203961 | 634 1677 17097 | 20886 14695 135 | 2.612 % | 49.57/49.68 c | 247751 | 634 1677 17097 | 22974 15610 149 | 2.612 % | 66.27/66.33 c | 313435 | 634 1677 17097 | 25272 18705 134 | 2.612 % | 94.36/94.50 c | 411961 | 634 1677 17097 | 27799 16895 136 | 2.612 % | 132.76/132.84 c | 559751 | 634 1677 17097 | 30579 26343 133 | 2.613 % | 182.55/182.64 c There are 17 assigned variables. 17 in cost function. 183.75/183.85 c core #1 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 12 Core Weight: 32 Total Weight: 627 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #2 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 15 Core Weight: 16 Total Weight: 643 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #3 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 15 Core Weight: 12 Total Weight: 655 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #4 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 22 Core Weight: 34 Total Weight: 689 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #5 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 18 Core Weight: 34 Total Weight: 723 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #6 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 12 Core Weight: 16 Total Weight: 739 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #7 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 30 Core Weight: 26 Total Weight: 765 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #8 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 9 Core Weight: 8 Total Weight: 773 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #9 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 15 Core Weight: 34 Total Weight: 807 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #10 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 21 Core Weight: 32 Total Weight: 839 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #11 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 27 Core Weight: 27 Total Weight: 866 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #12 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 10 Core Weight: 5 Total Weight: 871 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #13 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 23 Core Weight: 16 Total Weight: 887 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #14 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 14 Core Weight: 34 Total Weight: 921 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #15 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 16 Core Weight: 34 Total Weight: 955 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #16 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 12 Core Weight: 8 Total Weight: 963 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #17 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 11 Core Weight: 7 Total Weight: 970 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #18 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 9 Core Weight: 34 Total Weight: 1004 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #19 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 11 Core Weight: 8 Total Weight: 1012 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #20 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 4 Core Weight: 19 Total Weight: 1031 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #21 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 11 Core Weight: 32 Total Weight: 1063 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #22 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 10 Core Weight: 19 Total Weight: 1082 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #23 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 15 Core Weight: 9 Total Weight: 1091 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #24 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 42 Total Weight: 1133 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #25 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 18 Total Weight: 1151 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #26 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 4 Core Weight: 42 Total Weight: 1193 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #27 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 7 Core Weight: 8 Total Weight: 1201 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #28 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 7 Core Weight: 1 Total Weight: 1202 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #29 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 8 Core Weight: 18 Total Weight: 1220 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #30 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 12 Core Weight: 9 Total Weight: 1229 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #31 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 14 Core Weight: 16 Total Weight: 1245 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #32 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 5 Core Weight: 42 Total Weight: 1287 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #33 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 4 Core Weight: 42 Total Weight: 1329 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #34 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 42 Total Weight: 1371 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #35 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 4 Core Weight: 25 Total Weight: 1396 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #36 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 9 Core Weight: 10 Total Weight: 1406 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #37 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 9 Core Weight: 16 Total Weight: 1422 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #38 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 42 Total Weight: 1464 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #39 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 4 Core Weight: 17 Total Weight: 1481 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #40 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 33 Total Weight: 1514 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #41 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 6 Core Weight: 34 Total Weight: 1548 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #42 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 6 Core Weight: 26 Total Weight: 1574 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #43 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 5 Core Weight: 34 Total Weight: 1608 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #44 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 4 Core Weight: 42 Total Weight: 1650 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #45 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 42 Total Weight: 1692 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #46 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 4 Core Weight: 23 Total Weight: 1715 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #47 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 5 Core Weight: 42 Total Weight: 1757 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #48 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 6 Core Weight: 42 Total Weight: 1799 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #49 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 6 Core Weight: 8 Total Weight: 1807 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #50 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 6 Core Weight: 1 Total Weight: 1808 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #51 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 31 Total Weight: 1839 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #52 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 4 Core Weight: 17 Total Weight: 1856 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #53 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 5 Core Weight: 24 Total Weight: 1880 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #54 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 26 Total Weight: 1906 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #55 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 5 Core Weight: 25 Total Weight: 1931 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #56 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 25 Total Weight: 1956 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #57 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 42 Total Weight: 1998 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c core #58 183.75/183.85 c 183.75/183.85 c 183.75/183.85 c Core size: 3 Core Weight: 34 Total Weight: 2032 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #59 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 17 Total Weight: 2049 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #60 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 42 Total Weight: 2091 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #61 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 6 Core Weight: 8 Total Weight: 2099 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #62 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 1 Total Weight: 2100 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #63 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 34 Total Weight: 2134 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #64 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 42 Total Weight: 2176 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #65 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 6 Core Weight: 8 Total Weight: 2184 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #66 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 1 Total Weight: 2185 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #67 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 6 Core Weight: 8 Total Weight: 2193 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #68 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 9 Core Weight: 18 Total Weight: 2211 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #69 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 9 Core Weight: 17 Total Weight: 2228 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #70 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 7 Core Weight: 16 Total Weight: 2244 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #71 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 10 Core Weight: 28 Total Weight: 2272 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #72 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 42 Total Weight: 2314 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #73 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 42 Total Weight: 2356 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #74 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 16 Total Weight: 2372 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #75 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 42 Total Weight: 2414 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #76 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 10 Total Weight: 2424 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #77 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 10 Core Weight: 23 Total Weight: 2447 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #78 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 11 Core Weight: 16 Total Weight: 2463 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #79 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 16 Total Weight: 2479 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #80 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 34 Total Weight: 2513 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #81 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 8 Total Weight: 2521 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #82 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 34 Total Weight: 2555 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #83 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 24 Total Weight: 2579 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #84 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 27 Total Weight: 2606 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #85 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 3 Total Weight: 2609 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #86 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 7 Core Weight: 23 Total Weight: 2632 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #87 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 10 Core Weight: 32 Total Weight: 2664 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #88 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 10 Core Weight: 2 Total Weight: 2666 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #89 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 13 Total Weight: 2679 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #90 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 10 Core Weight: 32 Total Weight: 2711 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #91 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 19 Total Weight: 2730 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #92 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 8 Core Weight: 9 Total Weight: 2739 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #93 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 8 Total Weight: 2747 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #94 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 42 Total Weight: 2789 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #95 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 10 Total Weight: 2799 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #96 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 10 Core Weight: 26 Total Weight: 2825 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #97 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 8 Core Weight: 6 Total Weight: 2831 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #98 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 19 Total Weight: 2850 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #99 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 8 Total Weight: 2858 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #100 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 34 Total Weight: 2892 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #101 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 12 Core Weight: 26 Total Weight: 2918 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #102 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 6 Core Weight: 16 Total Weight: 2934 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #103 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 25 Total Weight: 2959 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #104 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 8 Total Weight: 2967 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #105 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 7 Core Weight: 18 Total Weight: 2985 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #106 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 23 Total Weight: 3008 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #107 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 28 Total Weight: 3036 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #108 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 29 Total Weight: 3065 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #109 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 19 Total Weight: 3084 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #110 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 42 Total Weight: 3126 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #111 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 3 Core Weight: 3 Total Weight: 3129 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #112 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 15 Core Weight: 7 Total Weight: 3136 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #113 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 34 Total Weight: 3170 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #114 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 28 Total Weight: 3198 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #115 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 5 Core Weight: 8 Total Weight: 3206 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c core #116 184.05/184.17 c 184.05/184.17 c 184.05/184.17 c Core size: 4 Core Weight: 1 Total Weight: 3207 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #117 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 18 Total Weight: 3225 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #118 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 4 Core Weight: 15 Total Weight: 3240 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #119 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 4 Core Weight: 34 Total Weight: 3274 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #120 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 32 Total Weight: 3306 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #121 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 8 Core Weight: 9 Total Weight: 3315 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #122 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 8 Core Weight: 3 Total Weight: 3318 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #123 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 8 Core Weight: 3 Total Weight: 3321 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #124 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 10 Core Weight: 16 Total Weight: 3337 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #125 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 7 Core Weight: 9 Total Weight: 3346 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #126 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 10 Core Weight: 16 Total Weight: 3362 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #127 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 10 Core Weight: 10 Total Weight: 3372 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #128 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 12 Core Weight: 3 Total Weight: 3375 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #129 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 12 Core Weight: 4 Total Weight: 3379 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #130 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 5 Core Weight: 18 Total Weight: 3397 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #131 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 8 Core Weight: 2 Total Weight: 3399 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #132 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 8 Core Weight: 2 Total Weight: 3401 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #133 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 7 Core Weight: 2 Total Weight: 3403 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #134 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 11 Core Weight: 6 Total Weight: 3409 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #135 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 13 Core Weight: 1 Total Weight: 3410 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #136 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 17 Core Weight: 6 Total Weight: 3416 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #137 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 11 Core Weight: 8 Total Weight: 3424 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #138 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 11 Core Weight: 4 Total Weight: 3428 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #139 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 12 Core Weight: 1 Total Weight: 3429 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #140 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 13 Core Weight: 2 Total Weight: 3431 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #141 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 20 Core Weight: 1 Total Weight: 3432 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #142 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 13 Core Weight: 4 Total Weight: 3436 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #143 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 4 Core Weight: 24 Total Weight: 3460 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #144 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 10 Core Weight: 4 Total Weight: 3464 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #145 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 8 Core Weight: 9 Total Weight: 3473 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #146 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 10 Core Weight: 5 Total Weight: 3478 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #147 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 9 Core Weight: 4 Total Weight: 3482 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #148 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 20 Core Weight: 3 Total Weight: 3485 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #149 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 21 Core Weight: 4 Total Weight: 3489 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #150 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 7 Total Weight: 3496 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #151 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 4 Total Weight: 3500 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #152 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 2 Total Weight: 3502 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #153 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 13 Core Weight: 2 Total Weight: 3504 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #154 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 14 Core Weight: 1 Total Weight: 3505 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #155 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 4 Core Weight: 8 Total Weight: 3513 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #156 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 4 Core Weight: 41 Total Weight: 3554 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #157 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 5 Core Weight: 1 Total Weight: 3555 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #158 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 4 Core Weight: 41 Total Weight: 3596 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #159 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 1 Total Weight: 3597 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #160 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 10 Core Weight: 4 Total Weight: 3601 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #161 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 10 Core Weight: 20 Total Weight: 3621 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #162 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 10 Core Weight: 1 Total Weight: 3622 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #163 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 8 Core Weight: 9 Total Weight: 3631 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #164 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 8 Total Weight: 3639 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #165 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 4 Total Weight: 3643 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #166 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 11 Core Weight: 1 Total Weight: 3644 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #167 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 5 Core Weight: 9 Total Weight: 3653 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #168 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 8 Total Weight: 3661 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #169 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 10 Core Weight: 1 Total Weight: 3662 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #170 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 5 Core Weight: 9 Total Weight: 3671 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #171 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 6 Core Weight: 16 Total Weight: 3687 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #172 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 12 Core Weight: 3 Total Weight: 3690 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c core #173 184.45/184.53 c 184.45/184.53 c 184.45/184.53 c Core size: 4 Core Weight: 14 Total Weight: 3704 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #174 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 4 Core Weight: 11 Total Weight: 3715 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #175 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 7 Core Weight: 22 Total Weight: 3737 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #176 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 9 Core Weight: 9 Total Weight: 3746 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #177 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 14 Core Weight: 4 Total Weight: 3750 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #178 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 11 Core Weight: 12 Total Weight: 3762 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #179 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 11 Core Weight: 6 Total Weight: 3768 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #180 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 11 Core Weight: 7 Total Weight: 3775 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #181 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 12 Core Weight: 10 Total Weight: 3785 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #182 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 13 Core Weight: 6 Total Weight: 3791 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #183 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 12 Core Weight: 15 Total Weight: 3806 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #184 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 11 Core Weight: 16 Total Weight: 3822 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #185 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 12 Core Weight: 1 Total Weight: 3823 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #186 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 26 Core Weight: 5 Total Weight: 3828 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #187 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 26 Core Weight: 2 Total Weight: 3830 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #188 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 26 Core Weight: 4 Total Weight: 3834 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #189 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 20 Core Weight: 1 Total Weight: 3835 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #190 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 20 Core Weight: 6 Total Weight: 3841 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #191 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 15 Core Weight: 7 Total Weight: 3848 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #192 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 13 Core Weight: 6 Total Weight: 3854 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #193 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 13 Core Weight: 1 Total Weight: 3855 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #194 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 7 Core Weight: 1 Total Weight: 3856 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #195 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 10 Core Weight: 8 Total Weight: 3864 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #196 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 16 Core Weight: 1 Total Weight: 3865 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #197 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 12 Core Weight: 16 Total Weight: 3881 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #198 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 13 Core Weight: 8 Total Weight: 3889 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #199 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 23 Core Weight: 1 Total Weight: 3890 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #200 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 23 Core Weight: 1 Total Weight: 3891 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #201 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 19 Core Weight: 4 Total Weight: 3895 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #202 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 11 Core Weight: 14 Total Weight: 3909 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #203 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 13 Core Weight: 2 Total Weight: 3911 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #204 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 13 Core Weight: 1 Total Weight: 3912 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #205 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 12 Core Weight: 4 Total Weight: 3916 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #206 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 13 Core Weight: 12 Total Weight: 3928 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #207 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 17 Core Weight: 1 Total Weight: 3929 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #208 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 13 Core Weight: 5 Total Weight: 3934 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #209 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 10 Core Weight: 5 Total Weight: 3939 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #210 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 11 Core Weight: 1 Total Weight: 3940 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #211 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 16 Core Weight: 11 Total Weight: 3951 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #212 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 7 Core Weight: 1 Total Weight: 3952 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #213 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 8 Core Weight: 4 Total Weight: 3956 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #214 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 5 Core Weight: 17 Total Weight: 3973 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #215 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 5 Core Weight: 7 Total Weight: 3980 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #216 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 5 Core Weight: 6 Total Weight: 3986 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #217 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 10 Core Weight: 5 Total Weight: 3991 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #218 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 10 Core Weight: 9 Total Weight: 4000 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #219 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 15 Core Weight: 2 Total Weight: 4002 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #220 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 24 Core Weight: 3 Total Weight: 4005 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #221 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 34 Core Weight: 5 Total Weight: 4010 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #222 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 35 Core Weight: 1 Total Weight: 4011 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #223 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 40 Core Weight: 1 Total Weight: 4012 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #224 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 43 Core Weight: 6 Total Weight: 4018 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #225 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 46 Core Weight: 1 Total Weight: 4019 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #226 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 46 Core Weight: 1 Total Weight: 4020 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #227 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 17 Core Weight: 1 Total Weight: 4021 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #228 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 32 Core Weight: 2 Total Weight: 4023 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #229 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 32 Core Weight: 3 Total Weight: 4026 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c core #230 184.85/184.95 c 184.85/184.95 c 184.85/184.95 c Core size: 45 Core Weight: 1 Total Weight: 4027 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #231 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 39 Core Weight: 2 Total Weight: 4029 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #232 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 30 Core Weight: 4 Total Weight: 4033 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #233 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 33 Core Weight: 2 Total Weight: 4035 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #234 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 49 Core Weight: 6 Total Weight: 4041 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #235 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 45 Core Weight: 1 Total Weight: 4042 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #236 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 31 Core Weight: 1 Total Weight: 4043 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #237 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 17 Core Weight: 6 Total Weight: 4049 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #238 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 24 Core Weight: 1 Total Weight: 4050 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #239 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 25 Core Weight: 1 Total Weight: 4051 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #240 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 28 Core Weight: 2 Total Weight: 4053 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #241 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 44 Core Weight: 2 Total Weight: 4055 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #242 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 44 Core Weight: 2 Total Weight: 4057 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #243 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 45 Core Weight: 1 Total Weight: 4058 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #244 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 45 Core Weight: 1 Total Weight: 4059 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #245 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 45 Core Weight: 1 Total Weight: 4060 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #246 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 26 Core Weight: 1 Total Weight: 4061 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #247 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 28 Core Weight: 1 Total Weight: 4062 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #248 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 17 Core Weight: 8 Total Weight: 4070 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #249 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 18 Core Weight: 2 Total Weight: 4072 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #250 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 49 Core Weight: 1 Total Weight: 4073 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #251 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 24 Core Weight: 1 Total Weight: 4074 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #252 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 24 Core Weight: 1 Total Weight: 4075 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #253 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 24 Core Weight: 10 Total Weight: 4085 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #254 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 26 Core Weight: 1 Total Weight: 4086 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #255 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 26 Core Weight: 3 Total Weight: 4089 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #256 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 31 Core Weight: 3 Total Weight: 4092 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #257 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 28 Core Weight: 3 Total Weight: 4095 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #258 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 28 Core Weight: 1 Total Weight: 4096 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #259 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 28 Core Weight: 1 Total Weight: 4097 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #260 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 34 Core Weight: 5 Total Weight: 4102 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #261 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 34 Core Weight: 2 Total Weight: 4104 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #262 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 37 Core Weight: 1 Total Weight: 4105 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #263 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 21 Core Weight: 1 Total Weight: 4106 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #264 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 21 Core Weight: 1 Total Weight: 4107 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #265 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 32 Core Weight: 4 Total Weight: 4111 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #266 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 39 Core Weight: 2 Total Weight: 4113 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #267 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 56 Core Weight: 3 Total Weight: 4116 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #268 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 56 Core Weight: 2 Total Weight: 4118 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #269 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 56 Core Weight: 2 Total Weight: 4120 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c core #270 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 49 Core Weight: 1 Total Weight: 4121 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c ============================[ Search Statistics ]============================== 185.64/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.80 c =============================================================================== 185.64/185.80 c | 0 | 2669 4733 19196 | 5000 0 nan | 0.000 % | 185.64/185.80 c =============================================================================== 185.75/185.82 c core #271 185.75/185.82 c 185.75/185.82 c 185.75/185.82 c Core size: 30 Core Weight: 1 Total Weight: 4122 185.75/185.82 c 185.75/185.82 c 185.75/185.82 c ============================[ Search Statistics ]============================== 185.75/185.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.82 c =============================================================================== 185.75/185.82 c | 0 | 2709 4752 19324 | 5000 0 nan | 0.000 % | 185.75/185.82 c =============================================================================== 185.75/185.85 c core #272 185.75/185.85 c 185.75/185.85 c 185.75/185.85 c Core size: 48 Core Weight: 1 Total Weight: 4123 185.75/185.85 c 185.75/185.85 c 185.75/185.85 c ============================[ Search Statistics ]============================== 185.75/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.85 c =============================================================================== 185.75/185.85 c | 0 | 2743 4784 19385 | 5000 0 nan | 0.000 % | 185.75/185.85 c =============================================================================== 185.75/185.87 c core #273 185.75/185.87 c 185.75/185.87 c 185.75/185.87 c Core size: 48 Core Weight: 1 Total Weight: 4124 185.75/185.87 c 185.75/185.87 c 185.75/185.87 c ============================[ Search Statistics ]============================== 185.75/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.87 c =============================================================================== 185.75/185.87 c | 0 | 2779 4817 19476 | 5000 0 nan | 0.000 % | 185.75/185.88 c =============================================================================== 185.75/185.90 c core #274 185.75/185.90 c 185.75/185.90 c 185.75/185.90 c Core size: 40 Core Weight: 1 Total Weight: 4125 185.75/185.90 c 185.75/185.90 c 185.75/185.90 c ============================[ Search Statistics ]============================== 185.75/185.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.90 c =============================================================================== 185.75/185.90 c | 0 | 2811 4845 19534 | 5000 0 nan | 0.000 % | 185.85/185.91 c =============================================================================== 185.85/185.93 c core #275 185.85/185.93 c 185.85/185.93 c 185.85/185.93 c Core size: 55 Core Weight: 1 Total Weight: 4126 185.85/185.93 c 185.85/185.93 c 185.85/185.93 c ============================[ Search Statistics ]============================== 185.85/185.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.93 c =============================================================================== 185.85/185.93 c | 0 | 2877 4876 19755 | 5000 0 nan | 0.000 % | 185.85/185.94 c =============================================================================== 185.85/185.96 c core #276 185.85/185.96 c 185.85/185.96 c 185.85/185.96 c Core size: 35 Core Weight: 1 Total Weight: 4127 185.85/185.96 c 185.85/185.96 c 185.85/185.96 c ============================[ Search Statistics ]============================== 185.85/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.96 c =============================================================================== 185.85/185.96 c | 0 | 2900 4899 19804 | 5000 0 nan | 0.000 % | 185.85/185.96 c =============================================================================== 185.85/185.99 c core #277 185.85/185.99 c 185.85/185.99 c 185.85/185.99 c Core size: 40 Core Weight: 1 Total Weight: 4128 185.85/185.99 c 185.85/185.99 c 185.85/185.99 c ============================[ Search Statistics ]============================== 185.85/185.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.99 c =============================================================================== 185.85/185.99 c | 0 | 2931 4928 19868 | 5000 0 nan | 0.000 % | 185.85/185.99 c =============================================================================== 185.94/186.02 c core #278 185.94/186.02 c 185.94/186.02 c 185.94/186.02 c Core size: 16 Core Weight: 6 Total Weight: 4134 185.94/186.02 c 185.94/186.02 c 185.94/186.02 c ============================[ Search Statistics ]============================== 185.94/186.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.02 c =============================================================================== 185.94/186.02 c | 0 | 2942 4938 19904 | 5000 0 nan | 0.000 % | 185.94/186.02 c =============================================================================== 185.94/186.04 c core #279 185.94/186.04 c 185.94/186.04 c 185.94/186.04 c Core size: 40 Core Weight: 2 Total Weight: 4136 185.94/186.04 c 185.94/186.04 c 185.94/186.04 c ============================[ Search Statistics ]============================== 185.94/186.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.04 c =============================================================================== 185.94/186.04 c | 0 | 2973 4968 19970 | 5000 0 nan | 0.000 % | 185.94/186.05 c =============================================================================== 185.94/186.07 c core #280 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c Core size: 40 Core Weight: 1 Total Weight: 4137 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c ============================[ Search Statistics ]============================== 185.94/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.07 c =============================================================================== 185.94/186.07 c | 0 | 3024 4997 20213 | 5000 0 nan | 0.000 % | 185.94/186.08 c =============================================================================== 186.04/186.10 c core #281 186.04/186.10 c 186.04/186.10 c 186.04/186.10 c Core size: 25 Core Weight: 3 Total Weight: 4140 186.04/186.10 c 186.04/186.10 c 186.04/186.10 c ============================[ Search Statistics ]============================== 186.04/186.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.10 c =============================================================================== 186.04/186.10 c | 0 | 3043 5015 20277 | 5000 0 nan | 0.000 % | 186.04/186.11 c =============================================================================== 186.04/186.13 c core #282 186.04/186.13 c 186.04/186.13 c 186.04/186.13 c Core size: 30 Core Weight: 3 Total Weight: 4143 186.04/186.13 c 186.04/186.13 c 186.04/186.13 c ============================[ Search Statistics ]============================== 186.04/186.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.13 c =============================================================================== 186.04/186.13 c | 0 | 3067 5038 20350 | 5000 0 nan | 0.000 % | 186.04/186.14 c =============================================================================== 186.04/186.16 c core #283 186.04/186.16 c 186.04/186.16 c 186.04/186.16 c Core size: 37 Core Weight: 1 Total Weight: 4144 186.04/186.16 c 186.04/186.16 c 186.04/186.16 c ============================[ Search Statistics ]============================== 186.04/186.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.16 c =============================================================================== 186.04/186.16 c | 0 | 3097 5066 20419 | 5000 0 nan | 0.000 % | 186.04/186.16 c =============================================================================== 186.04/186.19 c core #284 186.04/186.19 c 186.04/186.19 c 186.04/186.19 c Core size: 27 Core Weight: 1 Total Weight: 4145 186.04/186.19 c 186.04/186.19 c 186.04/186.19 c ============================[ Search Statistics ]============================== 186.04/186.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.19 c =============================================================================== 186.04/186.19 c | 0 | 3118 5086 20469 | 5000 0 nan | 0.000 % | 186.04/186.20 c =============================================================================== 186.14/186.22 c core #285 186.14/186.22 c 186.14/186.22 c 186.14/186.22 c Core size: 67 Core Weight: 1 Total Weight: 4146 186.14/186.22 c 186.14/186.22 c 186.14/186.22 c ============================[ Search Statistics ]============================== 186.14/186.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.22 c =============================================================================== 186.14/186.22 c | 0 | 3170 5137 20574 | 5000 0 nan | 0.000 % | 186.14/186.23 c =============================================================================== 186.14/186.25 c core #286 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c Core size: 22 Core Weight: 1 Total Weight: 4147 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c ============================[ Search Statistics ]============================== 186.14/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.25 c =============================================================================== 186.14/186.25 c | 0 | 3189 5155 20636 | 5000 0 nan | 0.000 % | 186.14/186.26 c =============================================================================== 186.14/186.28 c core #287 186.14/186.28 c 186.14/186.28 c 186.14/186.28 c Core size: 26 Core Weight: 1 Total Weight: 4148 186.14/186.28 c 186.14/186.28 c 186.14/186.28 c ============================[ Search Statistics ]============================== 186.14/186.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.28 c =============================================================================== 186.14/186.28 c | 0 | 3207 5172 20674 | 5000 0 nan | 0.000 % | 186.14/186.29 c =============================================================================== 186.24/186.31 c core #288 186.24/186.31 c 186.24/186.31 c 186.24/186.31 c Core size: 30 Core Weight: 1 Total Weight: 4149 186.24/186.31 c 186.24/186.31 c 186.24/186.31 c ============================[ Search Statistics ]============================== 186.24/186.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.31 c =============================================================================== 186.24/186.31 c | 0 | 3225 5187 20718 | 5000 0 nan | 0.000 % | 186.24/186.32 c =============================================================================== 186.24/186.34 c core #289 186.24/186.34 c 186.24/186.34 c 186.24/186.34 c Core size: 36 Core Weight: 3 Total Weight: 4152 186.24/186.34 c 186.24/186.34 c 186.24/186.34 c ============================[ Search Statistics ]============================== 186.24/186.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.34 c =============================================================================== 186.24/186.34 c | 0 | 3245 5204 20828 | 5000 0 nan | 0.000 % | 186.24/186.35 c =============================================================================== 186.24/186.37 c core #290 186.24/186.37 c 186.24/186.37 c 186.24/186.37 c Core size: 44 Core Weight: 2 Total Weight: 4154 186.24/186.37 c 186.24/186.37 c 186.24/186.37 c ============================[ Search Statistics ]============================== 186.24/186.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.37 c =============================================================================== 186.24/186.37 c | 0 | 3272 5230 20901 | 5000 0 nan | 0.000 % | 186.24/186.38 c =============================================================================== 186.34/186.40 c core #291 186.34/186.40 c 186.34/186.40 c 186.34/186.40 c Core size: 29 Core Weight: 1 Total Weight: 4155 186.34/186.40 c 186.34/186.40 c 186.34/186.40 c ============================[ Search Statistics ]============================== 186.34/186.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.40 c =============================================================================== 186.34/186.40 c | 0 | 3292 5249 20978 | 5000 0 nan | 0.000 % | 186.34/186.41 c =============================================================================== 186.34/186.43 c core #292 186.34/186.43 c 186.34/186.43 c 186.34/186.43 c Core size: 41 Core Weight: 1 Total Weight: 4156 186.34/186.43 c 186.34/186.43 c 186.34/186.43 c ============================[ Search Statistics ]============================== 186.34/186.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.43 c =============================================================================== 186.34/186.43 c | 0 | 3319 5275 21055 | 5000 0 nan | 0.000 % | 186.34/186.44 c =============================================================================== 186.34/186.46 c core #293 186.34/186.46 c 186.34/186.46 c 186.34/186.46 c Core size: 47 Core Weight: 1 Total Weight: 4157 186.34/186.46 c 186.34/186.46 c 186.34/186.46 c ============================[ Search Statistics ]============================== 186.34/186.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.46 c =============================================================================== 186.34/186.46 c | 0 | 3346 5301 21146 | 5000 0 nan | 0.000 % | 186.34/186.47 c =============================================================================== 186.34/186.49 c core #294 186.34/186.49 c 186.34/186.49 c 186.34/186.49 c Core size: 25 Core Weight: 1 Total Weight: 4158 186.34/186.49 c 186.34/186.49 c 186.34/186.49 c ============================[ Search Statistics ]============================== 186.34/186.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.49 c =============================================================================== 186.34/186.49 c | 0 | 3363 5317 21180 | 5000 0 nan | 0.000 % | 186.44/186.50 c =============================================================================== 186.44/186.52 c core #295 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 30 Core Weight: 1 Total Weight: 4159 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c ============================[ Search Statistics ]============================== 186.44/186.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.52 c =============================================================================== 186.44/186.52 c | 0 | 3385 5338 21222 | 5000 0 nan | 0.000 % | 186.44/186.53 c =============================================================================== 186.44/186.55 c core #296 186.44/186.55 c 186.44/186.55 c 186.44/186.55 c Core size: 36 Core Weight: 1 Total Weight: 4160 186.44/186.55 c 186.44/186.55 c 186.44/186.55 c ============================[ Search Statistics ]============================== 186.44/186.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.55 c =============================================================================== 186.44/186.55 c | 0 | 3414 5367 21290 | 5000 0 nan | 0.000 % | 186.44/186.56 c =============================================================================== 186.44/186.58 c core #297 186.44/186.58 c 186.44/186.58 c 186.44/186.58 c Core size: 40 Core Weight: 1 Total Weight: 4161 186.44/186.58 c 186.44/186.58 c 186.44/186.58 c ============================[ Search Statistics ]============================== 186.44/186.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.58 c =============================================================================== 186.44/186.58 c | 0 | 3444 5393 21403 | 5000 0 nan | 0.000 % | 186.44/186.59 c =============================================================================== 186.55/186.61 c core #298 186.55/186.61 c 186.55/186.61 c 186.55/186.61 c Core size: 50 Core Weight: 1 Total Weight: 4162 186.55/186.61 c 186.55/186.61 c 186.55/186.61 c ============================[ Search Statistics ]============================== 186.55/186.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.55/186.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.55/186.61 c =============================================================================== 186.55/186.61 c | 0 | 3477 5419 21477 | 5000 0 nan | 0.000 % | 186.55/186.62 c =============================================================================== 186.55/186.64 c core #299 186.55/186.64 c 186.55/186.64 c 186.55/186.64 c Core size: 30 Core Weight: 1 Total Weight: 4163 186.55/186.64 c 186.55/186.64 c 186.55/186.64 c ============================[ Search Statistics ]============================== 186.55/186.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.55/186.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.55/186.65 c =============================================================================== 186.55/186.65 c | 0 | 3525 5438 21736 | 5000 0 nan | 0.000 % | 186.55/186.65 c =============================================================================== 186.55/186.68 c core #300 186.55/186.68 c 186.55/186.68 c 186.55/186.68 c Core size: 71 Core Weight: 1 Total Weight: 4164 186.55/186.68 c 186.55/186.68 c 186.55/186.68 c ============================[ Search Statistics ]============================== 186.55/186.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.55/186.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.55/186.68 c =============================================================================== 186.55/186.68 c | 0 | 3594 5495 21998 | 5000 0 nan | 0.000 % | 186.55/186.68 c =============================================================================== 186.65/186.71 c core #301 186.65/186.71 c 186.65/186.71 c 186.65/186.71 c Core size: 30 Core Weight: 2 Total Weight: 4166 186.65/186.71 c 186.65/186.71 c 186.65/186.71 c ============================[ Search Statistics ]============================== 186.65/186.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.71 c =============================================================================== 186.65/186.71 c | 0 | 3645 5516 22375 | 5000 0 nan | 0.000 % | 186.65/186.71 c =============================================================================== 186.65/186.74 c core #302 186.65/186.74 c 186.65/186.74 c 186.65/186.74 c Core size: 37 Core Weight: 3 Total Weight: 4169 186.65/186.74 c 186.65/186.74 c 186.65/186.74 c ============================[ Search Statistics ]============================== 186.65/186.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.74 c =============================================================================== 186.65/186.74 c | 0 | 3676 5546 22458 | 5000 0 nan | 0.000 % | 186.65/186.75 c =============================================================================== 186.65/186.77 c core #303 186.65/186.77 c 186.65/186.77 c 186.65/186.77 c Core size: 18 Core Weight: 2 Total Weight: 4171 186.65/186.77 c 186.65/186.77 c 186.65/186.77 c ============================[ Search Statistics ]============================== 186.65/186.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.77 c =============================================================================== 186.65/186.77 c | 0 | 3696 5555 22560 | 5000 0 nan | 0.000 % | 186.65/186.78 c =============================================================================== 186.75/186.81 c core #304 186.75/186.81 c 186.75/186.81 c 186.75/186.81 c Core size: 36 Core Weight: 3 Total Weight: 4174 186.75/186.81 c 186.75/186.81 c 186.75/186.81 c ============================[ Search Statistics ]============================== 186.75/186.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.75/186.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.75/186.81 c =============================================================================== 186.75/186.81 c | 0 | 3717 5573 22692 | 5000 0 nan | 0.000 % | 186.75/186.81 c =============================================================================== 186.75/186.84 c core #305 186.75/186.84 c 186.75/186.84 c 186.75/186.84 c Core size: 32 Core Weight: 1 Total Weight: 4175 186.75/186.84 c 186.75/186.84 c 186.75/186.84 c ============================[ Search Statistics ]============================== 186.75/186.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.75/186.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.75/186.84 c =============================================================================== 186.75/186.84 c | 0 | 3742 5595 22745 | 5000 0 nan | 0.000 % | 186.75/186.84 c =============================================================================== 186.75/186.87 c core #306 186.75/186.87 c 186.75/186.87 c 186.75/186.87 c Core size: 44 Core Weight: 1 Total Weight: 4176 186.75/186.87 c 186.75/186.87 c 186.75/186.87 c ============================[ Search Statistics ]============================== 186.75/186.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.75/186.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.75/186.87 c =============================================================================== 186.75/186.87 c | 0 | 3777 5629 22830 | 5000 0 nan | 0.000 % | 186.75/186.88 c =============================================================================== 186.85/186.90 c core #307 186.85/186.90 c 186.85/186.90 c 186.85/186.90 c Core size: 30 Core Weight: 1 Total Weight: 4177 186.85/186.90 c 186.85/186.90 c 186.85/186.90 c ============================[ Search Statistics ]============================== 186.85/186.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.90 c =============================================================================== 186.85/186.90 c | 0 | 3802 5651 22898 | 5000 0 nan | 0.000 % | 186.85/186.91 c =============================================================================== 186.85/186.94 c core #308 186.85/186.94 c 186.85/186.94 c 186.85/186.94 c Core size: 52 Core Weight: 1 Total Weight: 4178 186.85/186.94 c 186.85/186.94 c 186.85/186.94 c ============================[ Search Statistics ]============================== 186.85/186.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.94 c =============================================================================== 186.85/186.94 c | 0 | 3851 5694 23022 | 5000 0 nan | 0.000 % | 186.85/186.94 c =============================================================================== 186.85/186.97 c core #309 186.85/186.97 c 186.85/186.97 c 186.85/186.97 c Core size: 35 Core Weight: 1 Total Weight: 4179 186.85/186.97 c 186.85/186.97 c 186.85/186.97 c ============================[ Search Statistics ]============================== 186.85/186.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.97 c =============================================================================== 186.85/186.97 c | 0 | 3881 5723 23090 | 5000 0 nan | 0.000 % | 186.85/186.98 c =============================================================================== 186.85/187.00 c core #310 186.85/187.00 c 186.85/187.00 c 186.85/187.00 c Core size: 44 Core Weight: 1 Total Weight: 4180 186.85/187.00 c 186.85/187.00 c 186.85/187.00 c ============================[ Search Statistics ]============================== 186.85/187.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/187.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/187.00 c =============================================================================== 186.85/187.00 c | 0 | 3921 5758 23231 | 5000 0 nan | 0.000 % | 186.95/187.01 c =============================================================================== 186.95/187.04 c core #311 186.95/187.04 c 186.95/187.04 c 186.95/187.04 c Core size: 46 Core Weight: 1 Total Weight: 4181 186.95/187.04 c 186.95/187.04 c 186.95/187.04 c ============================[ Search Statistics ]============================== 186.95/187.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.95/187.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.95/187.04 c =============================================================================== 186.95/187.04 c | 0 | 3967 5790 23437 | 5000 0 nan | 0.000 % | 186.95/187.04 c =============================================================================== 186.95/187.07 c core #312 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c Core size: 56 Core Weight: 1 Total Weight: 4182 186.95/187.07 c 186.95/187.07 c 186.95/187.07 c ============================[ Search Statistics ]============================== 186.95/187.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.95/187.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.95/187.07 c =============================================================================== 186.95/187.07 c | 0 | 4005 5822 23527 | 5000 0 nan | 0.000 % | 186.95/187.08 c =============================================================================== 187.04/187.11 c core #313 187.04/187.11 c 187.04/187.11 c 187.04/187.11 c Core size: 29 Core Weight: 1 Total Weight: 4183 187.04/187.11 c 187.04/187.11 c 187.04/187.11 c ============================[ Search Statistics ]============================== 187.04/187.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.04/187.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.04/187.11 c =============================================================================== 187.04/187.11 c | 0 | 4062 5843 23632 | 5000 0 nan | 0.000 % | 187.04/187.11 c =============================================================================== 187.04/187.14 c core #314 187.04/187.14 c 187.04/187.14 c 187.04/187.14 c Core size: 51 Core Weight: 1 Total Weight: 4184 187.04/187.14 c 187.04/187.14 c 187.04/187.14 c ============================[ Search Statistics ]============================== 187.04/187.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.04/187.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.04/187.14 c =============================================================================== 187.04/187.14 c | 0 | 4104 5874 23716 | 5000 0 nan | 0.000 % | 187.04/187.15 c =============================================================================== 187.14/187.21 c core #315 187.14/187.21 c 187.14/187.21 c 187.14/187.21 c Core size: 67 Core Weight: 1 Total Weight: 4185 187.14/187.21 c 187.14/187.21 c 187.14/187.21 c core #316 187.14/187.21 c 187.14/187.21 c 187.14/187.21 c Core size: 70 Core Weight: 1 Total Weight: 4186 187.14/187.21 c 187.14/187.21 c 187.14/187.21 c ============================[ Search Statistics ]============================== 187.14/187.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.14/187.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.14/187.21 c =============================================================================== 187.14/187.21 c | 0 | 3962 5946 23843 | 5000 0 nan | 0.000 % | 187.14/187.21 c =============================================================================== 187.14/187.24 c core #317 187.14/187.24 c 187.14/187.24 c 187.14/187.24 c Core size: 23 Core Weight: 4 Total Weight: 4190 187.14/187.24 c 187.14/187.24 c 187.14/187.24 c ============================[ Search Statistics ]============================== 187.14/187.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.14/187.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.14/187.24 c =============================================================================== 187.14/187.24 c | 0 | 3981 5964 23891 | 5000 0 nan | 0.000 % | 187.14/187.25 c =============================================================================== 187.14/187.28 c core #318 187.14/187.28 c 187.14/187.28 c 187.14/187.28 c Core size: 32 Core Weight: 1 Total Weight: 4191 187.14/187.28 c 187.14/187.28 c 187.14/187.28 c ============================[ Search Statistics ]============================== 187.14/187.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.14/187.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.14/187.28 c =============================================================================== 187.14/187.28 c | 0 | 4012 5991 24032 | 5000 0 nan | 0.000 % | 187.14/187.28 c =============================================================================== 187.24/187.31 c core #319 187.24/187.31 c 187.24/187.31 c 187.24/187.31 c Core size: 63 Core Weight: 1 Total Weight: 4192 187.24/187.31 c 187.24/187.31 c 187.24/187.31 c ============================[ Search Statistics ]============================== 187.24/187.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.24/187.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.24/187.31 c =============================================================================== 187.24/187.31 c | 0 | 4059 6027 24196 | 5000 0 nan | 0.000 % | 187.24/187.32 c =============================================================================== 187.24/187.35 c core #320 187.24/187.35 c 187.24/187.35 c 187.24/187.35 c Core size: 55 Core Weight: 1 Total Weight: 4193 187.24/187.35 c 187.24/187.35 c 187.24/187.35 c ============================[ Search Statistics ]============================== 187.24/187.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.24/187.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.24/187.35 c =============================================================================== 187.24/187.35 c | 0 | 4124 6065 24291 | 5000 0 nan | 0.000 % | 187.24/187.35 c =============================================================================== 187.24/187.38 c core #321 187.24/187.38 c 187.24/187.38 c 187.24/187.38 c Core size: 61 Core Weight: 3 Total Weight: 4196 187.24/187.38 c 187.24/187.38 c 187.24/187.38 c ============================[ Search Statistics ]============================== 187.24/187.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.24/187.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.24/187.38 c =============================================================================== 187.24/187.38 c | 0 | 4326 6093 24468 | 5000 0 nan | 0.000 % | 187.24/187.39 c =============================================================================== 187.34/187.42 c core #322 187.34/187.42 c 187.34/187.42 c 187.34/187.42 c Core size: 31 Core Weight: 1 Total Weight: 4197 187.34/187.42 c 187.34/187.42 c 187.34/187.42 c ============================[ Search Statistics ]============================== 187.34/187.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.34/187.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.34/187.42 c =============================================================================== 187.34/187.42 c | 0 | 4345 6111 24519 | 5000 0 nan | 0.000 % | 187.34/187.42 c =============================================================================== 187.34/187.45 c core #323 187.34/187.45 c 187.34/187.45 c 187.34/187.45 c Core size: 56 Core Weight: 1 Total Weight: 4198 187.34/187.45 c 187.34/187.45 c 187.34/187.45 c ============================[ Search Statistics ]============================== 187.34/187.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.34/187.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.34/187.45 c =============================================================================== 187.34/187.45 c | 0 | 4384 6148 24605 | 5000 0 nan | 0.000 % | 187.34/187.46 c =============================================================================== 187.34/187.49 c core #324 187.34/187.49 c 187.34/187.49 c 187.34/187.49 c Core size: 111 Core Weight: 1 Total Weight: 4199 187.34/187.49 c 187.34/187.49 c 187.34/187.49 c ============================[ Search Statistics ]============================== 187.34/187.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.34/187.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.34/187.49 c =============================================================================== 187.34/187.49 c | 0 | 4483 6201 24808 | 5000 0 nan | 0.000 % | 187.44/187.50 c =============================================================================== 187.44/187.53 c core #325 187.44/187.53 c 187.44/187.53 c 187.44/187.53 c Core size: 34 Core Weight: 1 Total Weight: 4200 187.44/187.53 c 187.44/187.53 c 187.44/187.53 c ============================[ Search Statistics ]============================== 187.44/187.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.44/187.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.44/187.53 c =============================================================================== 187.44/187.53 c | 0 | 4512 6228 24892 | 5000 0 nan | 0.000 % | 187.44/187.53 c =============================================================================== 187.44/187.56 c core #326 187.44/187.56 c 187.44/187.56 c 187.44/187.56 c Core size: 68 Core Weight: 1 Total Weight: 4201 187.44/187.56 c 187.44/187.56 c 187.44/187.56 c ============================[ Search Statistics ]============================== 187.44/187.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.44/187.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.44/187.56 c =============================================================================== 187.44/187.56 c | 0 | 4558 6269 25098 | 5000 0 nan | 0.000 % | 187.44/187.57 c =============================================================================== 187.54/187.60 c core #327 187.54/187.60 c 187.54/187.60 c 187.54/187.60 c Core size: 42 Core Weight: 1 Total Weight: 4202 187.54/187.60 c 187.54/187.60 c 187.54/187.60 c ============================[ Search Statistics ]============================== 187.54/187.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.60 c =============================================================================== 187.54/187.60 c | 0 | 4590 6300 25213 | 5000 0 nan | 0.000 % | 187.54/187.61 c =============================================================================== 187.54/187.64 c core #328 187.54/187.64 c 187.54/187.64 c 187.54/187.64 c Core size: 41 Core Weight: 1 Total Weight: 4203 187.54/187.64 c 187.54/187.64 c 187.54/187.64 c ============================[ Search Statistics ]============================== 187.54/187.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.64 c =============================================================================== 187.54/187.64 c | 0 | 4623 6321 25362 | 5000 0 nan | 0.000 % | 187.54/187.64 c =============================================================================== 187.54/187.67 c core #329 187.54/187.67 c 187.54/187.67 c 187.54/187.67 c Core size: 32 Core Weight: 1 Total Weight: 4204 187.54/187.67 c 187.54/187.67 c 187.54/187.67 c ============================[ Search Statistics ]============================== 187.54/187.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.67 c =============================================================================== 187.54/187.67 c | 0 | 4649 6345 25441 | 5000 0 nan | 0.000 % | 187.54/187.68 c =============================================================================== 187.64/187.71 c core #330 187.64/187.71 c 187.64/187.71 c 187.64/187.71 c Core size: 16 Core Weight: 2 Total Weight: 4206 187.64/187.71 c 187.64/187.71 c 187.64/187.71 c ============================[ Search Statistics ]============================== 187.64/187.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.64/187.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.64/187.71 c =============================================================================== 187.64/187.71 c | 0 | 4666 6356 25616 | 5000 0 nan | 0.000 % | 187.64/187.72 c =============================================================================== 187.64/187.75 c core #331 187.64/187.75 c 187.64/187.75 c 187.64/187.75 c Core size: 44 Core Weight: 1 Total Weight: 4207 187.64/187.75 c 187.64/187.75 c 187.64/187.75 c ============================[ Search Statistics ]============================== 187.64/187.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.64/187.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.64/187.75 c =============================================================================== 187.64/187.75 c | 0 | 4698 6385 25765 | 5000 0 nan | 0.000 % | 187.64/187.76 c =============================================================================== 187.64/187.79 c core #332 187.64/187.79 c 187.64/187.79 c 187.64/187.79 c Core size: 43 Core Weight: 1 Total Weight: 4208 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 | 4728 6414 25869 | 5000 0 nan | 0.000 % | 187.64/187.79 c =============================================================================== 187.74/187.82 c core #333 187.74/187.82 c 187.74/187.82 c 187.74/187.82 c Core size: 35 Core Weight: 1 Total Weight: 4209 187.74/187.82 c 187.74/187.82 c 187.74/187.82 c ============================[ Search Statistics ]============================== 187.74/187.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.74/187.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.74/187.82 c =============================================================================== 187.74/187.82 c | 0 | 4755 6439 25959 | 5000 0 nan | 0.000 % | 187.74/187.84 c =============================================================================== 187.74/187.87 c core #334 187.74/187.87 c 187.74/187.87 c 187.74/187.87 c Core size: 106 Core Weight: 1 Total Weight: 4210 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.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.74/187.87 c =============================================================================== 187.74/187.87 c | 0 | 4854 6500 26459 | 5000 0 nan | 0.000 % | 187.74/187.88 c =============================================================================== 187.84/187.91 c core #335 187.84/187.91 c 187.84/187.91 c 187.84/187.91 c Core size: 27 Core Weight: 1 Total Weight: 4211 187.84/187.91 c 187.84/187.91 c 187.84/187.91 c ============================[ Search Statistics ]============================== 187.84/187.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.84/187.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.84/187.91 c =============================================================================== 187.84/187.91 c | 0 | 4879 6525 26552 | 5000 0 nan | 0.000 % | 187.84/187.91 c =============================================================================== 187.84/187.95 c core #336 187.84/187.95 c 187.84/187.95 c 187.84/187.95 c Core size: 55 Core Weight: 1 Total Weight: 4212 187.84/187.95 c 187.84/187.95 c 187.84/187.95 c ============================[ Search Statistics ]============================== 187.84/187.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.84/187.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.84/187.95 c =============================================================================== 187.84/187.95 c | 0 | 4930 6566 26780 | 5000 0 nan | 0.000 % | 187.84/187.95 c =============================================================================== 187.84/187.98 c core #337 187.84/187.98 c 187.84/187.98 c 187.84/187.98 c Core size: 37 Core Weight: 1 Total Weight: 4213 187.84/187.98 c 187.84/187.98 c 187.84/187.98 c ============================[ Search Statistics ]============================== 187.84/187.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.84/187.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.84/187.98 c =============================================================================== 187.84/187.98 c | 0 | 4962 6597 26874 | 5000 0 nan | 0.000 % | 187.84/187.99 c =============================================================================== 187.95/188.02 c core #338 187.95/188.02 c 187.95/188.02 c 187.95/188.02 c Core size: 30 Core Weight: 1 Total Weight: 4214 187.95/188.02 c 187.95/188.02 c 187.95/188.02 c ============================[ Search Statistics ]============================== 187.95/188.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.95/188.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.95/188.02 c =============================================================================== 187.95/188.02 c | 0 | 4987 6622 26947 | 5000 0 nan | 0.000 % | 187.95/188.03 c =============================================================================== 187.95/188.06 c core #339 187.95/188.06 c 187.95/188.06 c 187.95/188.06 c Core size: 37 Core Weight: 3 Total Weight: 4217 187.95/188.06 c 187.95/188.06 c 187.95/188.06 c ============================[ Search Statistics ]============================== 187.95/188.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.95/188.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.95/188.06 c =============================================================================== 187.95/188.06 c | 0 | 5007 6641 26993 | 5000 0 nan | 0.000 % | 187.95/188.06 c =============================================================================== 187.95/188.10 c core #340 187.95/188.10 c 187.95/188.10 c 187.95/188.10 c Core size: 39 Core Weight: 1 Total Weight: 4218 187.95/188.10 c 187.95/188.10 c 187.95/188.10 c ============================[ Search Statistics ]============================== 187.95/188.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.95/188.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.95/188.10 c =============================================================================== 187.95/188.10 c | 0 | 5031 6660 27057 | 5000 0 nan | 0.000 % | 188.05/188.10 c =============================================================================== 188.05/188.14 c core #341 188.05/188.14 c 188.05/188.14 c 188.05/188.14 c Core size: 27 Core Weight: 1 Total Weight: 4219 188.05/188.14 c 188.05/188.14 c 188.05/188.14 c ============================[ Search Statistics ]============================== 188.05/188.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.05/188.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.05/188.14 c =============================================================================== 188.05/188.14 c | 0 | 5050 6678 27121 | 5000 0 nan | 0.000 % | 188.05/188.14 c =============================================================================== 188.05/188.18 c core #342 188.05/188.18 c 188.05/188.18 c 188.05/188.18 c Core size: 58 Core Weight: 1 Total Weight: 4220 188.05/188.18 c 188.05/188.18 c 188.05/188.18 c ============================[ Search Statistics ]============================== 188.05/188.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.05/188.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.05/188.18 c =============================================================================== 188.05/188.18 c | 0 | 5094 6710 27211 | 5000 0 nan | 0.000 % | 188.05/188.18 c =============================================================================== 188.14/188.21 c core #343 188.14/188.21 c 188.14/188.21 c 188.14/188.21 c Core size: 63 Core Weight: 1 Total Weight: 4221 188.14/188.21 c 188.14/188.21 c 188.14/188.21 c ============================[ Search Statistics ]============================== 188.14/188.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.14/188.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.14/188.21 c =============================================================================== 188.14/188.21 c | 0 | 5148 6752 27356 | 5000 0 nan | 0.000 % | 188.14/188.22 c =============================================================================== 188.14/188.25 c core #344 188.14/188.25 c 188.14/188.25 c 188.14/188.25 c Core size: 49 Core Weight: 1 Total Weight: 4222 188.14/188.25 c 188.14/188.25 c 188.14/188.25 c ============================[ Search Statistics ]============================== 188.14/188.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.14/188.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.14/188.25 c =============================================================================== 188.14/188.25 c | 0 | 5189 6789 27477 | 5000 0 nan | 0.000 % | 188.14/188.26 c =============================================================================== 188.14/188.29 c core #345 188.14/188.29 c 188.14/188.29 c 188.14/188.29 c Core size: 50 Core Weight: 1 Total Weight: 4223 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 | 5230 6825 27593 | 5000 0 nan | 0.000 % | 188.24/188.30 c =============================================================================== 188.24/188.33 c core #346 188.24/188.33 c 188.24/188.33 c 188.24/188.33 c Core size: 27 Core Weight: 2 Total Weight: 4225 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 | 5249 6843 27647 | 5000 0 nan | 0.000 % | 188.24/188.34 c =============================================================================== 188.24/188.37 c core #347 188.24/188.37 c 188.24/188.37 c 188.24/188.37 c Core size: 54 Core Weight: 1 Total Weight: 4226 188.24/188.37 c 188.24/188.37 c 188.24/188.37 c ============================[ Search Statistics ]============================== 188.24/188.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.37 c =============================================================================== 188.24/188.37 c | 0 | 5292 6881 27781 | 5000 0 nan | 0.000 % | 188.24/188.38 c =============================================================================== 188.34/188.41 c core #348 188.34/188.41 c 188.34/188.41 c 188.34/188.41 c Core size: 47 Core Weight: 1 Total Weight: 4227 188.34/188.41 c 188.34/188.41 c 188.34/188.41 c ============================[ Search Statistics ]============================== 188.34/188.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.41 c =============================================================================== 188.34/188.41 c | 0 | 5323 6911 27865 | 5000 0 nan | 0.000 % | 188.34/188.42 c =============================================================================== 188.34/188.45 c core #349 188.34/188.45 c 188.34/188.45 c 188.34/188.45 c Core size: 44 Core Weight: 1 Total Weight: 4228 188.34/188.45 c 188.34/188.45 c 188.34/188.45 c ============================[ Search Statistics ]============================== 188.34/188.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.45 c =============================================================================== 188.34/188.45 c | 0 | 5359 6939 27955 | 5000 0 nan | 0.000 % | 188.34/188.46 c =============================================================================== 188.34/188.49 c core #350 188.34/188.49 c 188.34/188.49 c 188.34/188.49 c Core size: 40 Core Weight: 1 Total Weight: 4229 188.34/188.49 c 188.34/188.49 c 188.34/188.49 c ============================[ Search Statistics ]============================== 188.34/188.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.49 c =============================================================================== 188.34/188.49 c | 0 | 5394 6971 28057 | 5000 0 nan | 0.000 % | 188.44/188.50 c =============================================================================== 188.44/188.53 c core #351 188.44/188.53 c 188.44/188.53 c 188.44/188.53 c Core size: 102 Core Weight: 1 Total Weight: 4230 188.44/188.53 c 188.44/188.53 c 188.44/188.53 c ============================[ Search Statistics ]============================== 188.44/188.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.44/188.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.44/188.53 c =============================================================================== 188.44/188.53 c | 0 | 5471 7030 28221 | 5000 0 nan | 0.000 % | 188.44/188.54 c =============================================================================== 188.44/188.57 c core #352 188.44/188.57 c 188.44/188.57 c 188.44/188.57 c Core size: 35 Core Weight: 1 Total Weight: 4231 188.44/188.57 c 188.44/188.57 c 188.44/188.57 c ============================[ Search Statistics ]============================== 188.44/188.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.44/188.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.44/188.57 c =============================================================================== 188.44/188.57 c | 0 | 5501 7051 28302 | 5000 0 nan | 0.000 % | 188.44/188.58 c =============================================================================== 188.55/188.62 c core #353 188.55/188.62 c 188.55/188.62 c 188.55/188.62 c Core size: 43 Core Weight: 1 Total Weight: 4232 188.55/188.62 c 188.55/188.62 c 188.55/188.62 c ============================[ Search Statistics ]============================== 188.55/188.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.55/188.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.55/188.62 c =============================================================================== 188.55/188.62 c | 0 | 5535 7084 28389 | 5000 0 nan | 0.000 % | 188.55/188.62 c =============================================================================== 188.55/188.66 c core #354 188.55/188.66 c 188.55/188.66 c 188.55/188.66 c Core size: 25 Core Weight: 1 Total Weight: 4233 188.55/188.66 c 188.55/188.66 c 188.55/188.66 c ============================[ Search Statistics ]============================== 188.55/188.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.55/188.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.55/188.66 c =============================================================================== 188.55/188.66 c | 0 | 5554 7102 28446 | 5000 0 nan | 0.000 % | 188.55/188.67 c =============================================================================== 188.64/188.70 c core #355 188.64/188.70 c 188.64/188.70 c 188.64/188.70 c Core size: 37 Core Weight: 1 Total Weight: 4234 188.64/188.70 c 188.64/188.70 c 188.64/188.70 c ============================[ Search Statistics ]============================== 188.64/188.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.64/188.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.64/188.70 c =============================================================================== 188.64/188.70 c | 0 | 5593 7128 28658 | 5000 0 nan | 0.000 % | 188.64/188.71 c =============================================================================== 188.64/188.74 c core #356 188.64/188.74 c 188.64/188.74 c 188.64/188.74 c Core size: 31 Core Weight: 2 Total Weight: 4236 188.64/188.74 c 188.64/188.74 c 188.64/188.74 c ============================[ Search Statistics ]============================== 188.64/188.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.64/188.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.64/188.74 c =============================================================================== 188.64/188.74 c | 0 | 5619 7151 28763 | 5000 0 nan | 0.000 % | 188.64/188.75 c =============================================================================== 188.64/188.78 c core #357 188.64/188.78 c 188.64/188.78 c 188.64/188.78 c Core size: 53 Core Weight: 1 Total Weight: 4237 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 | 5663 7193 28939 | 5000 0 nan | 0.000 % | 188.64/188.79 c =============================================================================== 188.74/188.82 c core #358 188.74/188.82 c 188.74/188.82 c 188.74/188.82 c Core size: 25 Core Weight: 4 Total Weight: 4241 188.74/188.82 c 188.74/188.82 c 188.74/188.82 c ============================[ Search Statistics ]============================== 188.74/188.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.82 c =============================================================================== 188.74/188.82 c | 0 | 5685 7214 29041 | 5000 0 nan | 0.000 % | 188.74/188.83 c =============================================================================== 188.74/188.86 c core #359 188.74/188.86 c 188.74/188.86 c 188.74/188.86 c Core size: 41 Core Weight: 1 Total Weight: 4242 188.74/188.86 c 188.74/188.86 c 188.74/188.86 c ============================[ Search Statistics ]============================== 188.74/188.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.86 c =============================================================================== 188.74/188.86 c | 0 | 5716 7239 29136 | 5000 0 nan | 0.000 % | 188.74/188.87 c =============================================================================== 188.84/188.90 c core #360 188.84/188.90 c 188.84/188.90 c 188.84/188.90 c Core size: 95 Core Weight: 1 Total Weight: 4243 188.84/188.90 c 188.84/188.90 c 188.84/188.90 c ============================[ Search Statistics ]============================== 188.84/188.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.90 c =============================================================================== 188.84/188.90 c | 0 | 5804 7314 29397 | 5000 0 nan | 0.000 % | 188.84/188.91 c =============================================================================== 188.84/188.95 c core #361 188.84/188.95 c 188.84/188.95 c 188.84/188.95 c Core size: 58 Core Weight: 1 Total Weight: 4244 188.84/188.95 c 188.84/188.95 c 188.84/188.95 c ============================[ Search Statistics ]============================== 188.84/188.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.95 c =============================================================================== 188.84/188.95 c | 0 | 5848 7356 29516 | 5000 0 nan | 0.000 % | 188.84/188.96 c =============================================================================== 188.84/188.99 c core #362 188.84/188.99 c 188.84/188.99 c 188.84/188.99 c Core size: 25 Core Weight: 2 Total Weight: 4246 188.84/188.99 c 188.84/188.99 c 188.84/188.99 c ============================[ Search Statistics ]============================== 188.84/188.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.99 c =============================================================================== 188.84/188.99 c | 0 | 5866 7373 29575 | 5000 0 nan | 0.000 % | 188.95/189.00 c =============================================================================== 188.95/189.03 c core #363 188.95/189.03 c 188.95/189.03 c 188.95/189.03 c Core size: 55 Core Weight: 1 Total Weight: 4247 188.95/189.03 c 188.95/189.03 c 188.95/189.03 c ============================[ Search Statistics ]============================== 188.95/189.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.95/189.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.95/189.03 c =============================================================================== 188.95/189.03 c | 0 | 5921 7423 29774 | 5000 0 nan | 0.000 % | 188.95/189.04 c =============================================================================== 188.95/189.08 c core #364 188.95/189.08 c 188.95/189.08 c 188.95/189.08 c Core size: 56 Core Weight: 1 Total Weight: 4248 188.95/189.08 c 188.95/189.08 c 188.95/189.08 c ============================[ Search Statistics ]============================== 188.95/189.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.95/189.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.95/189.08 c =============================================================================== 188.95/189.08 c | 0 | 5976 7475 29997 | 5000 0 nan | 0.000 % | 188.95/189.09 c =============================================================================== 189.05/189.13 c core #365 189.05/189.13 c 189.05/189.13 c 189.05/189.13 c Core size: 116 Core Weight: 1 Total Weight: 4249 189.05/189.13 c 189.05/189.13 c 189.05/189.13 c ============================[ Search Statistics ]============================== 189.05/189.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.05/189.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.05/189.13 c =============================================================================== 189.05/189.13 c | 0 | 6085 7542 30274 | 5000 0 nan | 0.000 % | 189.05/189.13 c =============================================================================== 189.05/189.17 c core #366 189.05/189.17 c 189.05/189.17 c 189.05/189.17 c Core size: 25 Core Weight: 5 Total Weight: 4254 189.05/189.17 c 189.05/189.17 c 189.05/189.17 c ============================[ Search Statistics ]============================== 189.05/189.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.05/189.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.05/189.17 c =============================================================================== 189.05/189.17 c | 0 | 6107 7562 30370 | 5000 0 nan | 0.000 % | 189.05/189.18 c =============================================================================== 189.15/189.21 c core #367 189.15/189.21 c 189.15/189.21 c 189.15/189.21 c Core size: 58 Core Weight: 1 Total Weight: 4255 189.15/189.21 c 189.15/189.21 c 189.15/189.21 c ============================[ Search Statistics ]============================== 189.15/189.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.15/189.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.15/189.21 c =============================================================================== 189.15/189.21 c | 0 | 6153 7601 30505 | 5000 0 nan | 0.000 % | 189.15/189.22 c =============================================================================== 189.15/189.26 c core #368 189.15/189.26 c 189.15/189.26 c 189.15/189.26 c Core size: 34 Core Weight: 1 Total Weight: 4256 189.15/189.26 c 189.15/189.26 c 189.15/189.26 c ============================[ Search Statistics ]============================== 189.15/189.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.15/189.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.15/189.26 c =============================================================================== 189.15/189.26 c | 0 | 6185 7632 30607 | 5000 0 nan | 0.000 % | 189.15/189.27 c =============================================================================== 189.24/189.30 c core #369 189.24/189.30 c 189.24/189.30 c 189.24/189.30 c Core size: 19 Core Weight: 1 Total Weight: 4257 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 | 6202 7648 30713 | 5000 0 nan | 0.000 % | 189.24/189.31 c =============================================================================== 189.24/189.35 c core #370 189.24/189.35 c 189.24/189.35 c 189.24/189.35 c Core size: 73 Core Weight: 1 Total Weight: 4258 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 | 6264 7692 30875 | 5000 0 nan | 0.000 % | 189.24/189.36 c =============================================================================== 189.24/189.39 c core #371 189.24/189.39 c 189.24/189.39 c 189.24/189.39 c Core size: 46 Core Weight: 1 Total Weight: 4259 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 | 6307 7731 31043 | 5000 0 nan | 0.000 % | 189.35/189.40 c =============================================================================== 189.35/189.44 c core #372 189.35/189.44 c 189.35/189.44 c 189.35/189.44 c Core size: 64 Core Weight: 1 Total Weight: 4260 189.35/189.44 c 189.35/189.44 c 189.35/189.44 c ============================[ Search Statistics ]============================== 189.35/189.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.35/189.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.35/189.44 c =============================================================================== 189.35/189.44 c | 0 | 6366 7781 31214 | 5000 0 nan | 0.000 % | 189.35/189.44 c =============================================================================== 189.35/189.48 c core #373 189.35/189.48 c 189.35/189.48 c 189.35/189.48 c Core size: 30 Core Weight: 1 Total Weight: 4261 189.35/189.48 c 189.35/189.48 c 189.35/189.48 c ============================[ Search Statistics ]============================== 189.35/189.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.35/189.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.35/189.48 c =============================================================================== 189.35/189.48 c | 0 | 6387 7801 31308 | 5000 0 nan | 0.000 % | 189.35/189.49 c =============================================================================== 189.44/189.52 c core #374 189.44/189.52 c 189.44/189.52 c 189.44/189.52 c Core size: 23 Core Weight: 3 Total Weight: 4264 189.44/189.52 c 189.44/189.52 c 189.44/189.52 c ============================[ Search Statistics ]============================== 189.44/189.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.44/189.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.44/189.52 c =============================================================================== 189.44/189.52 c | 0 | 6404 7816 31355 | 5000 0 nan | 0.000 % | 189.44/189.53 c =============================================================================== 189.44/189.57 c core #375 189.44/189.57 c 189.44/189.57 c 189.44/189.57 c Core size: 45 Core Weight: 2 Total Weight: 4266 189.44/189.57 c 189.44/189.57 c 189.44/189.57 c ============================[ Search Statistics ]============================== 189.44/189.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.44/189.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.44/189.57 c =============================================================================== 189.44/189.57 c | 0 | 6445 7849 31471 | 5000 0 nan | 0.000 % | 189.44/189.58 c =============================================================================== 189.54/189.62 c core #376 189.54/189.62 c 189.54/189.62 c 189.54/189.62 c Core size: 70 Core Weight: 1 Total Weight: 4267 189.54/189.62 c 189.54/189.62 c 189.54/189.62 c ============================[ Search Statistics ]============================== 189.54/189.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.54/189.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.54/189.62 c =============================================================================== 189.54/189.62 c | 0 | 6514 7901 31775 | 5000 0 nan | 0.000 % | 189.54/189.63 c =============================================================================== 189.54/189.66 c core #377 189.54/189.66 c 189.54/189.66 c 189.54/189.66 c Core size: 26 Core Weight: 7 Total Weight: 4274 189.54/189.66 c 189.54/189.66 c 189.54/189.66 c ============================[ Search Statistics ]============================== 189.54/189.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.54/189.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.54/189.67 c =============================================================================== 189.54/189.67 c | 0 | 6537 7921 31937 | 5000 0 nan | 0.000 % | 189.54/189.67 c =============================================================================== 189.64/189.71 c core #378 189.64/189.71 c 189.64/189.71 c 189.64/189.71 c Core size: 91 Core Weight: 1 Total Weight: 4275 189.64/189.71 c 189.64/189.71 c 189.64/189.71 c ============================[ Search Statistics ]============================== 189.64/189.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.71 c =============================================================================== 189.64/189.71 c | 0 | 6615 7982 32154 | 5000 0 nan | 0.000 % | 189.64/189.72 c =============================================================================== 189.64/189.76 c core #379 189.64/189.76 c 189.64/189.76 c 189.64/189.76 c Core size: 28 Core Weight: 1 Total Weight: 4276 189.64/189.76 c 189.64/189.76 c 189.64/189.76 c ============================[ Search Statistics ]============================== 189.64/189.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.76 c =============================================================================== 189.64/189.76 c | 0 | 6637 8003 32255 | 5000 0 nan | 0.000 % | 189.64/189.77 c =============================================================================== 189.74/189.81 c core #380 189.74/189.81 c 189.74/189.81 c 189.74/189.81 c Core size: 63 Core Weight: 1 Total Weight: 4277 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 | 6703 8047 32593 | 5000 0 nan | 0.000 % | 189.74/189.82 c =============================================================================== 189.74/189.85 c core #381 189.74/189.85 c 189.74/189.85 c 189.74/189.85 c Core size: 70 Core Weight: 1 Total Weight: 4278 189.74/189.85 c 189.74/189.85 c 189.74/189.85 c ============================[ Search Statistics ]============================== 189.74/189.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.74/189.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.74/189.85 c =============================================================================== 189.74/189.85 c | 0 | 6764 8089 32761 | 5000 0 nan | 0.000 % | 189.74/189.86 c =============================================================================== 189.84/189.90 c core #382 189.84/189.90 c 189.84/189.90 c 189.84/189.90 c Core size: 72 Core Weight: 1 Total Weight: 4279 189.84/189.90 c 189.84/189.90 c 189.84/189.90 c ============================[ Search Statistics ]============================== 189.84/189.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.84/189.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.84/189.90 c =============================================================================== 189.84/189.90 c | 0 | 6832 8141 32946 | 5000 0 nan | 0.000 % | 189.84/189.91 c =============================================================================== 189.84/189.95 c core #383 189.84/189.95 c 189.84/189.95 c 189.84/189.95 c Core size: 53 Core Weight: 1 Total Weight: 4280 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 | 6865 8166 33039 | 5000 0 nan | 0.000 % | 189.84/189.96 c =============================================================================== 189.84/189.99 c core #384 189.84/189.99 c 189.84/189.99 c 189.84/189.99 c Core size: 39 Core Weight: 1 Total Weight: 4281 189.84/189.99 c 189.84/189.99 c 189.84/189.99 c ============================[ Search Statistics ]============================== 189.84/189.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.84/189.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.84/189.99 c =============================================================================== 189.84/189.99 c | 0 | 6915 8196 33194 | 5000 0 nan | 0.000 % | 189.94/190.01 c =============================================================================== 189.94/190.04 c core #385 189.94/190.04 c 189.94/190.04 c 189.94/190.04 c Core size: 53 Core Weight: 1 Total Weight: 4282 189.94/190.04 c 189.94/190.04 c 189.94/190.04 c ============================[ Search Statistics ]============================== 189.94/190.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.94/190.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.94/190.04 c =============================================================================== 189.94/190.04 c | 0 | 6964 8223 33352 | 5000 0 nan | 0.000 % | 189.94/190.05 c =============================================================================== 189.94/190.09 c core #386 189.94/190.09 c 189.94/190.09 c 189.94/190.09 c Core size: 42 Core Weight: 1 Total Weight: 4283 189.94/190.09 c 189.94/190.09 c 189.94/190.09 c ============================[ Search Statistics ]============================== 189.94/190.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.94/190.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.94/190.09 c =============================================================================== 189.94/190.09 c | 0 | 7003 8256 33472 | 5000 0 nan | 0.000 % | 190.05/190.10 c =============================================================================== 190.05/190.13 c core #387 190.05/190.13 c 190.05/190.13 c 190.05/190.13 c Core size: 43 Core Weight: 1 Total Weight: 4284 190.05/190.13 c 190.05/190.13 c 190.05/190.13 c ============================[ Search Statistics ]============================== 190.05/190.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.05/190.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.05/190.13 c =============================================================================== 190.05/190.13 c | 0 | 7041 8291 33583 | 5000 0 nan | 0.000 % | 190.05/190.15 c =============================================================================== 190.05/190.18 c core #388 190.05/190.18 c 190.05/190.18 c 190.05/190.18 c Core size: 75 Core Weight: 1 Total Weight: 4285 190.05/190.18 c 190.05/190.18 c 190.05/190.18 c ============================[ Search Statistics ]============================== 190.05/190.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.05/190.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.05/190.18 c =============================================================================== 190.05/190.18 c | 0 | 7102 8323 33762 | 5000 0 nan | 0.000 % | 190.15/190.20 c =============================================================================== 190.15/190.23 c core #389 190.15/190.23 c 190.15/190.23 c 190.15/190.23 c Core size: 133 Core Weight: 1 Total Weight: 4286 190.15/190.23 c 190.15/190.23 c 190.15/190.23 c ============================[ Search Statistics ]============================== 190.15/190.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.15/190.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.15/190.23 c =============================================================================== 190.15/190.23 c | 0 | 7232 8408 34207 | 5000 0 nan | 0.000 % | 190.15/190.24 c =============================================================================== 190.15/190.28 c core #390 190.15/190.28 c 190.15/190.28 c 190.15/190.28 c Core size: 40 Core Weight: 1 Total Weight: 4287 190.15/190.28 c 190.15/190.28 c 190.15/190.28 c ============================[ Search Statistics ]============================== 190.15/190.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.15/190.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.15/190.28 c =============================================================================== 190.15/190.28 c | 0 | 7269 8436 34358 | 5000 0 nan | 0.000 % | 190.15/190.29 c =============================================================================== 190.25/190.33 c core #391 190.25/190.33 c 190.25/190.33 c 190.25/190.33 c Core size: 65 Core Weight: 1 Total Weight: 4288 190.25/190.33 c 190.25/190.33 c 190.25/190.33 c ============================[ Search Statistics ]============================== 190.25/190.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.25/190.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.25/190.33 c =============================================================================== 190.25/190.33 c | 0 | 7322 8481 34513 | 5000 0 nan | 0.000 % | 190.25/190.35 c =============================================================================== 190.25/190.39 c core #392 190.25/190.39 c 190.25/190.39 c 190.25/190.39 c Core size: 41 Core Weight: 1 Total Weight: 4289 190.25/190.39 c 190.25/190.39 c 190.25/190.39 c ============================[ Search Statistics ]============================== 190.25/190.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.25/190.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.25/190.39 c =============================================================================== 190.25/190.39 c | 0 | 7345 8501 34570 | 5000 0 nan | 0.000 % | 190.34/190.40 c =============================================================================== 190.34/190.44 c core #393 190.34/190.44 c 190.34/190.44 c 190.34/190.44 c Core size: 46 Core Weight: 1 Total Weight: 4290 190.34/190.44 c 190.34/190.44 c 190.34/190.44 c ============================[ Search Statistics ]============================== 190.34/190.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.34/190.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.34/190.44 c =============================================================================== 190.34/190.44 c | 0 | 7385 8540 34712 | 5000 0 nan | 0.000 % | 190.34/190.45 c =============================================================================== 190.34/190.49 c core #394 190.34/190.49 c 190.34/190.49 c 190.34/190.49 c Core size: 44 Core Weight: 1 Total Weight: 4291 190.34/190.49 c 190.34/190.49 c 190.34/190.49 c ============================[ Search Statistics ]============================== 190.34/190.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.34/190.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.34/190.49 c =============================================================================== 190.34/190.49 c | 0 | 7418 8568 34808 | 5000 0 nan | 0.000 % | 190.45/190.51 c =============================================================================== 190.45/190.55 c core #395 190.45/190.55 c 190.45/190.55 c 190.45/190.55 c Core size: 127 Core Weight: 1 Total Weight: 4292 190.45/190.55 c 190.45/190.55 c 190.45/190.55 c ============================[ Search Statistics ]============================== 190.45/190.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.45/190.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.45/190.55 c =============================================================================== 190.45/190.55 c | 0 | 7519 8637 35126 | 5000 0 nan | 0.000 % | 190.45/190.56 c =============================================================================== 190.54/190.60 c core #396 190.54/190.60 c 190.54/190.60 c 190.54/190.60 c Core size: 125 Core Weight: 1 Total Weight: 4293 190.54/190.60 c 190.54/190.60 c 190.54/190.60 c ============================[ Search Statistics ]============================== 190.54/190.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.54/190.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.54/190.60 c =============================================================================== 190.54/190.60 c | 0 | 7638 8713 35502 | 5000 0 nan | 0.000 % | 190.54/190.62 c =============================================================================== 190.54/190.66 c core #397 190.54/190.66 c 190.54/190.66 c 190.54/190.66 c Core size: 104 Core Weight: 1 Total Weight: 4294 190.54/190.66 c 190.54/190.66 c 190.54/190.66 c ============================[ Search Statistics ]============================== 190.54/190.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.54/190.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.54/190.66 c =============================================================================== 190.54/190.66 c | 0 | 7737 8787 35843 | 5000 0 nan | 0.000 % | 190.54/190.67 c =============================================================================== 190.64/190.71 c core #398 190.64/190.71 c 190.64/190.71 c 190.64/190.71 c Core size: 137 Core Weight: 1 Total Weight: 4295 190.64/190.71 c 190.64/190.71 c 190.64/190.71 c ============================[ Search Statistics ]============================== 190.64/190.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.64/190.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.64/190.71 c =============================================================================== 190.64/190.71 c | 0 | 7864 8878 36286 | 5000 0 nan | 0.000 % | 190.64/190.72 c =============================================================================== 190.64/190.76 c core #399 190.64/190.76 c 190.64/190.76 c 190.64/190.76 c Core size: 29 Core Weight: 1 Total Weight: 4296 190.64/190.76 c 190.64/190.76 c 190.64/190.76 c ============================[ Search Statistics ]============================== 190.64/190.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.64/190.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.64/190.76 c =============================================================================== 190.64/190.76 c | 0 | 7897 8903 36406 | 5000 0 nan | 0.000 % | 190.64/190.77 c =============================================================================== 190.74/190.81 c core #400 190.74/190.81 c 190.74/190.81 c 190.74/190.81 c Core size: 48 Core Weight: 1 Total Weight: 4297 190.74/190.81 c 190.74/190.81 c 190.74/190.81 c ============================[ Search Statistics ]============================== 190.74/190.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.74/190.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.74/190.81 c =============================================================================== 190.74/190.81 c | 0 | 7936 8939 36524 | 5000 0 nan | 0.000 % | 190.74/190.83 c =============================================================================== 190.74/190.87 c core #401 190.74/190.87 c 190.74/190.87 c 190.74/190.87 c Core size: 88 Core Weight: 1 Total Weight: 4298 190.74/190.87 c 190.74/190.87 c 190.74/190.87 c ============================[ Search Statistics ]============================== 190.74/190.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.74/190.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.74/190.87 c =============================================================================== 190.74/190.87 c | 0 | 8004 8970 36687 | 5000 0 nan | 0.000 % | 190.74/190.88 c =============================================================================== 190.84/190.92 c core #402 190.84/190.92 c 190.84/190.92 c 190.84/190.92 c Core size: 51 Core Weight: 1 Total Weight: 4299 190.84/190.92 c 190.84/190.92 c 190.84/190.92 c ============================[ Search Statistics ]============================== 190.84/190.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.84/190.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.84/190.92 c =============================================================================== 190.84/190.92 c | 0 | 8046 9001 36810 | 5000 0 nan | 0.000 % | 190.84/190.94 c =============================================================================== 190.84/190.98 c core #403 190.84/190.98 c 190.84/190.98 c 190.84/190.98 c Core size: 55 Core Weight: 1 Total Weight: 4300 190.84/190.98 c 190.84/190.98 c 190.84/190.98 c ============================[ Search Statistics ]============================== 190.84/190.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.84/190.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.84/190.98 c =============================================================================== 190.84/190.98 c | 0 | 8098 9037 37036 | 5000 0 nan | 0.000 % | 190.84/190.99 c =============================================================================== 190.94/191.03 c core #404 190.94/191.03 c 190.94/191.03 c 190.94/191.03 c Core size: 38 Core Weight: 1 Total Weight: 4301 190.94/191.03 c 190.94/191.03 c 190.94/191.03 c ============================[ Search Statistics ]============================== 190.94/191.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.94/191.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.94/191.03 c =============================================================================== 190.94/191.03 c | 0 | 8123 9058 37158 | 5000 0 nan | 0.000 % | 190.94/191.04 c =============================================================================== 190.94/191.09 c core #405 190.94/191.09 c 190.94/191.09 c 190.94/191.09 c Core size: 72 Core Weight: 1 Total Weight: 4302 190.94/191.09 c 190.94/191.09 c 190.94/191.09 c ============================[ Search Statistics ]============================== 190.94/191.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.94/191.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.94/191.09 c =============================================================================== 190.94/191.09 c | 0 | 8183 9097 37328 | 5000 0 nan | 0.000 % | 191.04/191.10 c =============================================================================== 191.04/191.14 c core #406 191.04/191.14 c 191.04/191.14 c 191.04/191.14 c Core size: 119 Core Weight: 1 Total Weight: 4303 191.04/191.14 c 191.04/191.14 c 191.04/191.14 c ============================[ Search Statistics ]============================== 191.04/191.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.04/191.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.04/191.14 c =============================================================================== 191.04/191.14 c | 0 | 8275 9148 37609 | 5000 0 nan | 0.000 % | 191.04/191.15 c =============================================================================== 191.04/191.20 c core #407 191.04/191.20 c 191.04/191.20 c 191.04/191.20 c Core size: 64 Core Weight: 1 Total Weight: 4304 191.04/191.20 c 191.04/191.20 c 191.04/191.20 c ============================[ Search Statistics ]============================== 191.04/191.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.04/191.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.04/191.20 c =============================================================================== 191.04/191.20 c | 0 | 8330 9196 37777 | 5000 0 nan | 0.000 % | 191.14/191.22 c =============================================================================== 191.14/191.26 c core #408 191.14/191.26 c 191.14/191.26 c 191.14/191.26 c Core size: 96 Core Weight: 1 Total Weight: 4305 191.14/191.26 c 191.14/191.26 c 191.14/191.26 c ============================[ Search Statistics ]============================== 191.14/191.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.14/191.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.14/191.26 c =============================================================================== 191.14/191.26 c | 0 | 8413 9252 38048 | 5000 0 nan | 0.000 % | 191.14/191.27 c =============================================================================== 191.24/191.31 c core #409 191.24/191.31 c 191.24/191.31 c 191.24/191.31 c Core size: 62 Core Weight: 1 Total Weight: 4306 191.24/191.31 c 191.24/191.31 c 191.24/191.31 c ============================[ Search Statistics ]============================== 191.24/191.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.24/191.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.24/191.31 c =============================================================================== 191.24/191.31 c | 0 | 8463 9290 38329 | 5000 0 nan | 0.000 % | 191.24/191.33 c =============================================================================== 191.24/191.37 c core #410 191.24/191.37 c 191.24/191.37 c 191.24/191.37 c Core size: 64 Core Weight: 1 Total Weight: 4307 191.24/191.37 c 191.24/191.37 c 191.24/191.37 c ============================[ Search Statistics ]============================== 191.24/191.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.24/191.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.24/191.37 c =============================================================================== 191.24/191.37 c | 0 | 8520 9334 38542 | 5000 0 nan | 0.000 % | 191.24/191.38 c =============================================================================== 191.35/191.43 c core #411 191.35/191.43 c 191.35/191.43 c 191.35/191.43 c Core size: 61 Core Weight: 1 Total Weight: 4308 191.35/191.43 c 191.35/191.43 c 191.35/191.43 c ============================[ Search Statistics ]============================== 191.35/191.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.35/191.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.35/191.43 c =============================================================================== 191.35/191.43 c | 0 | 8566 9372 38745 | 5000 0 nan | 0.000 % | 191.35/191.44 c =============================================================================== 191.35/191.48 c core #412 191.35/191.48 c 191.35/191.48 c 191.35/191.48 c Core size: 76 Core Weight: 1 Total Weight: 4309 191.35/191.48 c 191.35/191.48 c 191.35/191.48 c ============================[ Search Statistics ]============================== 191.35/191.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.35/191.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.35/191.48 c =============================================================================== 191.35/191.48 c | 0 | 8626 9401 38900 | 5000 0 nan | 0.000 % | 191.44/191.50 c =============================================================================== 191.44/191.54 c core #413 191.44/191.54 c 191.44/191.54 c 191.44/191.54 c Core size: 53 Core Weight: 1 Total Weight: 4310 191.44/191.54 c 191.44/191.54 c 191.44/191.54 c ============================[ Search Statistics ]============================== 191.44/191.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.44/191.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.44/191.54 c =============================================================================== 191.44/191.54 c | 0 | 8674 9442 39043 | 5000 0 nan | 0.000 % | 191.44/191.56 c =============================================================================== 191.54/191.60 c core #414 191.54/191.60 c 191.54/191.60 c 191.54/191.60 c Core size: 117 Core Weight: 1 Total Weight: 4311 191.54/191.60 c 191.54/191.60 c 191.54/191.60 c ============================[ Search Statistics ]============================== 191.54/191.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.54/191.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.54/191.60 c =============================================================================== 191.54/191.60 c | 0 | 8783 9524 39366 | 5000 0 nan | 0.000 % | 191.54/191.62 c =============================================================================== 191.54/191.67 c core #415 191.54/191.67 c 191.54/191.67 c 191.54/191.67 c Core size: 148 Core Weight: 1 Total Weight: 4312 191.54/191.67 c 191.54/191.67 c 191.54/191.67 c ============================[ Search Statistics ]============================== 191.54/191.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.54/191.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.54/191.67 c =============================================================================== 191.54/191.67 c | 0 | 8918 9610 39740 | 5000 0 nan | 0.000 % | 191.54/191.68 c =============================================================================== 191.64/191.73 c core #416 191.64/191.73 c 191.64/191.73 c 191.64/191.73 c Core size: 93 Core Weight: 1 Total Weight: 4313 191.64/191.73 c 191.64/191.73 c 191.64/191.73 c ============================[ Search Statistics ]============================== 191.64/191.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.73 c =============================================================================== 191.64/191.73 c | 0 | 8996 9647 39948 | 5000 0 nan | 0.000 % | 191.64/191.74 c =============================================================================== 191.64/191.78 c core #417 191.64/191.78 c 191.64/191.78 c 191.64/191.78 c Core size: 53 Core Weight: 1 Total Weight: 4314 191.64/191.78 c 191.64/191.78 c 191.64/191.78 c ============================[ Search Statistics ]============================== 191.64/191.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.78 c =============================================================================== 191.64/191.78 c | 0 | 9028 9669 40030 | 5000 0 nan | 0.000 % | 191.64/191.80 c =============================================================================== 191.75/191.84 c core #418 191.75/191.84 c 191.75/191.84 c 191.75/191.84 c Core size: 64 Core Weight: 1 Total Weight: 4315 191.75/191.84 c 191.75/191.84 c 191.75/191.84 c ============================[ Search Statistics ]============================== 191.75/191.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.75/191.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.75/191.84 c =============================================================================== 191.75/191.84 c | 0 | 9084 9711 40240 | 5000 0 nan | 0.000 % | 191.75/191.86 c =============================================================================== 191.84/191.90 c core #419 191.84/191.90 c 191.84/191.90 c 191.84/191.90 c Core size: 65 Core Weight: 1 Total Weight: 4316 191.84/191.90 c 191.84/191.90 c 191.84/191.90 c ============================[ Search Statistics ]============================== 191.84/191.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.84/191.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.84/191.90 c =============================================================================== 191.84/191.90 c | 0 | 9142 9763 40441 | 5000 0 nan | 0.000 % | 191.84/191.92 c =============================================================================== 191.84/191.97 c core #420 191.84/191.97 c 191.84/191.97 c 191.84/191.97 c Core size: 169 Core Weight: 1 Total Weight: 4317 191.84/191.97 c 191.84/191.97 c 191.84/191.97 c ============================[ Search Statistics ]============================== 191.84/191.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.84/191.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.84/191.97 c =============================================================================== 191.84/191.97 c | 0 | 9296 9848 40840 | 5000 0 nan | 0.000 % | 191.84/191.98 c =============================================================================== 191.94/192.03 c core #421 191.94/192.03 c 191.94/192.03 c 191.94/192.03 c Core size: 107 Core Weight: 1 Total Weight: 4318 191.94/192.03 c 191.94/192.03 c 191.94/192.03 c ============================[ Search Statistics ]============================== 191.94/192.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.94/192.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.94/192.03 c =============================================================================== 191.94/192.03 c | 0 | 9385 9901 41093 | 5000 0 nan | 0.000 % | 191.94/192.04 c =============================================================================== 191.94/192.09 c core #422 191.94/192.09 c 191.94/192.09 c 191.94/192.09 c Core size: 41 Core Weight: 1 Total Weight: 4319 191.94/192.09 c 191.94/192.09 c 191.94/192.09 c ============================[ Search Statistics ]============================== 191.94/192.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.94/192.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.94/192.09 c =============================================================================== 191.94/192.09 c | 0 | 9426 9934 41280 | 5000 0 nan | 0.000 % | 192.04/192.10 c =============================================================================== 192.04/192.15 c core #423 192.04/192.15 c 192.04/192.15 c 192.04/192.15 c Core size: 105 Core Weight: 1 Total Weight: 4320 192.04/192.15 c 192.04/192.15 c 192.04/192.15 c ============================[ Search Statistics ]============================== 192.04/192.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.04/192.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.04/192.15 c =============================================================================== 192.04/192.15 c | 0 | 9527 10007 41584 | 5000 0 nan | 0.000 % | 192.04/192.16 c =============================================================================== 192.14/192.21 c core #424 192.14/192.21 c 192.14/192.21 c 192.14/192.21 c Core size: 90 Core Weight: 1 Total Weight: 4321 192.14/192.21 c 192.14/192.21 c 192.14/192.21 c ============================[ Search Statistics ]============================== 192.14/192.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.14/192.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.14/192.21 c =============================================================================== 192.14/192.21 c | 0 | 9594 10051 41760 | 5000 0 nan | 0.000 % | 192.14/192.23 c =============================================================================== 192.14/192.27 c core #425 192.14/192.27 c 192.14/192.27 c 192.14/192.27 c Core size: 143 Core Weight: 1 Total Weight: 4322 192.14/192.27 c 192.14/192.27 c 192.14/192.27 c ============================[ Search Statistics ]============================== 192.14/192.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.14/192.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.14/192.27 c =============================================================================== 192.14/192.27 c | 0 | 9734 10139 42268 | 5000 0 nan | 0.000 % | 192.14/192.29 c =============================================================================== 192.24/192.34 c core #426 192.24/192.34 c 192.24/192.34 c 192.24/192.34 c Core size: 63 Core Weight: 1 Total Weight: 4323 192.24/192.34 c 192.24/192.34 c 192.24/192.34 c ============================[ Search Statistics ]============================== 192.24/192.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.24/192.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.24/192.34 c =============================================================================== 192.24/192.34 c | 0 | 9779 10182 42409 | 5000 0 nan | 0.000 % | 192.24/192.37 c =============================================================================== 192.35/192.42 c core #427 192.35/192.42 c 192.35/192.42 c 192.35/192.42 c Core size: 185 Core Weight: 1 Total Weight: 4324 192.35/192.42 c 192.35/192.42 c 192.35/192.42 c ============================[ Search Statistics ]============================== 192.35/192.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.35/192.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.35/192.42 c =============================================================================== 192.35/192.42 c | 0 | 9954 10290 42983 | 5000 0 nan | 0.000 % | 192.35/192.44 c =============================================================================== 192.35/192.49 c core #428 192.35/192.49 c 192.35/192.49 c 192.35/192.49 c Core size: 152 Core Weight: 1 Total Weight: 4325 192.35/192.49 c 192.35/192.49 c 192.35/192.49 c ============================[ Search Statistics ]============================== 192.35/192.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.35/192.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.35/192.49 c =============================================================================== 192.35/192.49 c | 0 | 10097 10383 43570 | 5000 0 nan | 0.000 % | 192.45/192.51 c =============================================================================== 192.45/192.56 c core #429 192.45/192.56 c 192.45/192.56 c 192.45/192.56 c Core size: 136 Core Weight: 1 Total Weight: 4326 192.45/192.56 c 192.45/192.56 c 192.45/192.56 c ============================[ Search Statistics ]============================== 192.45/192.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.45/192.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.45/192.56 c =============================================================================== 192.45/192.56 c | 0 | 10219 10471 43951 | 5000 0 nan | 0.000 % | 192.45/192.58 c =============================================================================== 192.54/192.63 c core #430 192.54/192.63 c 192.54/192.63 c 192.54/192.63 c Core size: 103 Core Weight: 1 Total Weight: 4327 192.54/192.63 c 192.54/192.63 c 192.54/192.63 c ============================[ Search Statistics ]============================== 192.54/192.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.63 c =============================================================================== 192.54/192.63 c | 0 | 10302 10529 44472 | 5000 0 nan | 0.000 % | 192.54/192.65 c =============================================================================== 192.54/192.69 c core #431 192.54/192.69 c 192.54/192.69 c 192.54/192.69 c Core size: 63 Core Weight: 1 Total Weight: 4328 192.54/192.69 c 192.54/192.69 c 192.54/192.69 c ============================[ Search Statistics ]============================== 192.54/192.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.69 c =============================================================================== 192.54/192.69 c | 0 | 10350 10572 44625 | 5000 0 nan | 0.000 % | 192.64/192.71 c =============================================================================== 192.64/192.76 c core #432 192.64/192.76 c 192.64/192.76 c 192.64/192.76 c Core size: 76 Core Weight: 1 Total Weight: 4329 192.64/192.76 c 192.64/192.76 c 192.64/192.76 c ============================[ Search Statistics ]============================== 192.64/192.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.64/192.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.64/192.76 c =============================================================================== 192.64/192.76 c | 0 | 10417 10630 44866 | 5000 0 nan | 0.000 % | 192.64/192.78 c =============================================================================== 192.74/192.83 c core #433 192.74/192.83 c 192.74/192.83 c 192.74/192.83 c Core size: 87 Core Weight: 1 Total Weight: 4330 192.74/192.83 c 192.74/192.83 c 192.74/192.83 c ============================[ Search Statistics ]============================== 192.74/192.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.74/192.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.74/192.83 c =============================================================================== 192.74/192.83 c | 0 | 10499 10683 45111 | 5000 0 nan | 0.000 % | 192.74/192.85 c =============================================================================== 192.84/192.90 c core #434 192.84/192.90 c 192.84/192.90 c 192.84/192.90 c Core size: 151 Core Weight: 1 Total Weight: 4331 192.84/192.90 c 192.84/192.90 c 192.84/192.90 c ============================[ Search Statistics ]============================== 192.84/192.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.84/192.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.84/192.90 c =============================================================================== 192.84/192.90 c | 0 | 10630 10752 45544 | 5000 0 nan | 0.000 % | 192.84/192.92 c =============================================================================== 192.84/192.97 c core #435 192.84/192.97 c 192.84/192.97 c 192.84/192.97 c Core size: 105 Core Weight: 1 Total Weight: 4332 192.84/192.97 c 192.84/192.97 c 192.84/192.97 c ============================[ Search Statistics ]============================== 192.84/192.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.84/192.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.84/192.97 c =============================================================================== 192.84/192.97 c | 0 | 10727 10824 45903 | 5000 0 nan | 0.000 % | 192.84/192.99 c =============================================================================== 192.94/193.04 c core #436 192.94/193.04 c 192.94/193.04 c 192.94/193.04 c Core size: 98 Core Weight: 1 Total Weight: 4333 192.94/193.04 c 192.94/193.04 c 192.94/193.04 c ============================[ Search Statistics ]============================== 192.94/193.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.94/193.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.94/193.04 c =============================================================================== 192.94/193.04 c | 0 | 10812 10889 46243 | 5000 0 nan | 0.000 % | 192.94/193.07 c =============================================================================== 193.04/193.12 c core #437 193.04/193.12 c 193.04/193.12 c 193.04/193.12 c Core size: 153 Core Weight: 1 Total Weight: 4334 193.04/193.12 c 193.04/193.12 c 193.04/193.12 c ============================[ Search Statistics ]============================== 193.04/193.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.12 c =============================================================================== 193.04/193.12 c | 0 | 10961 10960 46833 | 5000 0 nan | 0.000 % | 193.04/193.13 c =============================================================================== 193.04/193.18 c core #438 193.04/193.18 c 193.04/193.18 c 193.04/193.18 c Core size: 63 Core Weight: 1 Total Weight: 4335 193.04/193.18 c 193.04/193.18 c 193.04/193.18 c ============================[ Search Statistics ]============================== 193.04/193.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.18 c =============================================================================== 193.04/193.18 c | 0 | 11013 10993 47032 | 5000 0 nan | 0.000 % | 193.14/193.21 c =============================================================================== 193.14/193.26 c core #439 193.14/193.26 c 193.14/193.26 c 193.14/193.26 c Core size: 112 Core Weight: 1 Total Weight: 4336 193.14/193.26 c 193.14/193.26 c 193.14/193.26 c ============================[ Search Statistics ]============================== 193.14/193.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.14/193.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.14/193.26 c =============================================================================== 193.14/193.26 c | 0 | 11123 11054 47415 | 5000 0 nan | 0.000 % | 193.14/193.29 c | 102 | 11123 11054 47415 | 5500 102 17 | 2.524 % | 193.24/193.30 c =============================================================================== 193.24/193.36 c core #440 193.24/193.36 c 193.24/193.36 c 193.24/193.36 c Core size: 204 Core Weight: 1 Total Weight: 4337 193.24/193.36 c 193.24/193.36 c 193.24/193.36 c ============================[ Search Statistics ]============================== 193.24/193.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.24/193.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.24/193.36 c =============================================================================== 193.24/193.36 c | 0 | 11320 11127 47933 | 5000 0 nan | 0.000 % | 193.24/193.37 c =============================================================================== 193.35/193.42 c core #441 193.35/193.42 c 193.35/193.42 c 193.35/193.42 c Core size: 70 Core Weight: 1 Total Weight: 4338 193.35/193.42 c 193.35/193.42 c 193.35/193.42 c ============================[ Search Statistics ]============================== 193.35/193.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.35/193.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.35/193.42 c =============================================================================== 193.35/193.42 c | 0 | 11383 11184 48186 | 5000 0 nan | 0.000 % | 193.35/193.46 c =============================================================================== 193.45/193.51 c core #442 193.45/193.51 c 193.45/193.51 c 193.45/193.51 c Core size: 207 Core Weight: 1 Total Weight: 4339 193.45/193.51 c 193.45/193.51 c 193.45/193.51 c ============================[ Search Statistics ]============================== 193.45/193.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.45/193.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.45/193.51 c =============================================================================== 193.45/193.51 c | 0 | 11576 11292 48795 | 5000 0 nan | 0.000 % | 193.45/193.53 c =============================================================================== 193.45/193.58 c core #443 193.45/193.58 c 193.45/193.58 c 193.45/193.58 c Core size: 87 Core Weight: 1 Total Weight: 4340 193.45/193.58 c 193.45/193.58 c 193.45/193.58 c ============================[ Search Statistics ]============================== 193.45/193.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.45/193.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.45/193.58 c =============================================================================== 193.45/193.58 c | 0 | 11659 11340 49118 | 5000 0 nan | 0.000 % | 193.45/193.60 c =============================================================================== 193.55/193.65 c core #444 193.55/193.65 c 193.55/193.65 c 193.55/193.65 c Core size: 167 Core Weight: 1 Total Weight: 4341 193.55/193.65 c 193.55/193.65 c 193.55/193.65 c ============================[ Search Statistics ]============================== 193.55/193.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.55/193.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.55/193.65 c =============================================================================== 193.55/193.65 c | 0 | 11842 11442 49844 | 5000 0 nan | 0.000 % | 193.55/193.67 c =============================================================================== 193.64/193.73 c core #445 193.64/193.73 c 193.64/193.73 c 193.64/193.73 c Core size: 98 Core Weight: 1 Total Weight: 4342 193.64/193.73 c 193.64/193.73 c 193.64/193.73 c ============================[ Search Statistics ]============================== 193.64/193.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.64/193.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.64/193.73 c =============================================================================== 193.64/193.73 c | 0 | 11937 11484 50202 | 5000 0 nan | 0.000 % | 193.64/193.77 c | 103 | 11929 11484 50202 | 5500 103 17 | 2.273 % | 193.64/193.77 c =============================================================================== 193.74/193.83 c core #446 193.74/193.83 c 193.74/193.83 c 193.74/193.83 c Core size: 305 Core Weight: 1 Total Weight: 4343 193.74/193.83 c 193.74/193.83 c 193.74/193.83 c ============================[ Search Statistics ]============================== 193.74/193.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.74/193.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.74/193.83 c =============================================================================== 193.74/193.83 c | 0 | 12237 11609 51189 | 5000 0 nan | 0.000 % | 193.74/193.86 c =============================================================================== 193.85/193.91 c core #447 193.85/193.91 c 193.85/193.91 c 193.85/193.91 c Core size: 110 Core Weight: 1 Total Weight: 4344 193.85/193.91 c 193.85/193.91 c 193.85/193.91 c ============================[ Search Statistics ]============================== 193.85/193.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.85/193.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.85/193.91 c =============================================================================== 193.85/193.91 c | 0 | 12337 11661 51563 | 5000 0 nan | 0.000 % | 193.85/193.95 c | 103 | 12308 11661 51563 | 5500 103 9 | 2.536 % | 193.85/193.95 c =============================================================================== 193.94/194.01 c core #448 193.94/194.01 c 193.94/194.01 c 193.94/194.01 c Core size: 315 Core Weight: 1 Total Weight: 4345 193.94/194.01 c 193.94/194.01 c 193.94/194.01 c ============================[ Search Statistics ]============================== 193.94/194.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.01 c =============================================================================== 193.94/194.01 c | 0 | 12624 11783 52346 | 5000 0 nan | 0.000 % | 193.94/194.04 c | 104 | 12623 11783 52346 | 5500 104 15 | 1.897 % | 193.94/194.08 c | 254 | 12598 11783 52346 | 6050 178 14 | 2.153 % | 193.94/194.08 c =============================================================================== 194.04/194.14 c core #449 194.04/194.14 c 194.04/194.14 c 194.04/194.14 c Core size: 397 Core Weight: 1 Total Weight: 4346 194.04/194.14 c 194.04/194.14 c 194.04/194.14 c ============================[ Search Statistics ]============================== 194.04/194.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.14 c =============================================================================== 194.04/194.14 c | 0 | 13000 11907 53365 | 5000 0 nan | 0.000 % | 194.04/194.17 c | 102 | 13000 11907 53365 | 5500 102 18 | 1.805 % | 194.14/194.21 c | 252 | 12988 11907 53365 | 6050 246 14 | 1.949 % | 194.14/194.21 c =============================================================================== 194.14/194.27 c core #450 194.14/194.27 c 194.14/194.27 c 194.14/194.27 c Core size: 293 Core Weight: 1 Total Weight: 4347 194.14/194.27 c 194.14/194.27 c 194.14/194.27 c ============================[ Search Statistics ]============================== 194.14/194.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.14/194.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.14/194.27 c =============================================================================== 194.14/194.27 c | 0 | 13289 12017 54113 | 5000 0 nan | 0.000 % | 194.25/194.30 c =============================================================================== 194.25/194.36 c core #451 194.25/194.36 c 194.25/194.36 c 194.25/194.36 c Core size: 179 Core Weight: 1 Total Weight: 4348 194.25/194.36 c 194.25/194.36 c 194.25/194.36 c ============================[ Search Statistics ]============================== 194.25/194.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.25/194.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.25/194.36 c =============================================================================== 194.25/194.36 c | 0 | 13457 12093 54590 | 5000 0 nan | 0.000 % | 194.25/194.39 c =============================================================================== 194.34/194.45 c core #452 194.34/194.45 c 194.34/194.45 c 194.34/194.45 c Core size: 148 Core Weight: 1 Total Weight: 4349 194.34/194.45 c 194.34/194.45 c 194.34/194.45 c ============================[ Search Statistics ]============================== 194.34/194.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.34/194.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.34/194.45 c =============================================================================== 194.34/194.45 c | 0 | 13600 12172 55032 | 5000 0 nan | 0.000 % | 194.34/194.49 c =============================================================================== 194.45/194.55 c core #453 194.45/194.55 c 194.45/194.55 c 194.45/194.55 c Core size: 235 Core Weight: 1 Total Weight: 4350 194.45/194.55 c 194.45/194.55 c 194.45/194.55 c ============================[ Search Statistics ]============================== 194.45/194.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.45/194.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.45/194.55 c =============================================================================== 194.45/194.55 c | 0 | 13806 12272 55619 | 5000 0 nan | 0.000 % | 194.45/194.60 c | 100 | 13797 12272 55619 | 5500 95 12 | 1.773 % | 194.55/194.60 c =============================================================================== 194.55/194.67 c core #454 194.55/194.67 c 194.55/194.67 c 194.55/194.67 c Core size: 387 Core Weight: 1 Total Weight: 4351 194.55/194.67 c 194.55/194.67 c 194.55/194.67 c ============================[ Search Statistics ]============================== 194.55/194.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.55/194.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.55/194.67 c =============================================================================== 194.55/194.67 c | 0 | 14244 12392 56841 | 5000 0 nan | 0.000 % | 194.65/194.71 c | 100 | 14240 12392 56841 | 5500 100 12 | 1.111 % | 194.65/194.74 c =============================================================================== 194.74/194.80 c core #455 194.74/194.80 c 194.74/194.80 c 194.74/194.80 c Core size: 281 Core Weight: 1 Total Weight: 4352 194.74/194.80 c 194.74/194.80 c 194.74/194.80 c ============================[ Search Statistics ]============================== 194.74/194.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.74/194.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.74/194.80 c =============================================================================== 194.74/194.80 c | 0 | 14494 12526 57831 | 5000 0 nan | 0.000 % | 194.74/194.85 c | 100 | 14492 12526 57831 | 5500 100 10 | 1.031 % | 194.74/194.89 c | 252 | 14484 12526 57831 | 6050 244 8 | 1.086 % | 194.84/194.90 c =============================================================================== 194.84/194.97 c core #456 194.84/194.97 c 194.84/194.97 c 194.84/194.97 c Core size: 412 Core Weight: 1 Total Weight: 4353 194.84/194.97 c 194.84/194.97 c 194.84/194.97 c ============================[ Search Statistics ]============================== 194.84/194.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.84/194.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.84/194.97 c =============================================================================== 194.84/194.97 c | 0 | 14900 12656 59093 | 5000 0 nan | 0.000 % | 194.94/195.01 c | 100 | 14900 12656 59093 | 5500 100 57 | 0.951 % | 194.94/195.04 c | 250 | 14899 12656 59093 | 6050 248 38 | 0.957 % | 195.04/195.10 c | 475 | 14888 12656 59093 | 6655 468 24 | 1.044 % | 195.04/195.19 c =============================================================================== 195.13/195.26 c core #457 195.13/195.26 c 195.13/195.26 c 195.13/195.26 c Core size: 760 Core Weight: 1 Total Weight: 4354 195.13/195.26 c 195.13/195.26 c 195.13/195.26 c ============================[ Search Statistics ]============================== 195.13/195.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.13/195.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.13/195.26 c =============================================================================== 195.13/195.26 c | 0 | 15637 12855 60984 | 5000 0 nan | 0.000 % | 195.24/195.32 c | 102 | 15629 12855 60984 | 5500 102 11 | 1.046 % | 195.24/195.36 c | 252 | 15594 12855 60984 | 6050 244 10 | 1.806 % | 195.34/195.42 c | 477 | 15246 12855 60984 | 6655 376 12 | 3.378 % | 195.43/195.53 c | 815 | 15236 12855 60984 | 7320 695 12 | 3.486 % | 195.53/195.68 c =============================================================================== 195.64/195.76 c core #458 195.64/195.76 c 195.64/195.76 c 195.64/195.76 c Core size: 1238 Core Weight: 1 Total Weight: 4355 195.64/195.76 c 195.64/195.76 c 195.64/195.76 c ============================[ Search Statistics ]============================== 195.64/195.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.64/195.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.64/195.76 c =============================================================================== 195.64/195.76 c | 0 | 16831 13242 64265 | 5000 0 nan | 0.000 % | 195.74/195.81 c | 100 | 16831 13242 64265 | 5500 100 61 | 0.813 % | 195.74/195.86 c | 254 | 16791 13242 64265 | 6050 240 30 | 1.721 % | 195.84/195.93 c | 479 | 16675 13242 64265 | 6655 436 27 | 1.733 % | 195.94/196.01 c | 818 | 16667 13242 64265 | 7320 715 22 | 1.780 % | 196.04/196.14 c | 1327 | 16331 13242 64265 | 8052 334 24 | 4.037 % | 196.04/196.16 c =============================================================================== 196.14/196.24 c core #459 196.14/196.24 c 196.14/196.24 c 196.14/196.24 c Core size: 598 Core Weight: 1 Total Weight: 4356 196.14/196.24 c 196.14/196.24 c 196.14/196.24 c ============================[ Search Statistics ]============================== 196.14/196.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.14/196.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.14/196.24 c =============================================================================== 196.14/196.24 c | 0 | 17406 13411 65724 | 5000 0 nan | 0.000 % | 196.14/196.29 c | 100 | 17403 13411 65724 | 5500 100 10 | 0.827 % | 196.24/196.33 c | 250 | 17395 13411 65724 | 6050 242 12 | 0.849 % | 196.34/196.40 c | 475 | 17389 13411 65724 | 6655 461 11 | 0.883 % | 196.43/196.50 c | 814 | 17376 13411 65724 | 7320 794 13 | 0.958 % | 196.54/196.64 c =============================================================================== 196.64/196.73 c core #460 196.64/196.73 c 196.64/196.73 c 196.64/196.73 c Core size: 938 Core Weight: 1 Total Weight: 4357 196.64/196.73 c 196.64/196.73 c 196.64/196.73 c ============================[ Search Statistics ]============================== 196.64/196.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.64/196.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.64/196.73 c =============================================================================== 196.64/196.73 c | 0 | 18323 13661 68103 | 5000 0 nan | 0.000 % | 196.64/196.79 c | 101 | 18321 13661 68103 | 5500 101 17 | 0.791 % | 196.74/196.85 c | 251 | 18312 13661 68103 | 6050 250 12 | 0.796 % | 196.84/196.91 c | 477 | 18309 13661 68103 | 6655 472 13 | 0.813 % | 196.93/197.03 c | 816 | 18307 13661 68103 | 7320 809 14 | 0.823 % | 197.14/197.20 c | 1324 | 18307 13661 68103 | 8052 1317 17 | 0.823 % | 197.33/197.49 c | 2083 | 18300 13661 68103 | 8857 2006 19 | 0.861 % | 197.84/197.92 c | 3222 | 18297 13661 68103 | 9743 3144 22 | 0.878 % | 198.43/198.57 c | 4931 | 18290 13661 68103 | 10717 4835 22 | 0.997 % | 199.33/199.43 c | 7496 | 18267 13661 68103 | 11789 7368 28 | 1.040 % | 201.23/201.32 c | 11340 | 18266 13661 68103 | 12968 11206 47 | 1.490 % | 203.93/204.06 c | 17106 | 18129 13661 68103 | 14265 8988 66 | 1.788 % | 204.44/204.58 c =============================================================================== 204.73/204.84 c core #461 204.73/204.84 c 204.73/204.84 c 204.73/204.84 c Core size: 2417 Core Weight: 1 Total Weight: 4358 204.73/204.84 c 204.73/204.84 c 204.73/204.84 c ============================[ Search Statistics ]============================== 204.73/204.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.73/204.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.73/204.84 c =============================================================================== 204.73/204.84 c | 0 | 20709 14099 73751 | 5000 0 nan | 0.000 % | 204.83/204.91 c | 100 | 20703 14099 73751 | 5500 95 10 | 0.676 % | 204.83/204.94 c | 254 | 20698 14099 73751 | 6050 249 13 | 0.758 % | 204.94/205.02 c | 479 | 20685 14099 73751 | 6655 467 12 | 0.763 % | 205.03/205.17 c | 816 | 20682 14099 73751 | 7320 801 11 | 1.065 % | 205.23/205.32 c | 1322 | 20621 14099 73751 | 8052 1286 19 | 1.070 % | 205.43/205.60 c | 2081 | 20621 14099 73751 | 8857 2037 22 | 1.070 % | 205.93/206.02 c | 3223 | 20618 14099 73751 | 9743 3162 23 | 1.084 % | 206.43/206.59 c =============================================================================== 206.64/206.74 c core #462 206.64/206.74 c 206.64/206.74 c 206.64/206.74 c Core size: 1118 Core Weight: 1 Total Weight: 4359 206.64/206.74 c 206.64/206.74 c 206.64/206.74 c ============================[ Search Statistics ]============================== 206.64/206.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.64/206.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.64/206.74 c =============================================================================== 206.64/206.74 c | 0 | 21811 14335 76376 | 5000 0 nan | 0.000 % | 206.74/206.81 c | 100 | 21806 14335 76376 | 5500 99 12 | 0.642 % | 206.74/206.89 c | 251 | 21802 14335 76376 | 6050 245 11 | 0.656 % | 206.93/207.01 c | 479 | 21802 14335 76376 | 6655 472 13 | 0.656 % | 207.12/207.21 c | 817 | 21800 14335 76376 | 7320 809 15 | 0.665 % | 207.32/207.48 c | 1323 | 21800 14335 76376 | 8052 1314 16 | 0.665 % | 207.83/207.92 c | 2083 | 21798 14335 76376 | 8857 2053 21 | 0.674 % | 208.53/208.61 c | 3225 | 21795 14335 76376 | 9743 3190 26 | 0.688 % | 209.52/209.65 c | 4933 | 21714 14335 76376 | 10717 4881 30 | 1.057 % | 211.14/211.30 c | 7496 | 21712 14335 76376 | 11789 7441 36 | 1.066 % | 214.13/214.20 c | 11344 | 21711 14335 76376 | 12968 11287 40 | 1.071 % | 218.03/218.13 c | 17111 | 21711 14335 76376 | 14265 10345 37 | 1.071 % | 224.83/224.94 c | 25760 | 21700 14335 76376 | 15692 9473 49 | 1.121 % | 236.02/236.13 c | 38734 | 21700 14335 76376 | 17261 13979 66 | 1.121 % | 251.91/252.01 c | 58195 | 21536 14335 76376 | 18987 13338 67 | 1.868 % | 264.51/264.63 c =============================================================================== 265.21/265.34 c core #463 265.21/265.34 c 265.21/265.34 c 265.21/265.34 c Core size: 2614 Core Weight: 1 Total Weight: 4360 265.21/265.34 c 265.21/265.34 c 265.21/265.34 c ============================[ Search Statistics ]============================== 265.21/265.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 265.21/265.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 265.21/265.34 c =============================================================================== 265.21/265.34 c | 0 | 24369 14707 82364 | 5000 0 nan | 0.000 % | 265.31/265.46 c | 100 | 24368 14707 82364 | 5500 100 9 | 0.543 % | 265.41/265.56 c | 250 | 24366 14707 82364 | 6050 247 14 | 0.547 % | 265.61/265.74 c | 476 | 24366 14707 82364 | 6655 473 17 | 0.547 % | 265.81/265.98 c | 813 | 24366 14707 82364 | 7320 810 16 | 0.547 % | 266.31/266.40 c | 1321 | 24366 14707 82364 | 8052 1318 15 | 0.547 % | 266.81/266.92 c | 2081 | 24358 14707 82364 | 8857 2067 20 | 0.580 % | 267.71/267.88 c | 3220 | 24358 14707 82364 | 9743 3206 21 | 0.580 % | 269.21/269.32 c | 4931 | 24358 14707 82364 | 10717 4917 23 | 0.580 % | 271.51/271.66 c | 7495 | 24330 14707 82364 | 11789 7392 43 | 0.694 % | 274.50/274.67 c | 11339 | 24330 14707 82364 | 12968 11236 38 | 0.694 % | 279.91/280.08 c | 17106 | 24330 14707 82364 | 14265 10067 58 | 0.694 % | 287.30/287.44 c | 25756 | 24330 14707 82364 | 15692 11347 42 | 0.694 % | 301.10/301.21 c | 38730 | 24330 14707 82364 | 17261 16156 62 | 0.694 % | 320.00/320.12 c | 58191 | 24330 14707 82364 | 18987 16962 41 | 0.694 % | 346.58/346.77 c | 87387 | 24327 14707 82364 | 20886 16153 50 | 0.706 % | 396.88/397.09 c | 131178 | 24087 14707 82364 | 22974 17094 69 | 1.686 % | 466.75/466.92 c | 196866 | 24085 14707 82364 | 25272 23166 38 | 1.694 % | 489.75/489.93 c =============================================================================== 491.46/491.61 c core #464 491.46/491.61 c 491.46/491.61 c 491.46/491.61 c Core size: 3144 Core Weight: 1 Total Weight: 4361 491.46/491.61 c 491.46/491.61 c 491.46/491.61 c ============================[ Search Statistics ]============================== 491.46/491.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 491.46/491.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 491.46/491.61 c =============================================================================== 491.46/491.61 c | 0 | 27485 15178 89488 | 5059 0 nan | 0.000 % | 491.56/491.76 c | 101 | 27481 15178 89488 | 5565 98 16 | 0.485 % | 491.75/491.92 c | 252 | 27479 15178 89488 | 6121 248 19 | 0.500 % | 491.95/492.14 c | 478 | 27477 15178 89488 | 6733 473 19 | 0.500 % | 492.35/492.52 c | 815 | 27477 15178 89488 | 7407 810 21 | 0.500 % | 492.85/493.00 c | 1323 | 27477 15178 89488 | 8148 1318 21 | 0.500 % | 493.55/493.77 c | 2083 | 27477 15178 89488 | 8962 2078 21 | 0.500 % | 494.54/494.79 c | 3223 | 27476 15178 89488 | 9859 3151 21 | 0.503 % | 496.25/496.41 c | 4931 | 27474 15178 89488 | 10845 4857 21 | 0.511 % | 498.65/498.89 c | 7494 | 27474 15178 89488 | 11929 7420 24 | 0.511 % | 502.35/502.53 c | 11340 | 27474 15178 89488 | 13122 11266 42 | 0.511 % | 508.44/508.62 c | 17107 | 27474 15178 89488 | 14434 10282 52 | 0.511 % | 518.95/519.11 c | 25757 | 27474 15178 89488 | 15878 10736 42 | 0.511 % | 539.64/539.84 c | 38734 | 27474 15178 89488 | 17466 15646 105 | 0.511 % | 565.73/565.94 c | 58195 | 27466 15178 89488 | 19212 16382 54 | 0.540 % | 604.62/604.85 c | 87387 | 27445 15178 89488 | 21134 15047 167 | 0.616 % | 661.80/662.05 c | 131177 | 27445 15178 89488 | 23247 15079 65 | 0.616 % | 746.28/746.53 c | 196865 | 27364 15178 89488 | 25572 19434 71 | 0.909 % | 842.76/843.09 c | 295392 | 27264 15178 89488 | 28129 16791 60 | 1.351 % | 996.33/996.61 c | 443181 | 27241 15178 89488 | 30942 19700 69 | 1.354 % | 1248.56/1248.94 c | 664865 | 27241 15178 89488 | 34036 27020 75 | 1.354 % | 1657.44/1657.91 c | 997391 | 27225 15178 89488 | 37440 16310 85 | 1.412 % |
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-2680749-1277453238/watcher-2680749-1277453238 -o /tmp/evaluation-result-2680749-1277453238/solver-2680749-1277453238 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680749-1277453238.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.77 3/106 27660 /proc/meminfo: memFree=1855184/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=2648 CPUtime=0 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 295 0 0 0 0 0 0 0 18 0 1 0 86616001 2711552 214 1992294400 134512640 135752675 4290005968 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 662 214 142 303 0 339 0 [startup+0.0946559 s] /proc/loadavg: 0.99 0.97 0.77 3/106 27660 /proc/meminfo: memFree=1855184/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=3108 CPUtime=0.09 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 454 0 0 0 9 0 0 0 20 0 1 0 86616001 3182592 355 1992294400 134512640 135752675 4290005968 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 777 355 145 303 0 472 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3108 [startup+0.100655 s] /proc/loadavg: 0.99 0.97 0.77 3/106 27660 /proc/meminfo: memFree=1855184/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=3236 CPUtime=0.09 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 462 0 0 0 9 0 0 0 20 0 1 0 86616001 3313664 363 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 809 363 145 303 0 504 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3236 [startup+0.300674 s] /proc/loadavg: 0.99 0.97 0.77 3/106 27660 /proc/meminfo: memFree=1855184/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=4264 CPUtime=0.29 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 726 0 0 0 29 0 0 0 20 0 1 0 86616001 4366336 627 1992294400 134512640 135752675 4290005968 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 1066 627 145 303 0 761 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4264 [startup+0.700715 s] /proc/loadavg: 0.99 0.97 0.77 3/106 27660 /proc/meminfo: memFree=1855184/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=6192 CPUtime=0.69 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 1202 0 0 0 68 1 0 0 20 0 1 0 86616001 6340608 1103 1992294400 134512640 135752675 4290005968 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 1548 1103 145 303 0 1243 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6192 [startup+1.5008 s] /proc/loadavg: 0.99 0.97 0.77 2/107 27661 /proc/meminfo: memFree=1849844/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=9928 CPUtime=1.49 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 2151 0 0 0 146 3 0 0 23 0 1 0 86616001 10166272 2052 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 2482 2052 145 303 0 2177 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9928 [startup+3.10096 s] /proc/loadavg: 0.99 0.97 0.77 2/107 27661 /proc/meminfo: memFree=1844636/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=16500 CPUtime=3.09 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 3787 0 0 0 302 7 0 0 25 0 1 0 86616001 16896000 3688 1992294400 134512640 135752675 4290005968 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 4125 3689 145 303 0 3820 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16500 [startup+6.30128 s] /proc/loadavg: 0.99 0.97 0.77 2/107 27661 /proc/meminfo: memFree=1831492/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=28672 CPUtime=6.29 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 6847 0 0 0 616 13 0 0 25 0 1 0 86616001 29360128 6748 1992294400 134512640 135752675 4290005968 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 7168 6748 145 303 0 6863 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28672 [startup+12.7009 s] /proc/loadavg: 0.99 0.97 0.77 2/107 27661 /proc/meminfo: memFree=1806816/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=52672 CPUtime=12.69 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 12825 0 0 0 1243 26 0 0 25 0 1 0 86616001 53936128 12726 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 13168 12726 145 303 0 12863 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52672 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 0.77 2/107 27661 /proc/meminfo: memFree=1761060/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=96540 CPUtime=25.48 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 23797 0 0 0 2500 48 0 0 25 0 1 0 86616001 98856960 23698 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 24135 23698 145 303 0 23830 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 96540 [startup+51.1018 s] /proc/loadavg: 0.99 0.97 0.78 2/107 27663 /proc/meminfo: memFree=1686536/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=172160 CPUtime=51.08 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 42681 0 0 0 5023 85 0 0 25 0 1 0 86616001 176291840 42582 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 43040 42582 145 303 0 42735 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 172160 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27663 /proc/meminfo: memFree=1561792/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=295016 CPUtime=102.27 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 73352 0 0 0 10074 153 0 0 25 0 1 0 86616001 302096384 73253 1992294400 134512640 135752675 4290005968 18446744073709551615 134612112 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 73754 73253 145 303 0 73449 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 295016 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.80 2/107 27665 /proc/meminfo: memFree=1407908/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=450252 CPUtime=162.25 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 112147 0 0 0 15994 231 0 0 25 0 1 0 86616001 461058048 112048 1992294400 134512640 135752675 4290005968 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 112563 112048 145 303 0 112258 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 450252 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.81 2/107 27667 /proc/meminfo: memFree=1354092/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=501176 CPUtime=222.23 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 125522 0 0 0 21909 314 0 0 25 0 1 0 86616001 513204224 124775 1992294400 134512640 135752675 4290005968 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 125294 124775 146 303 0 124989 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 501176 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27669 /proc/meminfo: memFree=1342436/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=512716 CPUtime=282.21 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 128700 0 0 0 27874 347 0 0 25 0 1 0 86616001 525021184 127695 1992294400 134512640 135752675 4290005968 18446744073709551615 134639452 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 128179 127695 146 303 0 127874 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 512716 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.83 2/107 27671 /proc/meminfo: memFree=1331896/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=523828 CPUtime=342.19 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 131490 0 0 0 33846 373 0 0 25 0 1 0 86616001 536399872 130485 1992294400 134512640 135752675 4290005968 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 130957 130485 146 303 0 130652 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 523828 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.83 2/107 27671 /proc/meminfo: memFree=1314784/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=540928 CPUtime=402.17 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 135769 0 0 0 39820 397 0 0 25 0 1 0 86616001 553910272 134764 1992294400 134512640 135752675 4290005968 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 135232 134764 146 303 0 134927 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 540928 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.84 2/107 27673 /proc/meminfo: memFree=1302880/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=552752 CPUtime=462.16 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 138716 0 0 0 45793 423 0 0 25 0 1 0 86616001 566018048 137711 1992294400 134512640 135752675 4290005968 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 138188 137711 146 303 0 137883 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 552752 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.84 2/107 27675 /proc/meminfo: memFree=1292092/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=562868 CPUtime=522.14 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 141359 0 0 0 51765 449 0 0 25 0 1 0 86616001 576376832 140210 1992294400 134512640 135752675 4290005968 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 140717 140210 146 303 0 140412 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 562868 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.85 2/107 27677 /proc/meminfo: memFree=1283164/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=572252 CPUtime=582.13 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 143731 0 0 0 57745 468 0 0 25 0 1 0 86616001 585986048 142582 1992294400 134512640 135752675 4290005968 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 143063 142582 146 303 0 142758 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 572252 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.86 2/107 27679 /proc/meminfo: memFree=1264068/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=591164 CPUtime=642.12 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 148462 0 0 0 63719 493 0 0 25 0 1 0 86616001 605351936 147313 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 147791 147313 146 303 0 147486 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 591164 [startup+702.301 s] ################ # More data... # ################ /proc/loadavg: 0.99 0.97 0.91 2/107 27693 /proc/meminfo: memFree=1072240/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=783292 CPUtime=1181.97 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 196371 0 0 0 117476 721 0 0 25 0 1 0 86616001 802091008 195222 1992294400 134512640 135752675 4290005968 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 195823 195222 146 303 0 195518 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 783292 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27695 /proc/meminfo: memFree=1048060/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=807168 CPUtime=1241.95 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 202319 0 0 0 123447 748 0 0 25 0 1 0 86616001 826540032 201170 1992294400 134512640 135752675 4290005968 18446744073709551615 134616024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 201792 201170 146 303 0 201487 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 807168 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27695 /proc/meminfo: memFree=1024996/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=829908 CPUtime=1301.94 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 207991 0 0 0 129421 773 0 0 25 0 1 0 86616001 849825792 206842 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 207477 206842 146 303 0 207172 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 829908 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27697 /proc/meminfo: memFree=1001312/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=853776 CPUtime=1361.92 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 213958 0 0 0 135393 799 0 0 25 0 1 0 86616001 874266624 212809 1992294400 134512640 135752675 4290005968 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 213444 212809 146 303 0 213139 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 853776 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27699 /proc/meminfo: memFree=973784/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=881020 CPUtime=1421.91 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 220756 0 0 0 141368 823 0 0 25 0 1 0 86616001 902164480 219607 1992294400 134512640 135752675 4290005968 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 220255 219607 146 303 0 219950 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 881020 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27701 /proc/meminfo: memFree=949852/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=905048 CPUtime=1481.89 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 226758 0 0 0 147343 846 0 0 25 0 1 0 86616001 926769152 225609 1992294400 134512640 135752675 4290005968 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 226262 225609 146 303 0 225957 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 905048 [startup+1542.3 s] /proc/loadavg: 1.03 0.99 0.91 2/107 27706 /proc/meminfo: memFree=888716/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=928288 CPUtime=1541.88 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 232547 0 0 0 153320 868 0 0 25 0 1 0 86616001 950566912 231398 1992294400 134512640 135752675 4290005968 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 232072 231398 146 303 0 231767 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 928288 [startup+1602.3 s] /proc/loadavg: 1.01 0.99 0.91 2/107 27706 /proc/meminfo: memFree=865156/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=951940 CPUtime=1601.86 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 238446 0 0 0 159291 895 0 0 25 0 1 0 86616001 974786560 237297 1992294400 134512640 135752675 4290005968 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 237985 237297 146 303 0 237680 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 951940 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27708 /proc/meminfo: memFree=840852/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=976188 CPUtime=1661.85 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 244495 0 0 0 165264 921 0 0 25 0 1 0 86616001 999616512 243346 1992294400 134512640 135752675 4290005968 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 244047 243346 146 303 0 243742 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 976188 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27710 /proc/meminfo: memFree=820516/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=996696 CPUtime=1721.83 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 249620 0 0 0 171238 945 0 0 25 0 1 0 86616001 1020616704 248471 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 249174 248471 146 303 0 248869 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 996696 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27712 /proc/meminfo: memFree=800552/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=1016544 CPUtime=1781.82 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 254564 0 0 0 177209 973 0 0 25 0 1 0 86616001 1040941056 253415 1992294400 134512640 135752675 4290005968 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 254136 253415 146 303 0 253831 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1016544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27712 /proc/meminfo: memFree=795096/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=1021824 CPUtime=1800.02 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 255865 0 0 0 179021 981 0 0 25 0 1 0 86616001 1046347776 254716 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 255456 254716 146 303 0 255151 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1021824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.02 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.02 s) to the 'lost time'. [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27712 /proc/meminfo: memFree=795096/2059040 swapFree=4140428/4192956 [pid=27660] ppid=27658 vsize=1021824 CPUtime=1800.02 /proc/27660/stat : 27660 (wbo1.4b) R 27658 27660 27500 0 -1 4202496 255865 0 0 0 179021 981 0 0 25 0 1 0 86616001 1046347776 254716 1992294400 134512640 135752675 4290005968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27660/statm: 255456 254716 146 303 0 255151 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1021824 [startup+1800.61 s] /proc/loadavg: 1.00 0.99 0.91 2/108 27713 /proc/meminfo: memFree=1804820/2059040 swapFree=4140428/4192956 [pid=27660] ppid=-1 vsize=0 CPUtime=0 /proc/27660/stat : -- couldn't open stat file --/proc/27660/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 0.99 0.91 2/108 27713 /proc/meminfo: memFree=1804820/2059040 swapFree=4140428/4192956 [pid=27660] ppid=-1 vsize=0 CPUtime=0 /proc/27660/stat : -- couldn't open stat file --/proc/27660/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27660 and gives # childrusage.ru_utime.tv_sec=1790 # childrusage.ru_utime.tv_usec=214845 # childrusage.ru_stime.tv_sec=9 # childrusage.ru_stime.tv_usec=915492 # CPU time returned by wait4() is 1800.13 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.02 # lost CPU user time (s): 1790.21 # lost CPU system time (s): 9.81 Real time (s): 1800.61 CPU time (s): 1800.02 CPU user time (s): 1790.21 CPU system time (s): 9.81 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 1021824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.21 system time used= 9.91549 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 255865 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 80 involuntary context switches= 2341 runsolver used 3.33449 second user time and 8.21675 second system time The end
Begin job on node045 at 2010-06-25 10:07:18 IDJOB=2680749 IDBENCH=2017 IDSOLVER=1190 FILE ID=node045/2680749-1277453238 PBS_JOBID= 11188122 Free space on /tmp= 62508 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680749-1277453238/watcher-2680749-1277453238 -o /tmp/evaluation-result-2680749-1277453238/solver-2680749-1277453238 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680749-1277453238.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f RANDOM SEED=779982984 node045.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.247 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.49 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.247 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1855712 kB Buffers: 51728 kB Cached: 48620 kB SwapCached: 5348 kB Active: 12048 kB Inactive: 101320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855712 kB SwapTotal: 4192956 kB SwapFree: 4140428 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 11624 kB Mapped: 12024 kB Slab: 67852 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182404 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62508 MiB End job on node045 at 2010-06-25 10:37:21