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.188971 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.414936 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.526919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.637903 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.859869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.972852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.08384 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.19582 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.3078 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.41978 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.52977 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.64275 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.75373 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.86672 s Remaining CPU time: 1798.13 s c Elapsed CPU time: 1.9787 s Remaining CPU time: 1798.02 s c Elapsed CPU time: 2.09268 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.20466 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.31565 s Remaining CPU time: 1797.68 s c Elapsed CPU time: 2.42763 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.54161 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.6536 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.76858 s Remaining CPU time: 1797.23 s c Elapsed CPU time: 2.88256 s Remaining CPU time: 1797.12 s c Elapsed CPU time: 2.99654 s Remaining CPU time: 1797 s c Elapsed CPU time: 3.11153 s Remaining CPU time: 1796.89 s c Elapsed CPU time: 3.22651 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.34049 s Remaining CPU time: 1796.66 s c Elapsed CPU time: 3.45447 s Remaining CPU time: 1796.55 s c Elapsed CPU time: 3.56846 s Remaining CPU time: 1796.43 s c Elapsed CPU time: 3.68344 s Remaining CPU time: 1796.32 s c Elapsed CPU time: 3.79742 s Remaining CPU time: 1796.2 s c Elapsed CPU time: 3.91241 s Remaining CPU time: 1796.09 s c Elapsed CPU time: 4.02639 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.14137 s Remaining CPU time: 1795.86 s c Elapsed CPU time: 4.25635 s Remaining CPU time: 1795.74 s c Elapsed CPU time: 4.37233 s Remaining CPU time: 1795.63 s c Elapsed CPU time: 4.48432 s Remaining CPU time: 1795.52 s c Elapsed CPU time: 4.6003 s Remaining CPU time: 1795.4 s c Elapsed CPU time: 4.71528 s Remaining CPU time: 1795.28 s c Elapsed CPU time: 4.83127 s Remaining CPU time: 1795.17 s c Elapsed CPU time: 4.94525 s Remaining CPU time: 1795.05 s c Elapsed CPU time: 5.06223 s Remaining CPU time: 1794.94 s c Elapsed CPU time: 5.17521 s Remaining CPU time: 1794.82 s c Elapsed CPU time: 5.29219 s Remaining CPU time: 1794.71 s c Elapsed CPU time: 5.40818 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.52516 s Remaining CPU time: 1794.47 s c Elapsed CPU time: 5.64014 s Remaining CPU time: 1794.36 s c Elapsed CPU time: 5.75712 s Remaining CPU time: 1794.24 s c Elapsed CPU time: 5.87211 s Remaining CPU time: 1794.13 s c Elapsed CPU time: 5.98809 s Remaining CPU time: 1794.01 s c Elapsed CPU time: 6.10407 s Remaining CPU time: 1793.9 s c Elapsed CPU time: 6.21905 s Remaining CPU time: 1793.78 s c Elapsed CPU time: 6.33304 s Remaining CPU time: 1793.67 s c Elapsed CPU time: 6.44802 s Remaining CPU time: 1793.55 s c Elapsed CPU time: 6.564 s Remaining CPU time: 1793.44 s c Elapsed CPU time: 6.68098 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.79497 s Remaining CPU time: 1793.21 s c Elapsed CPU time: 6.91295 s Remaining CPU time: 1793.09 s c Elapsed CPU time: 7.02993 s Remaining CPU time: 1792.97 s c Elapsed CPU time: 7.14791 s Remaining CPU time: 1792.85 s c Elapsed CPU time: 7.26389 s Remaining CPU time: 1792.74 s c Elapsed CPU time: 7.37988 s Remaining CPU time: 1792.62 s c Elapsed CPU time: 7.49786 s Remaining CPU time: 1792.5 s c Elapsed CPU time: 7.61284 s Remaining CPU time: 1792.39 s c Elapsed CPU time: 7.72882 s Remaining CPU time: 1792.27 s c Elapsed CPU time: 7.84681 s Remaining CPU time: 1792.15 s c Elapsed CPU time: 7.96079 s Remaining CPU time: 1792.04 s c Elapsed CPU time: 8.07677 s Remaining CPU time: 1791.92 s c Elapsed CPU time: 8.19175 s Remaining CPU time: 1791.81 s c Elapsed CPU time: 8.30874 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.5407 s Remaining CPU time: 1791.46 s c Elapsed CPU time: 8.65568 s Remaining CPU time: 1791.34 s c Elapsed CPU time: 8.77267 s Remaining CPU time: 1791.23 s c Elapsed CPU time: 8.88865 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 9.00663 s Remaining CPU time: 1790.99 s c Elapsed CPU time: 9.12461 s Remaining CPU time: 1790.88 s c Elapsed CPU time: 9.2406 s Remaining CPU time: 1790.76 s c Elapsed CPU time: 9.35358 s Remaining CPU time: 1790.65 s c Elapsed CPU time: 9.47156 s Remaining CPU time: 1790.53 s c Elapsed CPU time: 9.58854 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.70752 s Remaining CPU time: 1790.29 s c Elapsed CPU time: 9.82551 s Remaining CPU time: 1790.17 s c Elapsed CPU time: 9.94249 s Remaining CPU time: 1790.06 s c Elapsed CPU time: 10.0605 s Remaining CPU time: 1789.94 s c Elapsed CPU time: 10.1795 s Remaining CPU time: 1789.82 s c Elapsed CPU time: 10.2994 s Remaining CPU time: 1789.7 s c Elapsed CPU time: 10.4184 s Remaining CPU time: 1789.58 s c Elapsed CPU time: 10.5364 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.6554 s Remaining CPU time: 1789.34 s c Elapsed CPU time: 10.7724 s Remaining CPU time: 1789.23 s c Elapsed CPU time: 10.8913 s Remaining CPU time: 1789.11 s c Elapsed CPU time: 11.0083 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.1283 s Remaining CPU time: 1788.87 s c Elapsed CPU time: 11.2463 s Remaining CPU time: 1788.75 s c Elapsed CPU time: 11.3663 s Remaining CPU time: 1788.63 s c Elapsed CPU time: 11.4843 s Remaining CPU time: 1788.52 s c Elapsed CPU time: 11.6032 s Remaining CPU time: 1788.4 s c Elapsed CPU time: 11.7232 s Remaining CPU time: 1788.28 s c Elapsed CPU time: 11.8422 s Remaining CPU time: 1788.16 s c Elapsed CPU time: 11.9612 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 12.0812 s Remaining CPU time: 1787.92 s c Elapsed CPU time: 12.1971 s Remaining CPU time: 1787.8 s c Elapsed CPU time: 12.3181 s Remaining CPU time: 1787.68 s c Elapsed CPU time: 12.4361 s Remaining CPU time: 1787.56 s c Elapsed CPU time: 12.5561 s Remaining CPU time: 1787.44 s c Elapsed CPU time: 12.6761 s Remaining CPU time: 1787.32 s c Elapsed CPU time: 12.7981 s Remaining CPU time: 1787.2 s c Elapsed CPU time: 12.916 s Remaining CPU time: 1787.08 s c Elapsed CPU time: 13.037 s Remaining CPU time: 1786.96 s c Elapsed CPU time: 13.156 s Remaining CPU time: 1786.84 s c Elapsed CPU time: 13.278 s Remaining CPU time: 1786.72 s c Elapsed CPU time: 13.396 s Remaining CPU time: 1786.6 s c Elapsed CPU time: 13.5169 s Remaining CPU time: 1786.48 s c Elapsed CPU time: 13.6359 s Remaining CPU time: 1786.36 s c Elapsed CPU time: 13.7529 s Remaining CPU time: 1786.25 s c Elapsed CPU time: 13.8699 s Remaining CPU time: 1786.13 s c Elapsed CPU time: 13.9899 s Remaining CPU time: 1786.01 s c Elapsed CPU time: 14.1099 s Remaining CPU time: 1785.89 s c Elapsed CPU time: 14.2308 s Remaining CPU time: 1785.77 s c Elapsed CPU time: 14.3508 s Remaining CPU time: 1785.65 s c Elapsed CPU time: 14.4718 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.5908 s Remaining CPU time: 1785.41 s c Elapsed CPU time: 14.7118 s Remaining CPU time: 1785.29 s c Elapsed CPU time: 14.8307 s Remaining CPU time: 1785.17 s c Elapsed CPU time: 14.9517 s Remaining CPU time: 1785.05 s c Elapsed CPU time: 15.0707 s Remaining CPU time: 1784.93 s c Elapsed CPU time: 15.1917 s Remaining CPU time: 1784.81 s c Elapsed CPU time: 15.3117 s Remaining CPU time: 1784.69 s c Elapsed CPU time: 15.4327 s Remaining CPU time: 1784.57 s c Elapsed CPU time: 15.5516 s Remaining CPU time: 1784.45 s c Elapsed CPU time: 15.6746 s Remaining CPU time: 1784.33 s c Elapsed CPU time: 15.7946 s Remaining CPU time: 1784.21 s c Elapsed CPU time: 15.9166 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 16.0366 s Remaining CPU time: 1783.96 s c Elapsed CPU time: 16.1585 s Remaining CPU time: 1783.84 s c Elapsed CPU time: 16.2795 s Remaining CPU time: 1783.72 s c Elapsed CPU time: 16.4005 s Remaining CPU time: 1783.6 s c Elapsed CPU time: 16.5205 s Remaining CPU time: 1783.48 s c Elapsed CPU time: 16.6425 s Remaining CPU time: 1783.36 s c Elapsed CPU time: 16.7635 s Remaining CPU time: 1783.24 s c Elapsed CPU time: 16.8864 s Remaining CPU time: 1783.11 s c Elapsed CPU time: 17.0074 s Remaining CPU time: 1782.99 s c Elapsed CPU time: 17.1284 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.2484 s Remaining CPU time: 1782.75 s c Elapsed CPU time: 17.3684 s Remaining CPU time: 1782.63 s c Elapsed CPU time: 17.4893 s Remaining CPU time: 1782.51 s c Elapsed CPU time: 17.6123 s Remaining CPU time: 1782.39 s c Elapsed CPU time: 17.7343 s Remaining CPU time: 1782.27 s c Elapsed CPU time: 17.8573 s Remaining CPU time: 1782.14 s c Elapsed CPU time: 17.9803 s Remaining CPU time: 1782.02 s c Elapsed CPU time: 18.1022 s Remaining CPU time: 1781.9 s c Elapsed CPU time: 18.2222 s Remaining CPU time: 1781.78 s c Elapsed CPU time: 18.3452 s Remaining CPU time: 1781.65 s c Elapsed CPU time: 18.4672 s Remaining CPU time: 1781.53 s c Elapsed CPU time: 18.5902 s Remaining CPU time: 1781.41 s c Elapsed CPU time: 18.7122 s Remaining CPU time: 1781.29 s c Elapsed CPU time: 18.8351 s Remaining CPU time: 1781.16 s c Elapsed CPU time: 18.9581 s Remaining CPU time: 1781.04 s c Elapsed CPU time: 19.0811 s Remaining CPU time: 1780.92 s c Elapsed CPU time: 19.2041 s Remaining CPU time: 1780.8 s c Elapsed CPU time: 19.3271 s Remaining CPU time: 1780.67 s c Elapsed CPU time: 19.449 s Remaining CPU time: 1780.55 s c Elapsed CPU time: 19.572 s Remaining CPU time: 1780.43 s c Elapsed CPU time: 19.695 s Remaining CPU time: 1780.3 s c Elapsed CPU time: 19.817 s Remaining CPU time: 1780.18 s c Elapsed CPU time: 19.939 s Remaining CPU time: 1780.06 s c Elapsed CPU time: 20.0619 s Remaining CPU time: 1779.94 s c Elapsed CPU time: 20.1819 s Remaining CPU time: 1779.82 s c Elapsed CPU time: 20.3029 s Remaining CPU time: 1779.7 s c Elapsed CPU time: 20.4239 s Remaining CPU time: 1779.58 s c Elapsed CPU time: 20.5459 s Remaining CPU time: 1779.45 s c Elapsed CPU time: 20.6699 s Remaining CPU time: 1779.33 s c Elapsed CPU time: 20.7908 s Remaining CPU time: 1779.21 s c Elapsed CPU time: 20.9128 s Remaining CPU time: 1779.09 s c Elapsed CPU time: 21.0358 s Remaining CPU time: 1778.96 s c Elapsed CPU time: 21.1578 s Remaining CPU time: 1778.84 s c Elapsed CPU time: 21.2818 s Remaining CPU time: 1778.72 s c Elapsed CPU time: 21.4027 s Remaining CPU time: 1778.6 s c Elapsed CPU time: 21.5277 s Remaining CPU time: 1778.47 s c Elapsed CPU time: 21.6527 s Remaining CPU time: 1778.35 s c Elapsed CPU time: 21.7767 s Remaining CPU time: 1778.22 s c Elapsed CPU time: 21.9057 s Remaining CPU time: 1778.09 s c Elapsed CPU time: 22.0297 s Remaining CPU time: 1777.97 s c Elapsed CPU time: 22.1556 s Remaining CPU time: 1777.84 s c Elapsed CPU time: 22.2786 s Remaining CPU time: 1777.72 s c Elapsed CPU time: 22.4046 s Remaining CPU time: 1777.6 s c Elapsed CPU time: 22.5306 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6566 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7845 s Remaining CPU time: 1777.22 s c Elapsed CPU time: 22.9125 s Remaining CPU time: 1777.09 s c Elapsed CPU time: 23.0415 s Remaining CPU time: 1776.96 s c Elapsed CPU time: 23.1695 s Remaining CPU time: 1776.83 s c Elapsed CPU time: 23.2985 s Remaining CPU time: 1776.7 s c Elapsed CPU time: 23.4274 s Remaining CPU time: 1776.57 s c Elapsed CPU time: 23.5594 s Remaining CPU time: 1776.44 s c Elapsed CPU time: 23.6884 s Remaining CPU time: 1776.31 s c Elapsed CPU time: 23.8214 s Remaining CPU time: 1776.18 s c Elapsed CPU time: 23.9504 s Remaining CPU time: 1776.05 s c Elapsed CPU time: 24.0833 s Remaining CPU time: 1775.92 s c Elapsed CPU time: 24.2163 s Remaining CPU time: 1775.78 s c Elapsed CPU time: 24.3453 s Remaining CPU time: 1775.65 s c Elapsed CPU time: 24.4763 s Remaining CPU time: 1775.52 s c Elapsed CPU time: 24.6063 s Remaining CPU time: 1775.39 s c Elapsed CPU time: 24.7362 s Remaining CPU time: 1775.26 s c Elapsed CPU time: 24.8702 s Remaining CPU time: 1775.13 s c Elapsed CPU time: 25.0012 s Remaining CPU time: 1775 s c Elapsed CPU time: 25.1332 s Remaining CPU time: 1774.87 s c Elapsed CPU time: 25.2642 s Remaining CPU time: 1774.74 s c Elapsed CPU time: 25.3981 s Remaining CPU time: 1774.6 s c Elapsed CPU time: 25.5301 s Remaining CPU time: 1774.47 s c Elapsed CPU time: 25.6641 s Remaining CPU time: 1774.34 s c Elapsed CPU time: 25.7971 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.058 s Remaining CPU time: 1773.94 s c Elapsed CPU time: 26.19 s Remaining CPU time: 1773.81 s c Elapsed CPU time: 26.319 s Remaining CPU time: 1773.68 s c Elapsed CPU time: 26.452 s Remaining CPU time: 1773.55 s c Elapsed CPU time: 26.585 s Remaining CPU time: 1773.42 s c Elapsed CPU time: 26.7219 s Remaining CPU time: 1773.28 s c Elapsed CPU time: 26.8539 s Remaining CPU time: 1773.15 s c Elapsed CPU time: 26.9889 s Remaining CPU time: 1773.01 s c Elapsed CPU time: 27.1229 s Remaining CPU time: 1772.88 s c Elapsed CPU time: 27.2569 s Remaining CPU time: 1772.74 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 65 113088 217790 | 37696 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 27.3938 s Remaining CPU time: 1772.61 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 87 113092 217846 | 37697 0 nan | 0.000 % | c =============================================================================== c Verified 113092 original clauses.