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.072988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.409937 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.629904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.741887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.07883 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.19082 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.3038 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41678 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.86172 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9737 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08468 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19567 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.30865 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.42163 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.53361 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6476 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.76258 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.87756 s Remaining CPU time: 1797.12 s c Elapsed CPU time: 2.99454 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.10953 s Remaining CPU time: 1796.89 s c Elapsed CPU time: 3.22551 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.33949 s Remaining CPU time: 1796.66 s c Elapsed CPU time: 3.45547 s Remaining CPU time: 1796.54 s c Elapsed CPU time: 3.57146 s Remaining CPU time: 1796.43 s c Elapsed CPU time: 3.68544 s Remaining CPU time: 1796.31 s c Elapsed CPU time: 3.80142 s Remaining CPU time: 1796.2 s c Elapsed CPU time: 3.9164 s Remaining CPU time: 1796.08 s c Elapsed CPU time: 4.03239 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.14837 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.26435 s Remaining CPU time: 1795.74 s c Elapsed CPU time: 4.38033 s Remaining CPU time: 1795.62 s c Elapsed CPU time: 4.49532 s Remaining CPU time: 1795.5 s c Elapsed CPU time: 4.6123 s Remaining CPU time: 1795.39 s c Elapsed CPU time: 4.72728 s Remaining CPU time: 1795.27 s c Elapsed CPU time: 4.84326 s Remaining CPU time: 1795.16 s c Elapsed CPU time: 4.95825 s Remaining CPU time: 1795.04 s c Elapsed CPU time: 5.07323 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.18921 s Remaining CPU time: 1794.81 s c Elapsed CPU time: 5.30419 s Remaining CPU time: 1794.7 s c Elapsed CPU time: 5.42117 s Remaining CPU time: 1794.58 s c Elapsed CPU time: 5.53716 s Remaining CPU time: 1794.46 s c Elapsed CPU time: 5.65314 s Remaining CPU time: 1794.35 s c Elapsed CPU time: 5.77012 s Remaining CPU time: 1794.23 s c Elapsed CPU time: 5.88511 s Remaining CPU time: 1794.11 s c Elapsed CPU time: 6.00209 s Remaining CPU time: 1794 s c Elapsed CPU time: 6.11807 s Remaining CPU time: 1793.88 s c Elapsed CPU time: 6.23505 s Remaining CPU time: 1793.76 s c Elapsed CPU time: 6.35103 s Remaining CPU time: 1793.65 s c Elapsed CPU time: 6.46802 s Remaining CPU time: 1793.53 s c Elapsed CPU time: 6.583 s Remaining CPU time: 1793.42 s c Elapsed CPU time: 6.69798 s Remaining CPU time: 1793.3 s c Elapsed CPU time: 6.81396 s Remaining CPU time: 1793.19 s c Elapsed CPU time: 6.92895 s Remaining CPU time: 1793.07 s c Elapsed CPU time: 7.04293 s Remaining CPU time: 1792.96 s c Elapsed CPU time: 7.15791 s Remaining CPU time: 1792.84 s c Elapsed CPU time: 7.27189 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.50586 s Remaining CPU time: 1792.49 s c Elapsed CPU time: 7.62284 s Remaining CPU time: 1792.38 s c Elapsed CPU time: 7.73782 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.8548 s Remaining CPU time: 1792.15 s c Elapsed CPU time: 7.96879 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 8.08677 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.20175 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.31673 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.66268 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.89365 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 9.01063 s Remaining CPU time: 1790.99 s c Elapsed CPU time: 9.12561 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.24359 s Remaining CPU time: 1790.76 s c Elapsed CPU time: 9.35858 s Remaining CPU time: 1790.64 s c Elapsed CPU time: 9.47656 s Remaining CPU time: 1790.52 s c Elapsed CPU time: 9.59254 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.70652 s Remaining CPU time: 1790.29 s c Elapsed CPU time: 9.82251 s Remaining CPU time: 1790.18 s c Elapsed CPU time: 9.93949 s Remaining CPU time: 1790.06 s c Elapsed CPU time: 10.0555 s Remaining CPU time: 1789.94 s c Elapsed CPU time: 10.1705 s Remaining CPU time: 1789.83 s c Elapsed CPU time: 10.2864 s Remaining CPU time: 1789.71 s c Elapsed CPU time: 10.4034 s Remaining CPU time: 1789.6 s c Elapsed CPU time: 10.5204 s Remaining CPU time: 1789.48 s c Elapsed CPU time: 10.6374 s Remaining CPU time: 1789.36 s c Elapsed CPU time: 10.7544 s Remaining CPU time: 1789.25 s c Elapsed CPU time: 10.8683 s Remaining CPU time: 1789.13 s c Elapsed CPU time: 10.9843 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 11.1023 s Remaining CPU time: 1788.9 s c Elapsed CPU time: 11.2183 s Remaining CPU time: 1788.78 s c Elapsed CPU time: 11.3343 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4513 s Remaining CPU time: 1788.55 s c Elapsed CPU time: 11.5672 s Remaining CPU time: 1788.43 s c Elapsed CPU time: 11.6842 s Remaining CPU time: 1788.32 s c Elapsed CPU time: 11.8022 s Remaining CPU time: 1788.2 s c Elapsed CPU time: 11.9192 s Remaining CPU time: 1788.08 s c Elapsed CPU time: 12.0362 s Remaining CPU time: 1787.96 s c Elapsed CPU time: 12.1532 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.5031 s Remaining CPU time: 1787.5 s c Elapsed CPU time: 12.6201 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.7361 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.853 s Remaining CPU time: 1787.15 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.204 s Remaining CPU time: 1786.8 s c Elapsed CPU time: 13.321 s Remaining CPU time: 1786.68 s c Elapsed CPU time: 13.438 s Remaining CPU time: 1786.56 s c Elapsed CPU time: 13.5559 s Remaining CPU time: 1786.44 s c Elapsed CPU time: 13.6739 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.7909 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.9089 s Remaining CPU time: 1786.09 s c Elapsed CPU time: 14.0269 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.2618 s Remaining CPU time: 1785.74 s c Elapsed CPU time: 14.3808 s Remaining CPU time: 1785.62 s c Elapsed CPU time: 14.4998 s Remaining CPU time: 1785.5 s c Elapsed CPU time: 14.6178 s Remaining CPU time: 1785.38 s c Elapsed CPU time: 14.7358 s Remaining CPU time: 1785.26 s c Elapsed CPU time: 14.8557 s Remaining CPU time: 1785.14 s c Elapsed CPU time: 14.9737 s Remaining CPU time: 1785.03 s c Elapsed CPU time: 15.0917 s Remaining CPU time: 1784.91 s c Elapsed CPU time: 15.2107 s Remaining CPU time: 1784.79 s c Elapsed CPU time: 15.3287 s Remaining CPU time: 1784.67 s c Elapsed CPU time: 15.4497 s Remaining CPU time: 1784.55 s c Elapsed CPU time: 15.5676 s Remaining CPU time: 1784.43 s c Elapsed CPU time: 15.6876 s Remaining CPU time: 1784.31 s c Elapsed CPU time: 15.8056 s Remaining CPU time: 1784.19 s c Elapsed CPU time: 15.9246 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 16.0446 s Remaining CPU time: 1783.96 s c Elapsed CPU time: 16.1635 s Remaining CPU time: 1783.84 s c Elapsed CPU time: 16.2825 s Remaining CPU time: 1783.72 s c Elapsed CPU time: 16.4025 s Remaining CPU time: 1783.6 s c Elapsed CPU time: 16.5215 s Remaining CPU time: 1783.48 s c Elapsed CPU time: 16.6415 s Remaining CPU time: 1783.36 s c Elapsed CPU time: 16.7605 s Remaining CPU time: 1783.24 s c Elapsed CPU time: 16.8814 s Remaining CPU time: 1783.12 s c Elapsed CPU time: 17.0004 s Remaining CPU time: 1783 s c Elapsed CPU time: 17.1204 s Remaining CPU time: 1782.88 s c Elapsed CPU time: 17.2414 s Remaining CPU time: 1782.76 s c Elapsed CPU time: 17.3594 s Remaining CPU time: 1782.64 s c Elapsed CPU time: 17.4763 s Remaining CPU time: 1782.52 s c Elapsed CPU time: 17.5953 s Remaining CPU time: 1782.4 s c Elapsed CPU time: 17.7143 s Remaining CPU time: 1782.29 s c Elapsed CPU time: 17.8333 s Remaining CPU time: 1782.17 s c Elapsed CPU time: 17.9523 s Remaining CPU time: 1782.05 s c Elapsed CPU time: 18.0723 s Remaining CPU time: 1781.93 s c Elapsed CPU time: 18.1922 s Remaining CPU time: 1781.81 s c Elapsed CPU time: 18.3122 s Remaining CPU time: 1781.69 s c Elapsed CPU time: 18.4322 s Remaining CPU time: 1781.57 s c Elapsed CPU time: 18.5522 s Remaining CPU time: 1781.45 s c Elapsed CPU time: 18.6722 s Remaining CPU time: 1781.33 s c Elapsed CPU time: 18.7911 s Remaining CPU time: 1781.21 s c Elapsed CPU time: 18.9121 s Remaining CPU time: 1781.09 s c Elapsed CPU time: 19.0321 s Remaining CPU time: 1780.97 s c Elapsed CPU time: 19.1541 s Remaining CPU time: 1780.85 s c Elapsed CPU time: 19.2751 s Remaining CPU time: 1780.72 s c Elapsed CPU time: 19.3951 s Remaining CPU time: 1780.6 s c Elapsed CPU time: 19.515 s Remaining CPU time: 1780.48 s c Elapsed CPU time: 19.635 s Remaining CPU time: 1780.36 s c Elapsed CPU time: 19.756 s Remaining CPU time: 1780.24 s c Elapsed CPU time: 19.876 s Remaining CPU time: 1780.12 s c Elapsed CPU time: 19.997 s Remaining CPU time: 1780 s c Elapsed CPU time: 20.1189 s Remaining CPU time: 1779.88 s c Elapsed CPU time: 20.2409 s Remaining CPU time: 1779.76 s c Elapsed CPU time: 20.3639 s Remaining CPU time: 1779.64 s c Elapsed CPU time: 20.4849 s Remaining CPU time: 1779.52 s c Elapsed CPU time: 20.6079 s Remaining CPU time: 1779.39 s c Elapsed CPU time: 20.7298 s Remaining CPU time: 1779.27 s c Elapsed CPU time: 20.8518 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.0958 s Remaining CPU time: 1778.9 s c Elapsed CPU time: 21.2178 s Remaining CPU time: 1778.78 s c Elapsed CPU time: 21.3398 s Remaining CPU time: 1778.66 s c Elapsed CPU time: 21.4617 s Remaining CPU time: 1778.54 s c Elapsed CPU time: 21.5857 s Remaining CPU time: 1778.41 s c Elapsed CPU time: 21.7117 s Remaining CPU time: 1778.29 s c Elapsed CPU time: 21.8377 s Remaining CPU time: 1778.16 s c Elapsed CPU time: 21.9637 s Remaining CPU time: 1778.04 s c Elapsed CPU time: 22.0906 s Remaining CPU time: 1777.91 s c Elapsed CPU time: 22.2176 s Remaining CPU time: 1777.78 s c Elapsed CPU time: 22.3436 s Remaining CPU time: 1777.66 s c Elapsed CPU time: 22.4706 s Remaining CPU time: 1777.53 s c Elapsed CPU time: 22.5966 s Remaining CPU time: 1777.4 s c Elapsed CPU time: 22.7235 s Remaining CPU time: 1777.28 s c Elapsed CPU time: 22.8505 s Remaining CPU time: 1777.15 s c Elapsed CPU time: 22.9785 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.2355 s Remaining CPU time: 1776.76 s c Elapsed CPU time: 23.3624 s Remaining CPU time: 1776.64 s c Elapsed CPU time: 23.4884 s Remaining CPU time: 1776.51 s c Elapsed CPU time: 23.6144 s Remaining CPU time: 1776.39 s c Elapsed CPU time: 23.7424 s Remaining CPU time: 1776.26 s c Elapsed CPU time: 23.8684 s Remaining CPU time: 1776.13 s c Elapsed CPU time: 23.9964 s Remaining CPU time: 1776 s c Elapsed CPU time: 24.1233 s Remaining CPU time: 1775.88 s c Elapsed CPU time: 24.2513 s Remaining CPU time: 1775.75 s c Elapsed CPU time: 24.3813 s Remaining CPU time: 1775.62 s c Elapsed CPU time: 24.5093 s Remaining CPU time: 1775.49 s c Elapsed CPU time: 24.6393 s Remaining CPU time: 1775.36 s c Elapsed CPU time: 24.7672 s Remaining CPU time: 1775.23 s c Elapsed CPU time: 24.8962 s Remaining CPU time: 1775.1 s c Elapsed CPU time: 25.0262 s Remaining CPU time: 1774.97 s c Elapsed CPU time: 25.1572 s Remaining CPU time: 1774.84 s c Elapsed CPU time: 25.2862 s Remaining CPU time: 1774.71 s c Elapsed CPU time: 25.4181 s Remaining CPU time: 1774.58 s c Elapsed CPU time: 25.5461 s Remaining CPU time: 1774.45 s c Elapsed CPU time: 25.6771 s Remaining CPU time: 1774.32 s c Elapsed CPU time: 25.8061 s Remaining CPU time: 1774.19 s c Elapsed CPU time: 25.9381 s Remaining CPU time: 1774.06 s c Elapsed CPU time: 26.068 s Remaining CPU time: 1773.93 s c Elapsed CPU time: 26.204 s Remaining CPU time: 1773.8 s c Elapsed CPU time: 26.333 s Remaining CPU time: 1773.67 s c Elapsed CPU time: 26.462 s Remaining CPU time: 1773.54 s c Elapsed CPU time: 26.591 s Remaining CPU time: 1773.41 s c Elapsed CPU time: 26.7209 s Remaining CPU time: 1773.28 s c Elapsed CPU time: 26.8499 s Remaining CPU time: 1773.15 s c Elapsed CPU time: 26.9789 s Remaining CPU time: 1773.02 s c Elapsed CPU time: 27.1089 s Remaining CPU time: 1772.89 s c Elapsed CPU time: 27.2379 s Remaining CPU time: 1772.76 s c Elapsed CPU time: 27.3688 s Remaining CPU time: 1772.63 s c Elapsed CPU time: 27.4998 s Remaining CPU time: 1772.5 s c Elapsed CPU time: 27.6308 s Remaining CPU time: 1772.37 s c Elapsed CPU time: 27.7698 s Remaining CPU time: 1772.23 s c Elapsed CPU time: 27.9018 s Remaining CPU time: 1772.1 s c Elapsed CPU time: 28.0337 s Remaining CPU time: 1771.97 s c Elapsed CPU time: 28.1657 s Remaining CPU time: 1771.83 s c Elapsed CPU time: 28.2987 s Remaining CPU time: 1771.7 s c Elapsed CPU time: 28.4307 s Remaining CPU time: 1771.57 s c Elapsed CPU time: 28.5617 s Remaining CPU time: 1771.44 s c Elapsed CPU time: 28.6936 s Remaining CPU time: 1771.31 s c Elapsed CPU time: 28.8236 s Remaining CPU time: 1771.18 s c Elapsed CPU time: 28.9536 s Remaining CPU time: 1771.05 s c Elapsed CPU time: 29.0866 s Remaining CPU time: 1770.91 s c Elapsed CPU time: 29.2186 s Remaining CPU time: 1770.78 s c Elapsed CPU time: 29.3595 s Remaining CPU time: 1770.64 s c Elapsed CPU time: 29.4925 s Remaining CPU time: 1770.51 s c Elapsed CPU time: 29.6255 s Remaining CPU time: 1770.37 s c Elapsed CPU time: 29.7585 s Remaining CPU time: 1770.24 s c Elapsed CPU time: 29.8915 s Remaining CPU time: 1770.11 s c Elapsed CPU time: 30.0244 s Remaining CPU time: 1769.98 s c Elapsed CPU time: 30.1574 s Remaining CPU time: 1769.84 s c Elapsed CPU time: 30.2904 s Remaining CPU time: 1769.71 s c Elapsed CPU time: 30.4254 s Remaining CPU time: 1769.57 s c Elapsed CPU time: 30.5584 s Remaining CPU time: 1769.44 s c Elapsed CPU time: 30.6943 s Remaining CPU time: 1769.31 s c Elapsed CPU time: 30.8293 s Remaining CPU time: 1769.17 s c Elapsed CPU time: 30.9633 s Remaining CPU time: 1769.04 s c Elapsed CPU time: 31.0973 s Remaining CPU time: 1768.9 s c Elapsed CPU time: 31.2333 s Remaining CPU time: 1768.77 s c Elapsed CPU time: 31.3682 s Remaining CPU time: 1768.63 s c Elapsed CPU time: 31.5022 s Remaining CPU time: 1768.5 s c Elapsed CPU time: 31.6382 s Remaining CPU time: 1768.36 s c Elapsed CPU time: 31.7762 s Remaining CPU time: 1768.22 s c Elapsed CPU time: 31.9101 s Remaining CPU time: 1768.09 s c Elapsed CPU time: 32.0451 s Remaining CPU time: 1767.95 s c Elapsed CPU time: 32.1811 s Remaining CPU time: 1767.82 s c Elapsed CPU time: 32.3151 s Remaining CPU time: 1767.68 s c Elapsed CPU time: 32.4491 s Remaining CPU time: 1767.55 s c Elapsed CPU time: 32.586 s Remaining CPU time: 1767.41 s c Elapsed CPU time: 32.723 s Remaining CPU time: 1767.28 s c Elapsed CPU time: 32.858 s Remaining CPU time: 1767.14 s c Elapsed CPU time: 32.995 s Remaining CPU time: 1767.01 s c Elapsed CPU time: 33.131 s Remaining CPU time: 1766.87 s c Elapsed CPU time: 33.2649 s Remaining CPU time: 1766.74 s c Elapsed CPU time: 33.4019 s Remaining CPU time: 1766.6 s c Elapsed CPU time: 33.5399 s Remaining CPU time: 1766.46 s c Elapsed CPU time: 33.6799 s Remaining CPU time: 1766.32 s c Elapsed CPU time: 33.8179 s Remaining CPU time: 1766.18 s c Elapsed CPU time: 33.9548 s Remaining CPU time: 1766.05 s c Elapsed CPU time: 34.0898 s Remaining CPU time: 1765.91 s c Elapsed CPU time: 34.2268 s Remaining CPU time: 1765.77 s c Elapsed CPU time: 34.3638 s Remaining CPU time: 1765.64 s c Elapsed CPU time: 34.5008 s Remaining CPU time: 1765.5 s c Elapsed CPU time: 34.6397 s Remaining CPU time: 1765.36 s c Elapsed CPU time: 34.7777 s Remaining CPU time: 1765.22 s c Elapsed CPU time: 34.9157 s Remaining CPU time: 1765.08 s c Elapsed CPU time: 35.0527 s Remaining CPU time: 1764.95 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27 113208 217827 | 37736 0 nan | 0.000 % | c =============================================================================== c Verified 113208 original clauses.