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: 49525 | c | Number of clauses: 140091 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.10 s | c | Number Variables: 49525 | c | Number Clauses: 140091 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.710891 s Remaining CPU time: 1799.29 s c Elapsed CPU time: 0.859869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 1.00985 s Remaining CPU time: 1798.99 s c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s c Elapsed CPU time: 1.3068 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.45678 s Remaining CPU time: 1798.54 s c Elapsed CPU time: 1.60476 s Remaining CPU time: 1798.4 s c Elapsed CPU time: 1.75173 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.89971 s Remaining CPU time: 1798.1 s c Elapsed CPU time: 2.04669 s Remaining CPU time: 1797.95 s c Elapsed CPU time: 2.19467 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.34164 s Remaining CPU time: 1797.66 s c Elapsed CPU time: 2.48962 s Remaining CPU time: 1797.51 s c Elapsed CPU time: 2.6376 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.78458 s Remaining CPU time: 1797.22 s c Elapsed CPU time: 2.93355 s Remaining CPU time: 1797.07 s c Elapsed CPU time: 3.08053 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.22851 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.37749 s Remaining CPU time: 1796.62 s c Elapsed CPU time: 3.52346 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.67144 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.82142 s Remaining CPU time: 1796.18 s c Elapsed CPU time: 3.9704 s Remaining CPU time: 1796.03 s c Elapsed CPU time: 4.11837 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.26735 s Remaining CPU time: 1795.73 s c Elapsed CPU time: 4.41633 s Remaining CPU time: 1795.58 s c Elapsed CPU time: 4.56531 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.71528 s Remaining CPU time: 1795.28 s c Elapsed CPU time: 4.86526 s Remaining CPU time: 1795.13 s c Elapsed CPU time: 5.01524 s Remaining CPU time: 1794.98 s c Elapsed CPU time: 5.16421 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.31419 s Remaining CPU time: 1794.69 s c Elapsed CPU time: 5.46217 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.61515 s Remaining CPU time: 1794.38 s c Elapsed CPU time: 5.76412 s Remaining CPU time: 1794.24 s c Elapsed CPU time: 5.9151 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 6.06508 s Remaining CPU time: 1793.93 s c Elapsed CPU time: 6.21705 s Remaining CPU time: 1793.78 s c Elapsed CPU time: 6.36703 s Remaining CPU time: 1793.63 s c Elapsed CPU time: 6.51801 s Remaining CPU time: 1793.48 s c Elapsed CPU time: 6.66599 s Remaining CPU time: 1793.33 s c Elapsed CPU time: 6.81596 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.96594 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.11492 s Remaining CPU time: 1792.89 s c Elapsed CPU time: 7.2649 s Remaining CPU time: 1792.74 s c Elapsed CPU time: 7.41787 s Remaining CPU time: 1792.58 s c Elapsed CPU time: 7.56885 s Remaining CPU time: 1792.43 s c Elapsed CPU time: 7.71883 s Remaining CPU time: 1792.28 s c Elapsed CPU time: 7.8718 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 8.02378 s Remaining CPU time: 1791.98 s c Elapsed CPU time: 8.17476 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.32673 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.48671 s Remaining CPU time: 1791.51 s c Elapsed CPU time: 8.63669 s Remaining CPU time: 1791.36 s c Elapsed CPU time: 8.78566 s Remaining CPU time: 1791.21 s c Elapsed CPU time: 8.93464 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 9.08762 s Remaining CPU time: 1790.91 s c Elapsed CPU time: 9.23959 s Remaining CPU time: 1790.76 s c Elapsed CPU time: 9.39257 s Remaining CPU time: 1790.61 s c Elapsed CPU time: 9.54555 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.69753 s Remaining CPU time: 1790.3 s c Elapsed CPU time: 9.8485 s Remaining CPU time: 1790.15 s c Elapsed CPU time: 9.99748 s Remaining CPU time: 1790 s c Elapsed CPU time: 10.1475 s Remaining CPU time: 1789.85 s c Elapsed CPU time: 10.2984 s Remaining CPU time: 1789.7 s c Elapsed CPU time: 10.4524 s Remaining CPU time: 1789.55 s c Elapsed CPU time: 10.6044 s Remaining CPU time: 1789.4 s c Elapsed CPU time: 10.7554 s Remaining CPU time: 1789.24 s c Elapsed CPU time: 10.9153 s Remaining CPU time: 1789.08 s c Elapsed CPU time: 11.0693 s Remaining CPU time: 1788.93 s c Elapsed CPU time: 11.2243 s Remaining CPU time: 1788.78 s c Elapsed CPU time: 11.3803 s Remaining CPU time: 1788.62 s c Elapsed CPU time: 11.5322 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.6862 s Remaining CPU time: 1788.31 s c Elapsed CPU time: 11.8382 s Remaining CPU time: 1788.16 s c Elapsed CPU time: 11.9922 s Remaining CPU time: 1788.01 s c Elapsed CPU time: 12.1442 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.2971 s Remaining CPU time: 1787.7 s c Elapsed CPU time: 12.4481 s Remaining CPU time: 1787.55 s c Elapsed CPU time: 12.6001 s Remaining CPU time: 1787.4 s c Elapsed CPU time: 12.7521 s Remaining CPU time: 1787.25 s c Elapsed CPU time: 12.906 s Remaining CPU time: 1787.09 s c Elapsed CPU time: 13.058 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.211 s Remaining CPU time: 1786.79 s c Elapsed CPU time: 13.363 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.5149 s Remaining CPU time: 1786.49 s c Elapsed CPU time: 13.6669 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.8189 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.9709 s Remaining CPU time: 1786.03 s c Elapsed CPU time: 14.1269 s Remaining CPU time: 1785.87 s c Elapsed CPU time: 14.2798 s Remaining CPU time: 1785.72 s c Elapsed CPU time: 14.4338 s Remaining CPU time: 1785.57 s c Elapsed CPU time: 14.5858 s Remaining CPU time: 1785.41 s c Elapsed CPU time: 14.7398 s Remaining CPU time: 1785.26 s c Elapsed CPU time: 14.8937 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 15.0477 s Remaining CPU time: 1784.95 s c Elapsed CPU time: 15.2017 s Remaining CPU time: 1784.8 s c Elapsed CPU time: 15.3597 s Remaining CPU time: 1784.64 s c Elapsed CPU time: 15.5136 s Remaining CPU time: 1784.49 s c Elapsed CPU time: 15.6676 s Remaining CPU time: 1784.33 s c Elapsed CPU time: 15.8206 s Remaining CPU time: 1784.18 s c Elapsed CPU time: 15.9736 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 16.1285 s Remaining CPU time: 1783.87 s c Elapsed CPU time: 16.2855 s Remaining CPU time: 1783.71 s c Elapsed CPU time: 16.4405 s Remaining CPU time: 1783.56 s c Elapsed CPU time: 16.5975 s Remaining CPU time: 1783.4 s c Elapsed CPU time: 16.7535 s Remaining CPU time: 1783.25 s c Elapsed CPU time: 16.9094 s Remaining CPU time: 1783.09 s c Elapsed CPU time: 17.0644 s Remaining CPU time: 1782.94 s c Elapsed CPU time: 17.2214 s Remaining CPU time: 1782.78 s c Elapsed CPU time: 17.3784 s Remaining CPU time: 1782.62 s c Elapsed CPU time: 17.5353 s Remaining CPU time: 1782.46 s c Elapsed CPU time: 17.6903 s Remaining CPU time: 1782.31 s c Elapsed CPU time: 17.8493 s Remaining CPU time: 1782.15 s c Elapsed CPU time: 18.0103 s Remaining CPU time: 1781.99 s c Elapsed CPU time: 18.1822 s Remaining CPU time: 1781.82 s c Elapsed CPU time: 18.3442 s Remaining CPU time: 1781.66 s c Elapsed CPU time: 18.5012 s Remaining CPU time: 1781.5 s c Elapsed CPU time: 18.6602 s Remaining CPU time: 1781.34 s c Elapsed CPU time: 18.8211 s Remaining CPU time: 1781.18 s c Elapsed CPU time: 18.9791 s Remaining CPU time: 1781.02 s c Elapsed CPU time: 19.1381 s Remaining CPU time: 1780.86 s c Elapsed CPU time: 19.2971 s Remaining CPU time: 1780.7 s c Elapsed CPU time: 19.457 s Remaining CPU time: 1780.54 s c Elapsed CPU time: 19.615 s Remaining CPU time: 1780.38 s c Elapsed CPU time: 19.774 s Remaining CPU time: 1780.23 s c Elapsed CPU time: 19.933 s Remaining CPU time: 1780.07 s c Elapsed CPU time: 20.0939 s Remaining CPU time: 1779.91 s c Elapsed CPU time: 20.2529 s Remaining CPU time: 1779.75 s c Elapsed CPU time: 20.4129 s Remaining CPU time: 1779.59 s c Elapsed CPU time: 20.5709 s Remaining CPU time: 1779.43 s c Elapsed CPU time: 20.7308 s Remaining CPU time: 1779.27 s c Elapsed CPU time: 20.8908 s Remaining CPU time: 1779.11 s c Elapsed CPU time: 21.0518 s Remaining CPU time: 1778.95 s c Elapsed CPU time: 21.2118 s Remaining CPU time: 1778.79 s c Elapsed CPU time: 21.3738 s Remaining CPU time: 1778.63 s c Elapsed CPU time: 21.5337 s Remaining CPU time: 1778.47 s c Elapsed CPU time: 21.6937 s Remaining CPU time: 1778.31 s c Elapsed CPU time: 21.8537 s Remaining CPU time: 1778.15 s c Elapsed CPU time: 22.0197 s Remaining CPU time: 1777.98 s c Elapsed CPU time: 22.1806 s Remaining CPU time: 1777.82 s c Elapsed CPU time: 22.3446 s Remaining CPU time: 1777.66 s c Elapsed CPU time: 22.5056 s Remaining CPU time: 1777.49 s c Elapsed CPU time: 22.6706 s Remaining CPU time: 1777.33 s c Elapsed CPU time: 22.8315 s Remaining CPU time: 1777.17 s c Elapsed CPU time: 22.9935 s Remaining CPU time: 1777.01 s c Elapsed CPU time: 23.1545 s Remaining CPU time: 1776.85 s c Elapsed CPU time: 23.3165 s Remaining CPU time: 1776.68 s c Elapsed CPU time: 23.4794 s Remaining CPU time: 1776.52 s c Elapsed CPU time: 23.6424 s Remaining CPU time: 1776.36 s c Elapsed CPU time: 23.8044 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.9674 s Remaining CPU time: 1776.03 s c Elapsed CPU time: 24.1313 s Remaining CPU time: 1775.87 s c Elapsed CPU time: 24.2953 s Remaining CPU time: 1775.7 s c Elapsed CPU time: 24.4563 s Remaining CPU time: 1775.54 s c Elapsed CPU time: 24.6243 s Remaining CPU time: 1775.38 s c Elapsed CPU time: 24.7902 s Remaining CPU time: 1775.21 s c Elapsed CPU time: 24.9562 s Remaining CPU time: 1775.04 s c Elapsed CPU time: 25.1222 s Remaining CPU time: 1774.88 s c Elapsed CPU time: 25.2872 s Remaining CPU time: 1774.71 s c Elapsed CPU time: 25.4521 s Remaining CPU time: 1774.55 s c Elapsed CPU time: 25.6211 s Remaining CPU time: 1774.38 s c Elapsed CPU time: 25.7871 s Remaining CPU time: 1774.21 s c Elapsed CPU time: 25.9541 s Remaining CPU time: 1774.05 s c Elapsed CPU time: 26.12 s Remaining CPU time: 1773.88 s c Elapsed CPU time: 26.286 s Remaining CPU time: 1773.71 s c Elapsed CPU time: 26.454 s Remaining CPU time: 1773.55 s c Elapsed CPU time: 26.621 s Remaining CPU time: 1773.38 s c Elapsed CPU time: 26.7879 s Remaining CPU time: 1773.21 s c Elapsed CPU time: 26.9559 s Remaining CPU time: 1773.04 s c Elapsed CPU time: 27.1259 s Remaining CPU time: 1772.87 s c Elapsed CPU time: 27.2949 s Remaining CPU time: 1772.71 s c Elapsed CPU time: 27.4638 s Remaining CPU time: 1772.54 s c Elapsed CPU time: 27.6328 s Remaining CPU time: 1772.37 s c Elapsed CPU time: 27.8038 s Remaining CPU time: 1772.2 s c Elapsed CPU time: 27.9747 s Remaining CPU time: 1772.03 s c Elapsed CPU time: 28.1477 s Remaining CPU time: 1771.85 s c Elapsed CPU time: 28.3187 s Remaining CPU time: 1771.68 s c Elapsed CPU time: 28.4887 s Remaining CPU time: 1771.51 s c Elapsed CPU time: 28.6606 s Remaining CPU time: 1771.34 s c Elapsed CPU time: 28.8336 s Remaining CPU time: 1771.17 s c Elapsed CPU time: 29.0066 s Remaining CPU time: 1770.99 s c Elapsed CPU time: 29.1786 s Remaining CPU time: 1770.82 s c Elapsed CPU time: 29.3525 s Remaining CPU time: 1770.65 s c Elapsed CPU time: 29.5245 s Remaining CPU time: 1770.48 s c Elapsed CPU time: 29.6935 s Remaining CPU time: 1770.31 s c Elapsed CPU time: 29.8645 s Remaining CPU time: 1770.14 s c Elapsed CPU time: 30.0354 s Remaining CPU time: 1769.96 s c Elapsed CPU time: 30.2074 s Remaining CPU time: 1769.79 s c Elapsed CPU time: 30.3824 s Remaining CPU time: 1769.62 s c Elapsed CPU time: 30.5524 s Remaining CPU time: 1769.45 s c Elapsed CPU time: 30.7263 s Remaining CPU time: 1769.27 s c Elapsed CPU time: 30.8983 s Remaining CPU time: 1769.1 s c Elapsed CPU time: 31.0703 s Remaining CPU time: 1768.93 s c Elapsed CPU time: 31.2422 s Remaining CPU time: 1768.76 s c Elapsed CPU time: 31.4192 s Remaining CPU time: 1768.58 s c Elapsed CPU time: 31.5892 s Remaining CPU time: 1768.41 s c Elapsed CPU time: 31.7652 s Remaining CPU time: 1768.23 s c Elapsed CPU time: 31.9361 s Remaining CPU time: 1768.06 s c Elapsed CPU time: 32.1121 s Remaining CPU time: 1767.89 s c Elapsed CPU time: 32.2861 s Remaining CPU time: 1767.71 s c Elapsed CPU time: 32.4631 s Remaining CPU time: 1767.54 s c Elapsed CPU time: 32.638 s Remaining CPU time: 1767.36 s c Elapsed CPU time: 32.814 s Remaining CPU time: 1767.19 s c Elapsed CPU time: 32.989 s Remaining CPU time: 1767.01 s c Elapsed CPU time: 33.165 s Remaining CPU time: 1766.84 s c Elapsed CPU time: 33.3419 s Remaining CPU time: 1766.66 s c Elapsed CPU time: 33.5179 s Remaining CPU time: 1766.48 s c Elapsed CPU time: 33.6949 s Remaining CPU time: 1766.31 s c Elapsed CPU time: 33.8708 s Remaining CPU time: 1766.13 s c Elapsed CPU time: 34.0518 s Remaining CPU time: 1765.95 s c Elapsed CPU time: 34.2308 s Remaining CPU time: 1765.77 s c Elapsed CPU time: 34.4098 s Remaining CPU time: 1765.59 s c Elapsed CPU time: 34.5877 s Remaining CPU time: 1765.41 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 17922 140309 234690 | 46769 0 nan | 0.000 % | c =============================================================================== c Verified 140309 original clauses.