c wbo 1.4 beta - 20100610 c | Number of variables: 219 | c | Number of clauses: 1596 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1718 | c | Number Clauses: 1572 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1718 1572 5997 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2984900 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 1718 1573 7520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2984581 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1718 1574 9043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2982662 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1718 1575 10566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2980952 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 2 | 1718 1576 12089 | 5000 2 1506 | 0.000 % | c =============================================================================== c New solution: 2980375 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 2 | 1718 1577 13612 | 5000 2 1506 | 0.000 % | c =============================================================================== c New solution: 2979281 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 5 | 1718 1578 15135 | 5000 5 1507 | 0.000 % | c =============================================================================== c New solution: 2979241 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 11 | 1718 1579 16658 | 5000 11 1507 | 0.000 % | c =============================================================================== c New solution: 2979119 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 109 | 1718 1580 18181 | 5000 109 1505 | 0.000 % | c =============================================================================== c New solution: 2978562 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 130 | 1718 1581 19704 | 5000 130 1505 | 0.000 % | c =============================================================================== c New solution: 2978132 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 145 | 1718 1582 21227 | 5000 145 1505 | 0.000 % | c =============================================================================== c New solution: 2977752 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 148 | 1718 1583 22750 | 5000 148 1505 | 0.000 % | c =============================================================================== c New solution: 2977527 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 201 | 1718 1584 24273 | 5000 201 1505 | 0.000 % | c =============================================================================== c New solution: 2977096 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 202 | 1718 1585 25796 | 5000 202 1505 | 0.000 % | c =============================================================================== c New solution: 2975721 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 202 | 1718 1586 27319 | 5000 202 1505 | 0.000 % | c =============================================================================== c New solution: 2975593 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 215 | 1718 1587 28842 | 5000 215 1505 | 0.000 % | c =============================================================================== c New solution: 2975112 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 248 | 1718 1588 30365 | 5000 248 1505 | 0.000 % | c =============================================================================== c New solution: 2974342 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 296 | 1718 1589 31888 | 5000 296 1505 | 0.000 % | c =============================================================================== c New solution: 2974084 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 309 | 1718 1590 33411 | 5000 309 1505 | 0.000 % | c =============================================================================== c New solution: 2973608 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 344 | 1718 1591 34934 | 5000 344 1505 | 0.000 % | c =============================================================================== c New solution: 2973606 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 357 | 1718 1592 36457 | 5000 357 1505 | 0.000 % | c =============================================================================== c New solution: 2973603 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 361 | 1718 1593 37980 | 5000 361 1505 | 0.000 % | c =============================================================================== c New solution: 2973431 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 388 | 1718 1594 39503 | 5000 388 1505 | 0.000 % | c =============================================================================== c New solution: 2972925 c Elapsed CPU time: 0.692894 s Remaining CPU time: 179.307 s c =============================================================================== c | 403 | 1718 1595 41026 | 5000 403 1505 | 0.000 % | c =============================================================================== c New solution: 2972675 c Elapsed CPU time: 0.745886 s Remaining CPU time: 179.254 s c =============================================================================== c | 437 | 1718 1596 42549 | 5000 437 1504 | 0.000 % | c =============================================================================== c New solution: 2972383 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 468 | 1718 1597 44072 | 5000 468 1504 | 0.000 % | c =============================================================================== c New solution: 2972063 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 478 | 1718 1598 45595 | 5000 478 1504 | 0.000 % | c =============================================================================== c New solution: 2972032 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 486 | 1718 1599 47118 | 5000 486 1504 | 0.000 % | c =============================================================================== c New solution: 2971000 c Elapsed CPU time: 0.890864 s Remaining CPU time: 179.109 s c =============================================================================== c | 488 | 1718 1600 48641 | 5000 488 1504 | 0.000 % | c =============================================================================== c New solution: 2970838 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 494 | 1718 1601 50164 | 5000 494 1504 | 0.000 % | c =============================================================================== c New solution: 2970823 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 511 | 1718 1602 51687 | 5000 511 1504 | 0.000 % | c =============================================================================== c New solution: 2970711 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s c =============================================================================== c | 552 | 1718 1603 53210 | 5000 552 1504 | 0.000 % | c =============================================================================== c New solution: 2970648 c Elapsed CPU time: 1.05984 s Remaining CPU time: 178.94 s c =============================================================================== c | 561 | 1718 1604 54733 | 5000 561 1504 | 0.000 % | c =============================================================================== c New solution: 2970549 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 568 | 1718 1605 56256 | 5000 568 1504 | 0.000 % | c =============================================================================== c New solution: 2970486 c Elapsed CPU time: 1.14383 s Remaining CPU time: 178.856 s c =============================================================================== c | 583 | 1718 1606 57779 | 5000 583 1504 | 0.000 % | c =============================================================================== c New solution: 2969737 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s c =============================================================================== c | 604 | 1718 1607 59302 | 5000 604 1504 | 0.000 % | c =============================================================================== c New solution: 2969676 c Elapsed CPU time: 1.24281 s Remaining CPU time: 178.757 s c =============================================================================== c | 609 | 1718 1608 60825 | 5000 609 1504 | 0.000 % | c =============================================================================== c New solution: 2969575 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s c =============================================================================== c | 617 | 1718 1609 62348 | 5000 617 1504 | 0.000 % | c =============================================================================== c New solution: 2969567 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 632 | 1718 1610 63871 | 5000 632 1504 | 0.000 % | c =============================================================================== c New solution: 2969359 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s c =============================================================================== c | 641 | 1718 1611 65394 | 5000 641 1503 | 0.000 % | c =============================================================================== c New solution: 2969027 c Elapsed CPU time: 1.45578 s Remaining CPU time: 178.544 s c =============================================================================== c | 668 | 1718 1612 66917 | 5000 668 1503 | 0.000 % | c =============================================================================== c New solution: 2968888 c Elapsed CPU time: 1.50577 s Remaining CPU time: 178.494 s c =============================================================================== c | 679 | 1718 1613 68440 | 5000 679 1503 | 0.000 % | c =============================================================================== c New solution: 2968200 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 683 | 1718 1614 69963 | 5000 683 1503 | 0.000 % | c =============================================================================== c New solution: 2968038 c Elapsed CPU time: 1.60176 s Remaining CPU time: 178.398 s c =============================================================================== c | 698 | 1718 1615 71486 | 5000 698 1503 | 0.000 % | c =============================================================================== c New solution: 2967521 c Elapsed CPU time: 1.66175 s Remaining CPU time: 178.338 s c =============================================================================== c | 717 | 1718 1616 73009 | 5000 717 1503 | 0.000 % | c =============================================================================== c New solution: 2967378 c Elapsed CPU time: 1.76873 s Remaining CPU time: 178.231 s c =============================================================================== c | 784 | 1718 1617 74532 | 5000 784 1503 | 0.000 % | c =============================================================================== c New solution: 2966705 c Elapsed CPU time: 1.81072 s Remaining CPU time: 178.189 s c =============================================================================== c | 788 | 1718 1618 76055 | 5000 788 1503 | 0.000 % | c =============================================================================== c New solution: 2966334 c Elapsed CPU time: 1.93971 s Remaining CPU time: 178.06 s c =============================================================================== c | 844 | 1718 1619 77578 | 5000 844 1503 | 0.000 % | c =============================================================================== c New solution: 2966016 c Elapsed CPU time: 2.04969 s Remaining CPU time: 177.95 s c =============================================================================== c | 899 | 1718 1620 79101 | 5000 899 1503 | 0.000 % | c =============================================================================== c New solution: 2965779 c Elapsed CPU time: 2.12768 s Remaining CPU time: 177.872 s c =============================================================================== c | 934 | 1718 1621 80624 | 5000 934 1503 | 0.000 % | c =============================================================================== c New solution: 2965509 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c | 940 | 1718 1622 82147 | 5000 940 1502 | 0.000 % | c =============================================================================== c New solution: 2965191 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 1005 | 1718 1623 83670 | 5000 1005 1502 | 0.000 % | c =============================================================================== c New solution: 2964834 c Elapsed CPU time: 2.36464 s Remaining CPU time: 177.635 s c =============================================================================== c | 1020 | 1718 1624 85193 | 5000 1020 1502 | 0.000 % | c =============================================================================== c New solution: 2964690 c Elapsed CPU time: 2.43263 s Remaining CPU time: 177.567 s c =============================================================================== c | 1040 | 1718 1625 86716 | 5000 1040 1502 | 0.000 % | c =============================================================================== c New solution: 2964450 c Elapsed CPU time: 2.48362 s Remaining CPU time: 177.516 s c =============================================================================== c | 1043 | 1718 1626 88239 | 5000 1043 1502 | 0.000 % | c | 1143 | 1718 1626 88239 | 5500 1143 1502 | 0.000 % | c =============================================================================== c New solution: 2964323 c Elapsed CPU time: 2.68059 s Remaining CPU time: 177.319 s c =============================================================================== c | 1145 | 1718 1627 89762 | 5000 1145 1502 | 0.000 % | c =============================================================================== c New solution: 2963884 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 1145 | 1718 1628 91285 | 5000 1145 1502 | 0.000 % | c =============================================================================== c New solution: 2963419 c Elapsed CPU time: 2.78158 s Remaining CPU time: 177.218 s c =============================================================================== c | 1149 | 1718 1629 92808 | 5000 1149 1502 | 0.000 % | c =============================================================================== c New solution: 2963338 c Elapsed CPU time: 2.83757 s Remaining CPU time: 177.162 s c =============================================================================== c | 1150 | 1718 1630 94331 | 5000 1150 1502 | 0.000 % | c =============================================================================== c New solution: 2963131 c Elapsed CPU time: 2.88856 s Remaining CPU time: 177.111 s c =============================================================================== c | 1151 | 1718 1631 95854 | 5000 1151 1502 | 0.000 % | c =============================================================================== c New solution: 2962443 c Elapsed CPU time: 2.93855 s Remaining CPU time: 177.061 s c =============================================================================== c | 1152 | 1718 1632 97377 | 5000 1152 1502 | 0.000 % | c =============================================================================== c New solution: 2961937 c Elapsed CPU time: 2.99055 s Remaining CPU time: 177.009 s c =============================================================================== c | 1152 | 1718 1633 98900 | 5000 1152 1502 | 0.000 % | c =============================================================================== c New solution: 2961498 c Elapsed CPU time: 3.03954 s Remaining CPU time: 176.96 s c =============================================================================== c | 1152 | 1718 1634 100423 | 5000 1152 1502 | 0.000 % | c =============================================================================== c New solution: 2961393 c Elapsed CPU time: 3.23651 s Remaining CPU time: 176.763 s c =============================================================================== c | 1217 | 1718 1635 101946 | 5000 1217 1502 | 0.000 % | c =============================================================================== c New solution: 2961378 c Elapsed CPU time: 3.34149 s Remaining CPU time: 176.659 s c =============================================================================== c | 1249 | 1718 1636 103469 | 5000 1249 1501 | 0.000 % | c =============================================================================== c New solution: 2961250 c Elapsed CPU time: 3.40848 s Remaining CPU time: 176.592 s c =============================================================================== c | 1254 | 1718 1637 104992 | 5000 1254 1501 | 0.000 % | c =============================================================================== c New solution: 2960912 c Elapsed CPU time: 3.46847 s Remaining CPU time: 176.532 s c =============================================================================== c | 1256 | 1718 1638 106515 | 5000 1256 1501 | 0.000 % | c =============================================================================== c New solution: 2960867 c Elapsed CPU time: 3.55446 s Remaining CPU time: 176.446 s c =============================================================================== c | 1269 | 1718 1639 108038 | 5000 1269 1501 | 0.000 % | c =============================================================================== c New solution: 2960859 c Elapsed CPU time: 3.62545 s Remaining CPU time: 176.375 s c =============================================================================== c | 1276 | 1718 1640 109561 | 5000 1276 1501 | 0.000 % | c =============================================================================== c New solution: 2960624 c Elapsed CPU time: 3.69644 s Remaining CPU time: 176.304 s c =============================================================================== c | 1284 | 1718 1641 111084 | 5000 1284 1501 | 0.000 % | c =============================================================================== c New solution: 2960489 c Elapsed CPU time: 3.78642 s Remaining CPU time: 176.214 s c =============================================================================== c | 1296 | 1718 1642 112607 | 5000 1296 1501 | 0.000 % | c =============================================================================== c New solution: 2960185 c Elapsed CPU time: 3.84941 s Remaining CPU time: 176.151 s c =============================================================================== c | 1299 | 1718 1643 114130 | 5000 1299 1501 | 0.000 % | c =============================================================================== c New solution: 2959917 c Elapsed CPU time: 3.98139 s Remaining CPU time: 176.019 s c =============================================================================== c | 1338 | 1718 1644 115653 | 5000 1338 1501 | 0.000 % | c =============================================================================== c New solution: 2959753 c Elapsed CPU time: 4.09338 s Remaining CPU time: 175.907 s c =============================================================================== c | 1369 | 1718 1645 117176 | 5000 1369 1501 | 0.000 % | c =============================================================================== c New solution: 2959713 c Elapsed CPU time: 4.17037 s Remaining CPU time: 175.83 s c =============================================================================== c | 1379 | 1718 1646 118699 | 5000 1379 1501 | 0.000 % | c =============================================================================== c New solution: 2959362 c Elapsed CPU time: 4.25535 s Remaining CPU time: 175.745 s c =============================================================================== c | 1390 | 1718 1647 120222 | 5000 1390 1501 | 0.000 % | c =============================================================================== c New solution: 2959234 c Elapsed CPU time: 4.33334 s Remaining CPU time: 175.667 s c =============================================================================== c | 1395 | 1718 1648 121745 | 5000 1395 1501 | 0.000 % | c =============================================================================== c New solution: 2959026 c Elapsed CPU time: 4.39933 s Remaining CPU time: 175.601 s c =============================================================================== c | 1395 | 1718 1649 123268 | 5000 1395 1501 | 0.000 % | c =============================================================================== c New solution: 2958930 c Elapsed CPU time: 4.50831 s Remaining CPU time: 175.492 s c =============================================================================== c | 1420 | 1718 1650 124791 | 5000 1420 1501 | 0.000 % | c =============================================================================== c New solution: 2958601 c Elapsed CPU time: 4.74528 s Remaining CPU time: 175.255 s c =============================================================================== c | 1503 | 1718 1651 126314 | 5000 1503 1501 | 0.000 % | c =============================================================================== c New solution: 2958274 c Elapsed CPU time: 4.95025 s Remaining CPU time: 175.05 s c =============================================================================== c | 1576 | 1718 1652 127837 | 5000 1576 1501 | 0.000 % | c =============================================================================== c New solution: 2958188 c Elapsed CPU time: 5.10922 s Remaining CPU time: 174.891 s c =============================================================================== c | 1646 | 1718 1653 129360 | 5000 1646 1500 | 0.000 % | c =============================================================================== c New solution: 2957964 c Elapsed CPU time: 5.22221 s Remaining CPU time: 174.778 s c =============================================================================== c | 1669 | 1718 1654 130883 | 5000 1669 1500 | 0.000 % | c =============================================================================== c New solution: 2957890 c Elapsed CPU time: 5.35319 s Remaining CPU time: 174.647 s c =============================================================================== c | 1700 | 1718 1655 132406 | 5000 1700 1500 | 0.000 % | c =============================================================================== c New solution: 2957751 c Elapsed CPU time: 5.45717 s Remaining CPU time: 174.543 s c =============================================================================== c | 1718 | 1718 1656 133929 | 5000 1718 1500 | 0.000 % | c =============================================================================== c New solution: 2957610 c Elapsed CPU time: 5.60615 s Remaining CPU time: 174.394 s c =============================================================================== c | 1749 | 1718 1657 135452 | 5000 1749 1500 | 0.000 % | c =============================================================================== c New solution: 2957330 c Elapsed CPU time: 5.79312 s Remaining CPU time: 174.207 s c =============================================================================== c | 1808 | 1718 1658 136975 | 5000 1808 1500 | 0.000 % | c =============================================================================== c New solution: 2957223 c Elapsed CPU time: 5.9161 s Remaining CPU time: 174.084 s c =============================================================================== c | 1847 | 1718 1659 138498 | 5000 1847 1500 | 0.000 % | c =============================================================================== c New solution: 2956971 c Elapsed CPU time: 5.99809 s Remaining CPU time: 174.002 s c =============================================================================== c | 1847 | 1718 1660 140021 | 5000 1847 1500 | 0.000 % | c =============================================================================== c New solution: 2956960 c Elapsed CPU time: 6.07508 s Remaining CPU time: 173.925 s c =============================================================================== c | 1847 | 1718 1661 141544 | 5000 1847 1500 | 0.000 % | c =============================================================================== c New solution: 2956845 c Elapsed CPU time: 6.17506 s Remaining CPU time: 173.825 s c =============================================================================== c | 1850 | 1718 1662 143067 | 5000 1850 1500 | 0.000 % | c =============================================================================== c New solution: 2956771 c Elapsed CPU time: 6.25605 s Remaining CPU time: 173.744 s c =============================================================================== c | 1850 | 1718 1663 144590 | 5000 1850 1500 | 0.000 % | c =============================================================================== c New solution: 2956544 c Elapsed CPU time: 6.40003 s Remaining CPU time: 173.6 s c =============================================================================== c | 1870 | 1718 1664 146113 | 5000 1870 1500 | 0.000 % | c =============================================================================== c New solution: 2956461 c Elapsed CPU time: 6.563 s Remaining CPU time: 173.437 s c =============================================================================== c | 1894 | 1718 1665 147636 | 5000 1894 1500 | 0.000 % | c =============================================================================== c New solution: 2956382 c Elapsed CPU time: 6.69798 s Remaining CPU time: 173.302 s c =============================================================================== c | 1923 | 1718 1666 149159 | 5000 1923 1500 | 0.000 % | c =============================================================================== c New solution: 2956350 c Elapsed CPU time: 6.87495 s Remaining CPU time: 173.125 s c =============================================================================== c | 1974 | 1718 1667 150682 | 5000 1974 1499 | 0.000 % | c =============================================================================== c New solution: 2955930 c Elapsed CPU time: 7.03793 s Remaining CPU time: 172.962 s c =============================================================================== c | 2016 | 1718 1668 152205 | 5000 2016 1499 | 0.000 % | c =============================================================================== c New solution: 2955817 c Elapsed CPU time: 7.2149 s Remaining CPU time: 172.785 s c =============================================================================== c | 2061 | 1718 1669 153728 | 5000 2061 1499 | 0.000 % | c =============================================================================== c New solution: 2955618 c Elapsed CPU time: 7.39487 s Remaining CPU time: 172.605 s c =============================================================================== c | 2098 | 1718 1670 155251 | 5000 2098 1499 | 0.000 % | c =============================================================================== c New solution: 2955455 c Elapsed CPU time: 7.57085 s Remaining CPU time: 172.429 s c =============================================================================== c | 2153 | 1718 1671 156774 | 5000 2153 1499 | 0.000 % | c =============================================================================== c New solution: 2955378 c Elapsed CPU time: 7.69483 s Remaining CPU time: 172.305 s c =============================================================================== c | 2175 | 1718 1672 158297 | 5000 2175 1499 | 0.000 % | c =============================================================================== c New solution: 2955340 c Elapsed CPU time: 7.9008 s Remaining CPU time: 172.099 s c =============================================================================== c | 2235 | 1718 1673 159820 | 5000 2235 1499 | 0.000 % | c =============================================================================== c New solution: 2955290 c Elapsed CPU time: 8.12876 s Remaining CPU time: 171.871 s c =============================================================================== c | 2319 | 1718 1674 161343 | 5000 2319 1499 | 0.000 % | c =============================================================================== c New solution: 2954982 c Elapsed CPU time: 8.23575 s Remaining CPU time: 171.764 s c =============================================================================== c | 2320 | 1718 1675 162866 | 5000 2320 1499 | 0.000 % | c =============================================================================== c New solution: 2954779 c Elapsed CPU time: 8.34673 s Remaining CPU time: 171.653 s c =============================================================================== c | 2325 | 1718 1676 164389 | 5000 2325 1499 | 0.000 % | c =============================================================================== c New solution: 2954153 c Elapsed CPU time: 8.44772 s Remaining CPU time: 171.552 s c =============================================================================== c | 2325 | 1718 1677 165912 | 5000 2325 1499 | 0.000 % | c =============================================================================== c New solution: 2953687 c Elapsed CPU time: 8.5527 s Remaining CPU time: 171.447 s c =============================================================================== c | 2326 | 1718 1678 167435 | 5000 2326 1499 | 0.000 % | c =============================================================================== c New solution: 2953484 c Elapsed CPU time: 8.78866 s Remaining CPU time: 171.211 s c =============================================================================== c | 2371 | 1718 1679 168958 | 5000 2371 1498 | 0.000 % | c =============================================================================== c New solution: 2953212 c Elapsed CPU time: 8.99563 s Remaining CPU time: 171.004 s c =============================================================================== c | 2414 | 1718 1680 170481 | 5000 2414 1498 | 0.000 % | c =============================================================================== c New solution: 2952833 c Elapsed CPU time: 9.1786 s Remaining CPU time: 170.821 s c =============================================================================== c | 2454 | 1718 1681 172004 | 5000 2454 1498 | 0.000 % | c =============================================================================== c New solution: 2952747 c Elapsed CPU time: 9.39657 s Remaining CPU time: 170.603 s c =============================================================================== c | 2506 | 1718 1682 173527 | 5000 2506 1498 | 0.000 % | c =============================================================================== c New solution: 2952308 c Elapsed CPU time: 9.54155 s Remaining CPU time: 170.458 s c =============================================================================== c | 2523 | 1718 1683 175050 | 5000 2523 1498 | 0.000 % | c =============================================================================== c New solution: 2952281 c Elapsed CPU time: 9.72652 s Remaining CPU time: 170.273 s c =============================================================================== c | 2559 | 1718 1684 176573 | 5000 2559 1498 | 0.000 % | c =============================================================================== c New solution: 2952142 c Elapsed CPU time: 9.95849 s Remaining CPU time: 170.042 s c =============================================================================== c | 2627 | 1718 1685 178096 | 5000 2627 1498 | 0.000 % | c =============================================================================== c New solution: 2952015 c Elapsed CPU time: 10.1485 s Remaining CPU time: 169.852 s c =============================================================================== c | 2656 | 1718 1686 179619 | 5000 2656 1498 | 0.000 % | c =============================================================================== c New solution: 2952005 c Elapsed CPU time: 10.2654 s Remaining CPU time: 169.735 s c =============================================================================== c | 2661 | 1718 1687 181142 | 5000 2661 1498 | 0.000 % | c =============================================================================== c New solution: 2951708 c Elapsed CPU time: 10.4424 s Remaining CPU time: 169.558 s c =============================================================================== c | 2680 | 1718 1688 182665 | 5000 2680 1498 | 0.000 % | c =============================================================================== c New solution: 2951686 c Elapsed CPU time: 10.5554 s Remaining CPU time: 169.445 s c =============================================================================== c | 2680 | 1718 1689 184188 | 5000 2680 1498 | 0.000 % | c =============================================================================== c New solution: 2950836 c Elapsed CPU time: 10.6724 s Remaining CPU time: 169.328 s c =============================================================================== c | 2682 | 1718 1690 185711 | 5000 2682 1498 | 0.000 % | c =============================================================================== c New solution: 2950428 c Elapsed CPU time: 10.7854 s Remaining CPU time: 169.215 s c =============================================================================== c | 2682 | 1718 1691 187234 | 5000 2682 1498 | 0.000 % | c =============================================================================== c New solution: 2950414 c Elapsed CPU time: 10.9133 s Remaining CPU time: 169.087 s c =============================================================================== c | 2684 | 1718 1692 188757 | 5000 2684 1498 | 0.000 % | c =============================================================================== c New solution: 2950114 c Elapsed CPU time: 11.0283 s Remaining CPU time: 168.972 s c =============================================================================== c | 2684 | 1718 1693 190280 | 5000 2684 1498 | 0.000 % | c =============================================================================== c New solution: 2949735 c Elapsed CPU time: 11.1433 s Remaining CPU time: 168.857 s c =============================================================================== c | 2686 | 1718 1694 191803 | 5000 2686 1498 | 0.000 % | c =============================================================================== c New solution: 2949676 c Elapsed CPU time: 11.2603 s Remaining CPU time: 168.74 s c =============================================================================== c | 2686 | 1718 1695 193326 | 5000 2686 1498 | 0.000 % | c =============================================================================== c New solution: 2949436 c Elapsed CPU time: 11.3773 s Remaining CPU time: 168.623 s c =============================================================================== c | 2686 | 1718 1696 194849 | 5000 2686 1498 | 0.000 % | c =============================================================================== c New solution: 2948997 c Elapsed CPU time: 11.4963 s Remaining CPU time: 168.504 s c =============================================================================== c | 2686 | 1718 1697 196372 | 5000 2686 1498 | 0.000 % | c =============================================================================== c New solution: 2948646 c Elapsed CPU time: 11.8002 s Remaining CPU time: 168.2 s c =============================================================================== c | 2753 | 1718 1698 197895 | 5000 2753 1498 | 0.000 % | c =============================================================================== c New solution: 2948578 c Elapsed CPU time: 12.1352 s Remaining CPU time: 167.865 s c =============================================================================== c | 2839 | 1718 1699 199418 | 5000 2839 1497 | 0.000 % | c =============================================================================== c New solution: 2948562 c Elapsed CPU time: 12.2751 s Remaining CPU time: 167.725 s c =============================================================================== c | 2845 | 1718 1700 200941 | 5000 2845 1497 | 0.000 % | c =============================================================================== c New solution: 2948330 c Elapsed CPU time: 12.3921 s Remaining CPU time: 167.608 s c =============================================================================== c | 2846 | 1718 1701 202464 | 5000 2846 1497 | 0.000 % | c =============================================================================== c New solution: 2948084 c Elapsed CPU time: 12.5161 s Remaining CPU time: 167.484 s c =============================================================================== c | 2846 | 1718 1702 203987 | 5000 2846 1497 | 0.000 % | c =============================================================================== c New solution: 2947973 c Elapsed CPU time: 12.7121 s Remaining CPU time: 167.288 s c =============================================================================== c | 2862 | 1718 1703 205510 | 5000 2862 1497 | 0.000 % | c =============================================================================== c New solution: 2947704 c Elapsed CPU time: 12.897 s Remaining CPU time: 167.103 s c =============================================================================== c | 2889 | 1718 1704 207033 | 5000 2889 1497 | 0.000 % | c =============================================================================== c New solution: 2947560 c Elapsed CPU time: 13.144 s Remaining CPU time: 166.856 s c =============================================================================== c | 2946 | 1718 1705 208556 | 5000 2946 1497 | 0.000 % | c =============================================================================== c New solution: 2947516 c Elapsed CPU time: 13.333 s Remaining CPU time: 166.667 s c =============================================================================== c | 2987 | 1718 1706 210079 | 5000 2987 1497 | 0.000 % | c =============================================================================== c New solution: 2947486 c Elapsed CPU time: 13.4809 s Remaining CPU time: 166.519 s c =============================================================================== c | 2996 | 1718 1707 211602 | 5000 2996 1497 | 0.000 % | c =============================================================================== c New solution: 2947320 c Elapsed CPU time: 13.6629 s Remaining CPU time: 166.337 s c =============================================================================== c | 3010 | 1718 1708 213125 | 5000 3010 1497 | 0.000 % | c =============================================================================== c New solution: 2947129 c Elapsed CPU time: 13.8029 s Remaining CPU time: 166.197 s c =============================================================================== c | 3019 | 1718 1709 214648 | 5000 3019 1497 | 0.000 % | c =============================================================================== c New solution: 2947027 c Elapsed CPU time: 14.0499 s Remaining CPU time: 165.95 s c =============================================================================== c | 3051 | 1718 1710 216171 | 5000 3051 1497 | 0.000 % | c =============================================================================== c New solution: 2946737 c Elapsed CPU time: 14.2608 s Remaining CPU time: 165.739 s c =============================================================================== c | 3078 | 1718 1711 217694 | 5000 3078 1497 | 0.000 % | c =============================================================================== c New solution: 2946575 c Elapsed CPU time: 14.6368 s Remaining CPU time: 165.363 s c =============================================================================== c | 3172 | 1718 1712 219217 | 5000 3172 1497 | 0.000 % | c =============================================================================== c New solution: 2946512 c Elapsed CPU time: 14.8617 s Remaining CPU time: 165.138 s c =============================================================================== c | 3224 | 1718 1713 220740 | 5000 3224 1496 | 0.000 % | c =============================================================================== c New solution: 2946114 c Elapsed CPU time: 15.0827 s Remaining CPU time: 164.917 s c =============================================================================== c | 3251 | 1718 1714 222263 | 5000 3251 1496 | 0.000 % | c =============================================================================== c New solution: 2946035 c Elapsed CPU time: 15.2757 s Remaining CPU time: 164.724 s c =============================================================================== c | 3273 | 1718 1715 223786 | 5000 3273 1496 | 0.000 % | c =============================================================================== c New solution: 2945601 c Elapsed CPU time: 15.5246 s Remaining CPU time: 164.475 s c =============================================================================== c | 3315 | 1718 1716 225309 | 5000 3315 1496 | 0.000 % | c =============================================================================== c New solution: 2945511 c Elapsed CPU time: 15.7346 s Remaining CPU time: 164.265 s c =============================================================================== c | 3352 | 1718 1717 226832 | 5000 3352 1496 | 0.000 % | c =============================================================================== c New solution: 2945454 c Elapsed CPU time: 15.8766 s Remaining CPU time: 164.123 s c =============================================================================== c | 3353 | 1718 1718 228355 | 5000 3353 1496 | 0.000 % | c =============================================================================== c New solution: 2945294 c Elapsed CPU time: 16.1335 s Remaining CPU time: 163.866 s c =============================================================================== c | 3387 | 1718 1719 229878 | 5000 3387 1496 | 0.000 % | c =============================================================================== c New solution: 2945279 c Elapsed CPU time: 16.3945 s Remaining CPU time: 163.605 s c =============================================================================== c | 3443 | 1718 1720 231401 | 5000 3443 1496 | 0.000 % | c =============================================================================== c New solution: 2945137 c Elapsed CPU time: 16.5385 s Remaining CPU time: 163.462 s c =============================================================================== c | 3444 | 1718 1721 232924 | 5000 3444 1496 | 0.000 % | c =============================================================================== c New solution: 2945070 c Elapsed CPU time: 16.6965 s Remaining CPU time: 163.304 s c =============================================================================== c | 3445 | 1718 1722 234447 | 5000 3445 1496 | 0.000 % | c =============================================================================== c New solution: 2944841 c Elapsed CPU time: 16.8684 s Remaining CPU time: 163.132 s c =============================================================================== c | 3452 | 1718 1723 235970 | 5000 3452 1496 | 0.000 % | c =============================================================================== c New solution: 2944753 c Elapsed CPU time: 17.0384 s Remaining CPU time: 162.962 s c =============================================================================== c | 3455 | 1718 1724 237493 | 5000 3455 1496 | 0.000 % | c =============================================================================== c New solution: 2944608 c Elapsed CPU time: 17.3564 s Remaining CPU time: 162.644 s c =============================================================================== c | 3491 | 1718 1725 239016 | 5000 3491 1496 | 0.000 % | c =============================================================================== c New solution: 2944491 c Elapsed CPU time: 17.7603 s Remaining CPU time: 162.24 s c =============================================================================== c | 3568 | 1718 1726 240539 | 5000 3568 1496 | 0.000 % | c =============================================================================== c New solution: 2944266 c Elapsed CPU time: 17.9643 s Remaining CPU time: 162.036 s c =============================================================================== c | 3594 | 1718 1727 242062 | 5000 3594 1496 | 0.000 % | c =============================================================================== c New solution: 2944134 c Elapsed CPU time: 18.1832 s Remaining CPU time: 161.817 s c =============================================================================== c | 3618 | 1718 1728 243585 | 5000 3618 1496 | 0.000 % | c =============================================================================== c New solution: 2944082 c Elapsed CPU time: 18.3952 s Remaining CPU time: 161.605 s c =============================================================================== c | 3640 | 1718 1729 245108 | 5000 3640 1496 | 0.000 % | c =============================================================================== c New solution: 2943972 c Elapsed CPU time: 18.5862 s Remaining CPU time: 161.414 s c =============================================================================== c | 3660 | 1718 1730 246631 | 5000 3660 1495 | 0.000 % | c =============================================================================== c New solution: 2943877 c Elapsed CPU time: 18.8161 s Remaining CPU time: 161.184 s c =============================================================================== c | 3682 | 1718 1731 248154 | 5000 3682 1495 | 0.000 % | c =============================================================================== c New solution: 2943821 c Elapsed CPU time: 19.0801 s Remaining CPU time: 160.92 s c =============================================================================== c | 3720 | 1718 1732 249677 | 5000 3720 1495 | 0.000 % | c =============================================================================== c New solution: 2943629 c Elapsed CPU time: 19.3571 s Remaining CPU time: 160.643 s c =============================================================================== c | 3760 | 1718 1733 251200 | 5000 3760 1495 | 0.000 % | c =============================================================================== c New solution: 2943587 c Elapsed CPU time: 19.654 s Remaining CPU time: 160.346 s c =============================================================================== c | 3809 | 1718 1734 252723 | 5000 3809 1495 | 0.000 % | c =============================================================================== c New solution: 2943358 c Elapsed CPU time: 20.0779 s Remaining CPU time: 159.922 s c =============================================================================== c | 3904 | 1718 1735 254246 | 5000 3904 1495 | 0.000 % | c =============================================================================== c New solution: 2943117 c Elapsed CPU time: 20.3679 s Remaining CPU time: 159.632 s c =============================================================================== c | 3966 | 1718 1736 255769 | 5000 3966 1495 | 0.000 % | c =============================================================================== c New solution: 2942740 c Elapsed CPU time: 20.5919 s Remaining CPU time: 159.408 s c =============================================================================== c | 3979 | 1718 1737 257292 | 5000 3979 1495 | 0.000 % | c =============================================================================== c New solution: 2942730 c Elapsed CPU time: 20.7618 s Remaining CPU time: 159.238 s c =============================================================================== c | 3985 | 1718 1738 258815 | 5000 3985 1495 | 0.000 % | c =============================================================================== c New solution: 2942493 c Elapsed CPU time: 20.9438 s Remaining CPU time: 159.056 s c =============================================================================== c | 3990 | 1718 1739 260338 | 5000 3990 1495 | 0.000 % | c =============================================================================== c New solution: 2942285 c Elapsed CPU time: 21.2278 s Remaining CPU time: 158.772 s c =============================================================================== c | 4037 | 1718 1740 261861 | 5000 4037 1495 | 0.000 % | c =============================================================================== c New solution: 2942051 c Elapsed CPU time: 21.4127 s Remaining CPU time: 158.587 s c =============================================================================== c | 4044 | 1718 1741 263384 | 5000 4044 1495 | 0.000 % | c =============================================================================== c New solution: 2941989 c Elapsed CPU time: 21.5967 s Remaining CPU time: 158.403 s c =============================================================================== c | 4054 | 1718 1742 264907 | 5000 4054 1495 | 0.000 % | c =============================================================================== c New solution: 2941752 c Elapsed CPU time: 21.8737 s Remaining CPU time: 158.126 s c =============================================================================== c | 4082 | 1718 1743 266430 | 5000 4082 1495 | 0.000 % | c =============================================================================== c New solution: 2941498 c Elapsed CPU time: 22.2586 s Remaining CPU time: 157.741 s c =============================================================================== c | 4145 | 1718 1744 267953 | 5000 4145 1495 | 0.000 % | c =============================================================================== c New solution: 2941490 c Elapsed CPU time: 22.5436 s Remaining CPU time: 157.456 s c =============================================================================== c | 4176 | 1718 1745 269476 | 5000 4176 1494 | 0.000 % | c =============================================================================== c New solution: 2941475 c Elapsed CPU time: 22.9555 s Remaining CPU time: 157.044 s c =============================================================================== c | 4250 | 1718 1746 270999 | 5000 4250 1494 | 0.000 % | c =============================================================================== c New solution: 2941413 c Elapsed CPU time: 23.1365 s Remaining CPU time: 156.864 s c =============================================================================== c | 4253 | 1718 1747 272522 | 5000 4253 1494 | 0.000 % | c =============================================================================== c New solution: 2941362 c Elapsed CPU time: 23.3275 s Remaining CPU time: 156.673 s c =============================================================================== c | 4253 | 1718 1748 274045 | 5000 4253 1494 | 0.000 % | c =============================================================================== c New solution: 2940923 c Elapsed CPU time: 23.5054 s Remaining CPU time: 156.495 s c =============================================================================== c | 4253 | 1718 1749 275568 | 5000 4253 1494 | 0.000 % | c =============================================================================== c New solution: 2940882 c Elapsed CPU time: 23.6964 s Remaining CPU time: 156.304 s c =============================================================================== c | 4255 | 1718 1750 277091 | 5000 4255 1494 | 0.000 % | c =============================================================================== c New solution: 2940822 c Elapsed CPU time: 24.1503 s Remaining CPU time: 155.85 s c =============================================================================== c | 4332 | 1718 1751 278614 | 5000 4332 1494 | 0.000 % | c =============================================================================== c New solution: 2940709 c Elapsed CPU time: 24.5893 s Remaining CPU time: 155.411 s c =============================================================================== c | 4409 | 1718 1752 280137 | 5000 4409 1494 | 0.000 % | c =============================================================================== c New solution: 2940515 c Elapsed CPU time: 24.9672 s Remaining CPU time: 155.033 s c =============================================================================== c | 4458 | 1718 1753 281660 | 5000 4458 1494 | 0.000 % | c =============================================================================== c New solution: 2940323 c Elapsed CPU time: 25.2842 s Remaining CPU time: 154.716 s c =============================================================================== c | 4497 | 1718 1754 283183 | 5000 4497 1494 | 0.000 % | c =============================================================================== c New solution: 2940298 c Elapsed CPU time: 25.6461 s Remaining CPU time: 154.354 s c =============================================================================== c | 4539 | 1718 1755 284706 | 5000 4539 1494 | 0.000 % | c | 4639 | 1718 1755 284706 | 5500 4639 1494 | 0.000 % | c =============================================================================== c New solution: 2940275 c Elapsed CPU time: 26.526 s Remaining CPU time: 153.474 s c =============================================================================== c | 4706 | 1718 1756 286229 | 5000 4706 1493 | 0.000 % | c =============================================================================== c New solution: 2939961 c Elapsed CPU time: 26.7329 s Remaining CPU time: 153.267 s c =============================================================================== c | 4711 | 1718 1757 287752 | 5000 4711 1493 | 0.000 % | c =============================================================================== c New solution: 2939667 c Elapsed CPU time: 27.1689 s Remaining CPU time: 152.831 s c =============================================================================== c | 4791 | 1718 1758 289275 | 5000 4791 1493 | 0.000 % | c =============================================================================== c New solution: 2939638 c Elapsed CPU time: 27.4788 s Remaining CPU time: 152.521 s c =============================================================================== c | 4835 | 1718 1759 290798 | 5000 4835 1493 | 0.000 % | c =============================================================================== c New solution: 2939530 c Elapsed CPU time: 27.9947 s Remaining CPU time: 152.005 s c =============================================================================== c | 4933 | 1718 1760 292321 | 5000 4933 1493 | 0.000 % | c =============================================================================== c New solution: 2939368 c Elapsed CPU time: 28.3787 s Remaining CPU time: 151.621 s c =============================================================================== c | 4996 | 1718 1761 293844 | 5000 4996 1493 | 0.000 % | c =============================================================================== c New solution: 2939287 c Elapsed CPU time: 28.6146 s Remaining CPU time: 151.385 s c =============================================================================== c | 5014 | 1718 1762 295367 | 5000 5014 1493 | 0.000 % | c =============================================================================== c New solution: 2939135 c Elapsed CPU time: 28.8406 s Remaining CPU time: 151.159 s c =============================================================================== c | 5017 | 1718 1763 296890 | 5000 2510 1488 | 0.000 % | c =============================================================================== c New solution: 2938850 c Elapsed CPU time: 29.0506 s Remaining CPU time: 150.949 s c =============================================================================== c | 5029 | 1718 1764 298413 | 5000 2522 1488 | 0.000 % | c =============================================================================== c New solution: 2938461 c Elapsed CPU time: 29.3185 s Remaining CPU time: 150.681 s c =============================================================================== c | 5050 | 1718 1765 299936 | 5000 2543 1488 | 0.000 % | c =============================================================================== c New solution: 2938263 c Elapsed CPU time: 29.7145 s Remaining CPU time: 150.286 s c =============================================================================== c | 5098 | 1718 1766 301459 | 5000 2591 1488 | 0.000 % | c =============================================================================== c New solution: 2937998 c Elapsed CPU time: 30.0584 s Remaining CPU time: 149.942 s c =============================================================================== c | 5137 | 1718 1767 302982 | 5000 2630 1488 | 0.000 % | c =============================================================================== c New solution: 2937918 c Elapsed CPU time: 30.4294 s Remaining CPU time: 149.571 s c =============================================================================== c | 5176 | 1718 1768 304505 | 5000 2669 1488 | 0.000 % | c =============================================================================== c New solution: 2937893 c Elapsed CPU time: 30.8713 s Remaining CPU time: 149.129 s c =============================================================================== c | 5217 | 1718 1769 306028 | 5000 2710 1488 | 0.000 % | c =============================================================================== c New solution: 2937623 c Elapsed CPU time: 31.0793 s Remaining CPU time: 148.921 s c =============================================================================== c | 5218 | 1718 1770 307551 | 5000 2711 1488 | 0.000 % | c =============================================================================== c New solution: 2937395 c Elapsed CPU time: 31.5302 s Remaining CPU time: 148.47 s c =============================================================================== c | 5275 | 1718 1771 309074 | 5000 2768 1487 | 0.000 % | c =============================================================================== c New solution: 2937302 c Elapsed CPU time: 31.8902 s Remaining CPU time: 148.11 s c =============================================================================== c | 5315 | 1718 1772 310597 | 5000 2808 1487 | 0.000 % | c =============================================================================== c New solution: 2937112 c Elapsed CPU time: 32.2101 s Remaining CPU time: 147.79 s c =============================================================================== c | 5362 | 1718 1773 312120 | 5000 2855 1487 | 0.000 % | c =============================================================================== c New solution: 2937102 c Elapsed CPU time: 32.629 s Remaining CPU time: 147.371 s c =============================================================================== c | 5439 | 1718 1774 313643 | 5000 2932 1487 | 0.000 % | c =============================================================================== c New solution: 2936769 c Elapsed CPU time: 32.946 s Remaining CPU time: 147.054 s c =============================================================================== c | 5475 | 1718 1775 315166 | 5000 2968 1487 | 0.000 % | c =============================================================================== c New solution: 2936754 c Elapsed CPU time: 33.3419 s Remaining CPU time: 146.658 s c =============================================================================== c | 5535 | 1718 1776 316689 | 5000 3028 1487 | 0.000 % | c =============================================================================== c New solution: 2936375 c Elapsed CPU time: 33.7619 s Remaining CPU time: 146.238 s c =============================================================================== c | 5605 | 1718 1777 318212 | 5000 3098 1487 | 0.000 % | c =============================================================================== c New solution: 2936372 c Elapsed CPU time: 33.9628 s Remaining CPU time: 146.037 s c =============================================================================== c | 5605 | 1718 1778 319735 | 5000 3098 1487 | 0.000 % | c =============================================================================== c New solution: 2936370 c Elapsed CPU time: 34.2838 s Remaining CPU time: 145.716 s c =============================================================================== c | 5634 | 1718 1779 321258 | 5000 3127 1487 | 0.000 % | c =============================================================================== c New solution: 2936114 c Elapsed CPU time: 34.6757 s Remaining CPU time: 145.324 s c =============================================================================== c | 5694 | 1718 1780 322781 | 5000 3187 1487 | 0.000 % | c =============================================================================== c New solution: 2935947 c Elapsed CPU time: 34.9277 s Remaining CPU time: 145.072 s c =============================================================================== c | 5706 | 1718 1781 324304 | 5000 3199 1487 | 0.000 % | c =============================================================================== c New solution: 2935818 c Elapsed CPU time: 35.1497 s Remaining CPU time: 144.85 s c =============================================================================== c | 5706 | 1718 1782 325827 | 5000 3199 1487 | 0.000 % | c =============================================================================== c New solution: 2935379 c Elapsed CPU time: 35.3676 s Remaining CPU time: 144.632 s c =============================================================================== c | 5706 | 1718 1783 327350 | 5000 3199 1487 | 0.000 % | c =============================================================================== c New solution: 2935039 c Elapsed CPU time: 35.8885 s Remaining CPU time: 144.111 s c =============================================================================== c | 5777 | 1718 1784 328873 | 5000 3270 1487 | 0.000 % | c =============================================================================== c New solution: 2934890 c Elapsed CPU time: 36.1325 s Remaining CPU time: 143.867 s c =============================================================================== c | 5780 | 1718 1785 330396 | 5000 3273 1487 | 0.000 % | c =============================================================================== c New solution: 2934465 c Elapsed CPU time: 36.6604 s Remaining CPU time: 143.34 s c =============================================================================== c | 5869 | 1718 1786 331919 | 5000 3362 1487 | 0.000 % | c =============================================================================== c New solution: 2934448 c Elapsed CPU time: 36.9944 s Remaining CPU time: 143.006 s c =============================================================================== c | 5907 | 1718 1787 333442 | 5000 3400 1487 | 0.000 % | c =============================================================================== c New solution: 2934173 c Elapsed CPU time: 37.2563 s Remaining CPU time: 142.744 s c =============================================================================== c | 5918 | 1718 1788 334965 | 5000 3411 1487 | 0.000 % | c =============================================================================== c New solution: 2934052 c Elapsed CPU time: 37.7463 s Remaining CPU time: 142.254 s c =============================================================================== c | 6004 | 1718 1789 336488 | 5000 3497 1487 | 0.000 % | c =============================================================================== c New solution: 2933809 c Elapsed CPU time: 38.1342 s Remaining CPU time: 141.866 s c =============================================================================== c | 6055 | 1718 1790 338011 | 5000 3548 1487 | 0.000 % | c =============================================================================== c New solution: 2933618 c Elapsed CPU time: 38.5071 s Remaining CPU time: 141.493 s c =============================================================================== c | 6116 | 1718 1791 339534 | 5000 3609 1486 | 0.000 % | c =============================================================================== c New solution: 2933443 c Elapsed CPU time: 38.8781 s Remaining CPU time: 141.122 s c =============================================================================== c | 6157 | 1718 1792 341057 | 5000 3650 1486 | 0.000 % | c =============================================================================== c New solution: 2933281 c Elapsed CPU time: 39.284 s Remaining CPU time: 140.716 s c =============================================================================== c | 6203 | 1718 1793 342580 | 5000 3696 1486 | 0.000 % | c =============================================================================== c New solution: 2933263 c Elapsed CPU time: 39.513 s Remaining CPU time: 140.487 s c =============================================================================== c | 6204 | 1718 1794 344103 | 5000 3697 1486 | 0.000 % | c =============================================================================== c New solution: 2933235 c Elapsed CPU time: 39.752 s Remaining CPU time: 140.248 s c =============================================================================== c | 6205 | 1718 1795 345626 | 5000 3698 1486 | 0.000 % | c =============================================================================== c New solution: 2932986 c Elapsed CPU time: 39.9849 s Remaining CPU time: 140.015 s c =============================================================================== c | 6206 | 1718 1796 347149 | 5000 3699 1486 | 0.000 % | c =============================================================================== c New solution: 2932605 c Elapsed CPU time: 40.3849 s Remaining CPU time: 139.615 s c =============================================================================== c | 6255 | 1718 1797 348672 | 5000 3748 1486 | 0.000 % | c =============================================================================== c New solution: 2932220 c Elapsed CPU time: 40.7138 s Remaining CPU time: 139.286 s c =============================================================================== c | 6271 | 1718 1798 350195 | 5000 3764 1486 | 0.000 % | c =============================================================================== c New solution: 2932056 c Elapsed CPU time: 41.0658 s Remaining CPU time: 138.934 s c =============================================================================== c | 6292 | 1718 1799 351718 | 5000 3785 1486 | 0.000 % | c =============================================================================== c New solution: 2932045 c Elapsed CPU time: 41.6207 s Remaining CPU time: 138.379 s c =============================================================================== c | 6352 | 1718 1800 353241 | 5000 3845 1486 | 0.000 % | c =============================================================================== c New solution: 2931845 c Elapsed CPU time: 42.3026 s Remaining CPU time: 137.697 s c =============================================================================== c | 6449 | 1718 1801 354764 | 5000 3942 1486 | 0.000 % | c =============================================================================== c New solution: 2931655 c Elapsed CPU time: 42.5335 s Remaining CPU time: 137.466 s c =============================================================================== c | 6449 | 1718 1802 356287 | 5000 3942 1486 | 0.000 % | c =============================================================================== c New solution: 2931223 c Elapsed CPU time: 42.7755 s Remaining CPU time: 137.225 s c =============================================================================== c | 6449 | 1718 1803 357810 | 5000 3942 1486 | 0.000 % | c =============================================================================== c New solution: 2931180 c Elapsed CPU time: 43.2624 s Remaining CPU time: 136.738 s c =============================================================================== c | 6496 | 1718 1804 359333 | 5000 3989 1486 | 0.000 % | c =============================================================================== c New solution: 2931156 c Elapsed CPU time: 43.8653 s Remaining CPU time: 136.135 s c =============================================================================== c | 6582 | 1718 1805 360856 | 5000 4075 1486 | 0.000 % | c =============================================================================== c New solution: 2930956 c Elapsed CPU time: 44.1613 s Remaining CPU time: 135.839 s c =============================================================================== c | 6591 | 1718 1806 362379 | 5000 4084 1486 | 0.000 % | c =============================================================================== c New solution: 2930604 c Elapsed CPU time: 44.6692 s Remaining CPU time: 135.331 s c =============================================================================== c | 6639 | 1718 1807 363902 | 5000 4132 1486 | 0.000 % | c =============================================================================== c New solution: 2930168 c Elapsed CPU time: 45.1541 s Remaining CPU time: 134.846 s c =============================================================================== c | 6694 | 1718 1808 365425 | 5000 4187 1486 | 0.000 % | c =============================================================================== c New solution: 2929874 c Elapsed CPU time: 45.5831 s Remaining CPU time: 134.417 s c =============================================================================== c | 6735 | 1718 1809 366948 | 5000 4228 1486 | 0.000 % | c =============================================================================== c New solution: 2929532 c Elapsed CPU time: 45.977 s Remaining CPU time: 134.023 s c =============================================================================== c | 6773 | 1718 1810 368471 | 5000 4266 1486 | 0.000 % | c =============================================================================== c New solution: 2929412 c Elapsed CPU time: 46.373 s Remaining CPU time: 133.627 s c =============================================================================== c | 6805 | 1718 1811 369994 | 5000 4298 1486 | 0.000 % | c =============================================================================== c New solution: 2929029 c Elapsed CPU time: 46.7359 s Remaining CPU time: 133.264 s c =============================================================================== c | 6827 | 1718 1812 371517 | 5000 4320 1486 | 0.000 % | c =============================================================================== c New solution: 2928927 c Elapsed CPU time: 47.0069 s Remaining CPU time: 132.993 s c =============================================================================== c | 6832 | 1718 1813 373040 | 5000 4325 1486 | 0.000 % | c =============================================================================== c New solution: 2928889 c Elapsed CPU time: 47.3608 s Remaining CPU time: 132.639 s c =============================================================================== c | 6848 | 1718 1814 374563 | 5000 4341 1486 | 0.000 % | c =============================================================================== c New solution: 2928466 c Elapsed CPU time: 47.5988 s Remaining CPU time: 132.401 s c =============================================================================== c | 6849 | 1718 1815 376086 | 5000 4342 1486 | 0.000 % | c =============================================================================== c New solution: 2928397 c Elapsed CPU time: 47.8477 s Remaining CPU time: 132.152 s c =============================================================================== c | 6850 | 1718 1816 377609 | 5000 4343 1486 | 0.000 % | c =============================================================================== c New solution: 2928223 c Elapsed CPU time: 48.1207 s Remaining CPU time: 131.879 s c =============================================================================== c | 6855 | 1718 1817 379132 | 5000 4348 1486 | 0.000 % | c =============================================================================== c New solution: 2928065 c Elapsed CPU time: 48.9946 s Remaining CPU time: 131.005 s c =============================================================================== c | 6945 | 1718 1818 380655 | 5000 4438 1485 | 0.000 % | c =============================================================================== c New solution: 2927882 c Elapsed CPU time: 49.2605 s Remaining CPU time: 130.739 s c =============================================================================== c | 6951 | 1718 1819 382178 | 5000 4444 1485 | 0.000 % | c =============================================================================== c New solution: 2927834 c Elapsed CPU time: 49.5685 s Remaining CPU time: 130.432 s c =============================================================================== c | 6957 | 1718 1820 383701 | 5000 4450 1485 | 0.000 % | c =============================================================================== c New solution: 2927368 c Elapsed CPU time: 49.8244 s Remaining CPU time: 130.176 s c =============================================================================== c | 6957 | 1718 1821 385224 | 5000 4450 1485 | 0.000 % | c =============================================================================== c New solution: 2927330 c Elapsed CPU time: 50.1924 s Remaining CPU time: 129.808 s c =============================================================================== c | 6976 | 1718 1822 386747 | 5000 4469 1485 | 0.000 % | c =============================================================================== c New solution: 2927186 c Elapsed CPU time: 50.8853 s Remaining CPU time: 129.115 s c =============================================================================== c | 7053 | 1718 1823 388270 | 5000 4546 1485 | 0.000 % | c =============================================================================== c New solution: 2927169 c Elapsed CPU time: 51.3162 s Remaining CPU time: 128.684 s c =============================================================================== c | 7087 | 1718 1824 389793 | 5000 4580 1485 | 0.000 % | c =============================================================================== c New solution: 2926873 c Elapsed CPU time: 51.8451 s Remaining CPU time: 128.155 s c =============================================================================== c | 7134 | 1718 1825 391316 | 5000 4627 1485 | 0.000 % | c =============================================================================== c New solution: 2926448 c Elapsed CPU time: 52.2261 s Remaining CPU time: 127.774 s c =============================================================================== c | 7155 | 1718 1826 392839 | 5000 4648 1485 | 0.000 % | c =============================================================================== c New solution: 2926260 c Elapsed CPU time: 52.832 s Remaining CPU time: 127.168 s c =============================================================================== c | 7227 | 1718 1827 394362 | 5000 4720 1485 | 0.000 % | c =============================================================================== c New solution: 2925959 c Elapsed CPU time: 53.1059 s Remaining CPU time: 126.894 s c =============================================================================== c | 7244 | 1718 1828 395885 | 5000 4737 1485 | 0.000 % | c =============================================================================== c New solution: 2925611 c Elapsed CPU time: 53.4869 s Remaining CPU time: 126.513 s c =============================================================================== c | 7262 | 1718 1829 397408 | 5000 4755 1485 | 0.000 % | c =============================================================================== c New solution: 2925511 c Elapsed CPU time: 53.9678 s Remaining CPU time: 126.032 s c =============================================================================== c | 7310 | 1718 1830 398931 | 5000 4803 1485 | 0.000 % | c =============================================================================== c New solution: 2925449 c Elapsed CPU time: 54.3817 s Remaining CPU time: 125.618 s c =============================================================================== c | 7335 | 1718 1831 400454 | 5000 4828 1485 | 0.000 % | c =============================================================================== c New solution: 2925315 c Elapsed CPU time: 54.7447 s Remaining CPU time: 125.255 s c =============================================================================== c | 7350 | 1718 1832 401977 | 5000 4843 1485 | 0.000 % | c =============================================================================== c New solution: 2925311 c Elapsed CPU time: 55.1066 s Remaining CPU time: 124.893 s c =============================================================================== c | 7384 | 1718 1833 403500 | 5000 4877 1485 | 0.000 % | c =============================================================================== c New solution: 2925117 c Elapsed CPU time: 55.7465 s Remaining CPU time: 124.253 s c =============================================================================== c | 7468 | 1718 1834 405023 | 5000 4961 1485 | 0.000 % | c =============================================================================== c New solution: 2924961 c Elapsed CPU time: 56.3044 s Remaining CPU time: 123.696 s c =============================================================================== c | 7539 | 1718 1835 406546 | 5000 5032 1484 | 0.000 % | c =============================================================================== c New solution: 2924581 c Elapsed CPU time: 56.6564 s Remaining CPU time: 123.344 s c =============================================================================== c | 7559 | 1718 1836 408069 | 5000 2536 1481 | 0.000 % | c =============================================================================== c New solution: 2924553 c Elapsed CPU time: 57.1363 s Remaining CPU time: 122.864 s c =============================================================================== c | 7596 | 1718 1837 409592 | 5000 2573 1481 | 0.000 % | c =============================================================================== c New solution: 2924517 c Elapsed CPU time: 57.5922 s Remaining CPU time: 122.408 s c =============================================================================== c | 7648 | 1718 1838 411115 | 5000 2625 1481 | 0.000 % | c =============================================================================== c New solution: 2924455 c Elapsed CPU time: 58.0392 s Remaining CPU time: 121.961 s c =============================================================================== c | 7680 | 1718 1839 412638 | 5000 2657 1481 | 0.000 % | c =============================================================================== c New solution: 2924093 c Elapsed CPU time: 58.5641 s Remaining CPU time: 121.436 s c =============================================================================== c | 7731 | 1718 1840 414161 | 5000 2708 1481 | 0.000 % | c =============================================================================== c New solution: 2924006 c Elapsed CPU time: 58.8491 s Remaining CPU time: 121.151 s c =============================================================================== c | 7732 | 1718 1841 415684 | 5000 2709 1481 | 0.000 % | c =============================================================================== c New solution: 2923902 c Elapsed CPU time: 59.197 s Remaining CPU time: 120.803 s c =============================================================================== c | 7742 | 1718 1842 417207 | 5000 2719 1481 | 0.000 % | c =============================================================================== c New solution: 2923852 c Elapsed CPU time: 59.7119 s Remaining CPU time: 120.288 s c =============================================================================== c | 7810 | 1718 1843 418730 | 5000 2787 1481 | 0.000 % | c =============================================================================== c New solution: 2923521 c Elapsed CPU time: 60.2048 s Remaining CPU time: 119.795 s c =============================================================================== c | 7856 | 1718 1844 420253 | 5000 2833 1481 | 0.000 % | c =============================================================================== c New solution: 2923195 c Elapsed CPU time: 60.6788 s Remaining CPU time: 119.321 s c =============================================================================== c | 7908 | 1718 1845 421776 | 5000 2885 1481 | 0.000 % | c =============================================================================== c New solution: 2922948 c Elapsed CPU time: 61.0847 s Remaining CPU time: 118.915 s c =============================================================================== c | 7930 | 1718 1846 423299 | 5000 2907 1481 | 0.000 % | c =============================================================================== c New solution: 2922599 c Elapsed CPU time: 61.5426 s Remaining CPU time: 118.457 s c =============================================================================== c | 7963 | 1718 1847 424822 | 5000 2940 1481 | 0.000 % | c =============================================================================== c New solution: 2922584 c Elapsed CPU time: 61.9406 s Remaining CPU time: 118.059 s c =============================================================================== c | 7990 | 1718 1848 426345 | 5000 2967 1481 | 0.000 % | c | 8090 | 1718 1848 426345 | 5500 3067 1481 | 0.000 % | c =============================================================================== c New solution: 2922490 c Elapsed CPU time: 62.8115 s Remaining CPU time: 117.189 s c =============================================================================== c | 8098 | 1718 1849 427868 | 5000 3075 1481 | 0.000 % | c =============================================================================== c New solution: 2921929 c Elapsed CPU time: 63.1354 s Remaining CPU time: 116.865 s c =============================================================================== c | 8104 | 1718 1850 429391 | 5000 3081 1481 | 0.000 % | c =============================================================================== c New solution: 2921519 c Elapsed CPU time: 63.6313 s Remaining CPU time: 116.369 s c =============================================================================== c | 8149 | 1718 1851 430914 | 5000 3126 1481 | 0.000 % | c =============================================================================== c New solution: 2921451 c Elapsed CPU time: 64.2312 s Remaining CPU time: 115.769 s c =============================================================================== c | 8202 | 1718 1852 432437 | 5000 3179 1480 | 0.000 % | c =============================================================================== c New solution: 2921349 c Elapsed CPU time: 64.7482 s Remaining CPU time: 115.252 s c =============================================================================== c | 8249 | 1718 1853 433960 | 5000 3226 1480 | 0.000 % | c =============================================================================== c New solution: 2921062 c Elapsed CPU time: 65.3291 s Remaining CPU time: 114.671 s c =============================================================================== c | 8327 | 1718 1854 435483 | 5000 3304 1480 | 0.000 % | c =============================================================================== c New solution: 2921044 c Elapsed CPU time: 65.837 s Remaining CPU time: 114.163 s c =============================================================================== c | 8381 | 1718 1855 437006 | 5000 3358 1480 | 0.000 % | c =============================================================================== c New solution: 2920971 c Elapsed CPU time: 66.2919 s Remaining CPU time: 113.708 s c =============================================================================== c | 8427 | 1718 1856 438529 | 5000 3404 1480 | 0.000 % | c =============================================================================== c New solution: 2920850 c Elapsed CPU time: 66.7029 s Remaining CPU time: 113.297 s c =============================================================================== c | 8454 | 1718 1857 440052 | 5000 3431 1480 | 0.000 % | c | 8554 | 1718 1857 440052 | 5500 3531 1480 | 0.000 % | c =============================================================================== c New solution: 2920696 c Elapsed CPU time: 67.7657 s Remaining CPU time: 112.234 s c =============================================================================== c | 8578 | 1718 1858 441575 | 5000 3555 1480 | 0.000 % | c =============================================================================== c New solution: 2920330 c Elapsed CPU time: 68.1886 s Remaining CPU time: 111.811 s c =============================================================================== c | 8602 | 1718 1859 443098 | 5000 3579 1480 | 0.000 % | c =============================================================================== c New solution: 2920256 c Elapsed CPU time: 68.5336 s Remaining CPU time: 111.466 s c =============================================================================== c | 8614 | 1718 1860 444621 | 5000 3591 1480 | 0.000 % | c =============================================================================== c New solution: 2920251 c Elapsed CPU time: 69.0655 s Remaining CPU time: 110.934 s c =============================================================================== c | 8650 | 1718 1861 446144 | 5000 3627 1480 | 0.000 % | c =============================================================================== c New solution: 2920162 c Elapsed CPU time: 69.6234 s Remaining CPU time: 110.377 s c =============================================================================== c | 8703 | 1718 1862 447667 | 5000 3680 1480 | 0.000 % | c =============================================================================== c New solution: 2920132 c Elapsed CPU time: 70.3673 s Remaining CPU time: 109.633 s c =============================================================================== c | 8782 | 1718 1863 449190 | 5000 3759 1480 | 0.000 % | c =============================================================================== c New solution: 2920079 c Elapsed CPU time: 70.8612 s Remaining CPU time: 109.139 s c =============================================================================== c | 8832 | 1718 1864 450713 | 5000 3809 1480 | 0.000 % | c =============================================================================== c New solution: 2920039 c Elapsed CPU time: 71.1982 s Remaining CPU time: 108.802 s c =============================================================================== c | 8843 | 1718 1865 452236 | 5000 3820 1480 | 0.000 % | c =============================================================================== c New solution: 2920008 c Elapsed CPU time: 71.7861 s Remaining CPU time: 108.214 s c =============================================================================== c | 8910 | 1718 1866 453759 | 5000 3887 1480 | 0.000 % | c =============================================================================== c New solution: 2919912 c Elapsed CPU time: 72.288 s Remaining CPU time: 107.712 s c =============================================================================== c | 8951 | 1718 1867 455282 | 5000 3928 1480 | 0.000 % | c =============================================================================== c New solution: 2919823 c Elapsed CPU time: 72.627 s Remaining CPU time: 107.373 s c =============================================================================== c | 8973 | 1718 1868 456805 | 5000 3950 1480 | 0.000 % | c =============================================================================== c New solution: 2919750 c Elapsed CPU time: 73.0739 s Remaining CPU time: 106.926 s c =============================================================================== c | 9005 | 1718 1869 458328 | 5000 3982 1480 | 0.000 % | c =============================================================================== c New solution: 2919719 c Elapsed CPU time: 73.8808 s Remaining CPU time: 106.119 s c =============================================================================== c | 9082 | 1718 1870 459851 | 5000 4059 1480 | 0.000 % | c =============================================================================== c New solution: 2919686 c Elapsed CPU time: 74.3337 s Remaining CPU time: 105.666 s c =============================================================================== c | 9119 | 1718 1871 461374 | 5000 4096 1479 | 0.000 % | c =============================================================================== c New solution: 2919530 c Elapsed CPU time: 74.7316 s Remaining CPU time: 105.268 s c =============================================================================== c | 9150 | 1718 1872 462897 | 5000 4127 1479 | 0.000 % | c =============================================================================== c New solution: 2919253 c Elapsed CPU time: 75.2156 s Remaining CPU time: 104.784 s c =============================================================================== c | 9193 | 1718 1873 464420 | 5000 4170 1479 | 0.000 % | c =============================================================================== c New solution: 2919182 c Elapsed CPU time: 75.7395 s Remaining CPU time: 104.261 s c =============================================================================== c | 9228 | 1718 1874 465943 | 5000 4205 1479 | 0.000 % | c =============================================================================== c New solution: 2919172 c Elapsed CPU time: 76.1274 s Remaining CPU time: 103.873 s c =============================================================================== c | 9251 | 1718 1875 467466 | 5000 4228 1479 | 0.000 % | c =============================================================================== c New solution: 2919044 c Elapsed CPU time: 76.6503 s Remaining CPU time: 103.35 s c =============================================================================== c | 9292 | 1718 1876 468989 | 5000 4269 1479 | 0.000 % | c =============================================================================== c New solution: 2918998 c Elapsed CPU time: 77.2283 s Remaining CPU time: 102.772 s c =============================================================================== c | 9340 | 1718 1877 470512 | 5000 4317 1479 | 0.000 % | c =============================================================================== c New solution: 2918861 c Elapsed CPU time: 77.5422 s Remaining CPU time: 102.458 s c =============================================================================== c | 9341 | 1718 1878 472035 | 5000 4318 1479 | 0.000 % | c =============================================================================== c New solution: 2918755 c Elapsed CPU time: 78.0101 s Remaining CPU time: 101.99 s c =============================================================================== c | 9378 | 1718 1879 473558 | 5000 4355 1479 | 0.000 % | c =============================================================================== c New solution: 2918582 c Elapsed CPU time: 78.4221 s Remaining CPU time: 101.578 s c =============================================================================== c | 9396 | 1718 1880 475081 | 5000 4373 1479 | 0.000 % | c =============================================================================== c New solution: 2918461 c Elapsed CPU time: 79.3699 s Remaining CPU time: 100.63 s c =============================================================================== c | 9492 | 1718 1881 476604 | 5000 4469 1479 | 0.000 % | c =============================================================================== c New solution: 2918451 c Elapsed CPU time: 79.8379 s Remaining CPU time: 100.162 s c =============================================================================== c | 9508 | 1718 1882 478127 | 5000 4485 1479 | 0.000 % | c =============================================================================== c New solution: 2918322 c Elapsed CPU time: 80.3098 s Remaining CPU time: 99.6902 s c =============================================================================== c | 9547 | 1718 1883 479650 | 5000 4524 1479 | 0.000 % | c =============================================================================== c New solution: 2918248 c Elapsed CPU time: 80.9357 s Remaining CPU time: 99.0643 s c =============================================================================== c | 9620 | 1718 1884 481173 | 5000 4597 1479 | 0.000 % | c =============================================================================== c New solution: 2918221 c Elapsed CPU time: 81.3186 s Remaining CPU time: 98.6814 s c =============================================================================== c | 9634 | 1718 1885 482696 | 5000 4611 1479 | 0.000 % | c =============================================================================== c New solution: 2917957 c Elapsed CPU time: 81.7566 s Remaining CPU time: 98.2434 s c =============================================================================== c | 9651 | 1718 1886 484219 | 5000 4628 1479 | 0.000 % | c =============================================================================== c New solution: 2917618 c Elapsed CPU time: 82.3745 s Remaining CPU time: 97.6255 s c =============================================================================== c | 9692 | 1718 1887 485742 | 5000 4669 1479 | 0.000 % | c =============================================================================== c New solution: 2917613 c Elapsed CPU time: 82.9374 s Remaining CPU time: 97.0626 s c =============================================================================== c | 9731 | 1718 1888 487265 | 5000 4708 1479 | 0.000 % | c =============================================================================== c New solution: 2917359 c Elapsed CPU time: 83.5583 s Remaining CPU time: 96.4417 s c =============================================================================== c | 9772 | 1718 1889 488788 | 5000 4749 1479 | 0.000 % | c =============================================================================== c New solution: 2917080 c Elapsed CPU time: 84.4202 s Remaining CPU time: 95.5798 s c =============================================================================== c | 9859 | 1718 1890 490311 | 5000 4836 1478 | 0.000 % | c =============================================================================== c New solution: 2917022 c Elapsed CPU time: 85.222 s Remaining CPU time: 94.778 s c =============================================================================== c | 9944 | 1718 1891 491834 | 5000 4921 1478 | 0.000 % | c =============================================================================== c New solution: 2916742 c Elapsed CPU time: 85.677 s Remaining CPU time: 94.323 s c =============================================================================== c | 9962 | 1718 1892 493357 | 5000 4939 1478 | 0.000 % | c =============================================================================== c New solution: 2916731 c Elapsed CPU time: 86.0589 s Remaining CPU time: 93.9411 s c =============================================================================== c | 9972 | 1718 1893 494880 | 5000 4949 1478 | 0.000 % | c =============================================================================== c New solution: 2916468 c Elapsed CPU time: 86.4269 s Remaining CPU time: 93.5731 s c =============================================================================== c | 9978 | 1718 1894 496403 | 5000 4955 1478 | 0.000 % | c =============================================================================== c New solution: 2916404 c Elapsed CPU time: 86.9388 s Remaining CPU time: 93.0612 s c =============================================================================== c | 9995 | 1718 1895 497926 | 5000 4972 1478 | 0.000 % | c =============================================================================== c New solution: 2916338 c Elapsed CPU time: 87.4907 s Remaining CPU time: 92.5093 s c =============================================================================== c | 10040 | 1718 1896 499449 | 5000 5017 1478 | 0.000 % | c =============================================================================== c New solution: 2916109 c Elapsed CPU time: 87.9706 s Remaining CPU time: 92.0294 s c =============================================================================== c | 10077 | 1718 1897 500972 | 5000 2546 1475 | 0.000 % | c =============================================================================== c New solution: 2916080 c Elapsed CPU time: 88.6265 s Remaining CPU time: 91.3735 s c =============================================================================== c | 10116 | 1718 1898 502495 | 5000 2585 1475 | 0.000 % | c =============================================================================== c New solution: 2916045 c Elapsed CPU time: 89.1874 s Remaining CPU time: 90.8126 s c =============================================================================== c | 10160 | 1718 1899 504018 | 5000 2629 1475 | 0.000 % | c =============================================================================== c New solution: 2915912 c Elapsed CPU time: 89.8943 s Remaining CPU time: 90.1057 s c =============================================================================== c | 10235 | 1718 1900 505541 | 5000 2704 1475 | 0.000 % | c =============================================================================== c New solution: 2915751 c Elapsed CPU time: 90.3673 s Remaining CPU time: 89.6327 s c =============================================================================== c | 10264 | 1718 1901 507064 | 5000 2733 1475 | 0.000 % | c =============================================================================== c New solution: 2915738 c Elapsed CPU time: 91.0372 s Remaining CPU time: 88.9628 s c =============================================================================== c | 10310 | 1718 1902 508587 | 5000 2779 1475 | 0.000 % | c =============================================================================== c New solution: 2915537 c Elapsed CPU time: 91.782 s Remaining CPU time: 88.218 s c =============================================================================== c | 10385 | 1718 1903 510110 | 5000 2854 1475 | 0.000 % | c =============================================================================== c New solution: 2915352 c Elapsed CPU time: 92.11 s Remaining CPU time: 87.89 s c =============================================================================== c | 10385 | 1718 1904 511633 | 5000 2854 1475 | 0.000 % | c =============================================================================== c New solution: 2914823 c Elapsed CPU time: 92.4509 s Remaining CPU time: 87.5491 s c =============================================================================== c | 10386 | 1718 1905 513156 | 5000 2855 1475 | 0.000 % | c | 10487 | 1718 1905 513156 | 5500 2956 1475 | 0.000 % | c =============================================================================== c New solution: 2914711 c Elapsed CPU time: 93.6138 s Remaining CPU time: 86.3862 s c =============================================================================== c | 10527 | 1718 1906 514679 | 5000 2996 1475 | 0.000 % | c =============================================================================== c New solution: 2914683 c Elapsed CPU time: 94.0037 s Remaining CPU time: 85.9963 s c =============================================================================== c | 10542 | 1718 1907 516202 | 5000 3011 1475 | 0.000 % | c =============================================================================== c New solution: 2914455 c Elapsed CPU time: 94.5776 s Remaining CPU time: 85.4224 s c =============================================================================== c | 10589 | 1718 1908 517725 | 5000 3058 1475 | 0.000 % | c =============================================================================== c New solution: 2914409 c Elapsed CPU time: 95.1055 s Remaining CPU time: 84.8945 s c =============================================================================== c | 10627 | 1718 1909 519248 | 5000 3096 1475 | 0.000 % | c =============================================================================== c New solution: 2914276 c Elapsed CPU time: 95.8494 s Remaining CPU time: 84.1506 s c =============================================================================== c | 10696 | 1718 1910 520771 | 5000 3165 1475 | 0.000 % | c =============================================================================== c New solution: 2914268 c Elapsed CPU time: 96.6423 s Remaining CPU time: 83.3577 s c =============================================================================== c | 10780 | 1718 1911 522294 | 5000 3249 1475 | 0.000 % | c =============================================================================== c New solution: 2913878 c Elapsed CPU time: 97.0242 s Remaining CPU time: 82.9758 s c =============================================================================== c | 10787 | 1718 1912 523817 | 5000 3256 1475 | 0.000 % | c =============================================================================== c New solution: 2913717 c Elapsed CPU time: 97.9441 s Remaining CPU time: 82.0559 s c =============================================================================== c | 10875 | 1718 1913 525340 | 5000 3344 1475 | 0.000 % | c =============================================================================== c New solution: 2913579 c Elapsed CPU time: 98.362 s Remaining CPU time: 81.638 s c =============================================================================== c | 10877 | 1718 1914 526863 | 5000 3346 1474 | 0.000 % | c =============================================================================== c New solution: 2913563 c Elapsed CPU time: 99.2639 s Remaining CPU time: 80.7361 s c =============================================================================== c | 10956 | 1718 1915 528386 | 5000 3425 1474 | 0.000 % | c =============================================================================== c New solution: 2913264 c Elapsed CPU time: 99.9158 s Remaining CPU time: 80.0842 s c =============================================================================== c | 11006 | 1718 1916 529909 | 5000 3475 1474 | 0.000 % | c =============================================================================== c New solution: 2913203 c Elapsed CPU time: 100.514 s Remaining CPU time: 79.4863 s c =============================================================================== c | 11047 | 1718 1917 531432 | 5000 3516 1474 | 0.000 % | c | 11147 | 1718 1917 531432 | 5500 3616 1474 | 0.000 % | c =============================================================================== c New solution: 2913193 c Elapsed CPU time: 101.663 s Remaining CPU time: 78.3375 s c =============================================================================== c | 11157 | 1718 1918 532955 | 5000 3626 1474 | 0.000 % | c =============================================================================== c New solution: 2912876 c Elapsed CPU time: 102.053 s Remaining CPU time: 77.9465 s c =============================================================================== c | 11162 | 1718 1919 534478 | 5000 3631 1474 | 0.000 % | c =============================================================================== c New solution: 2912293 c Elapsed CPU time: 102.443 s Remaining CPU time: 77.5566 s c =============================================================================== c | 11166 | 1718 1920 536001 | 5000 3635 1474 | 0.000 % | c =============================================================================== c New solution: 2912106 c Elapsed CPU time: 103.024 s Remaining CPU time: 76.9757 s c =============================================================================== c | 11199 | 1718 1921 537524 | 5000 3668 1474 | 0.000 % | c =============================================================================== c New solution: 2912070 c Elapsed CPU time: 103.82 s Remaining CPU time: 76.1798 s c =============================================================================== c | 11272 | 1718 1922 539047 | 5000 3741 1474 | 0.000 % | c =============================================================================== c New solution: 2912028 c Elapsed CPU time: 104.54 s Remaining CPU time: 75.4599 s c =============================================================================== c | 11326 | 1718 1923 540570 | 5000 3795 1474 | 0.000 % | c =============================================================================== c New solution: 2911660 c Elapsed CPU time: 105.355 s Remaining CPU time: 74.645 s c =============================================================================== c | 11377 | 1718 1924 542093 | 5000 3846 1474 | 0.000 % | c =============================================================================== c New solution: 2911650 c Elapsed CPU time: 106.103 s Remaining CPU time: 73.8971 s c =============================================================================== c | 11429 | 1718 1925 543616 | 5000 3898 1474 | 0.000 % | c =============================================================================== c New solution: 2911565 c Elapsed CPU time: 106.769 s Remaining CPU time: 73.2312 s c =============================================================================== c | 11467 | 1718 1926 545139 | 5000 3936 1474 | 0.000 % | c =============================================================================== c New solution: 2911354 c Elapsed CPU time: 107.237 s Remaining CPU time: 72.7633 s c =============================================================================== c | 11498 | 1718 1927 546662 | 5000 3967 1474 | 0.000 % | c =============================================================================== c New solution: 2911110 c Elapsed CPU time: 108.165 s Remaining CPU time: 71.8354 s c =============================================================================== c | 11574 | 1718 1928 548185 | 5000 4043 1473 | 0.000 % | c =============================================================================== c New solution: 2910753 c Elapsed CPU time: 108.587 s Remaining CPU time: 71.4125 s c =============================================================================== c | 11584 | 1718 1929 549708 | 5000 4053 1473 | 0.000 % | c | 11688 | 1718 1929 549708 | 5500 4157 1473 | 0.000 % | c =============================================================================== c New solution: 2910707 c Elapsed CPU time: 110.33 s Remaining CPU time: 69.6698 s c =============================================================================== c | 11727 | 1718 1930 551231 | 5000 4196 1473 | 0.000 % | c =============================================================================== c New solution: 2910605 c Elapsed CPU time: 111.053 s Remaining CPU time: 68.9469 s c =============================================================================== c | 11775 | 1718 1931 552754 | 5000 4244 1473 | 0.000 % | c =============================================================================== c New solution: 2910418 c Elapsed CPU time: 111.513 s Remaining CPU time: 68.487 s c =============================================================================== c | 11792 | 1718 1932 554277 | 5000 4261 1473 | 0.000 % | c =============================================================================== c New solution: 2910256 c Elapsed CPU time: 111.917 s Remaining CPU time: 68.083 s c =============================================================================== c | 11795 | 1718 1933 555800 | 5000 4264 1473 | 0.000 % | c =============================================================================== c New solution: 2910124 c Elapsed CPU time: 112.53 s Remaining CPU time: 67.4701 s c =============================================================================== c | 11825 | 1718 1934 557323 | 5000 4294 1473 | 0.000 % | c =============================================================================== c New solution: 2910028 c Elapsed CPU time: 113.617 s Remaining CPU time: 66.3833 s c =============================================================================== c | 11921 | 1718 1935 558846 | 5000 4390 1473 | 0.000 % | c =============================================================================== c New solution: 2909993 c Elapsed CPU time: 114.071 s Remaining CPU time: 65.9293 s c =============================================================================== c | 11940 | 1718 1936 560369 | 5000 4409 1473 | 0.000 % | c =============================================================================== c New solution: 2909724 c Elapsed CPU time: 114.477 s Remaining CPU time: 65.5234 s c =============================================================================== c | 11948 | 1718 1937 561892 | 5000 4417 1473 | 0.000 % | c =============================================================================== c New solution: 2909539 c Elapsed CPU time: 115.322 s Remaining CPU time: 64.6775 s c =============================================================================== c | 12030 | 1718 1938 563415 | 5000 4499 1473 | 0.000 % | c =============================================================================== c New solution: 2909311 c Elapsed CPU time: 116.078 s Remaining CPU time: 63.9216 s c =============================================================================== c | 12076 | 1718 1939 564938 | 5000 4545 1473 | 0.000 % | c =============================================================================== c New solution: 2909183 c Elapsed CPU time: 116.712 s Remaining CPU time: 63.2877 s c =============================================================================== c | 12107 | 1718 1940 566461 | 5000 4576 1473 | 0.000 % | c =============================================================================== c New solution: 2909015 c Elapsed CPU time: 117.144 s Remaining CPU time: 62.8558 s c =============================================================================== c | 12113 | 1718 1941 567984 | 5000 4582 1473 | 0.000 % | c | 12214 | 1718 1941 567984 | 5500 4683 1473 | 0.000 % | c =============================================================================== c New solution: 2908861 c Elapsed CPU time: 118.909 s Remaining CPU time: 61.0911 s c =============================================================================== c | 12238 | 1718 1942 569507 | 5000 4707 1473 | 0.000 % | c =============================================================================== c New solution: 2908476 c Elapsed CPU time: 119.499 s Remaining CPU time: 60.5012 s c =============================================================================== c | 12270 | 1718 1943 571030 | 5000 4739 1473 | 0.000 % | c =============================================================================== c New solution: 2908364 c Elapsed CPU time: 120.013 s Remaining CPU time: 59.9872 s c =============================================================================== c | 12285 | 1718 1944 572553 | 5000 4754 1473 | 0.000 % | c =============================================================================== c New solution: 2908345 c Elapsed CPU time: 120.668 s Remaining CPU time: 59.3323 s c =============================================================================== c | 12338 | 1718 1945 574076 | 5000 4807 1473 | 0.000 % | c =============================================================================== c New solution: 2908128 c Elapsed CPU time: 121.589 s Remaining CPU time: 58.4115 s c =============================================================================== c | 12417 | 1718 1946 575599 | 5000 4886 1473 | 0.000 % | c =============================================================================== c New solution: 2907994 c Elapsed CPU time: 122.069 s Remaining CPU time: 57.9306 s c =============================================================================== c | 12427 | 1718 1947 577122 | 5000 4896 1473 | 0.000 % | c =============================================================================== c New solution: 2907560 c Elapsed CPU time: 122.671 s Remaining CPU time: 57.3286 s c =============================================================================== c | 12442 | 1718 1948 578645 | 5000 4911 1473 | 0.000 % | c =============================================================================== c New solution: 2907505 c Elapsed CPU time: 123.216 s Remaining CPU time: 56.7837 s c =============================================================================== c | 12467 | 1718 1949 580168 | 5000 4936 1473 | 0.000 % | c =============================================================================== c New solution: 2907078 c Elapsed CPU time: 123.733 s Remaining CPU time: 56.2668 s c =============================================================================== c | 12491 | 1718 1950 581691 | 5000 4960 1473 | 0.000 % | c =============================================================================== c New solution: 2906914 c Elapsed CPU time: 124.371 s Remaining CPU time: 55.6289 s c =============================================================================== c | 12521 | 1718 1951 583214 | 5000 4990 1473 | 0.000 % | c =============================================================================== c New solution: 2906886 c Elapsed CPU time: 125.243 s Remaining CPU time: 54.757 s c =============================================================================== c | 12584 | 1718 1952 584737 | 5000 5053 1473 | 0.000 % | c =============================================================================== c New solution: 2906788 c Elapsed CPU time: 126.013 s Remaining CPU time: 53.9872 s c =============================================================================== c | 12647 | 1718 1953 586260 | 5000 2590 1470 | 0.000 % | c =============================================================================== c New solution: 2906623 c Elapsed CPU time: 126.814 s Remaining CPU time: 53.1863 s c =============================================================================== c | 12696 | 1718 1954 587783 | 5000 2639 1470 | 0.000 % | c =============================================================================== c New solution: 2906240 c Elapsed CPU time: 127.479 s Remaining CPU time: 52.5214 s c =============================================================================== c | 12734 | 1718 1955 589306 | 5000 2677 1470 | 0.000 % | c =============================================================================== c New solution: 2906137 c Elapsed CPU time: 128.41 s Remaining CPU time: 51.5895 s c =============================================================================== c | 12800 | 1718 1956 590829 | 5000 2743 1470 | 0.000 % | c =============================================================================== c New solution: 2906079 c Elapsed CPU time: 129.156 s Remaining CPU time: 50.8436 s c =============================================================================== c | 12852 | 1718 1957 592352 | 5000 2795 1470 | 0.000 % | c =============================================================================== c New solution: 2905990 c Elapsed CPU time: 129.671 s Remaining CPU time: 50.3287 s c =============================================================================== c | 12876 | 1718 1958 593875 | 5000 2819 1470 | 0.000 % | c =============================================================================== c New solution: 2905424 c Elapsed CPU time: 130.557 s Remaining CPU time: 49.4428 s c =============================================================================== c | 12938 | 1718 1959 595398 | 5000 2881 1470 | 0.000 % | c =============================================================================== c New solution: 2905419 c Elapsed CPU time: 131.139 s Remaining CPU time: 48.8609 s c =============================================================================== c | 12961 | 1718 1960 596921 | 5000 2904 1470 | 0.000 % | c =============================================================================== c New solution: 2905358 c Elapsed CPU time: 131.724 s Remaining CPU time: 48.276 s c =============================================================================== c | 12989 | 1718 1961 598444 | 5000 2932 1470 | 0.000 % | c =============================================================================== c New solution: 2905262 c Elapsed CPU time: 132.231 s Remaining CPU time: 47.7691 s c =============================================================================== c | 13014 | 1718 1962 599967 | 5000 2957 1470 | 0.000 % | c =============================================================================== c New solution: 2905090 c Elapsed CPU time: 132.826 s Remaining CPU time: 47.1742 s c =============================================================================== c | 13050 | 1718 1963 601490 | 5000 2993 1469 | 0.000 % | c =============================================================================== c New solution: 2904633 c Elapsed CPU time: 133.272 s Remaining CPU time: 46.7283 s c =============================================================================== c | 13071 | 1718 1964 603013 | 5000 3014 1469 | 0.000 % | c =============================================================================== c New solution: 2904530 c Elapsed CPU time: 133.953 s Remaining CPU time: 46.0474 s c =============================================================================== c | 13112 | 1718 1965 604536 | 5000 3055 1469 | 0.000 % | c =============================================================================== c New solution: 2904237 c Elapsed CPU time: 134.779 s Remaining CPU time: 45.2215 s c =============================================================================== c | 13169 | 1718 1966 606059 | 5000 3112 1469 | 0.000 % | c =============================================================================== c New solution: 2904212 c Elapsed CPU time: 135.48 s Remaining CPU time: 44.5196 s c =============================================================================== c | 13204 | 1718 1967 607582 | 5000 3147 1469 | 0.000 % | c =============================================================================== c New solution: 2904159 c Elapsed CPU time: 136.237 s Remaining CPU time: 43.7627 s c =============================================================================== c | 13236 | 1718 1968 609105 | 5000 3179 1469 | 0.000 % | c =============================================================================== c New solution: 2904116 c Elapsed CPU time: 136.947 s Remaining CPU time: 43.0528 s c =============================================================================== c | 13263 | 1718 1969 610628 | 5000 3206 1469 | 0.000 % | c =============================================================================== c New solution: 2903813 c Elapsed CPU time: 138.149 s Remaining CPU time: 41.851 s c =============================================================================== c | 13348 | 1718 1970 612151 | 5000 3291 1469 | 0.000 % | c =============================================================================== c New solution: 2903722 c Elapsed CPU time: 138.581 s Remaining CPU time: 41.4191 s c =============================================================================== c | 13348 | 1718 1971 613674 | 5000 3291 1469 | 0.000 % | c =============================================================================== c New solution: 2903626 c Elapsed CPU time: 139.531 s Remaining CPU time: 40.4692 s c =============================================================================== c | 13438 | 1718 1972 615197 | 5000 3381 1469 | 0.000 % | c =============================================================================== c New solution: 2903475 c Elapsed CPU time: 140.233 s Remaining CPU time: 39.7673 s c =============================================================================== c | 13478 | 1718 1973 616720 | 5000 3421 1469 | 0.000 % | c =============================================================================== c New solution: 2903328 c Elapsed CPU time: 141.012 s Remaining CPU time: 38.9884 s c =============================================================================== c | 13542 | 1718 1974 618243 | 5000 3485 1469 | 0.000 % | c =============================================================================== c New solution: 2903299 c Elapsed CPU time: 141.65 s Remaining CPU time: 38.3495 s c =============================================================================== c | 13572 | 1718 1975 619766 | 5000 3515 1469 | 0.000 % | c =============================================================================== c New solution: 2903136 c Elapsed CPU time: 142.226 s Remaining CPU time: 37.7736 s c =============================================================================== c | 13597 | 1718 1976 621289 | 5000 3540 1469 | 0.000 % | c =============================================================================== c New solution: 2903027 c Elapsed CPU time: 142.905 s Remaining CPU time: 37.0947 s c =============================================================================== c | 13662 | 1718 1977 622812 | 5000 3605 1469 | 0.000 % | c =============================================================================== c New solution: 2903006 c Elapsed CPU time: 143.395 s Remaining CPU time: 36.6048 s c =============================================================================== c | 13681 | 1718 1978 624335 | 5000 3624 1469 | 0.000 % | c =============================================================================== c New solution: 2902917 c Elapsed CPU time: 143.997 s Remaining CPU time: 36.0029 s c =============================================================================== c | 13714 | 1718 1979 625858 | 5000 3657 1469 | 0.000 % | c =============================================================================== c New solution: 2902689 c Elapsed CPU time: 144.759 s Remaining CPU time: 35.241 s c =============================================================================== c | 13755 | 1718 1980 627381 | 5000 3698 1469 | 0.000 % | c =============================================================================== c New solution: 2902122 c Elapsed CPU time: 145.456 s Remaining CPU time: 34.5441 s c =============================================================================== c | 13802 | 1718 1981 628904 | 5000 3745 1469 | 0.000 % | c =============================================================================== c New solution: 2901932 c Elapsed CPU time: 146.31 s Remaining CPU time: 33.6902 s c =============================================================================== c | 13857 | 1718 1982 630427 | 5000 3800 1469 | 0.000 % | c =============================================================================== c New solution: 2901832 c Elapsed CPU time: 147.187 s Remaining CPU time: 32.8134 s c =============================================================================== c | 13935 | 1718 1983 631950 | 5000 3878 1469 | 0.000 % | c =============================================================================== c New solution: 2901741 c Elapsed CPU time: 147.847 s Remaining CPU time: 32.1535 s c =============================================================================== c | 13970 | 1718 1984 633473 | 5000 3913 1469 | 0.000 % | c =============================================================================== c New solution: 2901714 c Elapsed CPU time: 148.647 s Remaining CPU time: 31.3526 s c =============================================================================== c | 14017 | 1718 1985 634996 | 5000 3960 1469 | 0.000 % | c =============================================================================== c New solution: 2901605 c Elapsed CPU time: 149.288 s Remaining CPU time: 30.7117 s c =============================================================================== c | 14048 | 1718 1986 636519 | 5000 3991 1469 | 0.000 % | c =============================================================================== c New solution: 2901311 c Elapsed CPU time: 150.03 s Remaining CPU time: 29.9698 s c =============================================================================== c | 14103 | 1718 1987 638042 | 5000 4046 1469 | 0.000 % | c =============================================================================== c New solution: 2901171 c Elapsed CPU time: 150.707 s Remaining CPU time: 29.2929 s c =============================================================================== c | 14143 | 1718 1988 639565 | 5000 4086 1469 | 0.000 % | c =============================================================================== c New solution: 2901162 c Elapsed CPU time: 151.166 s Remaining CPU time: 28.834 s c =============================================================================== c | 14144 | 1718 1989 641088 | 5000 4087 1469 | 0.000 % | c =============================================================================== c New solution: 2900872 c Elapsed CPU time: 151.62 s Remaining CPU time: 28.3801 s c =============================================================================== c | 14150 | 1718 1990 642611 | 5000 4093 1469 | 0.000 % | c =============================================================================== c New solution: 2900731 c Elapsed CPU time: 152.273 s Remaining CPU time: 27.7271 s c =============================================================================== c | 14188 | 1718 1991 644134 | 5000 4131 1469 | 0.000 % | c =============================================================================== c New solution: 2900649 c Elapsed CPU time: 152.962 s Remaining CPU time: 27.0383 s c =============================================================================== c | 14223 | 1718 1992 645657 | 5000 4166 1469 | 0.000 % | c =============================================================================== c New solution: 2900556 c Elapsed CPU time: 153.955 s Remaining CPU time: 26.0454 s c =============================================================================== c | 14291 | 1718 1993 647180 | 5000 4234 1469 | 0.000 % | c =============================================================================== c New solution: 2900152 c Elapsed CPU time: 154.535 s Remaining CPU time: 25.4655 s c =============================================================================== c | 14318 | 1718 1994 648703 | 5000 4261 1469 | 0.000 % | c =============================================================================== c New solution: 2900138 c Elapsed CPU time: 155.607 s Remaining CPU time: 24.3927 s c =============================================================================== c | 14392 | 1718 1995 650226 | 5000 4335 1469 | 0.000 % | c =============================================================================== c New solution: 2900114 c Elapsed CPU time: 156.329 s Remaining CPU time: 23.6708 s c =============================================================================== c | 14428 | 1718 1996 651749 | 5000 4371 1469 | 0.000 % | c =============================================================================== c New solution: 2899907 c Elapsed CPU time: 156.839 s Remaining CPU time: 23.1608 s c =============================================================================== c | 14440 | 1718 1997 653272 | 5000 4383 1469 | 0.000 % | c =============================================================================== c New solution: 2899793 c Elapsed CPU time: 157.756 s Remaining CPU time: 22.244 s c =============================================================================== c | 14501 | 1718 1998 654795 | 5000 4444 1469 | 0.000 % | c =============================================================================== c New solution: 2899561 c Elapsed CPU time: 158.176 s Remaining CPU time: 21.824 s c =============================================================================== c | 14501 | 1718 1999 656318 | 5000 4444 1469 | 0.000 % | c =============================================================================== c New solution: 2899354 c Elapsed CPU time: 158.938 s Remaining CPU time: 21.0622 s c =============================================================================== c | 14542 | 1718 2000 657841 | 5000 4485 1469 | 0.000 % | c =============================================================================== c New solution: 2898980 c Elapsed CPU time: 159.758 s Remaining CPU time: 20.2423 s c =============================================================================== c | 14610 | 1718 2001 659364 | 5000 4553 1469 | 0.000 % | c =============================================================================== c New solution: 2898961 c Elapsed CPU time: 160.706 s Remaining CPU time: 19.2944 s c =============================================================================== c | 14667 | 1718 2002 660887 | 5000 4610 1469 | 0.000 % | c =============================================================================== c New solution: 2898849 c Elapsed CPU time: 161.494 s Remaining CPU time: 18.5056 s c =============================================================================== c | 14700 | 1718 2003 662410 | 5000 4643 1469 | 0.000 % | c =============================================================================== c New solution: 2898843 c Elapsed CPU time: 162.466 s Remaining CPU time: 17.5337 s c =============================================================================== c | 14775 | 1718 2004 663933 | 5000 4718 1469 | 0.000 % | c =============================================================================== c New solution: 2898601 c Elapsed CPU time: 163.35 s Remaining CPU time: 16.6498 s c =============================================================================== c | 14836 | 1718 2005 665456 | 5000 4779 1468 | 0.000 % | c =============================================================================== c New solution: 2898379 c Elapsed CPU time: 163.957 s Remaining CPU time: 16.0429 s c =============================================================================== c | 14856 | 1718 2006 666979 | 5000 4799 1468 | 0.000 % | c =============================================================================== c New solution: 2897974 c Elapsed CPU time: 164.631 s Remaining CPU time: 15.369 s c =============================================================================== c | 14887 | 1718 2007 668502 | 5000 4830 1468 | 0.000 % | c =============================================================================== c New solution: 2897631 c Elapsed CPU time: 165.275 s Remaining CPU time: 14.7251 s c =============================================================================== c | 14907 | 1718 2008 670025 | 5000 4850 1468 | 0.000 % | c =============================================================================== c New solution: 2897364 c Elapsed CPU time: 166.165 s Remaining CPU time: 13.8353 s c =============================================================================== c | 14938 | 1718 2009 671548 | 5000 4881 1468 | 0.000 % | c =============================================================================== c New solution: 2897176 c Elapsed CPU time: 167.144 s Remaining CPU time: 12.8564 s c =============================================================================== c | 15010 | 1718 2010 673071 | 5000 4953 1468 | 0.000 % | c =============================================================================== c New solution: 2896947 c Elapsed CPU time: 167.595 s Remaining CPU time: 12.4055 s c =============================================================================== c | 15010 | 1718 2011 674594 | 5000 4953 1468 | 0.000 % | c =============================================================================== c New solution: 2896826 c Elapsed CPU time: 168.347 s Remaining CPU time: 11.6526 s c =============================================================================== c | 15033 | 1718 2012 676117 | 5000 4976 1468 | 0.000 % | c =============================================================================== c New solution: 2896426 c Elapsed CPU time: 169.22 s Remaining CPU time: 10.7797 s c =============================================================================== c | 15073 | 1718 2013 677640 | 5000 5016 1468 | 0.000 % | c =============================================================================== c New solution: 2896161 c Elapsed CPU time: 170.164 s Remaining CPU time: 9.83587 s c =============================================================================== c | 15111 | 1718 2014 679163 | 5000 2546 1467 | 0.000 % | c =============================================================================== c New solution: 2895764 c Elapsed CPU time: 170.992 s Remaining CPU time: 9.00799 s c =============================================================================== c | 15163 | 1718 2015 680686 | 5000 2598 1467 | 0.000 % | c =============================================================================== c New solution: 2895615 c Elapsed CPU time: 171.741 s Remaining CPU time: 8.25911 s c =============================================================================== c | 15214 | 1718 2016 682209 | 5000 2649 1467 | 0.000 % | c =============================================================================== c New solution: 2895598 c Elapsed CPU time: 172.34 s Remaining CPU time: 7.6602 s c =============================================================================== c | 15232 | 1718 2017 683732 | 5000 2667 1467 | 0.000 % | c =============================================================================== c New solution: 2895492 c Elapsed CPU time: 173.065 s Remaining CPU time: 6.93531 s c =============================================================================== c | 15258 | 1718 2018 685255 | 5000 2693 1467 | 0.000 % | c =============================================================================== c New solution: 2895418 c Elapsed CPU time: 173.716 s Remaining CPU time: 6.28441 s c =============================================================================== c | 15283 | 1718 2019 686778 | 5000 2718 1467 | 0.000 % | c =============================================================================== c New solution: 2895214 c Elapsed CPU time: 174.73 s Remaining CPU time: 5.26956 s c =============================================================================== c | 15344 | 1718 2020 688301 | 5000 2779 1467 | 0.000 % | c =============================================================================== c New solution: 2895079 c Elapsed CPU time: 175.926 s Remaining CPU time: 4.07375 s c =============================================================================== c | 15426 | 1718 2021 689824 | 5000 2861 1467 | 0.000 % | c =============================================================================== c New solution: 2894824 c Elapsed CPU time: 176.741 s Remaining CPU time: 3.25887 s c =============================================================================== c | 15458 | 1718 2022 691347 | 5000 2893 1467 | 0.000 % | c =============================================================================== c New solution: 2894577 c Elapsed CPU time: 177.454 s Remaining CPU time: 2.54598 s c =============================================================================== c | 15497 | 1718 2023 692870 | 5000 2932 1467 | 0.000 % | c =============================================================================== c New solution: 2894532 c Elapsed CPU time: 178.104 s Remaining CPU time: 1.89608 s c =============================================================================== c | 15533 | 1718 2024 694393 | 5000 2968 1467 | 0.000 % | c =============================================================================== c New solution: 2894212 c Elapsed CPU time: 178.559 s Remaining CPU time: 1.44115 s c =============================================================================== c | 15534 | 1718 2025 695916 | 5000 2969 1467 | 0.000 % | c =============================================================================== c New solution: 2894025 c Elapsed CPU time: 179.035 s Remaining CPU time: 0.965218 s c =============================================================================== c | 15538 | 1718 2026 697439 | 5000 2973 1467 | 0.000 % | c =============================================================================== c New solution: 2893796 c Elapsed CPU time: 179.806 s Remaining CPU time: 0.194335 s c =============================================================================== c | 15570 | 1718 2027 698962 | 5000 3005 1467 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 235 3605 5426 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 242 3612 5439 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 251 3620 5453 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 262 3630 5469 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 275 3642 5483 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 291 3657 5504 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 306 3671 5528 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 324 3688 5593 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 343 3707 5616 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 363 3726 5637 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 387 3749 5680 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 413 3774 5708 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 421 3781 5717 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 428 3788 5730 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 436 3795 5743 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 463 3821 5791 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 474 3831 5811 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 503 3859 5853 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 538 3893 5902 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 572 3926 5950 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 606 3957 5994 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 637 3987 6050 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 674 4023 6128 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 681 4029 6136 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 716 4063 6178 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 725 4071 6188 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 760 4105 6228 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 771 4115 6256 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 824 4167 6387 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 830 4174 6395 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 868 4211 6474 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 941 4280 6640 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1001 4339 6790 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1007 4346 6800 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1097 4431 7011 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1150 4484 7106 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1160 4493 7119 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1224 4554 7234 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1231 4560 7246 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1241 4570 7264 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1252 4580 7276 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1271 4590 7297 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1280 4598 7307 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1286 4603 7316 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1295 4612 7329 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1306 4623 7346 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1320 4635 7367 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1336 4649 7392 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1353 4665 7412 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1370 4681 7438 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1386 4696 7465 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1399 4708 7479 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1413 4721 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1426 4733 7518 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1438 4744 7537 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1449 4754 7561 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1459 4763 7580 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1470 4773 7594 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1478 4780 7605 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1487 4788 7617 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1499 4801 7641 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1512 4812 7663 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1528 4827 7684 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1544 4842 7707 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1554 4851 7720 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1564 4860 7735 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1576 4871 7760 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1587 4881 7784 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1601 4894 7813 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1617 4909 7837 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1634 4925 7885 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1650 4940 7916 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1660 4949 7935 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1675 4963 7981 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1693 4980 8016 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1712 4998 8071 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1726 5011 8099 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1734 5020 8121 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1756 5041 8182 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1780 5063 8218 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1802 5084 8245 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1821 5102 8266 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1839 5119 8305 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1859 5138 8350 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1878 5156 8404 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1899 5176 8438 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1919 5195 8491 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1934 5209 8513 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1948 5222 8544 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1987 5260 8630 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1994 5266 8642 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2003 5274 8654 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2011 5281 8667 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2030 5299 8695 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2041 5309 8707 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2053 5322 8723 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2065 5334 8749 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2077 5345 8770 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2089 5356 8791 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2104 5370 8815 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2115 5380 8839 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2127 5391 8860 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2142 5405 8880 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2159 5421 8904 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2165 5426 8911 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2176 5436 8933 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2188 5447 8952 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2201 5459 8972 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2207 5464 8981 | 5000 0 nan | 0.000 % | c ===============================================================================