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.077988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.19197 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.412937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.52092 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.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.06884 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.17882 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2888 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.39879 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.50877 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.61775 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.72674 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.83672 s Remaining CPU time: 1798.16 s c Elapsed CPU time: 1.9467 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 2.05569 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.16667 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.27665 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.38664 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.49662 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.6086 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.72059 s Remaining CPU time: 1797.28 s c Elapsed CPU time: 2.83457 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.94755 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 3.06053 s Remaining CPU time: 1796.94 s c Elapsed CPU time: 3.17452 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.40048 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.51446 s Remaining CPU time: 1796.49 s c Elapsed CPU time: 3.62745 s Remaining CPU time: 1796.37 s c Elapsed CPU time: 3.74143 s Remaining CPU time: 1796.26 s c Elapsed CPU time: 3.85541 s Remaining CPU time: 1796.14 s c Elapsed CPU time: 3.9694 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.19636 s Remaining CPU time: 1795.8 s c Elapsed CPU time: 4.31034 s Remaining CPU time: 1795.69 s c Elapsed CPU time: 4.42333 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.65029 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.76427 s Remaining CPU time: 1795.24 s c Elapsed CPU time: 4.87726 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 4.99124 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 5.10522 s Remaining CPU time: 1794.89 s c Elapsed CPU time: 5.21921 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.33319 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.44717 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.56215 s Remaining CPU time: 1794.44 s c Elapsed CPU time: 5.67614 s Remaining CPU time: 1794.32 s c Elapsed CPU time: 5.79112 s Remaining CPU time: 1794.21 s c Elapsed CPU time: 5.9051 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 6.01908 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.13307 s Remaining CPU time: 1793.87 s c Elapsed CPU time: 6.24705 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.36103 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.47602 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.59 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.70498 s Remaining CPU time: 1793.3 s c Elapsed CPU time: 6.81996 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.93394 s Remaining CPU time: 1793.07 s c Elapsed CPU time: 7.04793 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.16091 s Remaining CPU time: 1792.84 s c Elapsed CPU time: 7.27489 s Remaining CPU time: 1792.73 s c Elapsed CPU time: 7.38988 s Remaining CPU time: 1792.61 s c Elapsed CPU time: 7.50486 s Remaining CPU time: 1792.5 s c Elapsed CPU time: 7.61984 s Remaining CPU time: 1792.38 s c Elapsed CPU time: 7.73482 s Remaining CPU time: 1792.27 s c Elapsed CPU time: 7.85081 s Remaining CPU time: 1792.15 s c Elapsed CPU time: 7.96579 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 8.08077 s Remaining CPU time: 1791.92 s c Elapsed CPU time: 8.19375 s Remaining CPU time: 1791.81 s c Elapsed CPU time: 8.30774 s Remaining CPU time: 1791.69 s c Elapsed CPU time: 8.42372 s Remaining CPU time: 1791.58 s c Elapsed CPU time: 8.5387 s Remaining CPU time: 1791.46 s c Elapsed CPU time: 8.65368 s Remaining CPU time: 1791.35 s c Elapsed CPU time: 8.77067 s Remaining CPU time: 1791.23 s c Elapsed CPU time: 8.88565 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 9.00163 s Remaining CPU time: 1791 s c Elapsed CPU time: 9.11661 s Remaining CPU time: 1790.88 s c Elapsed CPU time: 9.2326 s Remaining CPU time: 1790.77 s c Elapsed CPU time: 9.34758 s Remaining CPU time: 1790.65 s c Elapsed CPU time: 9.46356 s Remaining CPU time: 1790.54 s c Elapsed CPU time: 9.58054 s Remaining CPU time: 1790.42 s c Elapsed CPU time: 9.69453 s Remaining CPU time: 1790.31 s c Elapsed CPU time: 9.81151 s Remaining CPU time: 1790.19 s c Elapsed CPU time: 9.92849 s Remaining CPU time: 1790.07 s c Elapsed CPU time: 10.0435 s Remaining CPU time: 1789.96 s c Elapsed CPU time: 10.1605 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.2754 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.3934 s Remaining CPU time: 1789.61 s c Elapsed CPU time: 10.5104 s Remaining CPU time: 1789.49 s c Elapsed CPU time: 10.6274 s Remaining CPU time: 1789.37 s c Elapsed CPU time: 10.7444 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.8623 s Remaining CPU time: 1789.14 s c Elapsed CPU time: 10.9803 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 11.0973 s Remaining CPU time: 1788.9 s c Elapsed CPU time: 11.2143 s Remaining CPU time: 1788.79 s c Elapsed CPU time: 11.3323 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4503 s Remaining CPU time: 1788.55 s c Elapsed CPU time: 11.5662 s Remaining CPU time: 1788.43 s c Elapsed CPU time: 11.6832 s Remaining CPU time: 1788.32 s c Elapsed CPU time: 11.8002 s Remaining CPU time: 1788.2 s c Elapsed CPU time: 11.9172 s Remaining CPU time: 1788.08 s c Elapsed CPU time: 12.0352 s Remaining CPU time: 1787.96 s c Elapsed CPU time: 12.1522 s Remaining CPU time: 1787.85 s c Elapsed CPU time: 12.2701 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.3861 s Remaining CPU time: 1787.61 s c Elapsed CPU time: 12.5021 s Remaining CPU time: 1787.5 s c Elapsed CPU time: 12.6211 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.7391 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.856 s Remaining CPU time: 1787.14 s c Elapsed CPU time: 12.971 s Remaining CPU time: 1787.03 s c Elapsed CPU time: 13.089 s Remaining CPU time: 1786.91 s c Elapsed CPU time: 13.206 s Remaining CPU time: 1786.79 s c Elapsed CPU time: 13.324 s Remaining CPU time: 1786.68 s c Elapsed CPU time: 13.442 s Remaining CPU time: 1786.56 s c Elapsed CPU time: 13.5589 s Remaining CPU time: 1786.44 s c Elapsed CPU time: 13.6779 s Remaining CPU time: 1786.32 s c Elapsed CPU time: 13.7949 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.9139 s Remaining CPU time: 1786.09 s c Elapsed CPU time: 14.0319 s Remaining CPU time: 1785.97 s c Elapsed CPU time: 14.1508 s Remaining CPU time: 1785.85 s c Elapsed CPU time: 14.2688 s Remaining CPU time: 1785.73 s c Elapsed CPU time: 14.3858 s Remaining CPU time: 1785.61 s c Elapsed CPU time: 14.5028 s Remaining CPU time: 1785.5 s c Elapsed CPU time: 14.6218 s Remaining CPU time: 1785.38 s c Elapsed CPU time: 14.7408 s Remaining CPU time: 1785.26 s c Elapsed CPU time: 14.8587 s Remaining CPU time: 1785.14 s c Elapsed CPU time: 14.9797 s Remaining CPU time: 1785.02 s c Elapsed CPU time: 15.0977 s Remaining CPU time: 1784.9 s c Elapsed CPU time: 15.2157 s Remaining CPU time: 1784.78 s c Elapsed CPU time: 15.3347 s Remaining CPU time: 1784.67 s c Elapsed CPU time: 15.4536 s Remaining CPU time: 1784.55 s c Elapsed CPU time: 15.5726 s Remaining CPU time: 1784.43 s c Elapsed CPU time: 15.6916 s Remaining CPU time: 1784.31 s c Elapsed CPU time: 15.8106 s Remaining CPU time: 1784.19 s c Elapsed CPU time: 15.9296 s Remaining CPU time: 1784.07 s c Elapsed CPU time: 16.0486 s Remaining CPU time: 1783.95 s c Elapsed CPU time: 16.1675 s Remaining CPU time: 1783.83 s c Elapsed CPU time: 16.2865 s Remaining CPU time: 1783.71 s c Elapsed CPU time: 16.4055 s Remaining CPU time: 1783.59 s c Elapsed CPU time: 16.5255 s Remaining CPU time: 1783.47 s c Elapsed CPU time: 16.6445 s Remaining CPU time: 1783.36 s c Elapsed CPU time: 16.7645 s Remaining CPU time: 1783.24 s c Elapsed CPU time: 16.8834 s Remaining CPU time: 1783.12 s c Elapsed CPU time: 17.0024 s Remaining CPU time: 1783 s c Elapsed CPU time: 17.1224 s Remaining CPU time: 1782.88 s c Elapsed CPU time: 17.2424 s Remaining CPU time: 1782.76 s c Elapsed CPU time: 17.3604 s Remaining CPU time: 1782.64 s c Elapsed CPU time: 17.4813 s Remaining CPU time: 1782.52 s c Elapsed CPU time: 17.6023 s Remaining CPU time: 1782.4 s c Elapsed CPU time: 17.7213 s Remaining CPU time: 1782.28 s c Elapsed CPU time: 17.8413 s Remaining CPU time: 1782.16 s c Elapsed CPU time: 17.9633 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 18.0823 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 18.2022 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3222 s Remaining CPU time: 1781.68 s c Elapsed CPU time: 18.4432 s Remaining CPU time: 1781.56 s c Elapsed CPU time: 18.5632 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6842 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.8021 s Remaining CPU time: 1781.2 s c Elapsed CPU time: 18.9231 s Remaining CPU time: 1781.08 s c Elapsed CPU time: 19.0441 s Remaining CPU time: 1780.96 s c Elapsed CPU time: 19.1651 s Remaining CPU time: 1780.83 s c Elapsed CPU time: 19.2851 s Remaining CPU time: 1780.71 s c Elapsed CPU time: 19.406 s Remaining CPU time: 1780.59 s c Elapsed CPU time: 19.526 s Remaining CPU time: 1780.47 s c Elapsed CPU time: 19.648 s Remaining CPU time: 1780.35 s c Elapsed CPU time: 19.768 s Remaining CPU time: 1780.23 s c Elapsed CPU time: 19.889 s Remaining CPU time: 1780.11 s c Elapsed CPU time: 20.008 s Remaining CPU time: 1779.99 s c Elapsed CPU time: 20.1299 s Remaining CPU time: 1779.87 s c Elapsed CPU time: 20.2509 s Remaining CPU time: 1779.75 s c Elapsed CPU time: 20.3719 s Remaining CPU time: 1779.63 s c Elapsed CPU time: 20.4909 s Remaining CPU time: 1779.51 s c Elapsed CPU time: 20.6119 s Remaining CPU time: 1779.39 s c Elapsed CPU time: 20.7328 s Remaining CPU time: 1779.27 s c Elapsed CPU time: 20.8528 s Remaining CPU time: 1779.15 s c Elapsed CPU time: 20.9738 s Remaining CPU time: 1779.03 s c Elapsed CPU time: 21.0948 s Remaining CPU time: 1778.91 s c Elapsed CPU time: 21.2158 s Remaining CPU time: 1778.78 s c Elapsed CPU time: 21.3358 s Remaining CPU time: 1778.66 s c Elapsed CPU time: 21.4567 s Remaining CPU time: 1778.54 s c Elapsed CPU time: 21.5787 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.7007 s Remaining CPU time: 1778.3 s c Elapsed CPU time: 21.8237 s Remaining CPU time: 1778.18 s c Elapsed CPU time: 21.9467 s Remaining CPU time: 1778.05 s c Elapsed CPU time: 22.0686 s Remaining CPU time: 1777.93 s c Elapsed CPU time: 22.1916 s Remaining CPU time: 1777.81 s c Elapsed CPU time: 22.3146 s Remaining CPU time: 1777.69 s c Elapsed CPU time: 22.4376 s Remaining CPU time: 1777.56 s c Elapsed CPU time: 22.5606 s Remaining CPU time: 1777.44 s c Elapsed CPU time: 22.6826 s Remaining CPU time: 1777.32 s c Elapsed CPU time: 22.8065 s Remaining CPU time: 1777.19 s c Elapsed CPU time: 22.9305 s Remaining CPU time: 1777.07 s c Elapsed CPU time: 23.0535 s Remaining CPU time: 1776.95 s c Elapsed CPU time: 23.1775 s Remaining CPU time: 1776.82 s c Elapsed CPU time: 23.3025 s Remaining CPU time: 1776.7 s c Elapsed CPU time: 23.4264 s Remaining CPU time: 1776.57 s c Elapsed CPU time: 23.5504 s Remaining CPU time: 1776.45 s c Elapsed CPU time: 23.6734 s Remaining CPU time: 1776.33 s c Elapsed CPU time: 23.7984 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.9224 s Remaining CPU time: 1776.08 s c Elapsed CPU time: 24.0463 s Remaining CPU time: 1775.95 s c Elapsed CPU time: 24.1703 s Remaining CPU time: 1775.83 s c Elapsed CPU time: 24.2933 s Remaining CPU time: 1775.71 s c Elapsed CPU time: 24.4183 s Remaining CPU time: 1775.58 s c Elapsed CPU time: 24.5423 s Remaining CPU time: 1775.46 s c Elapsed CPU time: 24.6692 s Remaining CPU time: 1775.33 s c Elapsed CPU time: 24.7952 s Remaining CPU time: 1775.2 s c Elapsed CPU time: 24.9212 s Remaining CPU time: 1775.08 s c Elapsed CPU time: 25.0462 s Remaining CPU time: 1774.95 s c Elapsed CPU time: 25.1732 s Remaining CPU time: 1774.83 s c Elapsed CPU time: 25.2992 s Remaining CPU time: 1774.7 s c Elapsed CPU time: 25.4241 s Remaining CPU time: 1774.58 s c Elapsed CPU time: 25.5501 s Remaining CPU time: 1774.45 s c Elapsed CPU time: 25.6751 s Remaining CPU time: 1774.32 s c Elapsed CPU time: 25.8011 s Remaining CPU time: 1774.2 s c Elapsed CPU time: 25.9271 s Remaining CPU time: 1774.07 s c Elapsed CPU time: 26.054 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.309 s Remaining CPU time: 1773.69 s c Elapsed CPU time: 26.435 s Remaining CPU time: 1773.57 s c Elapsed CPU time: 26.561 s Remaining CPU time: 1773.44 s c Elapsed CPU time: 26.6879 s Remaining CPU time: 1773.31 s c Elapsed CPU time: 26.8149 s Remaining CPU time: 1773.19 s c Elapsed CPU time: 26.9429 s Remaining CPU time: 1773.06 s c Elapsed CPU time: 27.0709 s Remaining CPU time: 1772.93 s c Elapsed CPU time: 27.1989 s Remaining CPU time: 1772.8 s c Elapsed CPU time: 27.3268 s Remaining CPU time: 1772.67 s c Elapsed CPU time: 27.4548 s Remaining CPU time: 1772.55 s c Elapsed CPU time: 27.5828 s Remaining CPU time: 1772.42 s c Elapsed CPU time: 27.7118 s Remaining CPU time: 1772.29 s c Elapsed CPU time: 27.8408 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.1007 s Remaining CPU time: 1771.9 s c Elapsed CPU time: 28.2307 s Remaining CPU time: 1771.77 s c Elapsed CPU time: 28.3617 s Remaining CPU time: 1771.64 s c Elapsed CPU time: 28.4927 s Remaining CPU time: 1771.51 s c Elapsed CPU time: 28.6246 s Remaining CPU time: 1771.38 s c Elapsed CPU time: 28.7566 s Remaining CPU time: 1771.24 s c Elapsed CPU time: 28.8886 s Remaining CPU time: 1771.11 s c Elapsed CPU time: 29.0196 s Remaining CPU time: 1770.98 s c Elapsed CPU time: 29.1516 s Remaining CPU time: 1770.85 s c Elapsed CPU time: 29.2825 s Remaining CPU time: 1770.72 s c Elapsed CPU time: 29.4125 s Remaining CPU time: 1770.59 s c Elapsed CPU time: 29.5435 s Remaining CPU time: 1770.46 s c Elapsed CPU time: 29.6755 s Remaining CPU time: 1770.32 s c Elapsed CPU time: 29.8085 s Remaining CPU time: 1770.19 s c Elapsed CPU time: 29.9414 s Remaining CPU time: 1770.06 s c Elapsed CPU time: 30.0744 s Remaining CPU time: 1769.93 s c Elapsed CPU time: 30.2104 s Remaining CPU time: 1769.79 s c Elapsed CPU time: 30.3474 s Remaining CPU time: 1769.65 s c Elapsed CPU time: 30.4814 s Remaining CPU time: 1769.52 s c Elapsed CPU time: 30.6163 s Remaining CPU time: 1769.38 s c Elapsed CPU time: 30.7523 s Remaining CPU time: 1769.25 s c Elapsed CPU time: 30.8873 s Remaining CPU time: 1769.11 s c Elapsed CPU time: 31.0233 s Remaining CPU time: 1768.98 s c Elapsed CPU time: 31.1583 s Remaining CPU time: 1768.84 s c Elapsed CPU time: 31.2932 s Remaining CPU time: 1768.71 s c Elapsed CPU time: 31.4292 s Remaining CPU time: 1768.57 s c Elapsed CPU time: 31.5652 s Remaining CPU time: 1768.43 s c Elapsed CPU time: 31.6992 s Remaining CPU time: 1768.3 s c Elapsed CPU time: 31.8352 s Remaining CPU time: 1768.16 s c Elapsed CPU time: 31.9731 s Remaining CPU time: 1768.03 s c Elapsed CPU time: 32.1091 s Remaining CPU time: 1767.89 s c Elapsed CPU time: 32.2461 s Remaining CPU time: 1767.75 s c Elapsed CPU time: 32.3821 s Remaining CPU time: 1767.62 s c Elapsed CPU time: 32.5201 s Remaining CPU time: 1767.48 s c Elapsed CPU time: 32.656 s Remaining CPU time: 1767.34 s c Elapsed CPU time: 32.791 s Remaining CPU time: 1767.21 s c Elapsed CPU time: 32.928 s Remaining CPU time: 1767.07 s c Elapsed CPU time: 33.067 s Remaining CPU time: 1766.93 s c Elapsed CPU time: 33.203 s Remaining CPU time: 1766.8 s c Elapsed CPU time: 33.3419 s Remaining CPU time: 1766.66 s c Elapsed CPU time: 33.4789 s Remaining CPU time: 1766.52 s c Elapsed CPU time: 33.6189 s Remaining CPU time: 1766.38 s c Elapsed CPU time: 33.7559 s Remaining CPU time: 1766.24 s c Elapsed CPU time: 33.8928 s Remaining CPU time: 1766.11 s c Elapsed CPU time: 34.0318 s Remaining CPU time: 1765.97 s c Elapsed CPU time: 34.1688 s Remaining CPU time: 1765.83 s c Elapsed CPU time: 34.3078 s Remaining CPU time: 1765.69 s c Elapsed CPU time: 34.4458 s Remaining CPU time: 1765.55 s c Elapsed CPU time: 34.5847 s Remaining CPU time: 1765.42 s c Elapsed CPU time: 34.7237 s Remaining CPU time: 1765.28 s c Elapsed CPU time: 34.8627 s Remaining CPU time: 1765.14 s c Elapsed CPU time: 35.0037 s Remaining CPU time: 1765 s c Elapsed CPU time: 35.1427 s Remaining CPU time: 1764.86 s c Elapsed CPU time: 35.2836 s Remaining CPU time: 1764.72 s c Elapsed CPU time: 35.4236 s Remaining CPU time: 1764.58 s c Elapsed CPU time: 35.5626 s Remaining CPU time: 1764.44 s c Elapsed CPU time: 35.7036 s Remaining CPU time: 1764.3 s c Elapsed CPU time: 35.8445 s Remaining CPU time: 1764.16 s c Elapsed CPU time: 35.9835 s Remaining CPU time: 1764.02 s c Elapsed CPU time: 36.1235 s Remaining CPU time: 1763.88 s c Elapsed CPU time: 36.2635 s Remaining CPU time: 1763.74 s c Elapsed CPU time: 36.4045 s Remaining CPU time: 1763.6 s c Elapsed CPU time: 36.5454 s Remaining CPU time: 1763.45 s c Elapsed CPU time: 36.6854 s Remaining CPU time: 1763.31 s c Elapsed CPU time: 36.8274 s Remaining CPU time: 1763.17 s c Elapsed CPU time: 36.9674 s Remaining CPU time: 1763.03 s c Elapsed CPU time: 37.1074 s Remaining CPU time: 1762.89 s c Elapsed CPU time: 37.2483 s Remaining CPU time: 1762.75 s c Elapsed CPU time: 37.3903 s Remaining CPU time: 1762.61 s c Elapsed CPU time: 37.5313 s Remaining CPU time: 1762.47 s c Elapsed CPU time: 37.6773 s Remaining CPU time: 1762.32 s c Elapsed CPU time: 37.8192 s Remaining CPU time: 1762.18 s c Elapsed CPU time: 37.9622 s Remaining CPU time: 1762.04 s c Elapsed CPU time: 38.1042 s Remaining CPU time: 1761.9 s c Elapsed CPU time: 38.2482 s Remaining CPU time: 1761.75 s c Elapsed CPU time: 38.3892 s Remaining CPU time: 1761.61 s c Elapsed CPU time: 38.5341 s Remaining CPU time: 1761.47 s c Elapsed CPU time: 38.6781 s Remaining CPU time: 1761.32 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113266 217871 | 37755 0 nan | 0.000 % | c =============================================================================== c Verified 113266 original clauses.