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.079987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.639902 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.860869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.970852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.08283 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.3058 s Remaining CPU time: 1798.69 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.63975 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.75073 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.85972 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9717 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08068 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19367 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.30565 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.52961 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6386 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.74958 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86356 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97755 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09153 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20351 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.31549 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.42848 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.54146 s Remaining CPU time: 1796.46 s c Elapsed CPU time: 3.65244 s Remaining CPU time: 1796.35 s c Elapsed CPU time: 3.76443 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.87741 s Remaining CPU time: 1796.12 s c Elapsed CPU time: 3.99039 s Remaining CPU time: 1796.01 s c Elapsed CPU time: 4.10238 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.21436 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.32734 s Remaining CPU time: 1795.67 s c Elapsed CPU time: 4.44132 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.55431 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.66729 s Remaining CPU time: 1795.33 s c Elapsed CPU time: 4.78027 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.89426 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 5.02424 s Remaining CPU time: 1794.98 s c Elapsed CPU time: 5.13922 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.2682 s Remaining CPU time: 1794.73 s c Elapsed CPU time: 5.38418 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.51516 s Remaining CPU time: 1794.48 s c Elapsed CPU time: 5.63014 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.76112 s Remaining CPU time: 1794.24 s c Elapsed CPU time: 5.87511 s Remaining CPU time: 1794.12 s c Elapsed CPU time: 6.00609 s Remaining CPU time: 1793.99 s c Elapsed CPU time: 6.12007 s Remaining CPU time: 1793.88 s c Elapsed CPU time: 6.25105 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.36703 s Remaining CPU time: 1793.63 s c Elapsed CPU time: 6.49801 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.61299 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.74297 s Remaining CPU time: 1793.26 s c Elapsed CPU time: 6.85896 s Remaining CPU time: 1793.14 s c Elapsed CPU time: 6.98894 s Remaining CPU time: 1793.01 s c Elapsed CPU time: 7.10392 s Remaining CPU time: 1792.9 s c Elapsed CPU time: 7.2339 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.34788 s Remaining CPU time: 1792.65 s c Elapsed CPU time: 7.47986 s Remaining CPU time: 1792.52 s c Elapsed CPU time: 7.59485 s Remaining CPU time: 1792.41 s c Elapsed CPU time: 7.72682 s Remaining CPU time: 1792.27 s c Elapsed CPU time: 7.84181 s Remaining CPU time: 1792.16 s c Elapsed CPU time: 7.97379 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.21975 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.33873 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.46971 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.58569 s Remaining CPU time: 1791.41 s c Elapsed CPU time: 8.71667 s Remaining CPU time: 1791.28 s c Elapsed CPU time: 8.83266 s Remaining CPU time: 1791.17 s c Elapsed CPU time: 8.96464 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 9.07862 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.2106 s Remaining CPU time: 1790.79 s c Elapsed CPU time: 9.32558 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.45756 s Remaining CPU time: 1790.54 s c Elapsed CPU time: 9.57454 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.70452 s Remaining CPU time: 1790.3 s c Elapsed CPU time: 9.82151 s Remaining CPU time: 1790.18 s c Elapsed CPU time: 9.95249 s Remaining CPU time: 1790.05 s c Elapsed CPU time: 10.0695 s Remaining CPU time: 1789.93 s c Elapsed CPU time: 10.1994 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.3134 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4454 s Remaining CPU time: 1789.55 s c Elapsed CPU time: 10.5634 s Remaining CPU time: 1789.44 s c Elapsed CPU time: 10.6944 s Remaining CPU time: 1789.31 s c Elapsed CPU time: 10.8124 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.9433 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 11.0603 s Remaining CPU time: 1788.94 s c Elapsed CPU time: 11.1923 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.4413 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.5582 s Remaining CPU time: 1788.44 s c Elapsed CPU time: 11.6902 s Remaining CPU time: 1788.31 s c Elapsed CPU time: 11.8062 s Remaining CPU time: 1788.19 s c Elapsed CPU time: 11.9382 s Remaining CPU time: 1788.06 s c Elapsed CPU time: 12.0562 s Remaining CPU time: 1787.94 s c Elapsed CPU time: 12.1881 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.4421 s Remaining CPU time: 1787.56 s c Elapsed CPU time: 12.5611 s Remaining CPU time: 1787.44 s c Elapsed CPU time: 12.6941 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.8131 s Remaining CPU time: 1787.19 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.198 s Remaining CPU time: 1786.8 s c Elapsed CPU time: 13.318 s Remaining CPU time: 1786.68 s c Elapsed CPU time: 13.451 s Remaining CPU time: 1786.55 s c Elapsed CPU time: 13.5699 s Remaining CPU time: 1786.43 s c Elapsed CPU time: 13.7049 s Remaining CPU time: 1786.3 s c Elapsed CPU time: 13.8229 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.9559 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.2108 s Remaining CPU time: 1785.79 s c Elapsed CPU time: 14.3298 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.4668 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.5838 s Remaining CPU time: 1785.42 s c Elapsed CPU time: 14.7188 s Remaining CPU time: 1785.28 s c Elapsed CPU time: 14.8377 s Remaining CPU time: 1785.16 s c Elapsed CPU time: 14.9737 s Remaining CPU time: 1785.03 s c Elapsed CPU time: 15.0927 s Remaining CPU time: 1784.91 s c Elapsed CPU time: 15.2127 s Remaining CPU time: 1784.79 s c Elapsed CPU time: 15.3317 s Remaining CPU time: 1784.67 s c Elapsed CPU time: 15.4666 s Remaining CPU time: 1784.53 s c Elapsed CPU time: 15.5856 s Remaining CPU time: 1784.41 s c Elapsed CPU time: 15.7036 s Remaining CPU time: 1784.3 s c Elapsed CPU time: 15.8226 s Remaining CPU time: 1784.18 s c Elapsed CPU time: 15.9596 s Remaining CPU time: 1784.04 s c Elapsed CPU time: 16.0786 s Remaining CPU time: 1783.92 s c Elapsed CPU time: 16.1975 s Remaining CPU time: 1783.8 s c Elapsed CPU time: 16.3165 s Remaining CPU time: 1783.68 s c Elapsed CPU time: 16.4525 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5725 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.8104 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.9464 s Remaining CPU time: 1783.05 s c Elapsed CPU time: 17.0664 s Remaining CPU time: 1782.93 s c Elapsed CPU time: 17.1864 s Remaining CPU time: 1782.81 s c Elapsed CPU time: 17.3044 s Remaining CPU time: 1782.7 s c Elapsed CPU time: 17.4413 s Remaining CPU time: 1782.56 s c Elapsed CPU time: 17.5623 s Remaining CPU time: 1782.44 s c Elapsed CPU time: 17.6823 s Remaining CPU time: 1782.32 s c Elapsed CPU time: 17.8013 s Remaining CPU time: 1782.2 s c Elapsed CPU time: 17.9383 s Remaining CPU time: 1782.06 s c Elapsed CPU time: 18.0583 s Remaining CPU time: 1781.94 s c Elapsed CPU time: 18.1802 s Remaining CPU time: 1781.82 s c Elapsed CPU time: 18.3002 s Remaining CPU time: 1781.7 s c Elapsed CPU time: 18.4362 s Remaining CPU time: 1781.56 s c Elapsed CPU time: 18.5552 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6752 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.7941 s Remaining CPU time: 1781.21 s c Elapsed CPU time: 18.9301 s Remaining CPU time: 1781.07 s c Elapsed CPU time: 19.0521 s Remaining CPU time: 1780.95 s c Elapsed CPU time: 19.1711 s Remaining CPU time: 1780.83 s c Elapsed CPU time: 19.2921 s Remaining CPU time: 1780.71 s c Elapsed CPU time: 19.43 s Remaining CPU time: 1780.57 s c Elapsed CPU time: 19.551 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.672 s Remaining CPU time: 1780.33 s c Elapsed CPU time: 19.793 s Remaining CPU time: 1780.21 s c Elapsed CPU time: 19.929 s Remaining CPU time: 1780.07 s c Elapsed CPU time: 20.052 s Remaining CPU time: 1779.95 s c Elapsed CPU time: 20.1729 s Remaining CPU time: 1779.83 s c Elapsed CPU time: 20.2919 s Remaining CPU time: 1779.71 s c Elapsed CPU time: 20.4299 s Remaining CPU time: 1779.57 s c Elapsed CPU time: 20.5509 s Remaining CPU time: 1779.45 s c Elapsed CPU time: 20.6749 s Remaining CPU time: 1779.33 s c Elapsed CPU time: 20.7948 s Remaining CPU time: 1779.21 s c Elapsed CPU time: 20.9328 s Remaining CPU time: 1779.07 s c Elapsed CPU time: 21.0548 s Remaining CPU time: 1778.95 s c Elapsed CPU time: 21.1768 s Remaining CPU time: 1778.82 s c Elapsed CPU time: 21.2968 s Remaining CPU time: 1778.7 s c Elapsed CPU time: 21.4337 s Remaining CPU time: 1778.57 s c Elapsed CPU time: 21.5557 s Remaining CPU time: 1778.44 s c Elapsed CPU time: 21.6747 s Remaining CPU time: 1778.33 s c Elapsed CPU time: 21.7937 s Remaining CPU time: 1778.21 s c Elapsed CPU time: 21.9337 s Remaining CPU time: 1778.07 s c Elapsed CPU time: 22.0566 s Remaining CPU time: 1777.94 s c Elapsed CPU time: 22.1786 s Remaining CPU time: 1777.82 s c Elapsed CPU time: 22.3006 s Remaining CPU time: 1777.7 s c Elapsed CPU time: 22.4246 s Remaining CPU time: 1777.58 s c Elapsed CPU time: 22.5466 s Remaining CPU time: 1777.45 s c Elapsed CPU time: 22.6726 s Remaining CPU time: 1777.33 s c Elapsed CPU time: 22.7945 s Remaining CPU time: 1777.21 s c Elapsed CPU time: 22.9365 s Remaining CPU time: 1777.06 s c Elapsed CPU time: 23.0595 s Remaining CPU time: 1776.94 s c Elapsed CPU time: 23.1835 s Remaining CPU time: 1776.82 s c Elapsed CPU time: 23.3095 s Remaining CPU time: 1776.69 s c Elapsed CPU time: 23.4524 s Remaining CPU time: 1776.55 s c Elapsed CPU time: 23.5774 s Remaining CPU time: 1776.42 s c Elapsed CPU time: 23.7044 s Remaining CPU time: 1776.3 s c Elapsed CPU time: 23.8314 s Remaining CPU time: 1776.17 s c Elapsed CPU time: 23.9754 s Remaining CPU time: 1776.02 s c Elapsed CPU time: 24.1033 s Remaining CPU time: 1775.9 s c Elapsed CPU time: 24.2293 s Remaining CPU time: 1775.77 s c Elapsed CPU time: 24.3553 s Remaining CPU time: 1775.64 s c Elapsed CPU time: 24.4803 s Remaining CPU time: 1775.52 s c Elapsed CPU time: 24.6073 s Remaining CPU time: 1775.39 s c Elapsed CPU time: 24.7542 s Remaining CPU time: 1775.25 s c Elapsed CPU time: 24.8822 s Remaining CPU time: 1775.12 s c Elapsed CPU time: 25.0102 s Remaining CPU time: 1774.99 s c Elapsed CPU time: 25.1362 s Remaining CPU time: 1774.86 s c Elapsed CPU time: 25.2832 s Remaining CPU time: 1774.72 s c Elapsed CPU time: 25.4121 s Remaining CPU time: 1774.59 s c Elapsed CPU time: 25.5401 s Remaining CPU time: 1774.46 s c Elapsed CPU time: 25.6691 s Remaining CPU time: 1774.33 s c Elapsed CPU time: 25.7971 s Remaining CPU time: 1774.2 s c Elapsed CPU time: 25.9241 s Remaining CPU time: 1774.08 s c Elapsed CPU time: 26.069 s Remaining CPU time: 1773.93 s c Elapsed CPU time: 26.198 s Remaining CPU time: 1773.8 s c Elapsed CPU time: 26.324 s Remaining CPU time: 1773.68 s c Elapsed CPU time: 26.454 s Remaining CPU time: 1773.55 s c Elapsed CPU time: 26.582 s Remaining CPU time: 1773.42 s c Elapsed CPU time: 26.7119 s Remaining CPU time: 1773.29 s c Elapsed CPU time: 26.8409 s Remaining CPU time: 1773.16 s c Elapsed CPU time: 26.9719 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.2359 s Remaining CPU time: 1772.76 s c Elapsed CPU time: 27.3668 s Remaining CPU time: 1772.63 s c Elapsed CPU time: 27.4958 s Remaining CPU time: 1772.5 s c Elapsed CPU time: 27.6268 s Remaining CPU time: 1772.37 s c Elapsed CPU time: 27.7578 s Remaining CPU time: 1772.24 s c Elapsed CPU time: 27.8898 s Remaining CPU time: 1772.11 s c Elapsed CPU time: 28.0217 s Remaining CPU time: 1771.98 s c Elapsed CPU time: 28.1547 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.4197 s Remaining CPU time: 1771.58 s c Elapsed CPU time: 28.5517 s Remaining CPU time: 1771.45 s c Elapsed CPU time: 28.6836 s Remaining CPU time: 1771.32 s c Elapsed CPU time: 28.8166 s Remaining CPU time: 1771.18 s c Elapsed CPU time: 28.9496 s Remaining CPU time: 1771.05 s c Elapsed CPU time: 29.0836 s Remaining CPU time: 1770.92 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15 113106 217698 | 37702 0 nan | 0.000 % | c =============================================================================== c Verified 113106 original clauses.