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.075988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.320951 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.685895 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.805877 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.925859 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2968 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41978 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.54377 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.66675 s Remaining CPU time: 1798.33 s c Elapsed CPU time: 1.78673 s Remaining CPU time: 1798.21 s c Elapsed CPU time: 1.90971 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 2.03169 s Remaining CPU time: 1797.97 s c Elapsed CPU time: 2.15667 s Remaining CPU time: 1797.84 s c Elapsed CPU time: 2.27865 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.40463 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.52761 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6526 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.77658 s Remaining CPU time: 1797.22 s c Elapsed CPU time: 2.89956 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 3.02254 s Remaining CPU time: 1796.98 s c Elapsed CPU time: 3.14552 s Remaining CPU time: 1796.85 s c Elapsed CPU time: 3.2715 s Remaining CPU time: 1796.73 s c Elapsed CPU time: 3.39548 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.52046 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.64745 s Remaining CPU time: 1796.35 s c Elapsed CPU time: 3.77443 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.89941 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 4.02639 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.15337 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.28135 s Remaining CPU time: 1795.72 s c Elapsed CPU time: 4.40733 s Remaining CPU time: 1795.59 s c Elapsed CPU time: 4.53331 s Remaining CPU time: 1795.47 s c Elapsed CPU time: 4.65629 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.78127 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.90625 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 5.03323 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.15822 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.2862 s Remaining CPU time: 1794.71 s c Elapsed CPU time: 5.41218 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.53716 s Remaining CPU time: 1794.46 s c Elapsed CPU time: 5.66514 s Remaining CPU time: 1794.33 s c Elapsed CPU time: 5.79612 s Remaining CPU time: 1794.2 s c Elapsed CPU time: 5.9241 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 6.05208 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.17806 s Remaining CPU time: 1793.82 s c Elapsed CPU time: 6.30604 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.43202 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.559 s Remaining CPU time: 1793.44 s c Elapsed CPU time: 6.68498 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.81496 s Remaining CPU time: 1793.19 s c Elapsed CPU time: 6.94194 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 7.06893 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.19791 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.32789 s Remaining CPU time: 1792.67 s c Elapsed CPU time: 7.45587 s Remaining CPU time: 1792.54 s c Elapsed CPU time: 7.58085 s Remaining CPU time: 1792.42 s c Elapsed CPU time: 7.70783 s Remaining CPU time: 1792.29 s c Elapsed CPU time: 7.83381 s Remaining CPU time: 1792.17 s c Elapsed CPU time: 7.96079 s Remaining CPU time: 1792.04 s c Elapsed CPU time: 8.08777 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.21475 s Remaining CPU time: 1791.79 s c Elapsed CPU time: 8.34273 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.46871 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.59669 s Remaining CPU time: 1791.4 s c Elapsed CPU time: 8.72667 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.85865 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.98663 s Remaining CPU time: 1791.01 s c Elapsed CPU time: 9.11461 s Remaining CPU time: 1790.89 s c Elapsed CPU time: 9.2416 s Remaining CPU time: 1790.76 s c Elapsed CPU time: 9.37058 s Remaining CPU time: 1790.63 s c Elapsed CPU time: 9.49756 s Remaining CPU time: 1790.5 s c Elapsed CPU time: 9.62554 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.75352 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.8845 s Remaining CPU time: 1790.12 s c Elapsed CPU time: 10.0135 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.1445 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.2744 s Remaining CPU time: 1789.73 s c Elapsed CPU time: 10.4044 s Remaining CPU time: 1789.6 s c Elapsed CPU time: 10.5334 s Remaining CPU time: 1789.47 s c Elapsed CPU time: 10.6634 s Remaining CPU time: 1789.34 s c Elapsed CPU time: 10.7914 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9213 s Remaining CPU time: 1789.08 s c Elapsed CPU time: 11.0483 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.1763 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.3043 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.4353 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.5662 s Remaining CPU time: 1788.43 s c Elapsed CPU time: 11.6982 s Remaining CPU time: 1788.3 s c Elapsed CPU time: 11.8292 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.9612 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 12.0902 s Remaining CPU time: 1787.91 s c Elapsed CPU time: 12.2191 s Remaining CPU time: 1787.78 s c Elapsed CPU time: 12.3491 s Remaining CPU time: 1787.65 s c Elapsed CPU time: 12.4791 s Remaining CPU time: 1787.52 s c Elapsed CPU time: 12.6101 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.7431 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.874 s Remaining CPU time: 1787.13 s c Elapsed CPU time: 13.011 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.142 s Remaining CPU time: 1786.86 s c Elapsed CPU time: 13.273 s Remaining CPU time: 1786.73 s c Elapsed CPU time: 13.404 s Remaining CPU time: 1786.6 s c Elapsed CPU time: 13.5359 s Remaining CPU time: 1786.46 s c Elapsed CPU time: 13.6669 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.7969 s Remaining CPU time: 1786.2 s c Elapsed CPU time: 13.9299 s Remaining CPU time: 1786.07 s c Elapsed CPU time: 14.0639 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.1968 s Remaining CPU time: 1785.8 s c Elapsed CPU time: 14.3288 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.4608 s Remaining CPU time: 1785.54 s c Elapsed CPU time: 14.5928 s Remaining CPU time: 1785.41 s c Elapsed CPU time: 14.7238 s Remaining CPU time: 1785.28 s c Elapsed CPU time: 14.8567 s Remaining CPU time: 1785.14 s c Elapsed CPU time: 14.9897 s Remaining CPU time: 1785.01 s c Elapsed CPU time: 15.1237 s Remaining CPU time: 1784.88 s c Elapsed CPU time: 15.2587 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3937 s Remaining CPU time: 1784.61 s c Elapsed CPU time: 15.5256 s Remaining CPU time: 1784.47 s c Elapsed CPU time: 15.6606 s Remaining CPU time: 1784.34 s c Elapsed CPU time: 15.7936 s Remaining CPU time: 1784.21 s c Elapsed CPU time: 15.9246 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 16.0576 s Remaining CPU time: 1783.94 s c Elapsed CPU time: 16.1905 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3245 s Remaining CPU time: 1783.68 s c Elapsed CPU time: 16.4605 s Remaining CPU time: 1783.54 s c Elapsed CPU time: 16.5955 s Remaining CPU time: 1783.4 s c Elapsed CPU time: 16.7305 s Remaining CPU time: 1783.27 s c Elapsed CPU time: 16.8634 s Remaining CPU time: 1783.14 s c Elapsed CPU time: 16.9954 s Remaining CPU time: 1783 s c Elapsed CPU time: 17.1304 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.2644 s Remaining CPU time: 1782.74 s c Elapsed CPU time: 17.3984 s Remaining CPU time: 1782.6 s c Elapsed CPU time: 17.5343 s Remaining CPU time: 1782.47 s c Elapsed CPU time: 17.6713 s Remaining CPU time: 1782.33 s c Elapsed CPU time: 17.8053 s Remaining CPU time: 1782.19 s c Elapsed CPU time: 17.9383 s Remaining CPU time: 1782.06 s c Elapsed CPU time: 18.0703 s Remaining CPU time: 1781.93 s c Elapsed CPU time: 18.2032 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3352 s Remaining CPU time: 1781.66 s c Elapsed CPU time: 18.4692 s Remaining CPU time: 1781.53 s c Elapsed CPU time: 18.6032 s Remaining CPU time: 1781.4 s c Elapsed CPU time: 18.7402 s Remaining CPU time: 1781.26 s c Elapsed CPU time: 18.8761 s Remaining CPU time: 1781.12 s c Elapsed CPU time: 19.0111 s Remaining CPU time: 1780.99 s c Elapsed CPU time: 19.1461 s Remaining CPU time: 1780.85 s c Elapsed CPU time: 19.2801 s Remaining CPU time: 1780.72 s c Elapsed CPU time: 19.413 s Remaining CPU time: 1780.59 s c Elapsed CPU time: 19.547 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.681 s Remaining CPU time: 1780.32 s c Elapsed CPU time: 19.818 s Remaining CPU time: 1780.18 s c Elapsed CPU time: 19.953 s Remaining CPU time: 1780.05 s c Elapsed CPU time: 20.0909 s Remaining CPU time: 1779.91 s c Elapsed CPU time: 20.2239 s Remaining CPU time: 1779.78 s c Elapsed CPU time: 20.3599 s Remaining CPU time: 1779.64 s c Elapsed CPU time: 20.4939 s Remaining CPU time: 1779.51 s c Elapsed CPU time: 20.6279 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7638 s Remaining CPU time: 1779.24 s c Elapsed CPU time: 20.8988 s Remaining CPU time: 1779.1 s c Elapsed CPU time: 21.0338 s Remaining CPU time: 1778.97 s c Elapsed CPU time: 21.1718 s Remaining CPU time: 1778.83 s c Elapsed CPU time: 21.3088 s Remaining CPU time: 1778.69 s c Elapsed CPU time: 21.4457 s Remaining CPU time: 1778.55 s c Elapsed CPU time: 21.5817 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.7177 s Remaining CPU time: 1778.28 s c Elapsed CPU time: 21.8537 s Remaining CPU time: 1778.15 s c Elapsed CPU time: 21.9907 s Remaining CPU time: 1778.01 s c Elapsed CPU time: 22.1256 s Remaining CPU time: 1777.87 s c Elapsed CPU time: 22.2606 s Remaining CPU time: 1777.74 s c Elapsed CPU time: 22.3976 s Remaining CPU time: 1777.6 s c Elapsed CPU time: 22.5356 s Remaining CPU time: 1777.46 s c Elapsed CPU time: 22.6736 s Remaining CPU time: 1777.33 s c Elapsed CPU time: 22.8115 s Remaining CPU time: 1777.19 s c Elapsed CPU time: 22.9495 s Remaining CPU time: 1777.05 s c Elapsed CPU time: 23.0865 s Remaining CPU time: 1776.91 s c Elapsed CPU time: 23.2235 s Remaining CPU time: 1776.78 s c Elapsed CPU time: 23.3584 s Remaining CPU time: 1776.64 s c Elapsed CPU time: 23.4944 s Remaining CPU time: 1776.51 s c Elapsed CPU time: 23.6294 s Remaining CPU time: 1776.37 s c Elapsed CPU time: 23.7674 s Remaining CPU time: 1776.23 s c Elapsed CPU time: 23.9044 s Remaining CPU time: 1776.1 s c Elapsed CPU time: 24.0433 s Remaining CPU time: 1775.96 s c Elapsed CPU time: 24.1803 s Remaining CPU time: 1775.82 s c Elapsed CPU time: 24.3213 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4623 s Remaining CPU time: 1775.54 s c Elapsed CPU time: 24.6033 s Remaining CPU time: 1775.4 s c Elapsed CPU time: 24.7462 s Remaining CPU time: 1775.25 s c Elapsed CPU time: 24.8882 s Remaining CPU time: 1775.11 s c Elapsed CPU time: 25.0282 s Remaining CPU time: 1774.97 s c Elapsed CPU time: 25.1692 s Remaining CPU time: 1774.83 s c Elapsed CPU time: 25.3112 s Remaining CPU time: 1774.69 s c Elapsed CPU time: 25.4521 s Remaining CPU time: 1774.55 s c Elapsed CPU time: 25.5931 s Remaining CPU time: 1774.41 s c Elapsed CPU time: 25.7351 s Remaining CPU time: 1774.26 s c Elapsed CPU time: 25.8791 s Remaining CPU time: 1774.12 s c Elapsed CPU time: 26.021 s Remaining CPU time: 1773.98 s c Elapsed CPU time: 26.166 s Remaining CPU time: 1773.83 s c Elapsed CPU time: 26.31 s Remaining CPU time: 1773.69 s c Elapsed CPU time: 26.45 s Remaining CPU time: 1773.55 s c Elapsed CPU time: 26.592 s Remaining CPU time: 1773.41 s c Elapsed CPU time: 26.7359 s Remaining CPU time: 1773.26 s c Elapsed CPU time: 26.8779 s Remaining CPU time: 1773.12 s c Elapsed CPU time: 27.0189 s Remaining CPU time: 1772.98 s c Elapsed CPU time: 27.1619 s Remaining CPU time: 1772.84 s c Elapsed CPU time: 27.3078 s Remaining CPU time: 1772.69 s c Elapsed CPU time: 27.4518 s Remaining CPU time: 1772.55 s c Elapsed CPU time: 27.5998 s Remaining CPU time: 1772.4 s c Elapsed CPU time: 27.7448 s Remaining CPU time: 1772.26 s c Elapsed CPU time: 27.8898 s Remaining CPU time: 1772.11 s c Elapsed CPU time: 28.0347 s Remaining CPU time: 1771.97 s c Elapsed CPU time: 28.1777 s Remaining CPU time: 1771.82 s c Elapsed CPU time: 28.3217 s Remaining CPU time: 1771.68 s c Elapsed CPU time: 28.4667 s Remaining CPU time: 1771.53 s c Elapsed CPU time: 28.6126 s Remaining CPU time: 1771.39 s c Elapsed CPU time: 28.7606 s Remaining CPU time: 1771.24 s c Elapsed CPU time: 28.9086 s Remaining CPU time: 1771.09 s c Elapsed CPU time: 29.0616 s Remaining CPU time: 1770.94 s c Elapsed CPU time: 29.2106 s Remaining CPU time: 1770.79 s c Elapsed CPU time: 29.3575 s Remaining CPU time: 1770.64 s c Elapsed CPU time: 29.5045 s Remaining CPU time: 1770.5 s c Elapsed CPU time: 29.6475 s Remaining CPU time: 1770.35 s c Elapsed CPU time: 29.7965 s Remaining CPU time: 1770.2 s c Elapsed CPU time: 29.9434 s Remaining CPU time: 1770.06 s c Elapsed CPU time: 30.0934 s Remaining CPU time: 1769.91 s c Elapsed CPU time: 30.2434 s Remaining CPU time: 1769.76 s c Elapsed CPU time: 30.3944 s Remaining CPU time: 1769.61 s c Elapsed CPU time: 30.5454 s Remaining CPU time: 1769.45 s c Elapsed CPU time: 30.6953 s Remaining CPU time: 1769.3 s c Elapsed CPU time: 30.8433 s Remaining CPU time: 1769.16 s c Elapsed CPU time: 30.9963 s Remaining CPU time: 1769 s c Elapsed CPU time: 31.1473 s Remaining CPU time: 1768.85 s c Elapsed CPU time: 31.2942 s Remaining CPU time: 1768.71 s c Elapsed CPU time: 31.4482 s Remaining CPU time: 1768.55 s c Elapsed CPU time: 31.6002 s Remaining CPU time: 1768.4 s c Elapsed CPU time: 31.7532 s Remaining CPU time: 1768.25 s c Elapsed CPU time: 31.9021 s Remaining CPU time: 1768.1 s c Elapsed CPU time: 32.0521 s Remaining CPU time: 1767.95 s c Elapsed CPU time: 32.2061 s Remaining CPU time: 1767.79 s c Elapsed CPU time: 32.3611 s Remaining CPU time: 1767.64 s c Elapsed CPU time: 32.5181 s Remaining CPU time: 1767.48 s c Elapsed CPU time: 32.674 s Remaining CPU time: 1767.33 s c Elapsed CPU time: 32.83 s Remaining CPU time: 1767.17 s c Elapsed CPU time: 32.986 s Remaining CPU time: 1767.01 s c Elapsed CPU time: 33.139 s Remaining CPU time: 1766.86 s c Elapsed CPU time: 33.2929 s Remaining CPU time: 1766.71 s c Elapsed CPU time: 33.4499 s Remaining CPU time: 1766.55 s c Elapsed CPU time: 33.6089 s Remaining CPU time: 1766.39 s c Elapsed CPU time: 33.7679 s Remaining CPU time: 1766.23 s c Elapsed CPU time: 33.9248 s Remaining CPU time: 1766.08 s c Elapsed CPU time: 34.0818 s Remaining CPU time: 1765.92 s c Elapsed CPU time: 34.2388 s Remaining CPU time: 1765.76 s c Elapsed CPU time: 34.3948 s Remaining CPU time: 1765.61 s c Elapsed CPU time: 34.5517 s Remaining CPU time: 1765.45 s c Elapsed CPU time: 34.7077 s Remaining CPU time: 1765.29 s c Elapsed CPU time: 34.8657 s Remaining CPU time: 1765.13 s c Elapsed CPU time: 35.0247 s Remaining CPU time: 1764.98 s c Elapsed CPU time: 35.1827 s Remaining CPU time: 1764.82 s c Elapsed CPU time: 35.3406 s Remaining CPU time: 1764.66 s c Elapsed CPU time: 35.4936 s Remaining CPU time: 1764.51 s c Elapsed CPU time: 35.6526 s Remaining CPU time: 1764.35 s c Elapsed CPU time: 35.8106 s Remaining CPU time: 1764.19 s c Elapsed CPU time: 35.9705 s Remaining CPU time: 1764.03 s c Elapsed CPU time: 36.1325 s Remaining CPU time: 1763.87 s c Elapsed CPU time: 36.2895 s Remaining CPU time: 1763.71 s c Elapsed CPU time: 36.4485 s Remaining CPU time: 1763.55 s c Elapsed CPU time: 36.6064 s Remaining CPU time: 1763.39 s c Elapsed CPU time: 36.7664 s Remaining CPU time: 1763.23 s c Elapsed CPU time: 36.9294 s Remaining CPU time: 1763.07 s c Elapsed CPU time: 37.0894 s Remaining CPU time: 1762.91 s c Elapsed CPU time: 37.2513 s Remaining CPU time: 1762.75 s c Elapsed CPU time: 37.4143 s Remaining CPU time: 1762.59 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113182 217781 | 37727 0 nan | 0.000 % | c =============================================================================== c Verified 113182 original clauses.