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: 300846 | c | Number of clauses: 789283 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.60 s | c | Number Variables: 300846 | c | Number Clauses: 789283 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.602908 s Remaining CPU time: 1799.4 s c Elapsed CPU time: 1.43778 s Remaining CPU time: 1798.56 s c Elapsed CPU time: 2.37164 s Remaining CPU time: 1797.63 s c Elapsed CPU time: 3.3015 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 4.24036 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 5.17821 s Remaining CPU time: 1794.82 s c Elapsed CPU time: 6.11507 s Remaining CPU time: 1793.88 s c Elapsed CPU time: 7.04593 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.96879 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 8.89365 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 9.80751 s Remaining CPU time: 1790.19 s c Elapsed CPU time: 10.7304 s Remaining CPU time: 1789.27 s c Elapsed CPU time: 11.6442 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 12.5681 s Remaining CPU time: 1787.43 s c Elapsed CPU time: 13.483 s Remaining CPU time: 1786.52 s c Elapsed CPU time: 14.3938 s Remaining CPU time: 1785.61 s c Elapsed CPU time: 15.3097 s Remaining CPU time: 1784.69 s c Elapsed CPU time: 16.2255 s Remaining CPU time: 1783.77 s c Elapsed CPU time: 17.1484 s Remaining CPU time: 1782.85 s c Elapsed CPU time: 18.0753 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 19.0041 s Remaining CPU time: 1781 s c Elapsed CPU time: 19.926 s Remaining CPU time: 1780.07 s c Elapsed CPU time: 20.8628 s Remaining CPU time: 1779.14 s c Elapsed CPU time: 21.7797 s Remaining CPU time: 1778.22 s c Elapsed CPU time: 22.7155 s Remaining CPU time: 1777.28 s c Elapsed CPU time: 23.6344 s Remaining CPU time: 1776.37 s c Elapsed CPU time: 24.5683 s Remaining CPU time: 1775.43 s c Elapsed CPU time: 25.4871 s Remaining CPU time: 1774.51 s c Elapsed CPU time: 26.412 s Remaining CPU time: 1773.59 s c Elapsed CPU time: 27.3198 s Remaining CPU time: 1772.68 s c Elapsed CPU time: 28.2347 s Remaining CPU time: 1771.77 s c Elapsed CPU time: 29.1426 s Remaining CPU time: 1770.86 s c Elapsed CPU time: 30.0564 s Remaining CPU time: 1769.94 s c Elapsed CPU time: 30.9643 s Remaining CPU time: 1769.04 s c Elapsed CPU time: 31.8732 s Remaining CPU time: 1768.13 s c Elapsed CPU time: 32.786 s Remaining CPU time: 1767.21 s c Elapsed CPU time: 33.6989 s Remaining CPU time: 1766.3 s c Elapsed CPU time: 34.6077 s Remaining CPU time: 1765.39 s c Elapsed CPU time: 35.5166 s Remaining CPU time: 1764.48 s c Elapsed CPU time: 36.4335 s Remaining CPU time: 1763.57 s c Elapsed CPU time: 37.3453 s Remaining CPU time: 1762.65 s c Elapsed CPU time: 38.2642 s Remaining CPU time: 1761.74 s c Elapsed CPU time: 39.24 s Remaining CPU time: 1760.76 s c Elapsed CPU time: 40.1539 s Remaining CPU time: 1759.85 s c Elapsed CPU time: 41.1837 s Remaining CPU time: 1758.82 s c Elapsed CPU time: 42.0966 s Remaining CPU time: 1757.9 s c Elapsed CPU time: 43.0615 s Remaining CPU time: 1756.94 s c Elapsed CPU time: 43.9773 s Remaining CPU time: 1756.02 s c Elapsed CPU time: 44.9472 s Remaining CPU time: 1755.05 s c Elapsed CPU time: 45.857 s Remaining CPU time: 1754.14 s c Elapsed CPU time: 46.8219 s Remaining CPU time: 1753.18 s c Elapsed CPU time: 47.7317 s Remaining CPU time: 1752.27 s c Elapsed CPU time: 48.6996 s Remaining CPU time: 1751.3 s c Elapsed CPU time: 49.6075 s Remaining CPU time: 1750.39 s c Elapsed CPU time: 50.5683 s Remaining CPU time: 1749.43 s c Elapsed CPU time: 51.4822 s Remaining CPU time: 1748.52 s c Elapsed CPU time: 52.44 s Remaining CPU time: 1747.56 s c Elapsed CPU time: 53.3479 s Remaining CPU time: 1746.65 s c Elapsed CPU time: 54.3167 s Remaining CPU time: 1745.68 s c Elapsed CPU time: 55.2386 s Remaining CPU time: 1744.76 s c Elapsed CPU time: 56.2155 s Remaining CPU time: 1743.78 s c Elapsed CPU time: 57.1293 s Remaining CPU time: 1742.87 s c Elapsed CPU time: 58.1032 s Remaining CPU time: 1741.9 s c Elapsed CPU time: 59.021 s Remaining CPU time: 1740.98 s c Elapsed CPU time: 59.9969 s Remaining CPU time: 1740 s c Elapsed CPU time: 60.9137 s Remaining CPU time: 1739.09 s c Elapsed CPU time: 61.8826 s Remaining CPU time: 1738.12 s c Elapsed CPU time: 62.7935 s Remaining CPU time: 1737.21 s c Elapsed CPU time: 63.8253 s Remaining CPU time: 1736.17 s c Elapsed CPU time: 64.7352 s Remaining CPU time: 1735.26 s c Elapsed CPU time: 65.703 s Remaining CPU time: 1734.3 s c Elapsed CPU time: 66.6169 s Remaining CPU time: 1733.38 s c Elapsed CPU time: 67.5797 s Remaining CPU time: 1732.42 s c Elapsed CPU time: 68.4886 s Remaining CPU time: 1731.51 s c Elapsed CPU time: 69.4444 s Remaining CPU time: 1730.56 s c Elapsed CPU time: 70.3503 s Remaining CPU time: 1729.65 s c Elapsed CPU time: 71.3112 s Remaining CPU time: 1728.69 s c Elapsed CPU time: 72.226 s Remaining CPU time: 1727.77 s c Elapsed CPU time: 73.1949 s Remaining CPU time: 1726.81 s c Elapsed CPU time: 74.1087 s Remaining CPU time: 1725.89 s c Elapsed CPU time: 75.0746 s Remaining CPU time: 1724.93 s c Elapsed CPU time: 75.9964 s Remaining CPU time: 1724 s c Elapsed CPU time: 76.9653 s Remaining CPU time: 1723.03 s c Elapsed CPU time: 77.8882 s Remaining CPU time: 1722.11 s c Elapsed CPU time: 78.857 s Remaining CPU time: 1721.14 s c Elapsed CPU time: 79.7779 s Remaining CPU time: 1720.22 s c Elapsed CPU time: 80.7437 s Remaining CPU time: 1719.26 s c Elapsed CPU time: 81.6606 s Remaining CPU time: 1718.34 s c Elapsed CPU time: 82.6154 s Remaining CPU time: 1717.38 s c Elapsed CPU time: 83.5193 s Remaining CPU time: 1716.48 s c Elapsed CPU time: 84.4832 s Remaining CPU time: 1715.52 s c Elapsed CPU time: 85.4 s Remaining CPU time: 1714.6 s c Elapsed CPU time: 86.3619 s Remaining CPU time: 1713.64 s c Elapsed CPU time: 87.2757 s Remaining CPU time: 1712.72 s c Elapsed CPU time: 88.2346 s Remaining CPU time: 1711.77 s c Elapsed CPU time: 89.1384 s Remaining CPU time: 1710.86 s c Elapsed CPU time: 90.0953 s Remaining CPU time: 1709.9 s c Elapsed CPU time: 91.0162 s Remaining CPU time: 1708.98 s c Elapsed CPU time: 91.985 s Remaining CPU time: 1708.01 s c Elapsed CPU time: 92.9069 s Remaining CPU time: 1707.09 s c Elapsed CPU time: 93.8777 s Remaining CPU time: 1706.12 s c Elapsed CPU time: 94.7936 s Remaining CPU time: 1705.21 s c Elapsed CPU time: 95.7604 s Remaining CPU time: 1704.24 s c Elapsed CPU time: 96.6763 s Remaining CPU time: 1703.32 s c Elapsed CPU time: 97.6462 s Remaining CPU time: 1702.35 s c Elapsed CPU time: 98.563 s Remaining CPU time: 1701.44 s c Elapsed CPU time: 99.5209 s Remaining CPU time: 1700.48 s c Elapsed CPU time: 100.429 s Remaining CPU time: 1699.57 s c Elapsed CPU time: 101.388 s Remaining CPU time: 1698.61 s c Elapsed CPU time: 102.296 s Remaining CPU time: 1697.7 s c Elapsed CPU time: 103.26 s Remaining CPU time: 1696.74 s c Elapsed CPU time: 104.169 s Remaining CPU time: 1695.83 s c Elapsed CPU time: 105.13 s Remaining CPU time: 1694.87 s c Elapsed CPU time: 106.041 s Remaining CPU time: 1693.96 s c Elapsed CPU time: 107.007 s Remaining CPU time: 1692.99 s c Elapsed CPU time: 107.918 s Remaining CPU time: 1692.08 s c Elapsed CPU time: 108.897 s Remaining CPU time: 1691.1 s c Elapsed CPU time: 109.826 s Remaining CPU time: 1690.17 s c Elapsed CPU time: 110.812 s Remaining CPU time: 1689.19 s c Elapsed CPU time: 111.738 s Remaining CPU time: 1688.26 s c Elapsed CPU time: 112.723 s Remaining CPU time: 1687.28 s c Elapsed CPU time: 113.65 s Remaining CPU time: 1686.35 s c Elapsed CPU time: 114.635 s Remaining CPU time: 1685.37 s c Elapsed CPU time: 115.529 s Remaining CPU time: 1684.47 s c Elapsed CPU time: 116.504 s Remaining CPU time: 1683.5 s c Elapsed CPU time: 117.424 s Remaining CPU time: 1682.58 s c Elapsed CPU time: 118.407 s Remaining CPU time: 1681.59 s c Elapsed CPU time: 119.329 s Remaining CPU time: 1680.67 s c Elapsed CPU time: 120.303 s Remaining CPU time: 1679.7 s c Elapsed CPU time: 121.224 s Remaining CPU time: 1678.78 s c Elapsed CPU time: 122.196 s Remaining CPU time: 1677.8 s c Elapsed CPU time: 123.119 s Remaining CPU time: 1676.88 s c Elapsed CPU time: 124.088 s Remaining CPU time: 1675.91 s c Elapsed CPU time: 125.007 s Remaining CPU time: 1674.99 s c Elapsed CPU time: 125.974 s Remaining CPU time: 1674.03 s c Elapsed CPU time: 126.896 s Remaining CPU time: 1673.1 s c Elapsed CPU time: 127.874 s Remaining CPU time: 1672.13 s c Elapsed CPU time: 128.794 s Remaining CPU time: 1671.21 s c Elapsed CPU time: 129.775 s Remaining CPU time: 1670.22 s c Elapsed CPU time: 130.694 s Remaining CPU time: 1669.31 s c Elapsed CPU time: 131.669 s Remaining CPU time: 1668.33 s c Elapsed CPU time: 132.592 s Remaining CPU time: 1667.41 s c Elapsed CPU time: 133.574 s Remaining CPU time: 1666.43 s c Elapsed CPU time: 134.506 s Remaining CPU time: 1665.49 s c Elapsed CPU time: 135.502 s Remaining CPU time: 1664.5 s c Elapsed CPU time: 136.429 s Remaining CPU time: 1663.57 s c Elapsed CPU time: 137.41 s Remaining CPU time: 1662.59 s c Elapsed CPU time: 138.338 s Remaining CPU time: 1661.66 s c Elapsed CPU time: 139.308 s Remaining CPU time: 1660.69 s c Elapsed CPU time: 140.222 s Remaining CPU time: 1659.78 s c Elapsed CPU time: 141.195 s Remaining CPU time: 1658.81 s c Elapsed CPU time: 142.107 s Remaining CPU time: 1657.89 s c Elapsed CPU time: 143.076 s Remaining CPU time: 1656.92 s c Elapsed CPU time: 143.986 s Remaining CPU time: 1656.01 s c Elapsed CPU time: 144.953 s Remaining CPU time: 1655.05 s c Elapsed CPU time: 145.853 s Remaining CPU time: 1654.15 s c Elapsed CPU time: 146.821 s Remaining CPU time: 1653.18 s c Elapsed CPU time: 147.734 s Remaining CPU time: 1652.27 s c Elapsed CPU time: 148.707 s Remaining CPU time: 1651.29 s c Elapsed CPU time: 149.628 s Remaining CPU time: 1650.37 s c Elapsed CPU time: 150.608 s Remaining CPU time: 1649.39 s c Elapsed CPU time: 151.525 s Remaining CPU time: 1648.48 s c Elapsed CPU time: 152.505 s Remaining CPU time: 1647.5 s c Elapsed CPU time: 153.424 s Remaining CPU time: 1646.58 s c Elapsed CPU time: 154.404 s Remaining CPU time: 1645.6 s c Elapsed CPU time: 155.325 s Remaining CPU time: 1644.67 s c Elapsed CPU time: 156.305 s Remaining CPU time: 1643.69 s c Elapsed CPU time: 157.235 s Remaining CPU time: 1642.76 s c Elapsed CPU time: 158.217 s Remaining CPU time: 1641.78 s c Elapsed CPU time: 159.125 s Remaining CPU time: 1640.88 s c Elapsed CPU time: 160.097 s Remaining CPU time: 1639.9 s c Elapsed CPU time: 161.012 s Remaining CPU time: 1638.99 s c Elapsed CPU time: 161.986 s Remaining CPU time: 1638.01 s c Elapsed CPU time: 162.895 s Remaining CPU time: 1637.1 s c Elapsed CPU time: 163.868 s Remaining CPU time: 1636.13 s c Elapsed CPU time: 164.775 s Remaining CPU time: 1635.23 s c Elapsed CPU time: 165.745 s Remaining CPU time: 1634.26 s c Elapsed CPU time: 166.65 s Remaining CPU time: 1633.35 s c Elapsed CPU time: 167.621 s Remaining CPU time: 1632.38 s c Elapsed CPU time: 168.544 s Remaining CPU time: 1631.46 s c Elapsed CPU time: 169.524 s Remaining CPU time: 1630.48 s c Elapsed CPU time: 170.447 s Remaining CPU time: 1629.55 s c Elapsed CPU time: 171.427 s Remaining CPU time: 1628.57 s c Elapsed CPU time: 172.35 s Remaining CPU time: 1627.65 s c Elapsed CPU time: 173.339 s Remaining CPU time: 1626.66 s c Elapsed CPU time: 174.26 s Remaining CPU time: 1625.74 s c Elapsed CPU time: 175.242 s Remaining CPU time: 1624.76 s c Elapsed CPU time: 176.164 s Remaining CPU time: 1623.84 s c Elapsed CPU time: 177.148 s Remaining CPU time: 1622.85 s c Elapsed CPU time: 178.069 s Remaining CPU time: 1621.93 s c Elapsed CPU time: 179.042 s Remaining CPU time: 1620.96 s c Elapsed CPU time: 179.954 s Remaining CPU time: 1620.05 s c Elapsed CPU time: 180.929 s Remaining CPU time: 1619.07 s c Elapsed CPU time: 181.847 s Remaining CPU time: 1618.15 s c Elapsed CPU time: 182.912 s Remaining CPU time: 1617.09 s c Elapsed CPU time: 183.831 s Remaining CPU time: 1616.17 s c Elapsed CPU time: 184.806 s Remaining CPU time: 1615.19 s c Elapsed CPU time: 185.722 s Remaining CPU time: 1614.28 s c Elapsed CPU time: 186.639 s Remaining CPU time: 1613.36 s c Elapsed CPU time: 187.554 s Remaining CPU time: 1612.45 s c Elapsed CPU time: 188.538 s Remaining CPU time: 1611.46 s c Elapsed CPU time: 189.458 s Remaining CPU time: 1610.54 s c Elapsed CPU time: 190.384 s Remaining CPU time: 1609.62 s c Elapsed CPU time: 191.31 s Remaining CPU time: 1608.69 s c Elapsed CPU time: 192.296 s Remaining CPU time: 1607.7 s c Elapsed CPU time: 193.221 s Remaining CPU time: 1606.78 s c Elapsed CPU time: 194.148 s Remaining CPU time: 1605.85 s c Elapsed CPU time: 195.07 s Remaining CPU time: 1604.93 s c Elapsed CPU time: 196.058 s Remaining CPU time: 1603.94 s c Elapsed CPU time: 196.986 s Remaining CPU time: 1603.01 s c Elapsed CPU time: 197.911 s Remaining CPU time: 1602.09 s c Elapsed CPU time: 198.832 s Remaining CPU time: 1601.17 s c Elapsed CPU time: 199.811 s Remaining CPU time: 1600.19 s c Elapsed CPU time: 200.73 s Remaining CPU time: 1599.27 s c Elapsed CPU time: 201.652 s Remaining CPU time: 1598.35 s c Elapsed CPU time: 202.568 s Remaining CPU time: 1597.43 s c Elapsed CPU time: 203.49 s Remaining CPU time: 1596.51 s c Elapsed CPU time: 204.403 s Remaining CPU time: 1595.6 s c Elapsed CPU time: 205.38 s Remaining CPU time: 1594.62 s c Elapsed CPU time: 206.295 s Remaining CPU time: 1593.71 s c Elapsed CPU time: 207.212 s Remaining CPU time: 1592.79 s c Elapsed CPU time: 208.132 s Remaining CPU time: 1591.87 s c Elapsed CPU time: 209.12 s Remaining CPU time: 1590.88 s c Elapsed CPU time: 210.046 s Remaining CPU time: 1589.95 s c Elapsed CPU time: 210.978 s Remaining CPU time: 1589.02 s c Elapsed CPU time: 211.901 s Remaining CPU time: 1588.1 s c Elapsed CPU time: 212.892 s Remaining CPU time: 1587.11 s c Elapsed CPU time: 213.817 s Remaining CPU time: 1586.18 s c Elapsed CPU time: 214.746 s Remaining CPU time: 1585.25 s c Elapsed CPU time: 215.67 s Remaining CPU time: 1584.33 s c Elapsed CPU time: 216.663 s Remaining CPU time: 1583.34 s c Elapsed CPU time: 217.593 s Remaining CPU time: 1582.41 s c Elapsed CPU time: 218.519 s Remaining CPU time: 1581.48 s c Elapsed CPU time: 219.438 s Remaining CPU time: 1580.56 s c Elapsed CPU time: 220.413 s Remaining CPU time: 1579.59 s c Elapsed CPU time: 221.328 s Remaining CPU time: 1578.67 s c Elapsed CPU time: 222.25 s Remaining CPU time: 1577.75 s c Elapsed CPU time: 223.172 s Remaining CPU time: 1576.83 s c Elapsed CPU time: 224.153 s Remaining CPU time: 1575.85 s c Elapsed CPU time: 225.079 s Remaining CPU time: 1574.92 s c Elapsed CPU time: 226.005 s Remaining CPU time: 1574 s c Elapsed CPU time: 226.932 s Remaining CPU time: 1573.07 s c Elapsed CPU time: 227.92 s Remaining CPU time: 1572.08 s c Elapsed CPU time: 228.861 s Remaining CPU time: 1571.14 s c Elapsed CPU time: 229.796 s Remaining CPU time: 1570.2 s c Elapsed CPU time: 230.738 s Remaining CPU time: 1569.26 s c Elapsed CPU time: 231.735 s Remaining CPU time: 1568.27 s c Elapsed CPU time: 232.665 s Remaining CPU time: 1567.34 s c Elapsed CPU time: 233.602 s Remaining CPU time: 1566.4 s c Elapsed CPU time: 234.536 s Remaining CPU time: 1565.46 s c Elapsed CPU time: 235.53 s Remaining CPU time: 1564.47 s c Elapsed CPU time: 236.46 s Remaining CPU time: 1563.54 s c Elapsed CPU time: 237.395 s Remaining CPU time: 1562.61 s c Elapsed CPU time: 238.321 s Remaining CPU time: 1561.68 s c Elapsed CPU time: 239.307 s Remaining CPU time: 1560.69 s c Elapsed CPU time: 240.229 s Remaining CPU time: 1559.77 s c Elapsed CPU time: 241.154 s Remaining CPU time: 1558.85 s c Elapsed CPU time: 242.078 s Remaining CPU time: 1557.92 s c Elapsed CPU time: 243.069 s Remaining CPU time: 1556.93 s c Elapsed CPU time: 243.999 s Remaining CPU time: 1556 s c Elapsed CPU time: 244.925 s Remaining CPU time: 1555.08 s c Elapsed CPU time: 245.848 s Remaining CPU time: 1554.15 s c Elapsed CPU time: 246.837 s Remaining CPU time: 1553.16 s c Elapsed CPU time: 247.775 s Remaining CPU time: 1552.22 s c Elapsed CPU time: 248.706 s Remaining CPU time: 1551.29 s c Elapsed CPU time: 249.644 s Remaining CPU time: 1550.36 s c Elapsed CPU time: 250.649 s Remaining CPU time: 1549.35 s c Elapsed CPU time: 251.593 s Remaining CPU time: 1548.41 s c Elapsed CPU time: 252.536 s Remaining CPU time: 1547.46 s c Elapsed CPU time: 253.48 s Remaining CPU time: 1546.52 s c Elapsed CPU time: 254.483 s Remaining CPU time: 1545.52 s c Elapsed CPU time: 255.416 s Remaining CPU time: 1544.58 s c Elapsed CPU time: 256.353 s Remaining CPU time: 1543.65 s c Elapsed CPU time: 257.293 s Remaining CPU time: 1542.71 s c Elapsed CPU time: 258.288 s Remaining CPU time: 1541.71 s c Elapsed CPU time: 259.229 s Remaining CPU time: 1540.77 s c Elapsed CPU time: 260.158 s Remaining CPU time: 1539.84 s c Elapsed CPU time: 261.094 s Remaining CPU time: 1538.91 s c Elapsed CPU time: 262.09 s Remaining CPU time: 1537.91 s c Elapsed CPU time: 263.025 s Remaining CPU time: 1536.97 s c Elapsed CPU time: 263.96 s Remaining CPU time: 1536.04 s c Elapsed CPU time: 264.936 s Remaining CPU time: 1535.06 s c Elapsed CPU time: 265.935 s Remaining CPU time: 1534.07 s c Elapsed CPU time: 266.871 s Remaining CPU time: 1533.13 s c Elapsed CPU time: 267.816 s Remaining CPU time: 1532.18 s c Elapsed CPU time: 268.758 s Remaining CPU time: 1531.24 s c Elapsed CPU time: 269.762 s Remaining CPU time: 1530.24 s c Elapsed CPU time: 270.707 s Remaining CPU time: 1529.29 s c Elapsed CPU time: 271.653 s Remaining CPU time: 1528.35 s c Elapsed CPU time: 272.594 s Remaining CPU time: 1527.41 s c Elapsed CPU time: 273.606 s Remaining CPU time: 1526.39 s c Elapsed CPU time: 274.55 s Remaining CPU time: 1525.45 s c Elapsed CPU time: 275.49 s Remaining CPU time: 1524.51 s c Elapsed CPU time: 276.433 s Remaining CPU time: 1523.57 s c Elapsed CPU time: 277.441 s Remaining CPU time: 1522.56 s c Elapsed CPU time: 278.379 s Remaining CPU time: 1521.62 s c Elapsed CPU time: 279.318 s Remaining CPU time: 1520.68 s c Elapsed CPU time: 280.261 s Remaining CPU time: 1519.74 s c Elapsed CPU time: 281.265 s Remaining CPU time: 1518.73 s c Elapsed CPU time: 282.203 s Remaining CPU time: 1517.8 s c Elapsed CPU time: 283.146 s Remaining CPU time: 1516.85 s c Elapsed CPU time: 284.086 s Remaining CPU time: 1515.91 s c Elapsed CPU time: 285.084 s Remaining CPU time: 1514.92 s c Elapsed CPU time: 286.024 s Remaining CPU time: 1513.98 s c Elapsed CPU time: 286.965 s Remaining CPU time: 1513.03 s c Elapsed CPU time: 287.909 s Remaining CPU time: 1512.09 s c Elapsed CPU time: 288.92 s Remaining CPU time: 1511.08 s c Elapsed CPU time: 289.872 s Remaining CPU time: 1510.13 s c Elapsed CPU time: 290.821 s Remaining CPU time: 1509.18 s c Elapsed CPU time: 291.769 s Remaining CPU time: 1508.23 s c Elapsed CPU time: 292.779 s Remaining CPU time: 1507.22 s c Elapsed CPU time: 293.729 s Remaining CPU time: 1506.27 s c Elapsed CPU time: 294.68 s Remaining CPU time: 1505.32 s c Elapsed CPU time: 295.632 s Remaining CPU time: 1504.37 s c Elapsed CPU time: 296.649 s Remaining CPU time: 1503.35 s c Elapsed CPU time: 297.596 s Remaining CPU time: 1502.4 s c Elapsed CPU time: 298.539 s Remaining CPU time: 1501.46 s c Elapsed CPU time: 299.482 s Remaining CPU time: 1500.52 s c Elapsed CPU time: 300.521 s Remaining CPU time: 1499.48 s c Elapsed CPU time: 301.461 s Remaining CPU time: 1498.54 s c Elapsed CPU time: 302.399 s Remaining CPU time: 1497.6 s c Elapsed CPU time: 303.34 s Remaining CPU time: 1496.66 s c Elapsed CPU time: 304.337 s Remaining CPU time: 1495.66 s c Elapsed CPU time: 305.293 s Remaining CPU time: 1494.71 s c Elapsed CPU time: 306.237 s Remaining CPU time: 1493.76 s c Elapsed CPU time: 307.186 s Remaining CPU time: 1492.81 s c Elapsed CPU time: 308.205 s Remaining CPU time: 1491.79 s c Elapsed CPU time: 309.164 s Remaining CPU time: 1490.84 s c Elapsed CPU time: 310.118 s Remaining CPU time: 1489.88 s c Elapsed CPU time: 311.069 s Remaining CPU time: 1488.93 s c Elapsed CPU time: 312.09 s Remaining CPU time: 1487.91 s c Elapsed CPU time: 313.047 s Remaining CPU time: 1486.95 s c Elapsed CPU time: 314 s Remaining CPU time: 1486 s c Elapsed CPU time: 314.957 s Remaining CPU time: 1485.04 s c Elapsed CPU time: 315.971 s Remaining CPU time: 1484.03 s c Elapsed CPU time: 316.916 s Remaining CPU time: 1483.08 s c Elapsed CPU time: 317.857 s Remaining CPU time: 1482.14 s c Elapsed CPU time: 318.803 s Remaining CPU time: 1481.2 s c Elapsed CPU time: 319.81 s Remaining CPU time: 1480.19 s c Elapsed CPU time: 320.75 s Remaining CPU time: 1479.25 s c Elapsed CPU time: 321.69 s Remaining CPU time: 1478.31 s c Elapsed CPU time: 322.633 s Remaining CPU time: 1477.37 s c Elapsed CPU time: 323.637 s Remaining CPU time: 1476.36 s c Elapsed CPU time: 324.578 s Remaining CPU time: 1475.42 s c Elapsed CPU time: 325.526 s Remaining CPU time: 1474.47 s c Elapsed CPU time: 326.479 s Remaining CPU time: 1473.52 s c Elapsed CPU time: 327.501 s Remaining CPU time: 1472.5 s c Elapsed CPU time: 328.514 s Remaining CPU time: 1471.49 s c Elapsed CPU time: 329.481 s Remaining CPU time: 1470.52 s c Elapsed CPU time: 330.438 s Remaining CPU time: 1469.56 s c Elapsed CPU time: 331.484 s Remaining CPU time: 1468.52 s c Elapsed CPU time: 332.459 s Remaining CPU time: 1467.54 s c Elapsed CPU time: 333.421 s Remaining CPU time: 1466.58 s c Elapsed CPU time: 334.388 s Remaining CPU time: 1465.61 s c Elapsed CPU time: 335.418 s Remaining CPU time: 1464.58 s c Elapsed CPU time: 336.373 s Remaining CPU time: 1463.63 s c Elapsed CPU time: 337.322 s Remaining CPU time: 1462.68 s c Elapsed CPU time: 338.269 s Remaining CPU time: 1461.73 s c Elapsed CPU time: 339.284 s Remaining CPU time: 1460.72 s c Elapsed CPU time: 340.237 s Remaining CPU time: 1459.76 s c Elapsed CPU time: 341.186 s Remaining CPU time: 1458.81 s c Elapsed CPU time: 342.138 s Remaining CPU time: 1457.86 s c Elapsed CPU time: 343.162 s Remaining CPU time: 1456.84 s c Elapsed CPU time: 344.124 s Remaining CPU time: 1455.88 s c Elapsed CPU time: 345.068 s Remaining CPU time: 1454.93 s c Elapsed CPU time: 346.033 s Remaining CPU time: 1453.97 s c Elapsed CPU time: 347.073 s Remaining CPU time: 1452.93 s c Elapsed CPU time: 348.059 s Remaining CPU time: 1451.94 s c Elapsed CPU time: 349.025 s Remaining CPU time: 1450.98 s c Elapsed CPU time: 350.001 s Remaining CPU time: 1450 s c Elapsed CPU time: 351.044 s Remaining CPU time: 1448.96 s c Elapsed CPU time: 352.034 s Remaining CPU time: 1447.97 s c Elapsed CPU time: 352.996 s Remaining CPU time: 1447 s c Elapsed CPU time: 353.966 s Remaining CPU time: 1446.03 s c Elapsed CPU time: 355.004 s Remaining CPU time: 1445 s c Elapsed CPU time: 355.988 s Remaining CPU time: 1444.01 s c Elapsed CPU time: 356.945 s Remaining CPU time: 1443.06 s c Elapsed CPU time: 357.893 s Remaining CPU time: 1442.11 s c Elapsed CPU time: 358.905 s Remaining CPU time: 1441.09 s c Elapsed CPU time: 359.851 s Remaining CPU time: 1440.15 s c Elapsed CPU time: 360.808 s Remaining CPU time: 1439.19 s c Elapsed CPU time: 361.758 s Remaining CPU time: 1438.24 s c Elapsed CPU time: 362.795 s Remaining CPU time: 1437.21 s c Elapsed CPU time: 363.76 s Remaining CPU time: 1436.24 s c Elapsed CPU time: 364.723 s Remaining CPU time: 1435.28 s c Elapsed CPU time: 365.695 s Remaining CPU time: 1434.3 s c Elapsed CPU time: 366.757 s Remaining CPU time: 1433.24 s c Elapsed CPU time: 367.725 s Remaining CPU time: 1432.27 s c Elapsed CPU time: 368.699 s Remaining CPU time: 1431.3 s c Elapsed CPU time: 369.664 s Remaining CPU time: 1430.34 s c Elapsed CPU time: 370.701 s Remaining CPU time: 1429.3 s c Elapsed CPU time: 371.69 s Remaining CPU time: 1428.31 s c Elapsed CPU time: 372.661 s Remaining CPU time: 1427.34 s c Elapsed CPU time: 373.647 s Remaining CPU time: 1426.35 s c Elapsed CPU time: 374.705 s Remaining CPU time: 1425.29 s c Elapsed CPU time: 375.684 s Remaining CPU time: 1424.32 s c Elapsed CPU time: 376.642 s Remaining CPU time: 1423.36 s c Elapsed CPU time: 377.613 s Remaining CPU time: 1422.39 s c Elapsed CPU time: 378.632 s Remaining CPU time: 1421.37 s c Elapsed CPU time: 379.619 s Remaining CPU time: 1420.38 s c Elapsed CPU time: 380.587 s Remaining CPU time: 1419.41 s c Elapsed CPU time: 381.557 s Remaining CPU time: 1418.44 s c Elapsed CPU time: 382.576 s Remaining CPU time: 1417.42 s c Elapsed CPU time: 383.56 s Remaining CPU time: 1416.44 s c Elapsed CPU time: 384.522 s Remaining CPU time: 1415.48 s c Elapsed CPU time: 385.483 s Remaining CPU time: 1414.52 s c Elapsed CPU time: 386.531 s Remaining CPU time: 1413.47 s c Elapsed CPU time: 387.522 s Remaining CPU time: 1412.48 s c Elapsed CPU time: 388.492 s Remaining CPU time: 1411.51 s c Elapsed CPU time: 389.47 s Remaining CPU time: 1410.53 s c Elapsed CPU time: 390.512 s Remaining CPU time: 1409.49 s c Elapsed CPU time: 391.483 s Remaining CPU time: 1408.52 s c Elapsed CPU time: 392.466 s Remaining CPU time: 1407.53 s c Elapsed CPU time: 393.465 s Remaining CPU time: 1406.53 s c Elapsed CPU time: 394.505 s Remaining CPU time: 1405.49 s c Elapsed CPU time: 395.524 s Remaining CPU time: 1404.48 s c Elapsed CPU time: 396.514 s Remaining CPU time: 1403.49 s c Elapsed CPU time: 397.484 s Remaining CPU time: 1402.52 s c Elapsed CPU time: 398.537 s Remaining CPU time: 1401.46 s c Elapsed CPU time: 399.533 s Remaining CPU time: 1400.47 s c Elapsed CPU time: 400.516 s Remaining CPU time: 1399.48 s c Elapsed CPU time: 401.48 s Remaining CPU time: 1398.52 s c Elapsed CPU time: 402.514 s Remaining CPU time: 1397.49 s c Elapsed CPU time: 403.522 s Remaining CPU time: 1396.48 s c Elapsed CPU time: 404.483 s Remaining CPU time: 1395.52 s c Elapsed CPU time: 405.462 s Remaining CPU time: 1394.54 s c Elapsed CPU time: 406.527 s Remaining CPU time: 1393.47 s c Elapsed CPU time: 407.515 s Remaining CPU time: 1392.48 s c Elapsed CPU time: 408.49 s Remaining CPU time: 1391.51 s c Elapsed CPU time: 409.47 s Remaining CPU time: 1390.53 s c Elapsed CPU time: 410.516 s Remaining CPU time: 1389.48 s c Elapsed CPU time: 411.495 s Remaining CPU time: 1388.5 s c Elapsed CPU time: 412.478 s Remaining CPU time: 1387.52 s c Elapsed CPU time: 413.458 s Remaining CPU time: 1386.54 s c Elapsed CPU time: 414.504 s Remaining CPU time: 1385.5 s c Elapsed CPU time: 415.474 s Remaining CPU time: 1384.53 s c Elapsed CPU time: 416.438 s Remaining CPU time: 1383.56 s c Elapsed CPU time: 417.404 s Remaining CPU time: 1382.6 s c Elapsed CPU time: 418.44 s Remaining CPU time: 1381.56 s c Elapsed CPU time: 419.41 s Remaining CPU time: 1380.59 s c Elapsed CPU time: 420.375 s Remaining CPU time: 1379.62 s c Elapsed CPU time: 421.354 s Remaining CPU time: 1378.65 s c Elapsed CPU time: 422.396 s Remaining CPU time: 1377.6 s c Elapsed CPU time: 423.364 s Remaining CPU time: 1376.64 s c Elapsed CPU time: 424.337 s Remaining CPU time: 1375.66 s c Elapsed CPU time: 425.314 s Remaining CPU time: 1374.69 s c Elapsed CPU time: 426.373 s Remaining CPU time: 1373.63 s c Elapsed CPU time: 427.355 s Remaining CPU time: 1372.64 s c Elapsed CPU time: 428.347 s Remaining CPU time: 1371.65 s c Elapsed CPU time: 429.326 s Remaining CPU time: 1370.67 s c Elapsed CPU time: 430.38 s Remaining CPU time: 1369.62 s c Elapsed CPU time: 431.365 s Remaining CPU time: 1368.63 s c Elapsed CPU time: 432.37 s Remaining CPU time: 1367.63 s c Elapsed CPU time: 433.356 s Remaining CPU time: 1366.64 s c Elapsed CPU time: 434.407 s Remaining CPU time: 1365.59 s c Elapsed CPU time: 435.393 s Remaining CPU time: 1364.61 s c Elapsed CPU time: 436.372 s Remaining CPU time: 1363.63 s c Elapsed CPU time: 437.343 s Remaining CPU time: 1362.66 s c Elapsed CPU time: 438.378 s Remaining CPU time: 1361.62 s c Elapsed CPU time: 439.353 s Remaining CPU time: 1360.65 s c Elapsed CPU time: 440.335 s Remaining CPU time: 1359.66 s c Elapsed CPU time: 441.306 s Remaining CPU time: 1358.69 s c Elapsed CPU time: 442.354 s Remaining CPU time: 1357.65 s c Elapsed CPU time: 443.341 s Remaining CPU time: 1356.66 s c Elapsed CPU time: 444.321 s Remaining CPU time: 1355.68 s c Elapsed CPU time: 445.306 s Remaining CPU time: 1354.69 s c Elapsed CPU time: 446.367 s Remaining CPU time: 1353.63 s c Elapsed CPU time: 447.357 s Remaining CPU time: 1352.64 s c Elapsed CPU time: 448.353 s Remaining CPU time: 1351.65 s c Elapsed CPU time: 449.344 s Remaining CPU time: 1350.66 s c Elapsed CPU time: 450.406 s Remaining CPU time: 1349.59 s c Elapsed CPU time: 451.395 s Remaining CPU time: 1348.6 s c Elapsed CPU time: 452.406 s Remaining CPU time: 1347.59 s c Elapsed CPU time: 453.409 s Remaining CPU time: 1346.59 s c Elapsed CPU time: 454.472 s Remaining CPU time: 1345.53 s c Elapsed CPU time: 455.459 s Remaining CPU time: 1344.54 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 43824 789759 798412 | 263253 0 nan | 0.000 % | c | 100 | 43824 789759 798412 | 289578 100 2 | 85.512 % | c | 250 | 43824 789759 798412 | 318536 250 2 | 85.512 % | c =============================================================================== c Verified 789759 original clauses.