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.07 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.189971 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.51992 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.740887 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.07184 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.40479 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.51477 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.62475 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.84572 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9557 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.17967 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.29065 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.40163 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.51362 s Remaining CPU time: 1797.49 s c Elapsed CPU time: 2.6236 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.73558 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.84857 s Remaining CPU time: 1797.15 s c Elapsed CPU time: 2.96055 s Remaining CPU time: 1797.04 s c Elapsed CPU time: 3.07353 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.18552 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.2985 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.52746 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.75343 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.86641 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.97839 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 4.09138 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.20636 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.32134 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.43433 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.54931 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.66429 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.77727 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.89126 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 5.00524 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.11922 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.2352 s Remaining CPU time: 1794.76 s c Elapsed CPU time: 5.34919 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.46117 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.57515 s Remaining CPU time: 1794.42 s c Elapsed CPU time: 5.68914 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.80312 s Remaining CPU time: 1794.2 s c Elapsed CPU time: 5.9191 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 6.03308 s Remaining CPU time: 1793.97 s c Elapsed CPU time: 6.15006 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.26505 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.37903 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.49301 s Remaining CPU time: 1793.51 s c Elapsed CPU time: 6.60799 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.72198 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.83696 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.95194 s Remaining CPU time: 1793.05 s c Elapsed CPU time: 7.06893 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.18291 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.29889 s Remaining CPU time: 1792.7 s c Elapsed CPU time: 7.41387 s Remaining CPU time: 1792.59 s c Elapsed CPU time: 7.52785 s Remaining CPU time: 1792.47 s c Elapsed CPU time: 7.64284 s Remaining CPU time: 1792.36 s c Elapsed CPU time: 7.75782 s Remaining CPU time: 1792.24 s c Elapsed CPU time: 7.8728 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 7.98679 s Remaining CPU time: 1792.01 s c Elapsed CPU time: 8.10177 s Remaining CPU time: 1791.9 s c Elapsed CPU time: 8.21775 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.33273 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.44772 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5627 s Remaining CPU time: 1791.44 s c Elapsed CPU time: 8.67968 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.79366 s Remaining CPU time: 1791.21 s c Elapsed CPU time: 8.91065 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 9.02663 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.14161 s Remaining CPU time: 1790.86 s c Elapsed CPU time: 9.25559 s Remaining CPU time: 1790.74 s c Elapsed CPU time: 9.37358 s Remaining CPU time: 1790.63 s c Elapsed CPU time: 9.49056 s Remaining CPU time: 1790.51 s c Elapsed CPU time: 9.60854 s Remaining CPU time: 1790.39 s c Elapsed CPU time: 9.72552 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.8425 s Remaining CPU time: 1790.16 s c Elapsed CPU time: 9.95849 s Remaining CPU time: 1790.04 s c Elapsed CPU time: 10.0755 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.1935 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.3084 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4254 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.5414 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.6574 s Remaining CPU time: 1789.34 s c Elapsed CPU time: 10.7754 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.8933 s Remaining CPU time: 1789.11 s c Elapsed CPU time: 11.0113 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.1283 s Remaining CPU time: 1788.87 s c Elapsed CPU time: 11.2463 s Remaining CPU time: 1788.75 s c Elapsed CPU time: 11.3643 s Remaining CPU time: 1788.64 s c Elapsed CPU time: 11.4813 s Remaining CPU time: 1788.52 s c Elapsed CPU time: 11.5992 s Remaining CPU time: 1788.4 s c Elapsed CPU time: 11.7162 s Remaining CPU time: 1788.28 s c Elapsed CPU time: 11.8342 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.9522 s Remaining CPU time: 1788.05 s c Elapsed CPU time: 12.0702 s Remaining CPU time: 1787.93 s c Elapsed CPU time: 12.1891 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.3071 s Remaining CPU time: 1787.69 s c Elapsed CPU time: 12.4241 s Remaining CPU time: 1787.58 s c Elapsed CPU time: 12.5411 s Remaining CPU time: 1787.46 s c Elapsed CPU time: 12.6591 s Remaining CPU time: 1787.34 s c Elapsed CPU time: 12.7771 s Remaining CPU time: 1787.22 s c Elapsed CPU time: 12.895 s Remaining CPU time: 1787.1 s c Elapsed CPU time: 13.013 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.131 s Remaining CPU time: 1786.87 s c Elapsed CPU time: 13.248 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.366 s Remaining CPU time: 1786.63 s c Elapsed CPU time: 13.4849 s Remaining CPU time: 1786.52 s c Elapsed CPU time: 13.6039 s Remaining CPU time: 1786.4 s c Elapsed CPU time: 13.7209 s Remaining CPU time: 1786.28 s c Elapsed CPU time: 13.8399 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.9579 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 14.0759 s Remaining CPU time: 1785.92 s c Elapsed CPU time: 14.1928 s Remaining CPU time: 1785.81 s c Elapsed CPU time: 14.3108 s Remaining CPU time: 1785.69 s c Elapsed CPU time: 14.4288 s Remaining CPU time: 1785.57 s c Elapsed CPU time: 14.5478 s Remaining CPU time: 1785.45 s c Elapsed CPU time: 14.6658 s Remaining CPU time: 1785.33 s c Elapsed CPU time: 14.7858 s Remaining CPU time: 1785.21 s c Elapsed CPU time: 14.9037 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0227 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1417 s Remaining CPU time: 1784.86 s c Elapsed CPU time: 15.2607 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3797 s Remaining CPU time: 1784.62 s c Elapsed CPU time: 15.4986 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.7356 s Remaining CPU time: 1784.26 s c Elapsed CPU time: 15.8556 s Remaining CPU time: 1784.14 s c Elapsed CPU time: 15.9736 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 16.0926 s Remaining CPU time: 1783.91 s c Elapsed CPU time: 16.2145 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3335 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4525 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5715 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6915 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8114 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.9304 s Remaining CPU time: 1783.07 s c Elapsed CPU time: 17.0504 s Remaining CPU time: 1782.95 s c Elapsed CPU time: 17.1694 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.2894 s Remaining CPU time: 1782.71 s c Elapsed CPU time: 17.4094 s Remaining CPU time: 1782.59 s c Elapsed CPU time: 17.5303 s Remaining CPU time: 1782.47 s c Elapsed CPU time: 17.6503 s Remaining CPU time: 1782.35 s c Elapsed CPU time: 17.7703 s Remaining CPU time: 1782.23 s c Elapsed CPU time: 17.8913 s Remaining CPU time: 1782.11 s c Elapsed CPU time: 18.0103 s Remaining CPU time: 1781.99 s c Elapsed CPU time: 18.1312 s Remaining CPU time: 1781.87 s c Elapsed CPU time: 18.2512 s Remaining CPU time: 1781.75 s c Elapsed CPU time: 18.3692 s Remaining CPU time: 1781.63 s c Elapsed CPU time: 18.4892 s Remaining CPU time: 1781.51 s c Elapsed CPU time: 18.6112 s Remaining CPU time: 1781.39 s c Elapsed CPU time: 18.7312 s Remaining CPU time: 1781.27 s c Elapsed CPU time: 18.8521 s Remaining CPU time: 1781.15 s c Elapsed CPU time: 18.9711 s Remaining CPU time: 1781.03 s c Elapsed CPU time: 19.0961 s Remaining CPU time: 1780.9 s c Elapsed CPU time: 19.2171 s Remaining CPU time: 1780.78 s c Elapsed CPU time: 19.3371 s Remaining CPU time: 1780.66 s c Elapsed CPU time: 19.457 s Remaining CPU time: 1780.54 s c Elapsed CPU time: 19.579 s Remaining CPU time: 1780.42 s c Elapsed CPU time: 19.699 s Remaining CPU time: 1780.3 s c Elapsed CPU time: 19.819 s Remaining CPU time: 1780.18 s c Elapsed CPU time: 19.939 s Remaining CPU time: 1780.06 s c Elapsed CPU time: 20.058 s Remaining CPU time: 1779.94 s c Elapsed CPU time: 20.1789 s Remaining CPU time: 1779.82 s c Elapsed CPU time: 20.2989 s Remaining CPU time: 1779.7 s c Elapsed CPU time: 20.4199 s Remaining CPU time: 1779.58 s c Elapsed CPU time: 20.5429 s Remaining CPU time: 1779.46 s c Elapsed CPU time: 20.6629 s Remaining CPU time: 1779.34 s c Elapsed CPU time: 20.7828 s Remaining CPU time: 1779.22 s c Elapsed CPU time: 20.9028 s Remaining CPU time: 1779.1 s c Elapsed CPU time: 21.0258 s Remaining CPU time: 1778.97 s c Elapsed CPU time: 21.1458 s Remaining CPU time: 1778.85 s c Elapsed CPU time: 21.2678 s Remaining CPU time: 1778.73 s c Elapsed CPU time: 21.3877 s Remaining CPU time: 1778.61 s c Elapsed CPU time: 21.5097 s Remaining CPU time: 1778.49 s c Elapsed CPU time: 21.6317 s Remaining CPU time: 1778.37 s c Elapsed CPU time: 21.7547 s Remaining CPU time: 1778.25 s c Elapsed CPU time: 21.8767 s Remaining CPU time: 1778.12 s c Elapsed CPU time: 22.0017 s Remaining CPU time: 1778 s c Elapsed CPU time: 22.1246 s Remaining CPU time: 1777.88 s c Elapsed CPU time: 22.2466 s Remaining CPU time: 1777.75 s c Elapsed CPU time: 22.3696 s Remaining CPU time: 1777.63 s c Elapsed CPU time: 22.4916 s Remaining CPU time: 1777.51 s c Elapsed CPU time: 22.6146 s Remaining CPU time: 1777.39 s c Elapsed CPU time: 22.7365 s Remaining CPU time: 1777.26 s c Elapsed CPU time: 22.8605 s Remaining CPU time: 1777.14 s c Elapsed CPU time: 22.9825 s Remaining CPU time: 1777.02 s c Elapsed CPU time: 23.1065 s Remaining CPU time: 1776.89 s c Elapsed CPU time: 23.2295 s Remaining CPU time: 1776.77 s c Elapsed CPU time: 23.3534 s Remaining CPU time: 1776.65 s c Elapsed CPU time: 23.4774 s Remaining CPU time: 1776.52 s c Elapsed CPU time: 23.6014 s Remaining CPU time: 1776.4 s c Elapsed CPU time: 23.7244 s Remaining CPU time: 1776.28 s c Elapsed CPU time: 23.8494 s Remaining CPU time: 1776.15 s c Elapsed CPU time: 23.9754 s Remaining CPU time: 1776.02 s c Elapsed CPU time: 24.0993 s Remaining CPU time: 1775.9 s c Elapsed CPU time: 24.2253 s Remaining CPU time: 1775.77 s c Elapsed CPU time: 24.3493 s Remaining CPU time: 1775.65 s c Elapsed CPU time: 24.4743 s Remaining CPU time: 1775.53 s c Elapsed CPU time: 24.6003 s Remaining CPU time: 1775.4 s c Elapsed CPU time: 24.7252 s Remaining CPU time: 1775.27 s c Elapsed CPU time: 24.8512 s Remaining CPU time: 1775.15 s c Elapsed CPU time: 24.9762 s Remaining CPU time: 1775.02 s c Elapsed CPU time: 25.1032 s Remaining CPU time: 1774.9 s c Elapsed CPU time: 25.2302 s Remaining CPU time: 1774.77 s c Elapsed CPU time: 25.3561 s Remaining CPU time: 1774.64 s c Elapsed CPU time: 25.4831 s Remaining CPU time: 1774.52 s c Elapsed CPU time: 25.6101 s Remaining CPU time: 1774.39 s c Elapsed CPU time: 25.7371 s Remaining CPU time: 1774.26 s c Elapsed CPU time: 25.8651 s Remaining CPU time: 1774.13 s c Elapsed CPU time: 25.99 s Remaining CPU time: 1774.01 s c Elapsed CPU time: 26.116 s Remaining CPU time: 1773.88 s c Elapsed CPU time: 26.243 s Remaining CPU time: 1773.76 s c Elapsed CPU time: 26.369 s Remaining CPU time: 1773.63 s c Elapsed CPU time: 26.499 s Remaining CPU time: 1773.5 s c Elapsed CPU time: 26.627 s Remaining CPU time: 1773.37 s c Elapsed CPU time: 26.7539 s Remaining CPU time: 1773.25 s c Elapsed CPU time: 26.8809 s Remaining CPU time: 1773.12 s c Elapsed CPU time: 27.0079 s Remaining CPU time: 1772.99 s c Elapsed CPU time: 27.1339 s Remaining CPU time: 1772.87 s c Elapsed CPU time: 27.2629 s Remaining CPU time: 1772.74 s c Elapsed CPU time: 27.3908 s Remaining CPU time: 1772.61 s c Elapsed CPU time: 27.5178 s Remaining CPU time: 1772.48 s c Elapsed CPU time: 27.6458 s Remaining CPU time: 1772.35 s c Elapsed CPU time: 27.7748 s Remaining CPU time: 1772.23 s c Elapsed CPU time: 27.9028 s Remaining CPU time: 1772.1 s c Elapsed CPU time: 28.0317 s Remaining CPU time: 1771.97 s c Elapsed CPU time: 28.1607 s Remaining CPU time: 1771.84 s c Elapsed CPU time: 28.2897 s Remaining CPU time: 1771.71 s c Elapsed CPU time: 28.4157 s Remaining CPU time: 1771.58 s c Elapsed CPU time: 28.5467 s Remaining CPU time: 1771.45 s c Elapsed CPU time: 28.6746 s Remaining CPU time: 1771.33 s c Elapsed CPU time: 28.8056 s Remaining CPU time: 1771.19 s c Elapsed CPU time: 28.9326 s Remaining CPU time: 1771.07 s c Elapsed CPU time: 29.0626 s Remaining CPU time: 1770.94 s c Elapsed CPU time: 29.1906 s Remaining CPU time: 1770.81 s c Elapsed CPU time: 29.3195 s Remaining CPU time: 1770.68 s c Elapsed CPU time: 29.4495 s Remaining CPU time: 1770.55 s c Elapsed CPU time: 29.5825 s Remaining CPU time: 1770.42 s c Elapsed CPU time: 29.7145 s Remaining CPU time: 1770.29 s c Elapsed CPU time: 29.8465 s Remaining CPU time: 1770.15 s c Elapsed CPU time: 29.9774 s Remaining CPU time: 1770.02 s c Elapsed CPU time: 30.1084 s Remaining CPU time: 1769.89 s c Elapsed CPU time: 30.2384 s Remaining CPU time: 1769.76 s c Elapsed CPU time: 30.3684 s Remaining CPU time: 1769.63 s c Elapsed CPU time: 30.4984 s Remaining CPU time: 1769.5 s c Elapsed CPU time: 30.6283 s Remaining CPU time: 1769.37 s c Elapsed CPU time: 30.7613 s Remaining CPU time: 1769.24 s c Elapsed CPU time: 30.8943 s Remaining CPU time: 1769.11 s c Elapsed CPU time: 31.0263 s Remaining CPU time: 1768.97 s c Elapsed CPU time: 31.1583 s Remaining CPU time: 1768.84 s c Elapsed CPU time: 31.2902 s Remaining CPU time: 1768.71 s c Elapsed CPU time: 31.4212 s Remaining CPU time: 1768.58 s c Elapsed CPU time: 31.5542 s Remaining CPU time: 1768.45 s c Elapsed CPU time: 31.6882 s Remaining CPU time: 1768.31 s c Elapsed CPU time: 31.8212 s Remaining CPU time: 1768.18 s c Elapsed CPU time: 31.9541 s Remaining CPU time: 1768.05 s c Elapsed CPU time: 32.0891 s Remaining CPU time: 1767.91 s c Elapsed CPU time: 32.2221 s Remaining CPU time: 1767.78 s c Elapsed CPU time: 32.3571 s Remaining CPU time: 1767.64 s c Elapsed CPU time: 32.4901 s Remaining CPU time: 1767.51 s c Elapsed CPU time: 32.624 s Remaining CPU time: 1767.38 s c Elapsed CPU time: 32.758 s Remaining CPU time: 1767.24 s c Elapsed CPU time: 32.892 s Remaining CPU time: 1767.11 s c Elapsed CPU time: 33.027 s Remaining CPU time: 1766.97 s c Elapsed CPU time: 33.163 s Remaining CPU time: 1766.84 s c Elapsed CPU time: 33.2969 s Remaining CPU time: 1766.7 s c Elapsed CPU time: 33.4329 s Remaining CPU time: 1766.57 s c Elapsed CPU time: 33.5679 s Remaining CPU time: 1766.43 s c Elapsed CPU time: 33.7039 s Remaining CPU time: 1766.3 s c Elapsed CPU time: 33.8399 s Remaining CPU time: 1766.16 s c Elapsed CPU time: 33.9758 s Remaining CPU time: 1766.02 s c Elapsed CPU time: 34.1138 s Remaining CPU time: 1765.89 s c Elapsed CPU time: 34.2498 s Remaining CPU time: 1765.75 s c Elapsed CPU time: 34.3878 s Remaining CPU time: 1765.61 s c Elapsed CPU time: 34.5258 s Remaining CPU time: 1765.47 s c Elapsed CPU time: 34.6627 s Remaining CPU time: 1765.34 s c Elapsed CPU time: 34.8007 s Remaining CPU time: 1765.2 s c Elapsed CPU time: 34.9367 s Remaining CPU time: 1765.06 s c Elapsed CPU time: 35.0747 s Remaining CPU time: 1764.93 s c Elapsed CPU time: 35.2126 s Remaining CPU time: 1764.79 s c Elapsed CPU time: 35.3506 s Remaining CPU time: 1764.65 s c Elapsed CPU time: 35.4896 s Remaining CPU time: 1764.51 s c Elapsed CPU time: 35.6276 s Remaining CPU time: 1764.37 s c Elapsed CPU time: 35.7666 s Remaining CPU time: 1764.23 s c Elapsed CPU time: 35.9055 s Remaining CPU time: 1764.09 s c Elapsed CPU time: 36.0445 s Remaining CPU time: 1763.96 s c Elapsed CPU time: 36.1845 s Remaining CPU time: 1763.82 s c Elapsed CPU time: 36.3255 s Remaining CPU time: 1763.67 s c Elapsed CPU time: 36.4655 s Remaining CPU time: 1763.53 s c Elapsed CPU time: 36.6024 s Remaining CPU time: 1763.4 s c Elapsed CPU time: 36.7424 s Remaining CPU time: 1763.26 s c Elapsed CPU time: 36.8834 s Remaining CPU time: 1763.12 s c Elapsed CPU time: 37.0234 s Remaining CPU time: 1762.98 s c Elapsed CPU time: 37.1643 s Remaining CPU time: 1762.84 s c Elapsed CPU time: 37.3063 s Remaining CPU time: 1762.69 s c Elapsed CPU time: 37.4473 s Remaining CPU time: 1762.55 s c Elapsed CPU time: 37.5893 s Remaining CPU time: 1762.41 s c Elapsed CPU time: 37.7313 s Remaining CPU time: 1762.27 s c Elapsed CPU time: 37.8742 s Remaining CPU time: 1762.13 s c Elapsed CPU time: 38.0162 s Remaining CPU time: 1761.98 s c Elapsed CPU time: 38.1592 s Remaining CPU time: 1761.84 s c Elapsed CPU time: 38.3002 s Remaining CPU time: 1761.7 s c Elapsed CPU time: 38.4432 s Remaining CPU time: 1761.56 s c Elapsed CPU time: 38.5851 s Remaining CPU time: 1761.41 s c Elapsed CPU time: 38.7281 s Remaining CPU time: 1761.27 s c Elapsed CPU time: 38.8701 s Remaining CPU time: 1761.13 s c Elapsed CPU time: 39.0131 s Remaining CPU time: 1760.99 s c Elapsed CPU time: 39.155 s Remaining CPU time: 1760.84 s c Elapsed CPU time: 39.297 s Remaining CPU time: 1760.7 s c Elapsed CPU time: 39.439 s Remaining CPU time: 1760.56 s c Elapsed CPU time: 39.583 s Remaining CPU time: 1760.42 s c Elapsed CPU time: 39.727 s Remaining CPU time: 1760.27 s c Elapsed CPU time: 39.8689 s Remaining CPU time: 1760.13 s c Elapsed CPU time: 40.0129 s Remaining CPU time: 1759.99 s c Elapsed CPU time: 40.1529 s Remaining CPU time: 1759.85 s c Elapsed CPU time: 40.2959 s Remaining CPU time: 1759.7 s c Elapsed CPU time: 40.4389 s Remaining CPU time: 1759.56 s c Elapsed CPU time: 40.5818 s Remaining CPU time: 1759.42 s c Elapsed CPU time: 40.7268 s Remaining CPU time: 1759.27 s c Elapsed CPU time: 40.8708 s Remaining CPU time: 1759.13 s c Elapsed CPU time: 41.0138 s Remaining CPU time: 1758.99 s c Elapsed CPU time: 41.1577 s Remaining CPU time: 1758.84 s c Elapsed CPU time: 41.3017 s Remaining CPU time: 1758.7 s c Elapsed CPU time: 41.4457 s Remaining CPU time: 1758.55 s c Elapsed CPU time: 41.5907 s Remaining CPU time: 1758.41 s c Elapsed CPU time: 41.7357 s Remaining CPU time: 1758.26 s c Elapsed CPU time: 41.8806 s Remaining CPU time: 1758.12 s c Elapsed CPU time: 42.0266 s Remaining CPU time: 1757.97 s c Elapsed CPU time: 42.1716 s Remaining CPU time: 1757.83 s c Elapsed CPU time: 42.3156 s Remaining CPU time: 1757.68 s c Elapsed CPU time: 42.4595 s Remaining CPU time: 1757.54 s c Elapsed CPU time: 42.6035 s Remaining CPU time: 1757.4 s c Elapsed CPU time: 42.7515 s Remaining CPU time: 1757.25 s c Elapsed CPU time: 42.8975 s Remaining CPU time: 1757.1 s c Elapsed CPU time: 43.0435 s Remaining CPU time: 1756.96 s c Elapsed CPU time: 43.1884 s Remaining CPU time: 1756.81 s c Elapsed CPU time: 43.3354 s Remaining CPU time: 1756.66 s c Elapsed CPU time: 43.4824 s Remaining CPU time: 1756.52 s c Elapsed CPU time: 43.6284 s Remaining CPU time: 1756.37 s c Elapsed CPU time: 43.7733 s Remaining CPU time: 1756.23 s c Elapsed CPU time: 43.9193 s Remaining CPU time: 1756.08 s c Elapsed CPU time: 44.0683 s Remaining CPU time: 1755.93 s c Elapsed CPU time: 44.2183 s Remaining CPU time: 1755.78 s c Elapsed CPU time: 44.3643 s Remaining CPU time: 1755.64 s c Elapsed CPU time: 44.5122 s Remaining CPU time: 1755.49 s c Elapsed CPU time: 44.6622 s Remaining CPU time: 1755.34 s c Elapsed CPU time: 44.8102 s Remaining CPU time: 1755.19 s c Elapsed CPU time: 44.9582 s Remaining CPU time: 1755.04 s c Elapsed CPU time: 45.1071 s Remaining CPU time: 1754.89 s c Elapsed CPU time: 45.2561 s Remaining CPU time: 1754.74 s c Elapsed CPU time: 45.4061 s Remaining CPU time: 1754.59 s c Elapsed CPU time: 45.5551 s Remaining CPU time: 1754.44 s c Elapsed CPU time: 45.7041 s Remaining CPU time: 1754.3 s c Elapsed CPU time: 45.853 s Remaining CPU time: 1754.15 s c Elapsed CPU time: 46.006 s Remaining CPU time: 1753.99 s c Elapsed CPU time: 46.156 s Remaining CPU time: 1753.84 s c Elapsed CPU time: 46.308 s Remaining CPU time: 1753.69 s c Elapsed CPU time: 46.4649 s Remaining CPU time: 1753.54 s c Elapsed CPU time: 46.6209 s Remaining CPU time: 1753.38 s c Elapsed CPU time: 46.7789 s Remaining CPU time: 1753.22 s c Elapsed CPU time: 46.9369 s Remaining CPU time: 1753.06 s c Elapsed CPU time: 47.0968 s Remaining CPU time: 1752.9 s c Elapsed CPU time: 47.2558 s Remaining CPU time: 1752.74 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 52 113382 218021 | 37794 0 nan | 0.000 % | c =============================================================================== c Verified 113382 original clauses.