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.080987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.753885 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.977851 s Remaining CPU time: 1799.02 s c Elapsed CPU time: 1.08883 s Remaining CPU time: 1798.91 s c Elapsed CPU time: 1.20182 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.3148 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.42978 s Remaining CPU time: 1798.57 s c Elapsed CPU time: 1.54177 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.65575 s Remaining CPU time: 1798.34 s c Elapsed CPU time: 1.76773 s Remaining CPU time: 1798.23 s c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s c Elapsed CPU time: 1.9947 s Remaining CPU time: 1798.01 s c Elapsed CPU time: 2.10768 s Remaining CPU time: 1797.89 s c Elapsed CPU time: 2.22066 s Remaining CPU time: 1797.78 s c Elapsed CPU time: 2.33365 s Remaining CPU time: 1797.67 s c Elapsed CPU time: 2.44763 s Remaining CPU time: 1797.55 s c Elapsed CPU time: 2.56061 s Remaining CPU time: 1797.44 s c Elapsed CPU time: 2.67359 s Remaining CPU time: 1797.33 s c Elapsed CPU time: 2.79058 s Remaining CPU time: 1797.21 s c Elapsed CPU time: 2.90356 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 3.02054 s Remaining CPU time: 1796.98 s c Elapsed CPU time: 3.13552 s Remaining CPU time: 1796.86 s c Elapsed CPU time: 3.25351 s Remaining CPU time: 1796.75 s c Elapsed CPU time: 3.36849 s Remaining CPU time: 1796.63 s c Elapsed CPU time: 3.48547 s Remaining CPU time: 1796.51 s c Elapsed CPU time: 3.60045 s Remaining CPU time: 1796.4 s c Elapsed CPU time: 3.71544 s Remaining CPU time: 1796.28 s c Elapsed CPU time: 3.82942 s Remaining CPU time: 1796.17 s c Elapsed CPU time: 3.9454 s Remaining CPU time: 1796.05 s c Elapsed CPU time: 4.06038 s Remaining CPU time: 1795.94 s c Elapsed CPU time: 4.17537 s Remaining CPU time: 1795.82 s c Elapsed CPU time: 4.28935 s Remaining CPU time: 1795.71 s c Elapsed CPU time: 4.40833 s Remaining CPU time: 1795.59 s c Elapsed CPU time: 4.52331 s Remaining CPU time: 1795.48 s c Elapsed CPU time: 4.64129 s Remaining CPU time: 1795.36 s c Elapsed CPU time: 4.75728 s Remaining CPU time: 1795.24 s c Elapsed CPU time: 4.87526 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 4.99024 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 5.10622 s Remaining CPU time: 1794.89 s c Elapsed CPU time: 5.22121 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.33919 s Remaining CPU time: 1794.66 s c Elapsed CPU time: 5.45617 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.57315 s Remaining CPU time: 1794.43 s c Elapsed CPU time: 5.69013 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.81712 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.9451 s Remaining CPU time: 1794.05 s c Elapsed CPU time: 6.07508 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.20406 s Remaining CPU time: 1793.8 s c Elapsed CPU time: 6.33404 s Remaining CPU time: 1793.67 s c Elapsed CPU time: 6.46402 s Remaining CPU time: 1793.54 s c Elapsed CPU time: 6.594 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.72398 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.85396 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.98094 s Remaining CPU time: 1793.02 s c Elapsed CPU time: 7.10992 s Remaining CPU time: 1792.89 s c Elapsed CPU time: 7.2369 s Remaining CPU time: 1792.76 s c Elapsed CPU time: 7.36788 s Remaining CPU time: 1792.63 s c Elapsed CPU time: 7.49686 s Remaining CPU time: 1792.5 s c Elapsed CPU time: 7.62784 s Remaining CPU time: 1792.37 s c Elapsed CPU time: 7.75882 s Remaining CPU time: 1792.24 s c Elapsed CPU time: 7.8888 s Remaining CPU time: 1792.11 s c Elapsed CPU time: 8.01978 s Remaining CPU time: 1791.98 s c Elapsed CPU time: 8.14876 s Remaining CPU time: 1791.85 s c Elapsed CPU time: 8.27974 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.41072 s Remaining CPU time: 1791.59 s c Elapsed CPU time: 8.5417 s Remaining CPU time: 1791.46 s c Elapsed CPU time: 8.67168 s Remaining CPU time: 1791.33 s c Elapsed CPU time: 8.80266 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.93364 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 9.06462 s Remaining CPU time: 1790.94 s c Elapsed CPU time: 9.1946 s Remaining CPU time: 1790.81 s c Elapsed CPU time: 9.32358 s Remaining CPU time: 1790.68 s c Elapsed CPU time: 9.45356 s Remaining CPU time: 1790.55 s c Elapsed CPU time: 9.58354 s Remaining CPU time: 1790.42 s c Elapsed CPU time: 9.71452 s Remaining CPU time: 1790.29 s c Elapsed CPU time: 9.8485 s Remaining CPU time: 1790.15 s c Elapsed CPU time: 9.97948 s Remaining CPU time: 1790.02 s c Elapsed CPU time: 10.1135 s Remaining CPU time: 1789.89 s c Elapsed CPU time: 10.2444 s Remaining CPU time: 1789.76 s c Elapsed CPU time: 10.3744 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.5104 s Remaining CPU time: 1789.49 s c Elapsed CPU time: 10.6404 s Remaining CPU time: 1789.36 s c Elapsed CPU time: 10.7764 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.9123 s Remaining CPU time: 1789.09 s c Elapsed CPU time: 11.0493 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.1863 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.3223 s Remaining CPU time: 1788.68 s c Elapsed CPU time: 11.4603 s Remaining CPU time: 1788.54 s c Elapsed CPU time: 11.5962 s Remaining CPU time: 1788.4 s c Elapsed CPU time: 11.7322 s Remaining CPU time: 1788.27 s c Elapsed CPU time: 11.8692 s Remaining CPU time: 1788.13 s c Elapsed CPU time: 12.0042 s Remaining CPU time: 1788 s c Elapsed CPU time: 12.1412 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.2791 s Remaining CPU time: 1787.72 s c Elapsed CPU time: 12.4141 s Remaining CPU time: 1787.59 s c Elapsed CPU time: 12.5511 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.6881 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.8201 s Remaining CPU time: 1787.18 s c Elapsed CPU time: 12.957 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 13.095 s Remaining CPU time: 1786.9 s c Elapsed CPU time: 13.231 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.368 s Remaining CPU time: 1786.63 s c Elapsed CPU time: 13.5049 s Remaining CPU time: 1786.5 s c Elapsed CPU time: 13.6429 s Remaining CPU time: 1786.36 s c Elapsed CPU time: 13.7809 s Remaining CPU time: 1786.22 s c Elapsed CPU time: 13.9179 s Remaining CPU time: 1786.08 s c Elapsed CPU time: 14.0559 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.1938 s Remaining CPU time: 1785.81 s c Elapsed CPU time: 14.3318 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.4708 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.6088 s Remaining CPU time: 1785.39 s c Elapsed CPU time: 14.7468 s Remaining CPU time: 1785.25 s c Elapsed CPU time: 14.8837 s Remaining CPU time: 1785.12 s c Elapsed CPU time: 15.0217 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1547 s Remaining CPU time: 1784.85 s c Elapsed CPU time: 15.2867 s Remaining CPU time: 1784.71 s c Elapsed CPU time: 15.4187 s Remaining CPU time: 1784.58 s c Elapsed CPU time: 15.5506 s Remaining CPU time: 1784.45 s c Elapsed CPU time: 15.6826 s Remaining CPU time: 1784.32 s c Elapsed CPU time: 15.8166 s Remaining CPU time: 1784.18 s c Elapsed CPU time: 15.9496 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 16.0836 s Remaining CPU time: 1783.92 s c Elapsed CPU time: 16.2165 s Remaining CPU time: 1783.78 s c Elapsed CPU time: 16.3515 s Remaining CPU time: 1783.65 s c Elapsed CPU time: 16.4845 s Remaining CPU time: 1783.52 s c Elapsed CPU time: 16.6165 s Remaining CPU time: 1783.38 s c Elapsed CPU time: 16.7515 s Remaining CPU time: 1783.25 s c Elapsed CPU time: 16.8854 s Remaining CPU time: 1783.11 s c Elapsed CPU time: 17.0244 s Remaining CPU time: 1782.98 s c Elapsed CPU time: 17.1594 s Remaining CPU time: 1782.84 s c Elapsed CPU time: 17.2934 s Remaining CPU time: 1782.71 s c Elapsed CPU time: 17.4244 s Remaining CPU time: 1782.58 s c Elapsed CPU time: 17.5583 s Remaining CPU time: 1782.44 s c Elapsed CPU time: 17.6893 s Remaining CPU time: 1782.31 s c Elapsed CPU time: 17.8253 s Remaining CPU time: 1782.17 s c Elapsed CPU time: 17.9593 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 18.0942 s Remaining CPU time: 1781.91 s c Elapsed CPU time: 18.2262 s Remaining CPU time: 1781.77 s c Elapsed CPU time: 18.3612 s Remaining CPU time: 1781.64 s c Elapsed CPU time: 18.4942 s Remaining CPU time: 1781.51 s c Elapsed CPU time: 18.6292 s Remaining CPU time: 1781.37 s c Elapsed CPU time: 18.7641 s Remaining CPU time: 1781.24 s c Elapsed CPU time: 18.8991 s Remaining CPU time: 1781.1 s c Elapsed CPU time: 19.0361 s Remaining CPU time: 1780.96 s c Elapsed CPU time: 19.1721 s Remaining CPU time: 1780.83 s c Elapsed CPU time: 19.3071 s Remaining CPU time: 1780.69 s c Elapsed CPU time: 19.442 s Remaining CPU time: 1780.56 s c Elapsed CPU time: 19.577 s Remaining CPU time: 1780.42 s c Elapsed CPU time: 19.712 s Remaining CPU time: 1780.29 s c Elapsed CPU time: 19.848 s Remaining CPU time: 1780.15 s c Elapsed CPU time: 19.983 s Remaining CPU time: 1780.02 s c Elapsed CPU time: 20.1169 s Remaining CPU time: 1779.88 s c Elapsed CPU time: 20.2529 s Remaining CPU time: 1779.75 s c Elapsed CPU time: 20.3879 s Remaining CPU time: 1779.61 s c Elapsed CPU time: 20.5249 s Remaining CPU time: 1779.48 s c Elapsed CPU time: 20.6619 s Remaining CPU time: 1779.34 s c Elapsed CPU time: 20.8028 s Remaining CPU time: 1779.2 s c Elapsed CPU time: 20.9408 s Remaining CPU time: 1779.06 s c Elapsed CPU time: 21.0798 s Remaining CPU time: 1778.92 s c Elapsed CPU time: 21.2188 s Remaining CPU time: 1778.78 s c Elapsed CPU time: 21.3568 s Remaining CPU time: 1778.64 s c Elapsed CPU time: 21.4937 s Remaining CPU time: 1778.51 s c Elapsed CPU time: 21.6297 s Remaining CPU time: 1778.37 s c Elapsed CPU time: 21.7657 s Remaining CPU time: 1778.23 s c Elapsed CPU time: 21.9027 s Remaining CPU time: 1778.1 s c Elapsed CPU time: 22.0396 s Remaining CPU time: 1777.96 s c Elapsed CPU time: 22.1786 s Remaining CPU time: 1777.82 s c Elapsed CPU time: 22.3166 s Remaining CPU time: 1777.68 s c Elapsed CPU time: 22.4556 s Remaining CPU time: 1777.54 s c Elapsed CPU time: 22.5926 s Remaining CPU time: 1777.41 s c Elapsed CPU time: 22.7315 s Remaining CPU time: 1777.27 s c Elapsed CPU time: 22.8685 s Remaining CPU time: 1777.13 s c Elapsed CPU time: 23.0065 s Remaining CPU time: 1776.99 s c Elapsed CPU time: 23.1445 s Remaining CPU time: 1776.86 s c Elapsed CPU time: 23.2825 s Remaining CPU time: 1776.72 s c Elapsed CPU time: 23.4194 s Remaining CPU time: 1776.58 s c Elapsed CPU time: 23.5584 s Remaining CPU time: 1776.44 s c Elapsed CPU time: 23.6954 s Remaining CPU time: 1776.3 s c Elapsed CPU time: 23.8334 s Remaining CPU time: 1776.17 s c Elapsed CPU time: 23.9724 s Remaining CPU time: 1776.03 s c Elapsed CPU time: 24.1103 s Remaining CPU time: 1775.89 s c Elapsed CPU time: 24.2513 s Remaining CPU time: 1775.75 s c Elapsed CPU time: 24.3923 s Remaining CPU time: 1775.61 s c Elapsed CPU time: 24.5323 s Remaining CPU time: 1775.47 s c Elapsed CPU time: 24.6752 s Remaining CPU time: 1775.32 s c Elapsed CPU time: 24.8182 s Remaining CPU time: 1775.18 s c Elapsed CPU time: 24.9632 s Remaining CPU time: 1775.04 s c Elapsed CPU time: 25.1032 s Remaining CPU time: 1774.9 s c Elapsed CPU time: 25.2482 s Remaining CPU time: 1774.75 s c Elapsed CPU time: 25.3921 s Remaining CPU time: 1774.61 s c Elapsed CPU time: 25.5351 s Remaining CPU time: 1774.46 s c Elapsed CPU time: 25.6791 s Remaining CPU time: 1774.32 s c Elapsed CPU time: 25.8221 s Remaining CPU time: 1774.18 s c Elapsed CPU time: 25.9671 s Remaining CPU time: 1774.03 s c Elapsed CPU time: 26.11 s Remaining CPU time: 1773.89 s c Elapsed CPU time: 26.256 s Remaining CPU time: 1773.74 s c Elapsed CPU time: 26.401 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.542 s Remaining CPU time: 1773.46 s c Elapsed CPU time: 26.6869 s Remaining CPU time: 1773.31 s c Elapsed CPU time: 26.8299 s Remaining CPU time: 1773.17 s c Elapsed CPU time: 26.9739 s Remaining CPU time: 1773.03 s c Elapsed CPU time: 27.1189 s Remaining CPU time: 1772.88 s c Elapsed CPU time: 27.2639 s Remaining CPU time: 1772.74 s c Elapsed CPU time: 27.4078 s Remaining CPU time: 1772.59 s c Elapsed CPU time: 27.5538 s Remaining CPU time: 1772.45 s c Elapsed CPU time: 27.6998 s Remaining CPU time: 1772.3 s c Elapsed CPU time: 27.8418 s Remaining CPU time: 1772.16 s c Elapsed CPU time: 27.9867 s Remaining CPU time: 1772.01 s c Elapsed CPU time: 28.1337 s Remaining CPU time: 1771.87 s c Elapsed CPU time: 28.2817 s Remaining CPU time: 1771.72 s c Elapsed CPU time: 28.4297 s Remaining CPU time: 1771.57 s c Elapsed CPU time: 28.5747 s Remaining CPU time: 1771.43 s c Elapsed CPU time: 28.7196 s Remaining CPU time: 1771.28 s c Elapsed CPU time: 28.8656 s Remaining CPU time: 1771.13 s c Elapsed CPU time: 29.0136 s Remaining CPU time: 1770.99 s c Elapsed CPU time: 29.1596 s Remaining CPU time: 1770.84 s c Elapsed CPU time: 29.3065 s Remaining CPU time: 1770.69 s c Elapsed CPU time: 29.4535 s Remaining CPU time: 1770.55 s c Elapsed CPU time: 29.6015 s Remaining CPU time: 1770.4 s c Elapsed CPU time: 29.7495 s Remaining CPU time: 1770.25 s c Elapsed CPU time: 29.8995 s Remaining CPU time: 1770.1 s c Elapsed CPU time: 30.0474 s Remaining CPU time: 1769.95 s c Elapsed CPU time: 30.1964 s Remaining CPU time: 1769.8 s c Elapsed CPU time: 30.3444 s Remaining CPU time: 1769.66 s c Elapsed CPU time: 30.4954 s Remaining CPU time: 1769.5 s c Elapsed CPU time: 30.6433 s Remaining CPU time: 1769.36 s c Elapsed CPU time: 30.7943 s Remaining CPU time: 1769.21 s c Elapsed CPU time: 30.9593 s Remaining CPU time: 1769.04 s c Elapsed CPU time: 31.1113 s Remaining CPU time: 1768.89 s c Elapsed CPU time: 31.2612 s Remaining CPU time: 1768.74 s c Elapsed CPU time: 31.4132 s Remaining CPU time: 1768.59 s c Elapsed CPU time: 31.5642 s Remaining CPU time: 1768.44 s c Elapsed CPU time: 31.7162 s Remaining CPU time: 1768.28 s c Elapsed CPU time: 31.8662 s Remaining CPU time: 1768.13 s c Elapsed CPU time: 32.0191 s Remaining CPU time: 1767.98 s c Elapsed CPU time: 32.1701 s Remaining CPU time: 1767.83 s c Elapsed CPU time: 32.3231 s Remaining CPU time: 1767.68 s c Elapsed CPU time: 32.4751 s Remaining CPU time: 1767.52 s c Elapsed CPU time: 32.628 s Remaining CPU time: 1767.37 s c Elapsed CPU time: 32.78 s Remaining CPU time: 1767.22 s c Elapsed CPU time: 32.934 s Remaining CPU time: 1767.07 s c Elapsed CPU time: 33.087 s Remaining CPU time: 1766.91 s c Elapsed CPU time: 33.2409 s Remaining CPU time: 1766.76 s c Elapsed CPU time: 33.3939 s Remaining CPU time: 1766.61 s c Elapsed CPU time: 33.5479 s Remaining CPU time: 1766.45 s c Elapsed CPU time: 33.6999 s Remaining CPU time: 1766.3 s c Elapsed CPU time: 33.8539 s Remaining CPU time: 1766.15 s c Elapsed CPU time: 34.0078 s Remaining CPU time: 1765.99 s c Elapsed CPU time: 34.1648 s Remaining CPU time: 1765.84 s c Elapsed CPU time: 34.3208 s Remaining CPU time: 1765.68 s c Elapsed CPU time: 34.4768 s Remaining CPU time: 1765.52 s c Elapsed CPU time: 34.6307 s Remaining CPU time: 1765.37 s c Elapsed CPU time: 34.7857 s Remaining CPU time: 1765.21 s c Elapsed CPU time: 34.9397 s Remaining CPU time: 1765.06 s c Elapsed CPU time: 35.0957 s Remaining CPU time: 1764.9 s c Elapsed CPU time: 35.2506 s Remaining CPU time: 1764.75 s c Elapsed CPU time: 35.4066 s Remaining CPU time: 1764.59 s c Elapsed CPU time: 35.5646 s Remaining CPU time: 1764.44 s c Elapsed CPU time: 35.7216 s Remaining CPU time: 1764.28 s c Elapsed CPU time: 35.8785 s Remaining CPU time: 1764.12 s c Elapsed CPU time: 36.0375 s Remaining CPU time: 1763.96 s c Elapsed CPU time: 36.1955 s Remaining CPU time: 1763.8 s c Elapsed CPU time: 36.3545 s Remaining CPU time: 1763.65 s c Elapsed CPU time: 36.5124 s Remaining CPU time: 1763.49 s c Elapsed CPU time: 36.6744 s Remaining CPU time: 1763.33 s c Elapsed CPU time: 36.8384 s Remaining CPU time: 1763.16 s c Elapsed CPU time: 36.9994 s Remaining CPU time: 1763 s c Elapsed CPU time: 37.1604 s Remaining CPU time: 1762.84 s c Elapsed CPU time: 37.3223 s Remaining CPU time: 1762.68 s c Elapsed CPU time: 37.4833 s Remaining CPU time: 1762.52 s c Elapsed CPU time: 37.6433 s Remaining CPU time: 1762.36 s c Elapsed CPU time: 37.8053 s Remaining CPU time: 1762.19 s c Elapsed CPU time: 37.9672 s Remaining CPU time: 1762.03 s c Elapsed CPU time: 38.1302 s Remaining CPU time: 1761.87 s c Elapsed CPU time: 38.2912 s Remaining CPU time: 1761.71 s c Elapsed CPU time: 38.4532 s Remaining CPU time: 1761.55 s c Elapsed CPU time: 38.6171 s Remaining CPU time: 1761.38 s c Elapsed CPU time: 38.7801 s Remaining CPU time: 1761.22 s c Elapsed CPU time: 38.9441 s Remaining CPU time: 1761.06 s c Elapsed CPU time: 39.1071 s Remaining CPU time: 1760.89 s c Elapsed CPU time: 39.271 s Remaining CPU time: 1760.73 s c Elapsed CPU time: 39.434 s Remaining CPU time: 1760.57 s c Elapsed CPU time: 39.598 s Remaining CPU time: 1760.4 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 26 113212 217836 | 37737 0 nan | 0.000 % | c =============================================================================== c Verified 113212 original clauses.