c This is wbo 1.0 alpha (based on Minisat 2.0 beta) c WARNING: for repeatability, setting FPU to use double precision c | Number of variables: 18169 | c | Number of clauses: 112632 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.08 s | c | Number Variables: 18169 | c | Number Clauses: 112632 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.290955 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.510922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.728889 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.839872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.949855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.17082 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2828 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.39279 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.50377 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.61275 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.83372 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.9457 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 2.05669 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.16967 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.27765 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.39064 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.50362 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.6176 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.72959 s Remaining CPU time: 1797.27 s c Elapsed CPU time: 2.84357 s Remaining CPU time: 1797.16 s c Elapsed CPU time: 2.95755 s Remaining CPU time: 1797.04 s c Elapsed CPU time: 3.07153 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.18651 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.3005 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.41348 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.52846 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.64145 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.75443 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.86841 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.98239 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 4.09738 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.21136 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.32534 s Remaining CPU time: 1795.67 s c Elapsed CPU time: 4.43933 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.55431 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.66829 s Remaining CPU time: 1795.33 s c Elapsed CPU time: 4.78327 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.89825 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 5.01324 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.12822 s Remaining CPU time: 1794.87 s c Elapsed CPU time: 5.2432 s Remaining CPU time: 1794.76 s c Elapsed CPU time: 5.35919 s Remaining CPU time: 1794.64 s c Elapsed CPU time: 5.47317 s Remaining CPU time: 1794.53 s c Elapsed CPU time: 5.58915 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.70313 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.81811 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.9331 s Remaining CPU time: 1794.07 s c Elapsed CPU time: 6.04608 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.16106 s Remaining CPU time: 1793.84 s c Elapsed CPU time: 6.27705 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.39103 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.50501 s Remaining CPU time: 1793.49 s c Elapsed CPU time: 6.61999 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.73498 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.85096 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.96494 s Remaining CPU time: 1793.04 s c Elapsed CPU time: 7.08092 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.19591 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.31089 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.42587 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.54285 s Remaining CPU time: 1792.46 s c Elapsed CPU time: 7.65584 s Remaining CPU time: 1792.34 s c Elapsed CPU time: 7.77182 s Remaining CPU time: 1792.23 s c Elapsed CPU time: 7.8858 s Remaining CPU time: 1792.11 s c Elapsed CPU time: 7.99778 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.11177 s Remaining CPU time: 1791.89 s c Elapsed CPU time: 8.22675 s Remaining CPU time: 1791.77 s c Elapsed CPU time: 8.34073 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.45471 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5677 s Remaining CPU time: 1791.43 s c Elapsed CPU time: 8.68268 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.79766 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.91264 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 9.02963 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.14461 s Remaining CPU time: 1790.86 s c Elapsed CPU time: 9.26159 s Remaining CPU time: 1790.74 s c Elapsed CPU time: 9.37657 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.49256 s Remaining CPU time: 1790.51 s c Elapsed CPU time: 9.60954 s Remaining CPU time: 1790.39 s c Elapsed CPU time: 9.72652 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.8415 s Remaining CPU time: 1790.16 s c Elapsed CPU time: 9.95749 s Remaining CPU time: 1790.04 s c Elapsed CPU time: 10.0725 s Remaining CPU time: 1789.93 s c Elapsed CPU time: 10.1895 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.3054 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4224 s Remaining CPU time: 1789.58 s c Elapsed CPU time: 10.5384 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.6534 s Remaining CPU time: 1789.35 s c Elapsed CPU time: 10.7674 s Remaining CPU time: 1789.23 s c Elapsed CPU time: 10.8833 s Remaining CPU time: 1789.12 s c Elapsed CPU time: 10.9963 s Remaining CPU time: 1789 s c Elapsed CPU time: 11.1123 s Remaining CPU time: 1788.89 s c Elapsed CPU time: 11.2283 s Remaining CPU time: 1788.77 s c Elapsed CPU time: 11.3433 s Remaining CPU time: 1788.66 s c Elapsed CPU time: 11.4583 s Remaining CPU time: 1788.54 s c Elapsed CPU time: 11.5742 s Remaining CPU time: 1788.43 s c Elapsed CPU time: 11.6912 s Remaining CPU time: 1788.31 s c Elapsed CPU time: 11.8062 s Remaining CPU time: 1788.19 s c Elapsed CPU time: 11.9222 s Remaining CPU time: 1788.08 s c Elapsed CPU time: 12.0372 s Remaining CPU time: 1787.96 s c Elapsed CPU time: 12.1522 s Remaining CPU time: 1787.85 s c Elapsed CPU time: 12.2681 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.3841 s Remaining CPU time: 1787.62 s c Elapsed CPU time: 12.4991 s Remaining CPU time: 1787.5 s c Elapsed CPU time: 12.6151 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.7291 s Remaining CPU time: 1787.27 s c Elapsed CPU time: 12.845 s Remaining CPU time: 1787.15 s c Elapsed CPU time: 12.958 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 13.073 s Remaining CPU time: 1786.93 s c Elapsed CPU time: 13.187 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.304 s Remaining CPU time: 1786.7 s c Elapsed CPU time: 13.418 s Remaining CPU time: 1786.58 s c Elapsed CPU time: 13.5329 s Remaining CPU time: 1786.47 s c Elapsed CPU time: 13.6489 s Remaining CPU time: 1786.35 s c Elapsed CPU time: 13.7639 s Remaining CPU time: 1786.24 s c Elapsed CPU time: 13.8789 s Remaining CPU time: 1786.12 s c Elapsed CPU time: 13.9959 s Remaining CPU time: 1786 s c Elapsed CPU time: 14.1109 s Remaining CPU time: 1785.89 s c Elapsed CPU time: 14.2258 s Remaining CPU time: 1785.77 s c Elapsed CPU time: 14.3388 s Remaining CPU time: 1785.66 s c Elapsed CPU time: 14.4548 s Remaining CPU time: 1785.55 s c Elapsed CPU time: 14.5718 s Remaining CPU time: 1785.43 s c Elapsed CPU time: 14.6878 s Remaining CPU time: 1785.31 s c Elapsed CPU time: 14.8037 s Remaining CPU time: 1785.2 s c Elapsed CPU time: 14.9197 s Remaining CPU time: 1785.08 s c Elapsed CPU time: 15.0347 s Remaining CPU time: 1784.97 s c Elapsed CPU time: 15.1517 s Remaining CPU time: 1784.85 s c Elapsed CPU time: 15.2677 s Remaining CPU time: 1784.73 s c Elapsed CPU time: 15.3847 s Remaining CPU time: 1784.62 s c Elapsed CPU time: 15.5016 s Remaining CPU time: 1784.5 s c Elapsed CPU time: 15.6176 s Remaining CPU time: 1784.38 s c Elapsed CPU time: 15.7346 s Remaining CPU time: 1784.27 s c Elapsed CPU time: 15.8526 s Remaining CPU time: 1784.15 s c Elapsed CPU time: 15.9696 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 16.0846 s Remaining CPU time: 1783.92 s c Elapsed CPU time: 16.1995 s Remaining CPU time: 1783.8 s c Elapsed CPU time: 16.3185 s Remaining CPU time: 1783.68 s c Elapsed CPU time: 16.4355 s Remaining CPU time: 1783.56 s c Elapsed CPU time: 16.5555 s Remaining CPU time: 1783.44 s c Elapsed CPU time: 16.6735 s Remaining CPU time: 1783.33 s c Elapsed CPU time: 16.7924 s Remaining CPU time: 1783.21 s c Elapsed CPU time: 16.9094 s Remaining CPU time: 1783.09 s c Elapsed CPU time: 17.0284 s Remaining CPU time: 1782.97 s c Elapsed CPU time: 17.1444 s Remaining CPU time: 1782.86 s c Elapsed CPU time: 17.2634 s Remaining CPU time: 1782.74 s c Elapsed CPU time: 17.3814 s Remaining CPU time: 1782.62 s c Elapsed CPU time: 17.5013 s Remaining CPU time: 1782.5 s c Elapsed CPU time: 17.6193 s Remaining CPU time: 1782.38 s c Elapsed CPU time: 17.7383 s Remaining CPU time: 1782.26 s c Elapsed CPU time: 17.8563 s Remaining CPU time: 1782.14 s c Elapsed CPU time: 17.9763 s Remaining CPU time: 1782.02 s c Elapsed CPU time: 18.0942 s Remaining CPU time: 1781.91 s c Elapsed CPU time: 18.2152 s Remaining CPU time: 1781.78 s c Elapsed CPU time: 18.3312 s Remaining CPU time: 1781.67 s c Elapsed CPU time: 18.4532 s Remaining CPU time: 1781.55 s c Elapsed CPU time: 18.5722 s Remaining CPU time: 1781.43 s c Elapsed CPU time: 18.6922 s Remaining CPU time: 1781.31 s c Elapsed CPU time: 18.8121 s Remaining CPU time: 1781.19 s c Elapsed CPU time: 18.9301 s Remaining CPU time: 1781.07 s c Elapsed CPU time: 19.0491 s Remaining CPU time: 1780.95 s c Elapsed CPU time: 19.1691 s Remaining CPU time: 1780.83 s c Elapsed CPU time: 19.2881 s Remaining CPU time: 1780.71 s c Elapsed CPU time: 19.408 s Remaining CPU time: 1780.59 s c Elapsed CPU time: 19.526 s Remaining CPU time: 1780.47 s c Elapsed CPU time: 19.645 s Remaining CPU time: 1780.35 s c Elapsed CPU time: 19.761 s Remaining CPU time: 1780.24 s c Elapsed CPU time: 19.881 s Remaining CPU time: 1780.12 s c Elapsed CPU time: 20 s Remaining CPU time: 1780 s c Elapsed CPU time: 20.1209 s Remaining CPU time: 1779.88 s c Elapsed CPU time: 20.2399 s Remaining CPU time: 1779.76 s c Elapsed CPU time: 20.3609 s Remaining CPU time: 1779.64 s c Elapsed CPU time: 20.4809 s Remaining CPU time: 1779.52 s c Elapsed CPU time: 20.6009 s Remaining CPU time: 1779.4 s c Elapsed CPU time: 20.7218 s Remaining CPU time: 1779.28 s c Elapsed CPU time: 20.8428 s Remaining CPU time: 1779.16 s c Elapsed CPU time: 20.9648 s Remaining CPU time: 1779.04 s c Elapsed CPU time: 21.0888 s Remaining CPU time: 1778.91 s c Elapsed CPU time: 21.2088 s Remaining CPU time: 1778.79 s c Elapsed CPU time: 21.3318 s Remaining CPU time: 1778.67 s c Elapsed CPU time: 21.4557 s Remaining CPU time: 1778.54 s c Elapsed CPU time: 21.5797 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.7047 s Remaining CPU time: 1778.3 s c Elapsed CPU time: 21.8317 s Remaining CPU time: 1778.17 s c Elapsed CPU time: 21.9567 s Remaining CPU time: 1778.04 s c Elapsed CPU time: 22.0826 s Remaining CPU time: 1777.92 s c Elapsed CPU time: 22.2096 s Remaining CPU time: 1777.79 s c Elapsed CPU time: 22.3366 s Remaining CPU time: 1777.66 s c Elapsed CPU time: 22.4636 s Remaining CPU time: 1777.54 s c Elapsed CPU time: 22.5906 s Remaining CPU time: 1777.41 s c Elapsed CPU time: 22.7175 s Remaining CPU time: 1777.28 s c Elapsed CPU time: 22.8445 s Remaining CPU time: 1777.16 s c Elapsed CPU time: 22.9745 s Remaining CPU time: 1777.03 s c Elapsed CPU time: 23.1025 s Remaining CPU time: 1776.9 s c Elapsed CPU time: 23.2305 s Remaining CPU time: 1776.77 s c Elapsed CPU time: 23.3584 s Remaining CPU time: 1776.64 s c Elapsed CPU time: 23.4874 s Remaining CPU time: 1776.51 s c Elapsed CPU time: 23.6154 s Remaining CPU time: 1776.38 s c Elapsed CPU time: 23.7434 s Remaining CPU time: 1776.26 s c Elapsed CPU time: 23.8734 s Remaining CPU time: 1776.13 s c Elapsed CPU time: 24.0024 s Remaining CPU time: 1776 s c Elapsed CPU time: 24.1343 s Remaining CPU time: 1775.87 s c Elapsed CPU time: 24.2613 s Remaining CPU time: 1775.74 s c Elapsed CPU time: 24.3933 s Remaining CPU time: 1775.61 s c Elapsed CPU time: 24.5223 s Remaining CPU time: 1775.48 s c Elapsed CPU time: 24.6533 s Remaining CPU time: 1775.35 s c Elapsed CPU time: 24.7812 s Remaining CPU time: 1775.22 s c Elapsed CPU time: 24.9102 s Remaining CPU time: 1775.09 s c Elapsed CPU time: 25.0392 s Remaining CPU time: 1774.96 s c Elapsed CPU time: 25.1702 s Remaining CPU time: 1774.83 s c Elapsed CPU time: 25.3012 s Remaining CPU time: 1774.7 s c Elapsed CPU time: 25.4311 s Remaining CPU time: 1774.57 s c Elapsed CPU time: 25.5621 s Remaining CPU time: 1774.44 s c Elapsed CPU time: 25.6921 s Remaining CPU time: 1774.31 s c Elapsed CPU time: 25.8221 s Remaining CPU time: 1774.18 s c Elapsed CPU time: 25.9531 s Remaining CPU time: 1774.05 s c Elapsed CPU time: 26.085 s Remaining CPU time: 1773.91 s c Elapsed CPU time: 26.216 s Remaining CPU time: 1773.78 s c Elapsed CPU time: 26.349 s Remaining CPU time: 1773.65 s c Elapsed CPU time: 26.481 s Remaining CPU time: 1773.52 s c Elapsed CPU time: 26.613 s Remaining CPU time: 1773.39 s c Elapsed CPU time: 26.7459 s Remaining CPU time: 1773.25 s c Elapsed CPU time: 26.8799 s Remaining CPU time: 1773.12 s c Elapsed CPU time: 27.0139 s Remaining CPU time: 1772.99 s c Elapsed CPU time: 27.1469 s Remaining CPU time: 1772.85 s c Elapsed CPU time: 27.2789 s Remaining CPU time: 1772.72 s c Elapsed CPU time: 27.4138 s Remaining CPU time: 1772.59 s c Elapsed CPU time: 27.5498 s Remaining CPU time: 1772.45 s c Elapsed CPU time: 27.6838 s Remaining CPU time: 1772.32 s c Elapsed CPU time: 27.8158 s Remaining CPU time: 1772.18 s c Elapsed CPU time: 27.9478 s Remaining CPU time: 1772.05 s c Elapsed CPU time: 28.0787 s Remaining CPU time: 1771.92 s c Elapsed CPU time: 28.2117 s Remaining CPU time: 1771.79 s c Elapsed CPU time: 28.3447 s Remaining CPU time: 1771.66 s c Elapsed CPU time: 28.4797 s Remaining CPU time: 1771.52 s c Elapsed CPU time: 28.6117 s Remaining CPU time: 1771.39 s c Elapsed CPU time: 28.7456 s Remaining CPU time: 1771.25 s c Elapsed CPU time: 28.8776 s Remaining CPU time: 1771.12 s c Elapsed CPU time: 29.0106 s Remaining CPU time: 1770.99 s c Elapsed CPU time: 29.1436 s Remaining CPU time: 1770.86 s c Elapsed CPU time: 29.2755 s Remaining CPU time: 1770.72 s c Elapsed CPU time: 29.4105 s Remaining CPU time: 1770.59 s c Elapsed CPU time: 29.5435 s Remaining CPU time: 1770.46 s c Elapsed CPU time: 29.6785 s Remaining CPU time: 1770.32 s c Elapsed CPU time: 29.8115 s Remaining CPU time: 1770.19 s c Elapsed CPU time: 29.9444 s Remaining CPU time: 1770.06 s c Elapsed CPU time: 30.0784 s Remaining CPU time: 1769.92 s c Elapsed CPU time: 30.2114 s Remaining CPU time: 1769.79 s c Elapsed CPU time: 30.3454 s Remaining CPU time: 1769.65 s c Elapsed CPU time: 30.4804 s Remaining CPU time: 1769.52 s c Elapsed CPU time: 30.6143 s Remaining CPU time: 1769.39 s c Elapsed CPU time: 30.7493 s Remaining CPU time: 1769.25 s c Elapsed CPU time: 30.8823 s Remaining CPU time: 1769.12 s c Elapsed CPU time: 31.0163 s Remaining CPU time: 1768.98 s c Elapsed CPU time: 31.1503 s Remaining CPU time: 1768.85 s c Elapsed CPU time: 31.2852 s Remaining CPU time: 1768.71 s c Elapsed CPU time: 31.4192 s Remaining CPU time: 1768.58 s c Elapsed CPU time: 31.5532 s Remaining CPU time: 1768.45 s c Elapsed CPU time: 31.6902 s Remaining CPU time: 1768.31 s c Elapsed CPU time: 31.8262 s Remaining CPU time: 1768.17 s c Elapsed CPU time: 31.9611 s Remaining CPU time: 1768.04 s c Elapsed CPU time: 32.0961 s Remaining CPU time: 1767.9 s c Elapsed CPU time: 32.2321 s Remaining CPU time: 1767.77 s c Elapsed CPU time: 32.3691 s Remaining CPU time: 1767.63 s c Elapsed CPU time: 32.5041 s Remaining CPU time: 1767.5 s c Elapsed CPU time: 32.64 s Remaining CPU time: 1767.36 s c Elapsed CPU time: 32.777 s Remaining CPU time: 1767.22 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11 113178 217778 | 37726 0 nan | 0.000 % | c =============================================================================== c Verified 113178 original clauses.