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.076988 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.412937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.52292 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.744886 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.08083 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.19382 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.3048 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41578 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.63875 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.74973 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.86072 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9727 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19867 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.31465 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.42963 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.54561 s Remaining CPU time: 1797.45 s c Elapsed CPU time: 2.65959 s Remaining CPU time: 1797.34 s c Elapsed CPU time: 2.77358 s Remaining CPU time: 1797.23 s c Elapsed CPU time: 2.89056 s Remaining CPU time: 1797.11 s c Elapsed CPU time: 3.00554 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.12352 s Remaining CPU time: 1796.88 s c Elapsed CPU time: 3.23951 s Remaining CPU time: 1796.76 s c Elapsed CPU time: 3.35549 s Remaining CPU time: 1796.64 s c Elapsed CPU time: 3.47047 s Remaining CPU time: 1796.53 s c Elapsed CPU time: 3.58745 s Remaining CPU time: 1796.41 s c Elapsed CPU time: 3.70344 s Remaining CPU time: 1796.3 s c Elapsed CPU time: 3.81942 s Remaining CPU time: 1796.18 s c Elapsed CPU time: 3.9364 s Remaining CPU time: 1796.06 s c Elapsed CPU time: 4.05338 s Remaining CPU time: 1795.95 s c Elapsed CPU time: 4.17136 s Remaining CPU time: 1795.83 s c Elapsed CPU time: 4.28635 s Remaining CPU time: 1795.71 s c Elapsed CPU time: 4.40333 s Remaining CPU time: 1795.6 s c Elapsed CPU time: 4.52031 s Remaining CPU time: 1795.48 s c Elapsed CPU time: 4.6363 s Remaining CPU time: 1795.36 s c Elapsed CPU time: 4.75128 s Remaining CPU time: 1795.25 s c Elapsed CPU time: 4.86626 s Remaining CPU time: 1795.13 s c Elapsed CPU time: 4.98124 s Remaining CPU time: 1795.02 s c Elapsed CPU time: 5.09822 s Remaining CPU time: 1794.9 s c Elapsed CPU time: 5.21621 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.45117 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.56915 s Remaining CPU time: 1794.43 s c Elapsed CPU time: 5.68813 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.80512 s Remaining CPU time: 1794.19 s c Elapsed CPU time: 5.9201 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 6.03708 s Remaining CPU time: 1793.96 s c Elapsed CPU time: 6.15406 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.27005 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.38603 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.50201 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.61899 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.73498 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.85196 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.96994 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.08792 s Remaining CPU time: 1792.91 s c Elapsed CPU time: 7.2049 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.32389 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.43887 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.55685 s Remaining CPU time: 1792.44 s c Elapsed CPU time: 7.67283 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.78881 s Remaining CPU time: 1792.21 s c Elapsed CPU time: 7.9058 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 8.02278 s Remaining CPU time: 1791.98 s c Elapsed CPU time: 8.13976 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.25574 s Remaining CPU time: 1791.74 s c Elapsed CPU time: 8.37273 s Remaining CPU time: 1791.63 s c Elapsed CPU time: 8.49171 s Remaining CPU time: 1791.51 s c Elapsed CPU time: 8.61069 s Remaining CPU time: 1791.39 s c Elapsed CPU time: 8.72867 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.84666 s Remaining CPU time: 1791.15 s c Elapsed CPU time: 8.96464 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 9.08062 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.1976 s Remaining CPU time: 1790.8 s c Elapsed CPU time: 9.31358 s Remaining CPU time: 1790.69 s c Elapsed CPU time: 9.43057 s Remaining CPU time: 1790.57 s c Elapsed CPU time: 9.54855 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.66653 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.78351 s Remaining CPU time: 1790.22 s c Elapsed CPU time: 9.90249 s Remaining CPU time: 1790.1 s c Elapsed CPU time: 10.0205 s Remaining CPU time: 1789.98 s c Elapsed CPU time: 10.1385 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.2564 s Remaining CPU time: 1789.74 s c Elapsed CPU time: 10.3744 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.4924 s Remaining CPU time: 1789.51 s c Elapsed CPU time: 10.6084 s Remaining CPU time: 1789.39 s c Elapsed CPU time: 10.7254 s Remaining CPU time: 1789.27 s c Elapsed CPU time: 10.8414 s Remaining CPU time: 1789.16 s c Elapsed CPU time: 10.9603 s Remaining CPU time: 1789.04 s c Elapsed CPU time: 11.0753 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.1933 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.3113 s Remaining CPU time: 1788.69 s c Elapsed CPU time: 11.4323 s Remaining CPU time: 1788.57 s c Elapsed CPU time: 11.5522 s Remaining CPU time: 1788.45 s c Elapsed CPU time: 11.6702 s Remaining CPU time: 1788.33 s c Elapsed CPU time: 11.7862 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.9062 s Remaining CPU time: 1788.09 s c Elapsed CPU time: 12.0202 s Remaining CPU time: 1787.98 s c Elapsed CPU time: 12.1372 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.2531 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.3711 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.4881 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6071 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.7261 s Remaining CPU time: 1787.27 s c Elapsed CPU time: 12.847 s Remaining CPU time: 1787.15 s c Elapsed CPU time: 12.964 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 13.082 s Remaining CPU time: 1786.92 s c Elapsed CPU time: 13.199 s Remaining CPU time: 1786.8 s c Elapsed CPU time: 13.316 s Remaining CPU time: 1786.68 s c Elapsed CPU time: 13.432 s Remaining CPU time: 1786.57 s c Elapsed CPU time: 13.5499 s Remaining CPU time: 1786.45 s c Elapsed CPU time: 13.6669 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.7859 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.9049 s Remaining CPU time: 1786.1 s c Elapsed CPU time: 14.0259 s Remaining CPU time: 1785.97 s c Elapsed CPU time: 14.1448 s Remaining CPU time: 1785.86 s c Elapsed CPU time: 14.2648 s Remaining CPU time: 1785.74 s c Elapsed CPU time: 14.3828 s Remaining CPU time: 1785.62 s c Elapsed CPU time: 14.5008 s Remaining CPU time: 1785.5 s c Elapsed CPU time: 14.6198 s Remaining CPU time: 1785.38 s c Elapsed CPU time: 14.7388 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.9787 s Remaining CPU time: 1785.02 s c Elapsed CPU time: 15.0987 s Remaining CPU time: 1784.9 s c Elapsed CPU time: 15.2197 s Remaining CPU time: 1784.78 s c Elapsed CPU time: 15.3377 s Remaining CPU time: 1784.66 s c Elapsed CPU time: 15.4566 s Remaining CPU time: 1784.54 s c Elapsed CPU time: 15.5746 s Remaining CPU time: 1784.43 s c Elapsed CPU time: 15.6926 s Remaining CPU time: 1784.31 s c Elapsed CPU time: 15.8086 s Remaining CPU time: 1784.19 s c Elapsed CPU time: 15.9276 s Remaining CPU time: 1784.07 s c Elapsed CPU time: 16.0456 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.2895 s Remaining CPU time: 1783.71 s c Elapsed CPU time: 16.4095 s Remaining CPU time: 1783.59 s c Elapsed CPU time: 16.5275 s Remaining CPU time: 1783.47 s c Elapsed CPU time: 16.6485 s Remaining CPU time: 1783.35 s c Elapsed CPU time: 16.7675 s Remaining CPU time: 1783.23 s c Elapsed CPU time: 16.8864 s Remaining CPU time: 1783.11 s c Elapsed CPU time: 17.0054 s Remaining CPU time: 1782.99 s c Elapsed CPU time: 17.1244 s Remaining CPU time: 1782.88 s c Elapsed CPU time: 17.2444 s Remaining CPU time: 1782.76 s c Elapsed CPU time: 17.3654 s Remaining CPU time: 1782.63 s c Elapsed CPU time: 17.4873 s Remaining CPU time: 1782.51 s c Elapsed CPU time: 17.6063 s Remaining CPU time: 1782.39 s c Elapsed CPU time: 17.7253 s Remaining CPU time: 1782.27 s c Elapsed CPU time: 17.8463 s Remaining CPU time: 1782.15 s c Elapsed CPU time: 17.9663 s Remaining CPU time: 1782.03 s c Elapsed CPU time: 18.0862 s Remaining CPU time: 1781.91 s c Elapsed CPU time: 18.2052 s Remaining CPU time: 1781.79 s c Elapsed CPU time: 18.3272 s Remaining CPU time: 1781.67 s c Elapsed CPU time: 18.4492 s Remaining CPU time: 1781.55 s c Elapsed CPU time: 18.5692 s Remaining CPU time: 1781.43 s c Elapsed CPU time: 18.6892 s Remaining CPU time: 1781.31 s c Elapsed CPU time: 18.8101 s Remaining CPU time: 1781.19 s c Elapsed CPU time: 18.9291 s Remaining CPU time: 1781.07 s c Elapsed CPU time: 19.0471 s Remaining CPU time: 1780.95 s c Elapsed CPU time: 19.1651 s Remaining CPU time: 1780.83 s c Elapsed CPU time: 19.2871 s Remaining CPU time: 1780.71 s c Elapsed CPU time: 19.408 s Remaining CPU time: 1780.59 s c Elapsed CPU time: 19.531 s Remaining CPU time: 1780.47 s c Elapsed CPU time: 19.655 s Remaining CPU time: 1780.34 s c Elapsed CPU time: 19.778 s Remaining CPU time: 1780.22 s c Elapsed CPU time: 19.899 s Remaining CPU time: 1780.1 s c Elapsed CPU time: 20.02 s Remaining CPU time: 1779.98 s c Elapsed CPU time: 20.1419 s Remaining CPU time: 1779.86 s c Elapsed CPU time: 20.2639 s Remaining CPU time: 1779.74 s c Elapsed CPU time: 20.3839 s Remaining CPU time: 1779.62 s c Elapsed CPU time: 20.5059 s Remaining CPU time: 1779.49 s c Elapsed CPU time: 20.6279 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7498 s Remaining CPU time: 1779.25 s c Elapsed CPU time: 20.8738 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 20.9988 s Remaining CPU time: 1779 s c Elapsed CPU time: 21.1218 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.2448 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3668 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.6127 s Remaining CPU time: 1778.39 s c Elapsed CPU time: 21.7347 s Remaining CPU time: 1778.27 s c Elapsed CPU time: 21.8597 s Remaining CPU time: 1778.14 s c Elapsed CPU time: 21.9847 s Remaining CPU time: 1778.02 s c Elapsed CPU time: 22.1116 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2376 s Remaining CPU time: 1777.76 s c Elapsed CPU time: 22.3656 s Remaining CPU time: 1777.63 s c Elapsed CPU time: 22.4926 s Remaining CPU time: 1777.51 s c Elapsed CPU time: 22.6216 s Remaining CPU time: 1777.38 s c Elapsed CPU time: 22.7475 s Remaining CPU time: 1777.25 s c Elapsed CPU time: 22.8745 s Remaining CPU time: 1777.13 s c Elapsed CPU time: 22.9995 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1275 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2535 s Remaining CPU time: 1776.75 s c Elapsed CPU time: 23.3804 s Remaining CPU time: 1776.62 s c Elapsed CPU time: 23.5054 s Remaining CPU time: 1776.49 s c Elapsed CPU time: 23.6334 s Remaining CPU time: 1776.37 s c Elapsed CPU time: 23.7624 s Remaining CPU time: 1776.24 s c Elapsed CPU time: 23.8894 s Remaining CPU time: 1776.11 s c Elapsed CPU time: 24.0183 s Remaining CPU time: 1775.98 s c Elapsed CPU time: 24.1473 s Remaining CPU time: 1775.85 s c Elapsed CPU time: 24.2773 s Remaining CPU time: 1775.72 s c Elapsed CPU time: 24.4083 s Remaining CPU time: 1775.59 s c Elapsed CPU time: 24.5373 s Remaining CPU time: 1775.46 s c Elapsed CPU time: 24.6663 s Remaining CPU time: 1775.33 s c Elapsed CPU time: 24.7962 s Remaining CPU time: 1775.2 s c Elapsed CPU time: 24.9232 s Remaining CPU time: 1775.08 s c Elapsed CPU time: 25.0512 s Remaining CPU time: 1774.95 s c Elapsed CPU time: 25.1772 s Remaining CPU time: 1774.82 s c Elapsed CPU time: 25.3052 s Remaining CPU time: 1774.69 s c Elapsed CPU time: 25.4351 s Remaining CPU time: 1774.56 s c Elapsed CPU time: 25.5651 s Remaining CPU time: 1774.43 s c Elapsed CPU time: 25.6951 s Remaining CPU time: 1774.3 s c Elapsed CPU time: 25.8241 s Remaining CPU time: 1774.18 s c Elapsed CPU time: 25.9541 s Remaining CPU time: 1774.05 s c Elapsed CPU time: 26.084 s Remaining CPU time: 1773.92 s c Elapsed CPU time: 26.213 s Remaining CPU time: 1773.79 s c Elapsed CPU time: 26.345 s Remaining CPU time: 1773.66 s c Elapsed CPU time: 26.473 s Remaining CPU time: 1773.53 s c Elapsed CPU time: 26.603 s Remaining CPU time: 1773.4 s c Elapsed CPU time: 26.7319 s Remaining CPU time: 1773.27 s c Elapsed CPU time: 26.8599 s Remaining CPU time: 1773.14 s c Elapsed CPU time: 26.9899 s Remaining CPU time: 1773.01 s c Elapsed CPU time: 27.1219 s Remaining CPU time: 1772.88 s c Elapsed CPU time: 27.2529 s Remaining CPU time: 1772.75 s c Elapsed CPU time: 27.3848 s Remaining CPU time: 1772.62 s c Elapsed CPU time: 27.5168 s Remaining CPU time: 1772.48 s c Elapsed CPU time: 27.6488 s Remaining CPU time: 1772.35 s c Elapsed CPU time: 27.7798 s Remaining CPU time: 1772.22 s c Elapsed CPU time: 27.9108 s Remaining CPU time: 1772.09 s c Elapsed CPU time: 28.0417 s Remaining CPU time: 1771.96 s c Elapsed CPU time: 28.1737 s Remaining CPU time: 1771.83 s c Elapsed CPU time: 28.3047 s Remaining CPU time: 1771.7 s c Elapsed CPU time: 28.4357 s Remaining CPU time: 1771.56 s c Elapsed CPU time: 28.5687 s Remaining CPU time: 1771.43 s c Elapsed CPU time: 28.7026 s Remaining CPU time: 1771.3 s c Elapsed CPU time: 28.8356 s Remaining CPU time: 1771.16 s c Elapsed CPU time: 28.9706 s Remaining CPU time: 1771.03 s c Elapsed CPU time: 29.1046 s Remaining CPU time: 1770.9 s c Elapsed CPU time: 29.2396 s Remaining CPU time: 1770.76 s c Elapsed CPU time: 29.3725 s Remaining CPU time: 1770.63 s c Elapsed CPU time: 29.5055 s Remaining CPU time: 1770.49 s c Elapsed CPU time: 29.6385 s Remaining CPU time: 1770.36 s c Elapsed CPU time: 29.7725 s Remaining CPU time: 1770.23 s c Elapsed CPU time: 29.9075 s Remaining CPU time: 1770.09 s c Elapsed CPU time: 30.0434 s Remaining CPU time: 1769.96 s c Elapsed CPU time: 30.1794 s Remaining CPU time: 1769.82 s c Elapsed CPU time: 30.3154 s Remaining CPU time: 1769.68 s c Elapsed CPU time: 30.4504 s Remaining CPU time: 1769.55 s c Elapsed CPU time: 30.5844 s Remaining CPU time: 1769.42 s c Elapsed CPU time: 30.7193 s Remaining CPU time: 1769.28 s c Elapsed CPU time: 30.8553 s Remaining CPU time: 1769.14 s c Elapsed CPU time: 30.9913 s Remaining CPU time: 1769.01 s c Elapsed CPU time: 31.1283 s Remaining CPU time: 1768.87 s c Elapsed CPU time: 31.2642 s Remaining CPU time: 1768.74 s c Elapsed CPU time: 31.4012 s Remaining CPU time: 1768.6 s c Elapsed CPU time: 31.5372 s Remaining CPU time: 1768.46 s c Elapsed CPU time: 31.6722 s Remaining CPU time: 1768.33 s c Elapsed CPU time: 31.8092 s Remaining CPU time: 1768.19 s c Elapsed CPU time: 31.9451 s Remaining CPU time: 1768.05 s c Elapsed CPU time: 32.0831 s Remaining CPU time: 1767.92 s c Elapsed CPU time: 32.2211 s Remaining CPU time: 1767.78 s c Elapsed CPU time: 32.3591 s Remaining CPU time: 1767.64 s c Elapsed CPU time: 32.4941 s Remaining CPU time: 1767.51 s c Elapsed CPU time: 32.629 s Remaining CPU time: 1767.37 s c Elapsed CPU time: 32.767 s Remaining CPU time: 1767.23 s c Elapsed CPU time: 32.903 s Remaining CPU time: 1767.1 s c Elapsed CPU time: 33.038 s Remaining CPU time: 1766.96 s c Elapsed CPU time: 33.175 s Remaining CPU time: 1766.83 s c Elapsed CPU time: 33.3149 s Remaining CPU time: 1766.69 s c Elapsed CPU time: 33.4539 s Remaining CPU time: 1766.55 s c Elapsed CPU time: 33.5919 s Remaining CPU time: 1766.41 s c Elapsed CPU time: 33.7329 s Remaining CPU time: 1766.27 s c Elapsed CPU time: 33.8689 s Remaining CPU time: 1766.13 s c Elapsed CPU time: 34.0068 s Remaining CPU time: 1765.99 s c Elapsed CPU time: 34.1458 s Remaining CPU time: 1765.85 s c Elapsed CPU time: 34.2838 s Remaining CPU time: 1765.72 s c Elapsed CPU time: 34.4248 s Remaining CPU time: 1765.58 s c Elapsed CPU time: 34.5627 s Remaining CPU time: 1765.44 s c Elapsed CPU time: 34.7037 s Remaining CPU time: 1765.3 s c Elapsed CPU time: 34.8417 s Remaining CPU time: 1765.16 s c Elapsed CPU time: 34.9807 s Remaining CPU time: 1765.02 s c Elapsed CPU time: 35.1187 s Remaining CPU time: 1764.88 s c Elapsed CPU time: 35.2576 s Remaining CPU time: 1764.74 s c Elapsed CPU time: 35.3956 s Remaining CPU time: 1764.6 s c Elapsed CPU time: 35.5346 s Remaining CPU time: 1764.47 s c Elapsed CPU time: 35.6776 s Remaining CPU time: 1764.32 s c Elapsed CPU time: 35.8176 s Remaining CPU time: 1764.18 s c Elapsed CPU time: 35.9575 s Remaining CPU time: 1764.04 s c Elapsed CPU time: 36.0995 s Remaining CPU time: 1763.9 s c Elapsed CPU time: 36.2395 s Remaining CPU time: 1763.76 s c Elapsed CPU time: 36.3805 s Remaining CPU time: 1763.62 s c Elapsed CPU time: 36.5204 s Remaining CPU time: 1763.48 s c Elapsed CPU time: 36.6604 s Remaining CPU time: 1763.34 s c Elapsed CPU time: 36.8004 s Remaining CPU time: 1763.2 s c Elapsed CPU time: 36.9424 s Remaining CPU time: 1763.06 s c Elapsed CPU time: 37.0844 s Remaining CPU time: 1762.92 s c Elapsed CPU time: 37.2253 s Remaining CPU time: 1762.77 s c Elapsed CPU time: 37.3673 s Remaining CPU time: 1762.63 s c Elapsed CPU time: 37.5063 s Remaining CPU time: 1762.49 s c Elapsed CPU time: 37.6453 s Remaining CPU time: 1762.35 s c Elapsed CPU time: 37.7843 s Remaining CPU time: 1762.22 s c Elapsed CPU time: 37.9232 s Remaining CPU time: 1762.08 s c Elapsed CPU time: 38.0772 s Remaining CPU time: 1761.92 s c Elapsed CPU time: 38.2372 s Remaining CPU time: 1761.76 s c Elapsed CPU time: 38.3982 s Remaining CPU time: 1761.6 s c Elapsed CPU time: 38.5601 s Remaining CPU time: 1761.44 s c Elapsed CPU time: 38.7221 s Remaining CPU time: 1761.28 s c Elapsed CPU time: 38.8851 s Remaining CPU time: 1761.11 s c Elapsed CPU time: 39.0451 s Remaining CPU time: 1760.95 s c Elapsed CPU time: 39.21 s Remaining CPU time: 1760.79 s c Elapsed CPU time: 39.37 s Remaining CPU time: 1760.63 s c Elapsed CPU time: 39.534 s Remaining CPU time: 1760.47 s c Elapsed CPU time: 39.698 s Remaining CPU time: 1760.3 s c Elapsed CPU time: 39.8609 s Remaining CPU time: 1760.14 s c Elapsed CPU time: 40.0249 s Remaining CPU time: 1759.98 s c Elapsed CPU time: 40.1879 s Remaining CPU time: 1759.81 s c Elapsed CPU time: 40.3509 s Remaining CPU time: 1759.65 s c Elapsed CPU time: 40.5168 s Remaining CPU time: 1759.48 s c Elapsed CPU time: 40.6798 s Remaining CPU time: 1759.32 s c Elapsed CPU time: 40.8458 s Remaining CPU time: 1759.15 s c Elapsed CPU time: 41.0088 s Remaining CPU time: 1758.99 s c Elapsed CPU time: 41.1757 s Remaining CPU time: 1758.82 s c Elapsed CPU time: 41.3427 s Remaining CPU time: 1758.66 s c Elapsed CPU time: 41.5067 s Remaining CPU time: 1758.49 s c Elapsed CPU time: 41.6727 s Remaining CPU time: 1758.33 s c Elapsed CPU time: 41.8386 s Remaining CPU time: 1758.16 s c Elapsed CPU time: 42.0066 s Remaining CPU time: 1757.99 s c Elapsed CPU time: 42.1706 s Remaining CPU time: 1757.83 s c Elapsed CPU time: 42.3346 s Remaining CPU time: 1757.67 s c Elapsed CPU time: 42.5005 s Remaining CPU time: 1757.5 s c Elapsed CPU time: 42.6645 s Remaining CPU time: 1757.34 s c Elapsed CPU time: 42.8295 s Remaining CPU time: 1757.17 s c Elapsed CPU time: 42.9955 s Remaining CPU time: 1757 s c Elapsed CPU time: 43.1624 s Remaining CPU time: 1756.84 s c Elapsed CPU time: 43.3274 s Remaining CPU time: 1756.67 s c Elapsed CPU time: 43.4934 s Remaining CPU time: 1756.51 s c Elapsed CPU time: 43.6494 s Remaining CPU time: 1756.35 s c Elapsed CPU time: 43.8193 s Remaining CPU time: 1756.18 s c Elapsed CPU time: 43.9873 s Remaining CPU time: 1756.01 s c Elapsed CPU time: 44.1553 s Remaining CPU time: 1755.84 s c Elapsed CPU time: 44.3243 s Remaining CPU time: 1755.68 s c Elapsed CPU time: 44.4912 s Remaining CPU time: 1755.51 s c Elapsed CPU time: 44.6622 s Remaining CPU time: 1755.34 s c Elapsed CPU time: 44.8292 s Remaining CPU time: 1755.17 s c Elapsed CPU time: 44.9992 s Remaining CPU time: 1755 s c Elapsed CPU time: 45.1701 s Remaining CPU time: 1754.83 s c Elapsed CPU time: 45.3391 s Remaining CPU time: 1754.66 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113344 217923 | 37781 0 nan | 0.000 % | c =============================================================================== c Verified 113344 original clauses.