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.186971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.408937 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.628904 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.84887 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.958854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.06984 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2908 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.40179 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.51277 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.62375 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.73274 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.84372 s Remaining CPU time: 1798.16 s c Elapsed CPU time: 1.9547 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 2.06569 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.17567 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.28665 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.39963 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.51262 s Remaining CPU time: 1797.49 s c Elapsed CPU time: 2.6246 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.73458 s Remaining CPU time: 1797.27 s c Elapsed CPU time: 2.84657 s Remaining CPU time: 1797.15 s c Elapsed CPU time: 2.95955 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.18452 s Remaining CPU time: 1796.82 s c Elapsed CPU time: 3.2965 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.52546 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.75643 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.87241 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.98839 s Remaining CPU time: 1796.01 s c Elapsed CPU time: 4.10338 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.21836 s Remaining CPU time: 1795.78 s c Elapsed CPU time: 4.33234 s Remaining CPU time: 1795.67 s c Elapsed CPU time: 4.44632 s Remaining CPU time: 1795.55 s c Elapsed CPU time: 4.56231 s Remaining CPU time: 1795.44 s c Elapsed CPU time: 4.67829 s Remaining CPU time: 1795.32 s c Elapsed CPU time: 4.79427 s Remaining CPU time: 1795.21 s c Elapsed CPU time: 4.90925 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 5.02324 s Remaining CPU time: 1794.98 s c Elapsed CPU time: 5.14022 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.2552 s Remaining CPU time: 1794.74 s c Elapsed CPU time: 5.37118 s Remaining CPU time: 1794.63 s c Elapsed CPU time: 5.48517 s Remaining CPU time: 1794.51 s c Elapsed CPU time: 5.60015 s Remaining CPU time: 1794.4 s c Elapsed CPU time: 5.71813 s Remaining CPU time: 1794.28 s c Elapsed CPU time: 5.83311 s Remaining CPU time: 1794.17 s c Elapsed CPU time: 5.94909 s Remaining CPU time: 1794.05 s c Elapsed CPU time: 6.06608 s Remaining CPU time: 1793.93 s c Elapsed CPU time: 6.18006 s Remaining CPU time: 1793.82 s c Elapsed CPU time: 6.29704 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.41602 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.53201 s Remaining CPU time: 1793.47 s c Elapsed CPU time: 6.64799 s Remaining CPU time: 1793.35 s c Elapsed CPU time: 6.76497 s Remaining CPU time: 1793.24 s c Elapsed CPU time: 6.87995 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 6.99494 s Remaining CPU time: 1793.01 s c Elapsed CPU time: 7.10892 s Remaining CPU time: 1792.89 s c Elapsed CPU time: 7.2259 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.34288 s Remaining CPU time: 1792.66 s c Elapsed CPU time: 7.45787 s Remaining CPU time: 1792.54 s c Elapsed CPU time: 7.57385 s Remaining CPU time: 1792.43 s c Elapsed CPU time: 7.68983 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.80581 s Remaining CPU time: 1792.19 s c Elapsed CPU time: 7.9208 s Remaining CPU time: 1792.08 s c Elapsed CPU time: 8.03678 s Remaining CPU time: 1791.96 s c Elapsed CPU time: 8.15276 s Remaining CPU time: 1791.85 s c Elapsed CPU time: 8.26974 s Remaining CPU time: 1791.73 s c Elapsed CPU time: 8.38472 s Remaining CPU time: 1791.62 s c Elapsed CPU time: 8.49971 s Remaining CPU time: 1791.5 s c Elapsed CPU time: 8.61769 s Remaining CPU time: 1791.38 s c Elapsed CPU time: 8.73467 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.85165 s Remaining CPU time: 1791.15 s c Elapsed CPU time: 8.96764 s Remaining CPU time: 1791.03 s c Elapsed CPU time: 9.08562 s Remaining CPU time: 1790.91 s c Elapsed CPU time: 9.2026 s Remaining CPU time: 1790.8 s c Elapsed CPU time: 9.31958 s Remaining CPU time: 1790.68 s c Elapsed CPU time: 9.43656 s Remaining CPU time: 1790.56 s c Elapsed CPU time: 9.55355 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.67153 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.78751 s Remaining CPU time: 1790.21 s c Elapsed CPU time: 9.90249 s Remaining CPU time: 1790.1 s c Elapsed CPU time: 10.0195 s Remaining CPU time: 1789.98 s c Elapsed CPU time: 10.1365 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.2534 s Remaining CPU time: 1789.75 s c Elapsed CPU time: 10.3694 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.4864 s Remaining CPU time: 1789.51 s c Elapsed CPU time: 10.6044 s Remaining CPU time: 1789.4 s c Elapsed CPU time: 10.7204 s Remaining CPU time: 1789.28 s c Elapsed CPU time: 10.8374 s Remaining CPU time: 1789.16 s c Elapsed CPU time: 10.9553 s Remaining CPU time: 1789.04 s c Elapsed CPU time: 11.0723 s Remaining CPU time: 1788.93 s c Elapsed CPU time: 11.1903 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.3093 s Remaining CPU time: 1788.69 s c Elapsed CPU time: 11.4263 s Remaining CPU time: 1788.57 s c Elapsed CPU time: 11.5422 s Remaining CPU time: 1788.46 s c Elapsed CPU time: 11.6572 s Remaining CPU time: 1788.34 s c Elapsed CPU time: 11.7742 s Remaining CPU time: 1788.23 s c Elapsed CPU time: 11.8912 s Remaining CPU time: 1788.11 s c Elapsed CPU time: 12.0082 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.1272 s Remaining CPU time: 1787.87 s c Elapsed CPU time: 12.2431 s Remaining CPU time: 1787.76 s c Elapsed CPU time: 12.3591 s Remaining CPU time: 1787.64 s c Elapsed CPU time: 12.4771 s Remaining CPU time: 1787.52 s c Elapsed CPU time: 12.5951 s Remaining CPU time: 1787.4 s c Elapsed CPU time: 12.7121 s Remaining CPU time: 1787.29 s c Elapsed CPU time: 12.831 s Remaining CPU time: 1787.17 s c Elapsed CPU time: 12.947 s Remaining CPU time: 1787.05 s c Elapsed CPU time: 13.064 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.18 s Remaining CPU time: 1786.82 s c Elapsed CPU time: 13.297 s Remaining CPU time: 1786.7 s c Elapsed CPU time: 13.413 s Remaining CPU time: 1786.59 s c Elapsed CPU time: 13.5309 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.7649 s Remaining CPU time: 1786.24 s c Elapsed CPU time: 13.8809 s Remaining CPU time: 1786.12 s c Elapsed CPU time: 13.9979 s Remaining CPU time: 1786 s c Elapsed CPU time: 14.1159 s Remaining CPU time: 1785.88 s c Elapsed CPU time: 14.2338 s Remaining CPU time: 1785.77 s c Elapsed CPU time: 14.3528 s Remaining CPU time: 1785.65 s c Elapsed CPU time: 14.4708 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.5888 s Remaining CPU time: 1785.41 s c Elapsed CPU time: 14.7058 s Remaining CPU time: 1785.29 s c Elapsed CPU time: 14.8237 s Remaining CPU time: 1785.18 s c Elapsed CPU time: 14.9407 s Remaining CPU time: 1785.06 s c Elapsed CPU time: 15.0587 s Remaining CPU time: 1784.94 s c Elapsed CPU time: 15.1767 s Remaining CPU time: 1784.82 s c Elapsed CPU time: 15.2947 s Remaining CPU time: 1784.71 s c Elapsed CPU time: 15.4157 s Remaining CPU time: 1784.58 s c Elapsed CPU time: 15.5336 s Remaining CPU time: 1784.47 s c Elapsed CPU time: 15.6516 s Remaining CPU time: 1784.35 s c Elapsed CPU time: 15.7676 s Remaining CPU time: 1784.23 s c Elapsed CPU time: 15.8856 s Remaining CPU time: 1784.11 s c Elapsed CPU time: 16.0046 s Remaining CPU time: 1784 s c Elapsed CPU time: 16.1205 s Remaining CPU time: 1783.88 s c Elapsed CPU time: 16.2405 s Remaining CPU time: 1783.76 s c Elapsed CPU time: 16.3595 s Remaining CPU time: 1783.64 s c Elapsed CPU time: 16.4775 s Remaining CPU time: 1783.52 s c Elapsed CPU time: 16.5955 s Remaining CPU time: 1783.4 s c Elapsed CPU time: 16.7155 s Remaining CPU time: 1783.28 s c Elapsed CPU time: 16.8334 s Remaining CPU time: 1783.17 s c Elapsed CPU time: 16.9524 s Remaining CPU time: 1783.05 s c Elapsed CPU time: 17.0724 s Remaining CPU time: 1782.93 s c Elapsed CPU time: 17.1904 s Remaining CPU time: 1782.81 s c Elapsed CPU time: 17.3104 s Remaining CPU time: 1782.69 s c Elapsed CPU time: 17.4293 s Remaining CPU time: 1782.57 s c Elapsed CPU time: 17.5483 s Remaining CPU time: 1782.45 s c Elapsed CPU time: 17.6673 s Remaining CPU time: 1782.33 s c Elapsed CPU time: 17.7873 s Remaining CPU time: 1782.21 s c Elapsed CPU time: 17.9053 s Remaining CPU time: 1782.09 s c Elapsed CPU time: 18.0253 s Remaining CPU time: 1781.97 s c Elapsed CPU time: 18.1452 s Remaining CPU time: 1781.85 s c Elapsed CPU time: 18.2652 s Remaining CPU time: 1781.73 s c Elapsed CPU time: 18.3842 s Remaining CPU time: 1781.62 s c Elapsed CPU time: 18.5052 s Remaining CPU time: 1781.49 s c Elapsed CPU time: 18.6252 s Remaining CPU time: 1781.37 s c Elapsed CPU time: 18.7472 s Remaining CPU time: 1781.25 s c Elapsed CPU time: 18.8641 s Remaining CPU time: 1781.14 s c Elapsed CPU time: 18.9851 s Remaining CPU time: 1781.01 s c Elapsed CPU time: 19.1051 s Remaining CPU time: 1780.89 s c Elapsed CPU time: 19.2251 s Remaining CPU time: 1780.77 s c Elapsed CPU time: 19.3451 s Remaining CPU time: 1780.65 s c Elapsed CPU time: 19.465 s Remaining CPU time: 1780.53 s c Elapsed CPU time: 19.582 s Remaining CPU time: 1780.42 s c Elapsed CPU time: 19.703 s Remaining CPU time: 1780.3 s c Elapsed CPU time: 19.822 s Remaining CPU time: 1780.18 s c Elapsed CPU time: 19.942 s Remaining CPU time: 1780.06 s c Elapsed CPU time: 20.0609 s Remaining CPU time: 1779.94 s c Elapsed CPU time: 20.1819 s Remaining CPU time: 1779.82 s c Elapsed CPU time: 20.3009 s Remaining CPU time: 1779.7 s c Elapsed CPU time: 20.4229 s Remaining CPU time: 1779.58 s c Elapsed CPU time: 20.5419 s Remaining CPU time: 1779.46 s c Elapsed CPU time: 20.6639 s Remaining CPU time: 1779.34 s c Elapsed CPU time: 20.7838 s Remaining CPU time: 1779.22 s c Elapsed CPU time: 20.9058 s Remaining CPU time: 1779.09 s c Elapsed CPU time: 21.0248 s Remaining CPU time: 1778.98 s c Elapsed CPU time: 21.1448 s Remaining CPU time: 1778.86 s c Elapsed CPU time: 21.2658 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.5077 s Remaining CPU time: 1778.49 s c Elapsed CPU time: 21.6297 s Remaining CPU time: 1778.37 s c Elapsed CPU time: 21.7517 s Remaining CPU time: 1778.25 s c Elapsed CPU time: 21.8717 s Remaining CPU time: 1778.13 s c Elapsed CPU time: 21.9917 s Remaining CPU time: 1778.01 s c Elapsed CPU time: 22.1146 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2356 s Remaining CPU time: 1777.76 s c Elapsed CPU time: 22.3586 s Remaining CPU time: 1777.64 s c Elapsed CPU time: 22.4816 s Remaining CPU time: 1777.52 s c Elapsed CPU time: 22.6056 s Remaining CPU time: 1777.39 s c Elapsed CPU time: 22.7315 s Remaining CPU time: 1777.27 s c Elapsed CPU time: 22.8575 s Remaining CPU time: 1777.14 s c Elapsed CPU time: 22.9815 s Remaining CPU time: 1777.02 s c Elapsed CPU time: 23.1075 s Remaining CPU time: 1776.89 s c Elapsed CPU time: 23.2345 s Remaining CPU time: 1776.77 s c Elapsed CPU time: 23.3614 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.6164 s Remaining CPU time: 1776.38 s c Elapsed CPU time: 23.7424 s Remaining CPU time: 1776.26 s c Elapsed CPU time: 23.8704 s Remaining CPU time: 1776.13 s c Elapsed CPU time: 23.9984 s Remaining CPU time: 1776 s c Elapsed CPU time: 24.1253 s Remaining CPU time: 1775.87 s c Elapsed CPU time: 24.2523 s Remaining CPU time: 1775.75 s c Elapsed CPU time: 24.3803 s Remaining CPU time: 1775.62 s c Elapsed CPU time: 24.5063 s Remaining CPU time: 1775.49 s c Elapsed CPU time: 24.6343 s Remaining CPU time: 1775.37 s c Elapsed CPU time: 24.7602 s Remaining CPU time: 1775.24 s c Elapsed CPU time: 24.8882 s Remaining CPU time: 1775.11 s c Elapsed CPU time: 25.0162 s Remaining CPU time: 1774.98 s c Elapsed CPU time: 25.1432 s Remaining CPU time: 1774.86 s c Elapsed CPU time: 25.2722 s Remaining CPU time: 1774.73 s c Elapsed CPU time: 25.4011 s Remaining CPU time: 1774.6 s c Elapsed CPU time: 25.5291 s Remaining CPU time: 1774.47 s c Elapsed CPU time: 25.6591 s Remaining CPU time: 1774.34 s c Elapsed CPU time: 25.7891 s Remaining CPU time: 1774.21 s c Elapsed CPU time: 25.9191 s Remaining CPU time: 1774.08 s c Elapsed CPU time: 26.05 s Remaining CPU time: 1773.95 s c Elapsed CPU time: 26.181 s Remaining CPU time: 1773.82 s c Elapsed CPU time: 26.311 s Remaining CPU time: 1773.69 s c Elapsed CPU time: 26.444 s Remaining CPU time: 1773.56 s c Elapsed CPU time: 26.575 s Remaining CPU time: 1773.43 s c Elapsed CPU time: 26.7059 s Remaining CPU time: 1773.29 s c Elapsed CPU time: 26.8369 s Remaining CPU time: 1773.16 s c Elapsed CPU time: 26.9709 s Remaining CPU time: 1773.03 s c Elapsed CPU time: 27.1019 s Remaining CPU time: 1772.9 s c Elapsed CPU time: 27.2329 s Remaining CPU time: 1772.77 s c Elapsed CPU time: 27.3628 s Remaining CPU time: 1772.64 s c Elapsed CPU time: 27.4948 s Remaining CPU time: 1772.51 s c Elapsed CPU time: 27.6258 s Remaining CPU time: 1772.37 s c Elapsed CPU time: 27.7558 s Remaining CPU time: 1772.24 s c Elapsed CPU time: 27.8888 s Remaining CPU time: 1772.11 s c Elapsed CPU time: 28.0227 s Remaining CPU time: 1771.98 s c Elapsed CPU time: 28.1527 s Remaining CPU time: 1771.85 s c Elapsed CPU time: 28.2867 s Remaining CPU time: 1771.71 s c Elapsed CPU time: 28.4207 s Remaining CPU time: 1771.58 s c Elapsed CPU time: 28.5547 s Remaining CPU time: 1771.45 s c Elapsed CPU time: 28.6876 s Remaining CPU time: 1771.31 s c Elapsed CPU time: 28.8246 s Remaining CPU time: 1771.18 s c Elapsed CPU time: 28.9586 s Remaining CPU time: 1771.04 s c Elapsed CPU time: 29.0936 s Remaining CPU time: 1770.91 s c Elapsed CPU time: 29.2286 s Remaining CPU time: 1770.77 s c Elapsed CPU time: 29.3625 s Remaining CPU time: 1770.64 s c Elapsed CPU time: 29.4955 s Remaining CPU time: 1770.5 s c Elapsed CPU time: 29.6305 s Remaining CPU time: 1770.37 s c Elapsed CPU time: 29.7645 s Remaining CPU time: 1770.24 s c Elapsed CPU time: 29.9005 s Remaining CPU time: 1770.1 s c Elapsed CPU time: 30.0354 s Remaining CPU time: 1769.96 s c Elapsed CPU time: 30.1704 s Remaining CPU time: 1769.83 s c Elapsed CPU time: 30.3064 s Remaining CPU time: 1769.69 s c Elapsed CPU time: 30.4454 s Remaining CPU time: 1769.55 s c Elapsed CPU time: 30.5814 s Remaining CPU time: 1769.42 s c Elapsed CPU time: 30.7183 s Remaining CPU time: 1769.28 s c Elapsed CPU time: 30.8533 s Remaining CPU time: 1769.15 s c Elapsed CPU time: 30.9903 s Remaining CPU time: 1769.01 s c Elapsed CPU time: 31.1233 s Remaining CPU time: 1768.88 s c Elapsed CPU time: 31.2602 s Remaining CPU time: 1768.74 s c Elapsed CPU time: 31.3952 s Remaining CPU time: 1768.6 s c Elapsed CPU time: 31.5312 s Remaining CPU time: 1768.47 s c Elapsed CPU time: 31.6672 s Remaining CPU time: 1768.33 s c Elapsed CPU time: 31.8032 s Remaining CPU time: 1768.2 s c Elapsed CPU time: 31.9381 s Remaining CPU time: 1768.06 s c Elapsed CPU time: 32.0781 s Remaining CPU time: 1767.92 s c Elapsed CPU time: 32.2151 s Remaining CPU time: 1767.78 s c Elapsed CPU time: 32.3531 s Remaining CPU time: 1767.65 s c Elapsed CPU time: 32.4901 s Remaining CPU time: 1767.51 s c Elapsed CPU time: 32.627 s Remaining CPU time: 1767.37 s c Elapsed CPU time: 32.762 s Remaining CPU time: 1767.24 s c Elapsed CPU time: 32.898 s Remaining CPU time: 1767.1 s c Elapsed CPU time: 33.032 s Remaining CPU time: 1766.97 s c Elapsed CPU time: 33.168 s Remaining CPU time: 1766.83 s c Elapsed CPU time: 33.3039 s Remaining CPU time: 1766.7 s c Elapsed CPU time: 33.4419 s Remaining CPU time: 1766.56 s c Elapsed CPU time: 33.5769 s Remaining CPU time: 1766.42 s c Elapsed CPU time: 33.7119 s Remaining CPU time: 1766.29 s c Elapsed CPU time: 33.8699 s Remaining CPU time: 1766.13 s c Elapsed CPU time: 34.0088 s Remaining CPU time: 1765.99 s c Elapsed CPU time: 34.1448 s Remaining CPU time: 1765.86 s c Elapsed CPU time: 34.2818 s Remaining CPU time: 1765.72 s c Elapsed CPU time: 34.4178 s Remaining CPU time: 1765.58 s c Elapsed CPU time: 34.5557 s Remaining CPU time: 1765.44 s c Elapsed CPU time: 34.6927 s Remaining CPU time: 1765.31 s c Elapsed CPU time: 34.8297 s Remaining CPU time: 1765.17 s c Elapsed CPU time: 34.9687 s Remaining CPU time: 1765.03 s c Elapsed CPU time: 35.1057 s Remaining CPU time: 1764.89 s c Elapsed CPU time: 35.2446 s Remaining CPU time: 1764.76 s c Elapsed CPU time: 35.3826 s Remaining CPU time: 1764.62 s c Elapsed CPU time: 35.5206 s Remaining CPU time: 1764.48 s c Elapsed CPU time: 35.6596 s Remaining CPU time: 1764.34 s c Elapsed CPU time: 35.7976 s Remaining CPU time: 1764.2 s c Elapsed CPU time: 35.9375 s Remaining CPU time: 1764.06 s c Elapsed CPU time: 36.0765 s Remaining CPU time: 1763.92 s c Elapsed CPU time: 36.2145 s Remaining CPU time: 1763.79 s c Elapsed CPU time: 36.3545 s Remaining CPU time: 1763.65 s c Elapsed CPU time: 36.4925 s Remaining CPU time: 1763.51 s c Elapsed CPU time: 36.6324 s Remaining CPU time: 1763.37 s c Elapsed CPU time: 36.7714 s Remaining CPU time: 1763.23 s c Elapsed CPU time: 36.9104 s Remaining CPU time: 1763.09 s c Elapsed CPU time: 37.0524 s Remaining CPU time: 1762.95 s c Elapsed CPU time: 37.1933 s Remaining CPU time: 1762.81 s c Elapsed CPU time: 37.3313 s Remaining CPU time: 1762.67 s c Elapsed CPU time: 37.4953 s Remaining CPU time: 1762.5 s c Elapsed CPU time: 37.6373 s Remaining CPU time: 1762.36 s c Elapsed CPU time: 37.7773 s Remaining CPU time: 1762.22 s c Elapsed CPU time: 37.9172 s Remaining CPU time: 1762.08 s c Elapsed CPU time: 38.0812 s Remaining CPU time: 1761.92 s c Elapsed CPU time: 38.2252 s Remaining CPU time: 1761.77 s c Elapsed CPU time: 38.3652 s Remaining CPU time: 1761.63 s c Elapsed CPU time: 38.5081 s Remaining CPU time: 1761.49 s c Elapsed CPU time: 38.6501 s Remaining CPU time: 1761.35 s c Elapsed CPU time: 38.7921 s Remaining CPU time: 1761.21 s c Elapsed CPU time: 38.9341 s Remaining CPU time: 1761.07 s c Elapsed CPU time: 39.0751 s Remaining CPU time: 1760.92 s c Elapsed CPU time: 39.242 s Remaining CPU time: 1760.76 s c Elapsed CPU time: 39.383 s Remaining CPU time: 1760.62 s c Elapsed CPU time: 39.528 s Remaining CPU time: 1760.47 s c Elapsed CPU time: 39.668 s Remaining CPU time: 1760.33 s c Elapsed CPU time: 39.8119 s Remaining CPU time: 1760.19 s c Elapsed CPU time: 39.9549 s Remaining CPU time: 1760.05 s c Elapsed CPU time: 40.1229 s Remaining CPU time: 1759.88 s c Elapsed CPU time: 40.2679 s Remaining CPU time: 1759.73 s c Elapsed CPU time: 40.4119 s Remaining CPU time: 1759.59 s c Elapsed CPU time: 40.5568 s Remaining CPU time: 1759.44 s c Elapsed CPU time: 40.7008 s Remaining CPU time: 1759.3 s c Elapsed CPU time: 40.8458 s Remaining CPU time: 1759.15 s c Elapsed CPU time: 41.0128 s Remaining CPU time: 1758.99 s c Elapsed CPU time: 41.1597 s Remaining CPU time: 1758.84 s c Elapsed CPU time: 41.3027 s Remaining CPU time: 1758.7 s c Elapsed CPU time: 41.4487 s Remaining CPU time: 1758.55 s c Elapsed CPU time: 41.5947 s Remaining CPU time: 1758.41 s c Elapsed CPU time: 41.7407 s Remaining CPU time: 1758.26 s c Elapsed CPU time: 41.8876 s Remaining CPU time: 1758.11 s c Elapsed CPU time: 42.0336 s Remaining CPU time: 1757.97 s c Elapsed CPU time: 42.1816 s Remaining CPU time: 1757.82 s c Elapsed CPU time: 42.3296 s Remaining CPU time: 1757.67 s c Elapsed CPU time: 42.4765 s Remaining CPU time: 1757.52 s c Elapsed CPU time: 42.6245 s Remaining CPU time: 1757.38 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9 113316 217899 | 37772 0 nan | 0.000 % | c =============================================================================== c Verified 113316 original clauses.