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.19297 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.301954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.739887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85087 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07484 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52077 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63275 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74274 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.85472 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9657 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.07768 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19167 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.30565 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.52861 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6426 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.75358 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86756 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.98055 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09553 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.20951 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.32449 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43948 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.55346 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.66744 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.78143 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.89541 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 4.01039 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.12437 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.23836 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.35334 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.46532 s Remaining CPU time: 1795.53 s c Elapsed CPU time: 4.5803 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.69829 s Remaining CPU time: 1795.3 s c Elapsed CPU time: 4.81427 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.92825 s Remaining CPU time: 1795.07 s c Elapsed CPU time: 5.04223 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.15822 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.2702 s Remaining CPU time: 1794.73 s c Elapsed CPU time: 5.38318 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.49516 s Remaining CPU time: 1794.5 s c Elapsed CPU time: 5.60715 s Remaining CPU time: 1794.39 s c Elapsed CPU time: 5.72113 s Remaining CPU time: 1794.28 s c Elapsed CPU time: 5.83511 s Remaining CPU time: 1794.16 s c Elapsed CPU time: 5.9471 s Remaining CPU time: 1794.05 s c Elapsed CPU time: 6.06108 s Remaining CPU time: 1793.94 s c Elapsed CPU time: 6.17406 s Remaining CPU time: 1793.83 s c Elapsed CPU time: 6.29604 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.42302 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.55 s Remaining CPU time: 1793.45 s c Elapsed CPU time: 6.67698 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.80396 s Remaining CPU time: 1793.2 s c Elapsed CPU time: 6.93095 s Remaining CPU time: 1793.07 s c Elapsed CPU time: 7.05793 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.18491 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.31289 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.43787 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.56485 s Remaining CPU time: 1792.44 s c Elapsed CPU time: 7.69083 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.81781 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.94279 s Remaining CPU time: 1792.06 s c Elapsed CPU time: 8.05578 s Remaining CPU time: 1791.94 s c Elapsed CPU time: 8.17076 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.28474 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.40672 s Remaining CPU time: 1791.59 s c Elapsed CPU time: 8.5337 s Remaining CPU time: 1791.47 s c Elapsed CPU time: 8.66068 s Remaining CPU time: 1791.34 s c Elapsed CPU time: 8.78866 s Remaining CPU time: 1791.21 s c Elapsed CPU time: 8.91364 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 9.04162 s Remaining CPU time: 1790.96 s c Elapsed CPU time: 9.16761 s Remaining CPU time: 1790.83 s c Elapsed CPU time: 9.29659 s Remaining CPU time: 1790.7 s c Elapsed CPU time: 9.42257 s Remaining CPU time: 1790.58 s c Elapsed CPU time: 9.54955 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.67553 s Remaining CPU time: 1790.32 s c Elapsed CPU time: 9.80151 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.92849 s Remaining CPU time: 1790.07 s c Elapsed CPU time: 10.0565 s Remaining CPU time: 1789.94 s c Elapsed CPU time: 10.1835 s Remaining CPU time: 1789.82 s c Elapsed CPU time: 10.3104 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4374 s Remaining CPU time: 1789.56 s c Elapsed CPU time: 10.5634 s Remaining CPU time: 1789.44 s c Elapsed CPU time: 10.6894 s Remaining CPU time: 1789.31 s c Elapsed CPU time: 10.8164 s Remaining CPU time: 1789.18 s c Elapsed CPU time: 10.9443 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 11.0723 s Remaining CPU time: 1788.93 s c Elapsed CPU time: 11.1983 s Remaining CPU time: 1788.8 s c Elapsed CPU time: 11.3263 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4533 s Remaining CPU time: 1788.55 s c Elapsed CPU time: 11.5802 s Remaining CPU time: 1788.42 s c Elapsed CPU time: 11.7072 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.8342 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.9612 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 12.0882 s Remaining CPU time: 1787.91 s c Elapsed CPU time: 12.2171 s Remaining CPU time: 1787.78 s c Elapsed CPU time: 12.3451 s Remaining CPU time: 1787.65 s c Elapsed CPU time: 12.4731 s Remaining CPU time: 1787.53 s c Elapsed CPU time: 12.6001 s Remaining CPU time: 1787.4 s c Elapsed CPU time: 12.7261 s Remaining CPU time: 1787.27 s c Elapsed CPU time: 12.846 s Remaining CPU time: 1787.15 s c Elapsed CPU time: 12.975 s Remaining CPU time: 1787.02 s c Elapsed CPU time: 13.103 s Remaining CPU time: 1786.9 s c Elapsed CPU time: 13.232 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.358 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.4869 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.6149 s Remaining CPU time: 1786.39 s c Elapsed CPU time: 13.7439 s Remaining CPU time: 1786.26 s c Elapsed CPU time: 13.8729 s Remaining CPU time: 1786.13 s c Elapsed CPU time: 14.0009 s Remaining CPU time: 1786 s c Elapsed CPU time: 14.1279 s Remaining CPU time: 1785.87 s c Elapsed CPU time: 14.2568 s Remaining CPU time: 1785.74 s c Elapsed CPU time: 14.3848 s Remaining CPU time: 1785.62 s c Elapsed CPU time: 14.5148 s Remaining CPU time: 1785.49 s c Elapsed CPU time: 14.6428 s Remaining CPU time: 1785.36 s c Elapsed CPU time: 14.7718 s Remaining CPU time: 1785.23 s c Elapsed CPU time: 14.9007 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0307 s Remaining CPU time: 1784.97 s c Elapsed CPU time: 15.1597 s Remaining CPU time: 1784.84 s c Elapsed CPU time: 15.2897 s Remaining CPU time: 1784.71 s c Elapsed CPU time: 15.4177 s Remaining CPU time: 1784.58 s c Elapsed CPU time: 15.5466 s Remaining CPU time: 1784.45 s c Elapsed CPU time: 15.6766 s Remaining CPU time: 1784.32 s c Elapsed CPU time: 15.8046 s Remaining CPU time: 1784.2 s c Elapsed CPU time: 15.9346 s Remaining CPU time: 1784.07 s c Elapsed CPU time: 16.0656 s Remaining CPU time: 1783.93 s c Elapsed CPU time: 16.1935 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3245 s Remaining CPU time: 1783.68 s c Elapsed CPU time: 16.4565 s Remaining CPU time: 1783.54 s c Elapsed CPU time: 16.5895 s Remaining CPU time: 1783.41 s c Elapsed CPU time: 16.7205 s Remaining CPU time: 1783.28 s c Elapsed CPU time: 16.8524 s Remaining CPU time: 1783.15 s c Elapsed CPU time: 16.9834 s Remaining CPU time: 1783.02 s c Elapsed CPU time: 17.1164 s Remaining CPU time: 1782.88 s c Elapsed CPU time: 17.2504 s Remaining CPU time: 1782.75 s c Elapsed CPU time: 17.3854 s Remaining CPU time: 1782.61 s c Elapsed CPU time: 17.5173 s Remaining CPU time: 1782.48 s c Elapsed CPU time: 17.6493 s Remaining CPU time: 1782.35 s c Elapsed CPU time: 17.7803 s Remaining CPU time: 1782.22 s c Elapsed CPU time: 17.9143 s Remaining CPU time: 1782.09 s c Elapsed CPU time: 18.0503 s Remaining CPU time: 1781.95 s c Elapsed CPU time: 18.1822 s Remaining CPU time: 1781.82 s c Elapsed CPU time: 18.3122 s Remaining CPU time: 1781.69 s c Elapsed CPU time: 18.4432 s Remaining CPU time: 1781.56 s c Elapsed CPU time: 18.5742 s Remaining CPU time: 1781.43 s c Elapsed CPU time: 18.7082 s Remaining CPU time: 1781.29 s c Elapsed CPU time: 18.8451 s Remaining CPU time: 1781.15 s c Elapsed CPU time: 18.9791 s Remaining CPU time: 1781.02 s c Elapsed CPU time: 19.1111 s Remaining CPU time: 1780.89 s c Elapsed CPU time: 19.2451 s Remaining CPU time: 1780.75 s c Elapsed CPU time: 19.3811 s Remaining CPU time: 1780.62 s c Elapsed CPU time: 19.515 s Remaining CPU time: 1780.48 s c Elapsed CPU time: 19.653 s Remaining CPU time: 1780.35 s c Elapsed CPU time: 19.789 s Remaining CPU time: 1780.21 s c Elapsed CPU time: 19.924 s Remaining CPU time: 1780.08 s c Elapsed CPU time: 20.058 s Remaining CPU time: 1779.94 s c Elapsed CPU time: 20.1929 s Remaining CPU time: 1779.81 s c Elapsed CPU time: 20.3299 s Remaining CPU time: 1779.67 s c Elapsed CPU time: 20.4669 s Remaining CPU time: 1779.53 s c Elapsed CPU time: 20.6019 s Remaining CPU time: 1779.4 s c Elapsed CPU time: 20.7368 s Remaining CPU time: 1779.26 s c Elapsed CPU time: 20.8728 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 21.0088 s Remaining CPU time: 1778.99 s c Elapsed CPU time: 21.1468 s Remaining CPU time: 1778.85 s c Elapsed CPU time: 21.2858 s Remaining CPU time: 1778.71 s c Elapsed CPU time: 21.4207 s Remaining CPU time: 1778.58 s c Elapsed CPU time: 21.5577 s Remaining CPU time: 1778.44 s c Elapsed CPU time: 21.6937 s Remaining CPU time: 1778.31 s c Elapsed CPU time: 21.8327 s Remaining CPU time: 1778.17 s c Elapsed CPU time: 21.9717 s Remaining CPU time: 1778.03 s c Elapsed CPU time: 22.1106 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2466 s Remaining CPU time: 1777.75 s c Elapsed CPU time: 22.3846 s Remaining CPU time: 1777.62 s c Elapsed CPU time: 22.5226 s Remaining CPU time: 1777.48 s c Elapsed CPU time: 22.6636 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.8015 s Remaining CPU time: 1777.2 s c Elapsed CPU time: 22.9415 s Remaining CPU time: 1777.06 s c Elapsed CPU time: 23.0795 s Remaining CPU time: 1776.92 s c Elapsed CPU time: 23.2215 s Remaining CPU time: 1776.78 s c Elapsed CPU time: 23.3664 s Remaining CPU time: 1776.63 s c Elapsed CPU time: 23.5094 s Remaining CPU time: 1776.49 s c Elapsed CPU time: 23.6494 s Remaining CPU time: 1776.35 s c Elapsed CPU time: 23.7934 s Remaining CPU time: 1776.21 s c Elapsed CPU time: 23.9374 s Remaining CPU time: 1776.06 s c Elapsed CPU time: 24.0823 s Remaining CPU time: 1775.92 s c Elapsed CPU time: 24.2253 s Remaining CPU time: 1775.77 s c Elapsed CPU time: 24.3653 s Remaining CPU time: 1775.63 s c Elapsed CPU time: 24.5103 s Remaining CPU time: 1775.49 s c Elapsed CPU time: 24.6563 s Remaining CPU time: 1775.34 s c Elapsed CPU time: 24.8012 s Remaining CPU time: 1775.2 s c Elapsed CPU time: 24.9432 s Remaining CPU time: 1775.06 s c Elapsed CPU time: 25.0872 s Remaining CPU time: 1774.91 s c Elapsed CPU time: 25.2332 s Remaining CPU time: 1774.77 s c Elapsed CPU time: 25.3771 s Remaining CPU time: 1774.62 s c Elapsed CPU time: 25.5201 s Remaining CPU time: 1774.48 s c Elapsed CPU time: 25.6671 s Remaining CPU time: 1774.33 s c Elapsed CPU time: 25.8151 s Remaining CPU time: 1774.18 s c Elapsed CPU time: 25.9601 s Remaining CPU time: 1774.04 s c Elapsed CPU time: 26.103 s Remaining CPU time: 1773.9 s c Elapsed CPU time: 26.248 s Remaining CPU time: 1773.75 s c Elapsed CPU time: 26.396 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.54 s Remaining CPU time: 1773.46 s c Elapsed CPU time: 26.6839 s Remaining CPU time: 1773.32 s c Elapsed CPU time: 26.8299 s Remaining CPU time: 1773.17 s c Elapsed CPU time: 26.9809 s Remaining CPU time: 1773.02 s c Elapsed CPU time: 27.1249 s Remaining CPU time: 1772.88 s c Elapsed CPU time: 27.2709 s Remaining CPU time: 1772.73 s c Elapsed CPU time: 27.4178 s Remaining CPU time: 1772.58 s c Elapsed CPU time: 27.5668 s Remaining CPU time: 1772.43 s c Elapsed CPU time: 27.7158 s Remaining CPU time: 1772.28 s c Elapsed CPU time: 27.8628 s Remaining CPU time: 1772.14 s c Elapsed CPU time: 28.0077 s Remaining CPU time: 1771.99 s c Elapsed CPU time: 28.1547 s Remaining CPU time: 1771.85 s c Elapsed CPU time: 28.3057 s Remaining CPU time: 1771.69 s c Elapsed CPU time: 28.4527 s Remaining CPU time: 1771.55 s c Elapsed CPU time: 28.6037 s Remaining CPU time: 1771.4 s c Elapsed CPU time: 28.7526 s Remaining CPU time: 1771.25 s c Elapsed CPU time: 28.8996 s Remaining CPU time: 1771.1 s c Elapsed CPU time: 29.0496 s Remaining CPU time: 1770.95 s c Elapsed CPU time: 29.1996 s Remaining CPU time: 1770.8 s c Elapsed CPU time: 29.3505 s Remaining CPU time: 1770.65 s c Elapsed CPU time: 29.4965 s Remaining CPU time: 1770.5 s c Elapsed CPU time: 29.6455 s Remaining CPU time: 1770.35 s c Elapsed CPU time: 29.7965 s Remaining CPU time: 1770.2 s c Elapsed CPU time: 29.9464 s Remaining CPU time: 1770.05 s c Elapsed CPU time: 30.0934 s Remaining CPU time: 1769.91 s c Elapsed CPU time: 30.2434 s Remaining CPU time: 1769.76 s c Elapsed CPU time: 30.3954 s Remaining CPU time: 1769.6 s c Elapsed CPU time: 30.5434 s Remaining CPU time: 1769.46 s c Elapsed CPU time: 30.6933 s Remaining CPU time: 1769.31 s c Elapsed CPU time: 30.8433 s Remaining CPU time: 1769.16 s c Elapsed CPU time: 30.9903 s Remaining CPU time: 1769.01 s c Elapsed CPU time: 31.1413 s Remaining CPU time: 1768.86 s c Elapsed CPU time: 31.2942 s Remaining CPU time: 1768.71 s c Elapsed CPU time: 31.4452 s Remaining CPU time: 1768.55 s c Elapsed CPU time: 31.5972 s Remaining CPU time: 1768.4 s c Elapsed CPU time: 31.7502 s Remaining CPU time: 1768.25 s c Elapsed CPU time: 31.9031 s Remaining CPU time: 1768.1 s c Elapsed CPU time: 32.0521 s Remaining CPU time: 1767.95 s c Elapsed CPU time: 32.2051 s Remaining CPU time: 1767.79 s c Elapsed CPU time: 32.3611 s Remaining CPU time: 1767.64 s c Elapsed CPU time: 32.5131 s Remaining CPU time: 1767.49 s c Elapsed CPU time: 32.665 s Remaining CPU time: 1767.33 s c Elapsed CPU time: 32.819 s Remaining CPU time: 1767.18 s c Elapsed CPU time: 32.975 s Remaining CPU time: 1767.03 s c Elapsed CPU time: 33.131 s Remaining CPU time: 1766.87 s c Elapsed CPU time: 33.2829 s Remaining CPU time: 1766.72 s c Elapsed CPU time: 33.4389 s Remaining CPU time: 1766.56 s c Elapsed CPU time: 33.5939 s Remaining CPU time: 1766.41 s c Elapsed CPU time: 33.7499 s Remaining CPU time: 1766.25 s c Elapsed CPU time: 33.9008 s Remaining CPU time: 1766.1 s c Elapsed CPU time: 34.0628 s Remaining CPU time: 1765.94 s c Elapsed CPU time: 34.2178 s Remaining CPU time: 1765.78 s c Elapsed CPU time: 34.3718 s Remaining CPU time: 1765.63 s c Elapsed CPU time: 34.5277 s Remaining CPU time: 1765.47 s c Elapsed CPU time: 34.6847 s Remaining CPU time: 1765.32 s c Elapsed CPU time: 34.8377 s Remaining CPU time: 1765.16 s c Elapsed CPU time: 34.9937 s Remaining CPU time: 1765.01 s c Elapsed CPU time: 35.1497 s Remaining CPU time: 1764.85 s c Elapsed CPU time: 35.3056 s Remaining CPU time: 1764.69 s c Elapsed CPU time: 35.4616 s Remaining CPU time: 1764.54 s c Elapsed CPU time: 35.6206 s Remaining CPU time: 1764.38 s c Elapsed CPU time: 35.7796 s Remaining CPU time: 1764.22 s c Elapsed CPU time: 35.9365 s Remaining CPU time: 1764.06 s c Elapsed CPU time: 36.0945 s Remaining CPU time: 1763.91 s c Elapsed CPU time: 36.2535 s Remaining CPU time: 1763.75 s c Elapsed CPU time: 36.4125 s Remaining CPU time: 1763.59 s c Elapsed CPU time: 36.5714 s Remaining CPU time: 1763.43 s c Elapsed CPU time: 36.7304 s Remaining CPU time: 1763.27 s c Elapsed CPU time: 36.8914 s Remaining CPU time: 1763.11 s c Elapsed CPU time: 37.0474 s Remaining CPU time: 1762.95 s c Elapsed CPU time: 37.2063 s Remaining CPU time: 1762.79 s c Elapsed CPU time: 37.3683 s Remaining CPU time: 1762.63 s c Elapsed CPU time: 37.5253 s Remaining CPU time: 1762.47 s c Elapsed CPU time: 37.6853 s Remaining CPU time: 1762.31 s c Elapsed CPU time: 37.8452 s Remaining CPU time: 1762.15 s c Elapsed CPU time: 38.0072 s Remaining CPU time: 1761.99 s c Elapsed CPU time: 38.1652 s Remaining CPU time: 1761.83 s c Elapsed CPU time: 38.3272 s Remaining CPU time: 1761.67 s c Elapsed CPU time: 38.4881 s Remaining CPU time: 1761.51 s c Elapsed CPU time: 38.6511 s Remaining CPU time: 1761.35 s c Elapsed CPU time: 38.8121 s Remaining CPU time: 1761.19 s c Elapsed CPU time: 38.9731 s Remaining CPU time: 1761.03 s c Elapsed CPU time: 39.139 s Remaining CPU time: 1760.86 s c Elapsed CPU time: 39.303 s Remaining CPU time: 1760.7 s c Elapsed CPU time: 39.466 s Remaining CPU time: 1760.53 s c Elapsed CPU time: 39.631 s Remaining CPU time: 1760.37 s c Elapsed CPU time: 39.795 s Remaining CPU time: 1760.21 s c Elapsed CPU time: 39.9569 s Remaining CPU time: 1760.04 s c Elapsed CPU time: 40.1199 s Remaining CPU time: 1759.88 s c Elapsed CPU time: 40.2839 s Remaining CPU time: 1759.72 s c Elapsed CPU time: 40.4519 s Remaining CPU time: 1759.55 s c Elapsed CPU time: 40.6148 s Remaining CPU time: 1759.39 s c Elapsed CPU time: 40.7788 s Remaining CPU time: 1759.22 s c Elapsed CPU time: 40.9468 s Remaining CPU time: 1759.05 s c Elapsed CPU time: 41.1147 s Remaining CPU time: 1758.89 s c Elapsed CPU time: 41.2787 s Remaining CPU time: 1758.72 s c Elapsed CPU time: 41.4447 s Remaining CPU time: 1758.56 s c Elapsed CPU time: 41.6147 s Remaining CPU time: 1758.39 s c Elapsed CPU time: 41.7836 s Remaining CPU time: 1758.22 s c Elapsed CPU time: 41.9466 s Remaining CPU time: 1758.05 s c Elapsed CPU time: 42.1146 s Remaining CPU time: 1757.89 s c Elapsed CPU time: 42.2836 s Remaining CPU time: 1757.72 s c Elapsed CPU time: 42.4505 s Remaining CPU time: 1757.55 s c Elapsed CPU time: 42.6165 s Remaining CPU time: 1757.38 s c Elapsed CPU time: 42.7865 s Remaining CPU time: 1757.21 s c Elapsed CPU time: 42.9555 s Remaining CPU time: 1757.04 s c Elapsed CPU time: 43.1244 s Remaining CPU time: 1756.88 s c Elapsed CPU time: 43.2904 s Remaining CPU time: 1756.71 s c Elapsed CPU time: 43.4594 s Remaining CPU time: 1756.54 s c Elapsed CPU time: 43.6314 s Remaining CPU time: 1756.37 s c Elapsed CPU time: 43.7963 s Remaining CPU time: 1756.2 s c Elapsed CPU time: 43.9663 s Remaining CPU time: 1756.03 s c Elapsed CPU time: 44.1373 s Remaining CPU time: 1755.86 s c Elapsed CPU time: 44.3123 s Remaining CPU time: 1755.69 s c Elapsed CPU time: 44.4792 s Remaining CPU time: 1755.52 s c Elapsed CPU time: 44.6482 s Remaining CPU time: 1755.35 s c Elapsed CPU time: 44.8212 s Remaining CPU time: 1755.18 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113287 217855 | 37762 0 nan | 0.000 % | c =============================================================================== c Verified 113287 original clauses.