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.069989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.402938 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.512922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.622905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.731888 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.06484 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2848 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.39579 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.50577 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.61475 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.83472 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.9467 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 2.05669 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.16867 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.27865 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.39064 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.50162 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.6126 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.72459 s Remaining CPU time: 1797.28 s c Elapsed CPU time: 2.83757 s Remaining CPU time: 1797.16 s c Elapsed CPU time: 2.94955 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 3.06153 s Remaining CPU time: 1796.94 s c Elapsed CPU time: 3.17352 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.2875 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.40148 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.51546 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.63045 s Remaining CPU time: 1796.37 s c Elapsed CPU time: 3.74243 s Remaining CPU time: 1796.26 s c Elapsed CPU time: 3.85441 s Remaining CPU time: 1796.15 s c Elapsed CPU time: 3.9684 s Remaining CPU time: 1796.03 s c Elapsed CPU time: 4.08238 s Remaining CPU time: 1795.92 s c Elapsed CPU time: 4.19436 s Remaining CPU time: 1795.81 s c Elapsed CPU time: 4.30835 s Remaining CPU time: 1795.69 s c Elapsed CPU time: 4.42233 s Remaining CPU time: 1795.58 s c Elapsed CPU time: 4.53631 s Remaining CPU time: 1795.46 s c Elapsed CPU time: 4.64929 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.76228 s Remaining CPU time: 1795.24 s c Elapsed CPU time: 4.87626 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 4.98924 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 5.10322 s Remaining CPU time: 1794.9 s c Elapsed CPU time: 5.21921 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.33219 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.44617 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.56015 s Remaining CPU time: 1794.44 s c Elapsed CPU time: 5.67514 s Remaining CPU time: 1794.32 s c Elapsed CPU time: 5.78912 s Remaining CPU time: 1794.21 s c Elapsed CPU time: 5.9031 s Remaining CPU time: 1794.1 s c Elapsed CPU time: 6.01509 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.13007 s Remaining CPU time: 1793.87 s c Elapsed CPU time: 6.24405 s Remaining CPU time: 1793.76 s c Elapsed CPU time: 6.36003 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.47401 s Remaining CPU time: 1793.53 s c Elapsed CPU time: 6.588 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.70298 s Remaining CPU time: 1793.3 s c Elapsed CPU time: 6.81896 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.93494 s Remaining CPU time: 1793.07 s c Elapsed CPU time: 7.05093 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.16591 s Remaining CPU time: 1792.83 s c Elapsed CPU time: 7.28089 s Remaining CPU time: 1792.72 s c Elapsed CPU time: 7.39687 s Remaining CPU time: 1792.6 s c Elapsed CPU time: 7.51086 s Remaining CPU time: 1792.49 s c Elapsed CPU time: 7.62584 s Remaining CPU time: 1792.37 s c Elapsed CPU time: 7.74082 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.85581 s Remaining CPU time: 1792.14 s c Elapsed CPU time: 7.97179 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 8.08877 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.20275 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.31774 s Remaining CPU time: 1791.68 s c Elapsed CPU time: 8.43272 s Remaining CPU time: 1791.57 s c Elapsed CPU time: 8.5477 s Remaining CPU time: 1791.45 s c Elapsed CPU time: 8.66168 s Remaining CPU time: 1791.34 s c Elapsed CPU time: 8.77767 s Remaining CPU time: 1791.22 s c Elapsed CPU time: 8.89265 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 9.00963 s Remaining CPU time: 1790.99 s c Elapsed CPU time: 9.13061 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.24759 s Remaining CPU time: 1790.75 s c Elapsed CPU time: 9.36957 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.60954 s Remaining CPU time: 1790.39 s c Elapsed CPU time: 9.72652 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.8485 s Remaining CPU time: 1790.15 s c Elapsed CPU time: 9.96548 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 10.0815 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.1984 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.3144 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4314 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.5494 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.6654 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7824 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.8983 s Remaining CPU time: 1789.1 s c Elapsed CPU time: 11.0123 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.1293 s Remaining CPU time: 1788.87 s c Elapsed CPU time: 11.2453 s Remaining CPU time: 1788.75 s c Elapsed CPU time: 11.3623 s Remaining CPU time: 1788.64 s c Elapsed CPU time: 11.4793 s Remaining CPU time: 1788.52 s c Elapsed CPU time: 11.5962 s Remaining CPU time: 1788.4 s c Elapsed CPU time: 11.7122 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.8292 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.9462 s Remaining CPU time: 1788.05 s c Elapsed CPU time: 12.0642 s Remaining CPU time: 1787.94 s c Elapsed CPU time: 12.1811 s Remaining CPU time: 1787.82 s c Elapsed CPU time: 12.2981 s Remaining CPU time: 1787.7 s c Elapsed CPU time: 12.4151 s Remaining CPU time: 1787.58 s c Elapsed CPU time: 12.5341 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.6491 s Remaining CPU time: 1787.35 s c Elapsed CPU time: 12.7671 s Remaining CPU time: 1787.23 s c Elapsed CPU time: 12.886 s Remaining CPU time: 1787.11 s c Elapsed CPU time: 13.003 s Remaining CPU time: 1787 s c Elapsed CPU time: 13.121 s Remaining CPU time: 1786.88 s c Elapsed CPU time: 13.238 s Remaining CPU time: 1786.76 s c Elapsed CPU time: 13.355 s Remaining CPU time: 1786.65 s c Elapsed CPU time: 13.473 s Remaining CPU time: 1786.53 s c Elapsed CPU time: 13.5899 s Remaining CPU time: 1786.41 s c Elapsed CPU time: 13.7069 s Remaining CPU time: 1786.29 s c Elapsed CPU time: 13.8259 s Remaining CPU time: 1786.17 s c Elapsed CPU time: 13.9429 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 14.0619 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.1798 s Remaining CPU time: 1785.82 s c Elapsed CPU time: 14.2978 s Remaining CPU time: 1785.7 s c Elapsed CPU time: 14.4198 s Remaining CPU time: 1785.58 s c Elapsed CPU time: 14.5408 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6608 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.7818 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.9007 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0207 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1387 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.3807 s Remaining CPU time: 1784.62 s c Elapsed CPU time: 15.4996 s Remaining CPU time: 1784.5 s c Elapsed CPU time: 15.6186 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.2125 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3315 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4495 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5675 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6855 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8044 s Remaining CPU time: 1783.2 s c Elapsed CPU time: 16.9254 s Remaining CPU time: 1783.07 s c Elapsed CPU time: 17.0444 s Remaining CPU time: 1782.96 s c Elapsed CPU time: 17.1634 s Remaining CPU time: 1782.84 s c Elapsed CPU time: 17.2824 s Remaining CPU time: 1782.72 s c Elapsed CPU time: 17.4024 s Remaining CPU time: 1782.6 s c Elapsed CPU time: 17.5203 s Remaining CPU time: 1782.48 s c Elapsed CPU time: 17.6363 s Remaining CPU time: 1782.36 s c Elapsed CPU time: 17.7553 s Remaining CPU time: 1782.24 s c Elapsed CPU time: 17.8753 s Remaining CPU time: 1782.12 s c Elapsed CPU time: 17.9933 s Remaining CPU time: 1782.01 s c Elapsed CPU time: 18.1132 s Remaining CPU time: 1781.89 s c Elapsed CPU time: 18.2322 s Remaining CPU time: 1781.77 s c Elapsed CPU time: 18.3512 s Remaining CPU time: 1781.65 s c Elapsed CPU time: 18.4692 s Remaining CPU time: 1781.53 s c Elapsed CPU time: 18.5892 s Remaining CPU time: 1781.41 s c Elapsed CPU time: 18.7092 s Remaining CPU time: 1781.29 s c Elapsed CPU time: 18.8281 s Remaining CPU time: 1781.17 s c Elapsed CPU time: 18.9481 s Remaining CPU time: 1781.05 s c Elapsed CPU time: 19.0671 s Remaining CPU time: 1780.93 s c Elapsed CPU time: 19.1871 s Remaining CPU time: 1780.81 s c Elapsed CPU time: 19.3071 s Remaining CPU time: 1780.69 s c Elapsed CPU time: 19.427 s Remaining CPU time: 1780.57 s c Elapsed CPU time: 19.549 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.669 s Remaining CPU time: 1780.33 s c Elapsed CPU time: 19.79 s Remaining CPU time: 1780.21 s c Elapsed CPU time: 19.91 s Remaining CPU time: 1780.09 s c Elapsed CPU time: 20.032 s Remaining CPU time: 1779.97 s c Elapsed CPU time: 20.1529 s Remaining CPU time: 1779.85 s c Elapsed CPU time: 20.2749 s Remaining CPU time: 1779.73 s c Elapsed CPU time: 20.3959 s Remaining CPU time: 1779.6 s c Elapsed CPU time: 20.5169 s Remaining CPU time: 1779.48 s c Elapsed CPU time: 20.6379 s Remaining CPU time: 1779.36 s c Elapsed CPU time: 20.7598 s Remaining CPU time: 1779.24 s c Elapsed CPU time: 20.8808 s Remaining CPU time: 1779.12 s c Elapsed CPU time: 21.0018 s Remaining CPU time: 1779 s c Elapsed CPU time: 21.1228 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.2458 s Remaining CPU time: 1778.75 s c Elapsed CPU time: 21.3658 s Remaining CPU time: 1778.63 s c Elapsed CPU time: 21.4897 s Remaining CPU time: 1778.51 s c Elapsed CPU time: 21.6087 s Remaining CPU time: 1778.39 s c Elapsed CPU time: 21.7307 s Remaining CPU time: 1778.27 s c Elapsed CPU time: 21.8517 s Remaining CPU time: 1778.15 s c Elapsed CPU time: 21.9747 s Remaining CPU time: 1778.03 s c Elapsed CPU time: 22.0986 s Remaining CPU time: 1777.9 s c Elapsed CPU time: 22.2216 s Remaining CPU time: 1777.78 s c Elapsed CPU time: 22.3456 s Remaining CPU time: 1777.65 s c Elapsed CPU time: 22.4706 s Remaining CPU time: 1777.53 s c Elapsed CPU time: 22.5956 s Remaining CPU time: 1777.4 s c Elapsed CPU time: 22.7205 s Remaining CPU time: 1777.28 s c Elapsed CPU time: 22.8425 s Remaining CPU time: 1777.16 s c Elapsed CPU time: 22.9675 s Remaining CPU time: 1777.03 s c Elapsed CPU time: 23.0915 s Remaining CPU time: 1776.91 s c Elapsed CPU time: 23.2175 s Remaining CPU time: 1776.78 s c Elapsed CPU time: 23.3425 s Remaining CPU time: 1776.66 s c Elapsed CPU time: 23.4684 s Remaining CPU time: 1776.53 s c Elapsed CPU time: 23.5944 s Remaining CPU time: 1776.41 s c Elapsed CPU time: 23.7194 s Remaining CPU time: 1776.28 s c Elapsed CPU time: 23.8444 s Remaining CPU time: 1776.16 s c Elapsed CPU time: 23.9694 s Remaining CPU time: 1776.03 s c Elapsed CPU time: 24.0953 s Remaining CPU time: 1775.9 s c Elapsed CPU time: 24.2203 s Remaining CPU time: 1775.78 s c Elapsed CPU time: 24.3483 s Remaining CPU time: 1775.65 s c Elapsed CPU time: 24.4733 s Remaining CPU time: 1775.53 s c Elapsed CPU time: 24.5983 s Remaining CPU time: 1775.4 s c Elapsed CPU time: 24.7242 s Remaining CPU time: 1775.28 s c Elapsed CPU time: 24.8512 s Remaining CPU time: 1775.15 s c Elapsed CPU time: 24.9772 s Remaining CPU time: 1775.02 s c Elapsed CPU time: 25.1062 s Remaining CPU time: 1774.89 s c Elapsed CPU time: 25.2352 s Remaining CPU time: 1774.76 s c Elapsed CPU time: 25.3631 s Remaining CPU time: 1774.64 s c Elapsed CPU time: 25.4931 s Remaining CPU time: 1774.51 s c Elapsed CPU time: 25.6211 s Remaining CPU time: 1774.38 s c Elapsed CPU time: 25.7481 s Remaining CPU time: 1774.25 s c Elapsed CPU time: 25.8771 s Remaining CPU time: 1774.12 s c Elapsed CPU time: 26.007 s Remaining CPU time: 1773.99 s c Elapsed CPU time: 26.136 s Remaining CPU time: 1773.86 s c Elapsed CPU time: 26.267 s Remaining CPU time: 1773.73 s c Elapsed CPU time: 26.396 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.528 s Remaining CPU time: 1773.47 s c Elapsed CPU time: 26.6569 s Remaining CPU time: 1773.34 s c Elapsed CPU time: 26.7859 s Remaining CPU time: 1773.21 s c Elapsed CPU time: 26.9169 s Remaining CPU time: 1773.08 s c Elapsed CPU time: 27.0479 s Remaining CPU time: 1772.95 s c Elapsed CPU time: 27.1799 s Remaining CPU time: 1772.82 s c Elapsed CPU time: 27.3118 s Remaining CPU time: 1772.69 s c Elapsed CPU time: 27.4428 s Remaining CPU time: 1772.56 s c Elapsed CPU time: 27.5748 s Remaining CPU time: 1772.43 s c Elapsed CPU time: 27.7058 s Remaining CPU time: 1772.29 s c Elapsed CPU time: 27.8378 s Remaining CPU time: 1772.16 s c Elapsed CPU time: 27.9707 s Remaining CPU time: 1772.03 s c Elapsed CPU time: 28.1037 s Remaining CPU time: 1771.9 s c Elapsed CPU time: 28.2367 s Remaining CPU time: 1771.76 s c Elapsed CPU time: 28.3687 s Remaining CPU time: 1771.63 s c Elapsed CPU time: 28.5017 s Remaining CPU time: 1771.5 s c Elapsed CPU time: 28.6336 s Remaining CPU time: 1771.37 s c Elapsed CPU time: 28.7666 s Remaining CPU time: 1771.23 s c Elapsed CPU time: 28.8996 s Remaining CPU time: 1771.1 s c Elapsed CPU time: 29.0346 s Remaining CPU time: 1770.97 s c Elapsed CPU time: 29.1686 s Remaining CPU time: 1770.83 s c Elapsed CPU time: 29.3025 s Remaining CPU time: 1770.7 s c Elapsed CPU time: 29.4355 s Remaining CPU time: 1770.56 s c Elapsed CPU time: 29.5695 s Remaining CPU time: 1770.43 s c Elapsed CPU time: 29.7025 s Remaining CPU time: 1770.3 s c Elapsed CPU time: 29.8365 s Remaining CPU time: 1770.16 s c Elapsed CPU time: 29.9714 s Remaining CPU time: 1770.03 s c Elapsed CPU time: 30.1064 s Remaining CPU time: 1769.89 s c Elapsed CPU time: 30.2424 s Remaining CPU time: 1769.76 s c Elapsed CPU time: 30.3774 s Remaining CPU time: 1769.62 s c Elapsed CPU time: 30.5124 s Remaining CPU time: 1769.49 s c Elapsed CPU time: 30.6473 s Remaining CPU time: 1769.35 s c Elapsed CPU time: 30.7843 s Remaining CPU time: 1769.22 s c Elapsed CPU time: 30.9193 s Remaining CPU time: 1769.08 s c Elapsed CPU time: 31.0533 s Remaining CPU time: 1768.95 s c Elapsed CPU time: 31.1903 s Remaining CPU time: 1768.81 s c Elapsed CPU time: 31.3262 s Remaining CPU time: 1768.67 s c Elapsed CPU time: 31.4622 s Remaining CPU time: 1768.54 s c Elapsed CPU time: 31.5982 s Remaining CPU time: 1768.4 s c Elapsed CPU time: 31.7332 s Remaining CPU time: 1768.27 s c Elapsed CPU time: 31.8702 s Remaining CPU time: 1768.13 s c Elapsed CPU time: 32.0031 s Remaining CPU time: 1768 s c Elapsed CPU time: 32.1391 s Remaining CPU time: 1767.86 s c Elapsed CPU time: 32.2741 s Remaining CPU time: 1767.73 s c Elapsed CPU time: 32.4071 s Remaining CPU time: 1767.59 s c Elapsed CPU time: 32.5421 s Remaining CPU time: 1767.46 s c Elapsed CPU time: 32.68 s Remaining CPU time: 1767.32 s c Elapsed CPU time: 32.818 s Remaining CPU time: 1767.18 s c Elapsed CPU time: 32.955 s Remaining CPU time: 1767.05 s c Elapsed CPU time: 33.091 s Remaining CPU time: 1766.91 s c Elapsed CPU time: 33.2279 s Remaining CPU time: 1766.77 s c Elapsed CPU time: 33.3669 s Remaining CPU time: 1766.63 s c Elapsed CPU time: 33.5049 s Remaining CPU time: 1766.5 s c Elapsed CPU time: 33.6429 s Remaining CPU time: 1766.36 s c Elapsed CPU time: 33.7809 s Remaining CPU time: 1766.22 s c Elapsed CPU time: 33.9198 s Remaining CPU time: 1766.08 s c Elapsed CPU time: 34.0578 s Remaining CPU time: 1765.94 s c Elapsed CPU time: 34.1958 s Remaining CPU time: 1765.8 s c Elapsed CPU time: 34.3358 s Remaining CPU time: 1765.66 s c Elapsed CPU time: 34.4748 s Remaining CPU time: 1765.53 s c Elapsed CPU time: 34.6147 s Remaining CPU time: 1765.39 s c Elapsed CPU time: 34.7527 s Remaining CPU time: 1765.25 s c Elapsed CPU time: 34.8927 s Remaining CPU time: 1765.11 s c Elapsed CPU time: 35.0317 s Remaining CPU time: 1764.97 s c Elapsed CPU time: 35.1707 s Remaining CPU time: 1764.83 s c Elapsed CPU time: 35.3076 s Remaining CPU time: 1764.69 s c Elapsed CPU time: 35.4466 s Remaining CPU time: 1764.55 s c Elapsed CPU time: 35.5846 s Remaining CPU time: 1764.42 s c Elapsed CPU time: 35.7236 s Remaining CPU time: 1764.28 s c Elapsed CPU time: 35.8635 s Remaining CPU time: 1764.14 s c Elapsed CPU time: 36.0025 s Remaining CPU time: 1764 s c Elapsed CPU time: 36.1415 s Remaining CPU time: 1763.86 s c Elapsed CPU time: 36.2815 s Remaining CPU time: 1763.72 s c Elapsed CPU time: 36.4205 s Remaining CPU time: 1763.58 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 53 113230 217869 | 37743 0 nan | 0.000 % | c =============================================================================== c Verified 113230 original clauses.