c wbo 1.4 beta - 20100610 c | Number of variables: 272 | c | Number of clauses: 1632 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1762 | c | Number Clauses: 1584 | 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 | 1762 1584 5985 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2942378 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 1762 1585 7523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2941615 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1762 1586 9061 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2941322 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1762 1587 10599 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2940655 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 2 | 1762 1588 12137 | 5000 2 1506 | 0.000 % | c =============================================================================== c New solution: 2939552 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 5 | 1762 1589 13675 | 5000 5 1507 | 0.000 % | c =============================================================================== c New solution: 2939132 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 5 | 1762 1590 15213 | 5000 5 1507 | 0.000 % | c =============================================================================== c New solution: 2937601 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 6 | 1762 1591 16751 | 5000 6 1507 | 0.000 % | c | 106 | 1762 1591 16751 | 5500 106 1506 | 0.000 % | c =============================================================================== c New solution: 2937257 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 166 | 1762 1592 18289 | 5000 166 1506 | 0.000 % | c | 267 | 1762 1592 18289 | 5500 267 1506 | 0.000 % | c =============================================================================== c New solution: 2937231 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 345 | 1762 1593 19827 | 5000 345 1506 | 0.000 % | c | 445 | 1762 1593 19827 | 5500 445 1506 | 0.000 % | c | 595 | 1762 1593 19827 | 6050 595 1506 | 0.000 % | c | 821 | 1762 1593 19827 | 6655 821 1506 | 0.000 % | c =============================================================================== c New solution: 2937177 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 866 | 1762 1594 21365 | 5000 866 1506 | 0.000 % | c | 966 | 1762 1594 21365 | 5500 966 1506 | 0.000 % | c | 1117 | 1762 1594 21365 | 6050 1117 1506 | 0.000 % | c | 1342 | 1762 1594 21365 | 6655 1342 1506 | 0.000 % | c | 1679 | 1762 1594 21365 | 7320 1679 1506 | 0.000 % | c | 2186 | 1762 1594 21365 | 8052 2186 1507 | 0.000 % | c =============================================================================== c New solution: 2937175 c Elapsed CPU time: 2.5996 s Remaining CPU time: 177.4 s c =============================================================================== c | 2615 | 1762 1595 22903 | 5000 2615 1506 | 0.000 % | c | 2715 | 1762 1595 22903 | 5500 2715 1506 | 0.000 % | c | 2865 | 1762 1595 22903 | 6050 2865 1507 | 0.000 % | c | 3091 | 1762 1595 22903 | 6655 3091 1506 | 0.000 % | c | 3429 | 1762 1595 22903 | 7320 3429 1506 | 0.000 % | c =============================================================================== c New solution: 2937156 c Elapsed CPU time: 3.53746 s Remaining CPU time: 176.463 s c =============================================================================== c | 3469 | 1762 1596 24441 | 5000 3469 1506 | 0.000 % | c | 3571 | 1762 1596 24441 | 5500 3571 1506 | 0.000 % | c | 3721 | 1762 1596 24441 | 6050 3721 1506 | 0.000 % | c | 3946 | 1762 1596 24441 | 6655 3946 1506 | 0.000 % | c | 4283 | 1762 1596 24441 | 7320 4283 1506 | 0.000 % | c =============================================================================== c New solution: 2937033 c Elapsed CPU time: 5.17421 s Remaining CPU time: 174.826 s c =============================================================================== c | 4784 | 1762 1597 25979 | 5000 4784 1506 | 0.000 % | c | 4885 | 1762 1597 25979 | 5500 4885 1506 | 0.000 % | c | 5036 | 1762 1597 25979 | 6050 5036 1506 | 0.000 % | c =============================================================================== c New solution: 2937016 c Elapsed CPU time: 5.71013 s Remaining CPU time: 174.29 s c =============================================================================== c | 5073 | 1762 1598 27517 | 5000 5073 1506 | 0.000 % | c | 5174 | 1762 1598 27517 | 5500 2638 1506 | 0.000 % | c =============================================================================== c New solution: 2936776 c Elapsed CPU time: 5.99409 s Remaining CPU time: 174.006 s c =============================================================================== c | 5228 | 1762 1599 29055 | 5000 2692 1506 | 0.000 % | c | 5328 | 1762 1599 29055 | 5500 2792 1506 | 0.000 % | c =============================================================================== c New solution: 2936434 c Elapsed CPU time: 6.28104 s Remaining CPU time: 173.719 s c =============================================================================== c | 5376 | 1762 1600 30593 | 5000 2840 1506 | 0.000 % | c | 5476 | 1762 1600 30593 | 5500 2940 1506 | 0.000 % | c =============================================================================== c New solution: 2936407 c Elapsed CPU time: 6.60499 s Remaining CPU time: 173.395 s c =============================================================================== c | 5572 | 1762 1601 32131 | 5000 3036 1506 | 0.000 % | c | 5672 | 1762 1601 32131 | 5500 3136 1506 | 0.000 % | c | 5822 | 1762 1601 32131 | 6050 3286 1506 | 0.000 % | c | 6047 | 1762 1601 32131 | 6655 3511 1506 | 0.000 % | c | 6384 | 1762 1601 32131 | 7320 3848 1506 | 0.000 % | c | 6892 | 1762 1601 32131 | 8052 4356 1506 | 0.000 % | c =============================================================================== c New solution: 2936384 c Elapsed CPU time: 9.04562 s Remaining CPU time: 170.954 s c =============================================================================== c | 7402 | 1762 1602 33669 | 5000 4866 1506 | 0.000 % | c | 7502 | 1762 1602 33669 | 5500 4966 1506 | 0.000 % | c | 7653 | 1762 1602 33669 | 6050 5117 1506 | 0.000 % | c | 7879 | 1762 1602 33669 | 6655 5343 1506 | 0.000 % | c | 8216 | 1762 1602 33669 | 7320 5680 1506 | 0.000 % | c | 8724 | 1762 1602 33669 | 8052 6188 1506 | 0.000 % | c | 9483 | 1762 1602 33669 | 8857 6947 1506 | 0.000 % | c =============================================================================== c New solution: 2936280 c Elapsed CPU time: 14.0859 s Remaining CPU time: 165.914 s c =============================================================================== c | 10554 | 1762 1603 35207 | 5000 8018 1506 | 0.000 % | c | 10655 | 1762 1603 35207 | 5500 4110 1506 | 0.000 % | c | 10805 | 1762 1603 35207 | 6050 4260 1506 | 0.000 % | c | 11031 | 1762 1603 35207 | 6655 4486 1506 | 0.000 % | c | 11368 | 1762 1603 35207 | 7320 4823 1506 | 0.000 % | c | 11874 | 1762 1603 35207 | 8052 5329 1506 | 0.000 % | c =============================================================================== c New solution: 2936232 c Elapsed CPU time: 17.2084 s Remaining CPU time: 162.792 s c =============================================================================== c | 12616 | 1762 1604 36745 | 5000 6071 1506 | 0.000 % | c | 12716 | 1762 1604 36745 | 5500 3136 1506 | 0.000 % | c | 12866 | 1762 1604 36745 | 6050 3286 1506 | 0.000 % | c | 13091 | 1762 1604 36745 | 6655 3511 1506 | 0.000 % | c | 13429 | 1762 1604 36745 | 7320 3849 1506 | 0.000 % | c | 13937 | 1762 1604 36745 | 8052 4357 1506 | 0.000 % | c | 14696 | 1762 1604 36745 | 8857 5116 1506 | 0.000 % | c | 15835 | 1762 1604 36745 | 9743 6255 1506 | 0.000 % | c =============================================================================== c New solution: 2936167 c Elapsed CPU time: 23.7984 s Remaining CPU time: 156.202 s c =============================================================================== c | 17466 | 1762 1605 38283 | 5000 7886 1506 | 0.000 % | c =============================================================================== c New solution: 2933271 c Elapsed CPU time: 23.8744 s Remaining CPU time: 156.126 s c =============================================================================== c | 17467 | 1762 1606 39821 | 5000 3944 1506 | 0.000 % | c | 17567 | 1762 1606 39821 | 5500 4044 1506 | 0.000 % | c | 17717 | 1762 1606 39821 | 6050 4194 1506 | 0.000 % | c | 17942 | 1762 1606 39821 | 6655 4419 1506 | 0.000 % | c | 18281 | 1762 1606 39821 | 7320 4758 1506 | 0.000 % | c | 18788 | 1762 1606 39821 | 8052 5265 1506 | 0.000 % | c | 19548 | 1762 1606 39821 | 8857 6025 1506 | 0.000 % | c =============================================================================== c New solution: 2933103 c Elapsed CPU time: 26.9709 s Remaining CPU time: 153.029 s c =============================================================================== c | 19802 | 1762 1607 41359 | 5000 6279 1506 | 0.000 % | c | 19903 | 1762 1607 41359 | 5500 3241 1506 | 0.000 % | c | 20053 | 1762 1607 41359 | 6050 3391 1506 | 0.000 % | c | 20278 | 1762 1607 41359 | 6655 3616 1506 | 0.000 % | c | 20615 | 1762 1607 41359 | 7320 3953 1505 | 0.000 % | c | 21121 | 1762 1607 41359 | 8052 4459 1505 | 0.000 % | c | 21881 | 1762 1607 41359 | 8857 5219 1505 | 0.000 % | c =============================================================================== c New solution: 2933075 c Elapsed CPU time: 30.2174 s Remaining CPU time: 149.783 s c =============================================================================== c | 22165 | 1762 1608 42897 | 5000 5503 1505 | 0.000 % | c | 22265 | 1762 1608 42897 | 5500 2852 1505 | 0.000 % | c | 22416 | 1762 1608 42897 | 6050 3003 1505 | 0.000 % | c | 22642 | 1762 1608 42897 | 6655 3229 1505 | 0.000 % | c | 22979 | 1762 1608 42897 | 7320 3566 1505 | 0.000 % | c | 23486 | 1762 1608 42897 | 8052 4073 1505 | 0.000 % | c | 24245 | 1762 1608 42897 | 8857 4832 1505 | 0.000 % | c =============================================================================== c New solution: 2933065 c Elapsed CPU time: 33.9238 s Remaining CPU time: 146.076 s c =============================================================================== c | 25142 | 1762 1609 44435 | 5000 5729 1505 | 0.000 % | c | 25243 | 1762 1609 44435 | 5500 2966 1505 | 0.000 % | c | 25394 | 1762 1609 44435 | 6050 3117 1505 | 0.000 % | c | 25619 | 1762 1609 44435 | 6655 3342 1505 | 0.000 % | c | 25958 | 1762 1609 44435 | 7320 3681 1505 | 0.000 % | c | 26464 | 1762 1609 44435 | 8052 4187 1505 | 0.000 % | c =============================================================================== c New solution: 2932995 c Elapsed CPU time: 37.1384 s Remaining CPU time: 142.862 s c =============================================================================== c | 26747 | 1762 1610 45973 | 5000 4470 1505 | 0.000 % | c | 26848 | 1762 1610 45973 | 5500 4571 1505 | 0.000 % | c | 26998 | 1762 1610 45973 | 6050 4721 1505 | 0.000 % | c | 27224 | 1762 1610 45973 | 6655 4947 1505 | 0.000 % | c | 27561 | 1762 1610 45973 | 7320 5284 1505 | 0.000 % | c =============================================================================== c New solution: 2932769 c Elapsed CPU time: 38.7551 s Remaining CPU time: 141.245 s c =============================================================================== c | 27936 | 1762 1611 47511 | 5000 5659 1505 | 0.000 % | c | 28036 | 1762 1611 47511 | 5500 2930 1505 | 0.000 % | c =============================================================================== c New solution: 2932750 c Elapsed CPU time: 39.0981 s Remaining CPU time: 140.902 s c =============================================================================== c | 28135 | 1762 1612 49049 | 5000 3029 1505 | 0.000 % | c | 28235 | 1762 1612 49049 | 5500 3129 1505 | 0.000 % | c | 28385 | 1762 1612 49049 | 6050 3279 1505 | 0.000 % | c =============================================================================== c New solution: 2932713 c Elapsed CPU time: 39.657 s Remaining CPU time: 140.343 s c =============================================================================== c | 28456 | 1762 1613 50587 | 5000 3350 1505 | 0.000 % | c | 28556 | 1762 1613 50587 | 5500 3450 1505 | 0.000 % | c =============================================================================== c New solution: 2932172 c Elapsed CPU time: 39.9279 s Remaining CPU time: 140.072 s c =============================================================================== c | 28560 | 1762 1614 52125 | 5000 3454 1505 | 0.000 % | c | 28660 | 1762 1614 52125 | 5500 3554 1505 | 0.000 % | c | 28811 | 1762 1614 52125 | 6050 3705 1505 | 0.000 % | c | 29036 | 1762 1614 52125 | 6655 3930 1505 | 0.000 % | c | 29373 | 1762 1614 52125 | 7320 4267 1505 | 0.000 % | c | 29879 | 1762 1614 52125 | 8052 4773 1505 | 0.000 % | c | 30639 | 1762 1614 52125 | 8857 5533 1505 | 0.000 % | c | 31778 | 1762 1614 52125 | 9743 6672 1505 | 0.000 % | c =============================================================================== c New solution: 2932101 c Elapsed CPU time: 47.6518 s Remaining CPU time: 132.348 s c =============================================================================== c | 33200 | 1762 1615 53663 | 5000 8094 1505 | 0.000 % | c =============================================================================== c New solution: 2931432 c Elapsed CPU time: 47.7347 s Remaining CPU time: 132.265 s c =============================================================================== c | 33200 | 1762 1616 55201 | 5000 4047 1505 | 0.000 % | c | 33301 | 1762 1616 55201 | 5500 4148 1505 | 0.000 % | c =============================================================================== c New solution: 2931368 c Elapsed CPU time: 47.9447 s Remaining CPU time: 132.055 s c =============================================================================== c | 33309 | 1762 1617 56739 | 5000 4156 1505 | 0.000 % | c | 33410 | 1762 1617 56739 | 5500 4257 1505 | 0.000 % | c | 33560 | 1762 1617 56739 | 6050 4407 1505 | 0.000 % | c =============================================================================== c New solution: 2931344 c Elapsed CPU time: 48.6886 s Remaining CPU time: 131.311 s c =============================================================================== c | 33752 | 1762 1618 58277 | 5000 4599 1505 | 0.000 % | c | 33852 | 1762 1618 58277 | 5500 4699 1505 | 0.000 % | c | 34004 | 1762 1618 58277 | 6050 4851 1505 | 0.000 % | c | 34229 | 1762 1618 58277 | 6655 5076 1505 | 0.000 % | c | 34567 | 1762 1618 58277 | 7320 5414 1505 | 0.000 % | c | 35073 | 1762 1618 58277 | 8052 5920 1505 | 0.000 % | c | 35832 | 1762 1618 58277 | 8857 6679 1505 | 0.000 % | c | 36971 | 1762 1618 58277 | 9743 7818 1504 | 0.000 % | c =============================================================================== c New solution: 2931308 c Elapsed CPU time: 54.8297 s Remaining CPU time: 125.17 s c =============================================================================== c | 37055 | 1762 1619 59815 | 5000 7902 1504 | 0.000 % | c | 37156 | 1762 1619 59815 | 5500 4052 1504 | 0.000 % | c =============================================================================== c New solution: 2930859 c Elapsed CPU time: 55.1246 s Remaining CPU time: 124.875 s c =============================================================================== c | 37159 | 1762 1620 61353 | 5000 4055 1504 | 0.000 % | c =============================================================================== c New solution: 2930710 c Elapsed CPU time: 55.1636 s Remaining CPU time: 124.836 s c =============================================================================== c | 37159 | 1762 1621 62891 | 5000 4055 1504 | 0.000 % | c =============================================================================== c New solution: 2929345 c Elapsed CPU time: 55.1996 s Remaining CPU time: 124.8 s c =============================================================================== c | 37159 | 1762 1622 64429 | 5000 4055 1504 | 0.000 % | c =============================================================================== c New solution: 2928083 c Elapsed CPU time: 55.2386 s Remaining CPU time: 124.761 s c =============================================================================== c | 37159 | 1762 1623 65967 | 5000 4055 1504 | 0.000 % | c | 37260 | 1762 1623 65967 | 5500 4156 1504 | 0.000 % | c | 37411 | 1762 1623 65967 | 6050 4307 1504 | 0.000 % | c | 37636 | 1762 1623 65967 | 6655 4532 1504 | 0.000 % | c | 37973 | 1762 1623 65967 | 7320 4869 1503 | 0.000 % | c | 38480 | 1762 1623 65967 | 8052 5376 1503 | 0.000 % | c | 39239 | 1762 1623 65967 | 8857 6135 1503 | 0.000 % | c | 40378 | 1762 1623 65967 | 9743 7274 1503 | 0.000 % | c | 42086 | 1762 1623 65967 | 10717 8982 1503 | 0.000 % | c | 44648 | 1762 1623 65967 | 11789 11544 1502 | 0.000 % | c =============================================================================== c New solution: 2928044 c Elapsed CPU time: 68.0227 s Remaining CPU time: 111.977 s c =============================================================================== c | 45328 | 1762 1624 67505 | 5000 12224 1502 | 0.000 % | c =============================================================================== c New solution: 2928015 c Elapsed CPU time: 68.1906 s Remaining CPU time: 111.809 s c =============================================================================== c | 45328 | 1762 1625 69043 | 5000 3056 1501 | 0.000 % | c =============================================================================== c New solution: 2927967 c Elapsed CPU time: 68.2266 s Remaining CPU time: 111.773 s c =============================================================================== c | 45329 | 1762 1626 70581 | 5000 3057 1501 | 0.000 % | c =============================================================================== c New solution: 2927487 c Elapsed CPU time: 68.2616 s Remaining CPU time: 111.738 s c =============================================================================== c | 45329 | 1762 1627 72119 | 5000 3057 1501 | 0.000 % | c | 45429 | 1762 1627 72119 | 5500 3157 1501 | 0.000 % | c | 45579 | 1762 1627 72119 | 6050 3307 1501 | 0.000 % | c | 45805 | 1762 1627 72119 | 6655 3533 1501 | 0.000 % | c | 46142 | 1762 1627 72119 | 7320 3870 1501 | 0.000 % | c | 46648 | 1762 1627 72119 | 8052 4376 1501 | 0.000 % | c | 47408 | 1762 1627 72119 | 8857 5136 1501 | 0.000 % | c | 48548 | 1762 1627 72119 | 9743 6276 1500 | 0.000 % | c =============================================================================== c New solution: 2927367 c Elapsed CPU time: 73.1309 s Remaining CPU time: 106.869 s c =============================================================================== c | 48554 | 1762 1628 73657 | 5000 6282 1500 | 0.000 % | c =============================================================================== c New solution: 2927008 c Elapsed CPU time: 73.2779 s Remaining CPU time: 106.722 s c =============================================================================== c | 48596 | 1762 1629 75195 | 5000 3183 1499 | 0.000 % | c | 48696 | 1762 1629 75195 | 5500 3283 1499 | 0.000 % | c =============================================================================== c New solution: 2926976 c Elapsed CPU time: 73.7668 s Remaining CPU time: 106.233 s c =============================================================================== c | 48843 | 1762 1630 76733 | 5000 3430 1499 | 0.000 % | c | 48945 | 1762 1630 76733 | 5500 3532 1499 | 0.000 % | c | 49095 | 1762 1630 76733 | 6050 3682 1499 | 0.000 % | c | 49320 | 1762 1630 76733 | 6655 3907 1499 | 0.000 % | c | 49657 | 1762 1630 76733 | 7320 4244 1500 | 0.000 % | c | 50163 | 1762 1630 76733 | 8052 4750 1500 | 0.000 % | c | 50922 | 1762 1630 76733 | 8857 5509 1500 | 0.000 % | c | 52061 | 1762 1630 76733 | 9743 6648 1500 | 0.000 % | c =============================================================================== c New solution: 2926809 c Elapsed CPU time: 82.1485 s Remaining CPU time: 97.8515 s c =============================================================================== c | 53163 | 1762 1631 78271 | 5000 7750 1500 | 0.000 % | c | 53264 | 1762 1631 78271 | 5500 3976 1501 | 0.000 % | c | 53414 | 1762 1631 78271 | 6050 4126 1501 | 0.000 % | c | 53639 | 1762 1631 78271 | 6655 4351 1501 | 0.000 % | c | 53976 | 1762 1631 78271 | 7320 4688 1501 | 0.000 % | c | 54482 | 1762 1631 78271 | 8052 5194 1501 | 0.000 % | c | 55242 | 1762 1631 78271 | 8857 5954 1501 | 0.000 % | c | 56381 | 1762 1631 78271 | 9743 7093 1501 | 0.000 % | c =============================================================================== c New solution: 2926786 c Elapsed CPU time: 88.8795 s Remaining CPU time: 91.1205 s c =============================================================================== c | 56864 | 1762 1632 79809 | 5000 7576 1501 | 0.000 % | c | 56967 | 1762 1632 79809 | 5500 3891 1501 | 0.000 % | c =============================================================================== c New solution: 2926733 c Elapsed CPU time: 89.3294 s Remaining CPU time: 90.6706 s c =============================================================================== c | 57042 | 1762 1633 81347 | 5000 3966 1501 | 0.000 % | c | 57144 | 1762 1633 81347 | 5500 4068 1501 | 0.000 % | c =============================================================================== c New solution: 2926355 c Elapsed CPU time: 89.6624 s Remaining CPU time: 90.3376 s c =============================================================================== c | 57149 | 1762 1634 82885 | 5000 4073 1501 | 0.000 % | c =============================================================================== c New solution: 2926165 c Elapsed CPU time: 89.8313 s Remaining CPU time: 90.1687 s c =============================================================================== c | 57227 | 1762 1635 84423 | 5000 4151 1501 | 0.000 % | c | 57327 | 1762 1635 84423 | 5500 4251 1501 | 0.000 % | c | 57479 | 1762 1635 84423 | 6050 4403 1501 | 0.000 % | c | 57704 | 1762 1635 84423 | 6655 4628 1501 | 0.000 % | c =============================================================================== c New solution: 2926105 c Elapsed CPU time: 91.5241 s Remaining CPU time: 88.4759 s c =============================================================================== c | 58038 | 1762 1636 85961 | 5000 4962 1501 | 0.000 % | c | 58139 | 1762 1636 85961 | 5500 5063 1501 | 0.000 % | c =============================================================================== c New solution: 2926078 c Elapsed CPU time: 92.094 s Remaining CPU time: 87.906 s c =============================================================================== c | 58273 | 1762 1637 87499 | 5000 5197 1501 | 0.000 % | c | 58373 | 1762 1637 87499 | 5500 2699 1501 | 0.000 % | c | 58523 | 1762 1637 87499 | 6050 2849 1501 | 0.000 % | c | 58749 | 1762 1637 87499 | 6655 3075 1501 | 0.000 % | c | 59086 | 1762 1637 87499 | 7320 3412 1501 | 0.000 % | c | 59593 | 1762 1637 87499 | 8052 3919 1500 | 0.000 % | c | 60353 | 1762 1637 87499 | 8857 4679 1500 | 0.000 % | c | 61493 | 1762 1637 87499 | 9743 5819 1500 | 0.000 % | c | 63201 | 1762 1637 87499 | 10717 7527 1500 | 0.000 % | c =============================================================================== c New solution: 2925519 c Elapsed CPU time: 102.334 s Remaining CPU time: 77.6656 s c =============================================================================== c | 63681 | 1762 1638 89037 | 5000 8007 1499 | 0.000 % | c =============================================================================== c New solution: 2925497 c Elapsed CPU time: 102.423 s Remaining CPU time: 77.5766 s c =============================================================================== c | 63681 | 1762 1639 90575 | 5000 4004 1498 | 0.000 % | c =============================================================================== c New solution: 2925353 c Elapsed CPU time: 102.474 s Remaining CPU time: 77.5256 s c =============================================================================== c | 63681 | 1762 1640 92113 | 5000 4004 1498 | 0.000 % | c =============================================================================== c New solution: 2925117 c Elapsed CPU time: 102.523 s Remaining CPU time: 77.4766 s c =============================================================================== c | 63681 | 1762 1641 93651 | 5000 4004 1498 | 0.000 % | c =============================================================================== c New solution: 2924702 c Elapsed CPU time: 102.57 s Remaining CPU time: 77.4296 s c =============================================================================== c | 63681 | 1762 1642 95189 | 5000 4004 1498 | 0.000 % | c =============================================================================== c New solution: 2924118 c Elapsed CPU time: 102.622 s Remaining CPU time: 77.3776 s c =============================================================================== c | 63681 | 1762 1643 96727 | 5000 4004 1498 | 0.000 % | c =============================================================================== c New solution: 2923676 c Elapsed CPU time: 102.678 s Remaining CPU time: 77.3216 s c =============================================================================== c | 63682 | 1762 1644 98265 | 5000 4005 1498 | 0.000 % | c =============================================================================== c New solution: 2923302 c Elapsed CPU time: 102.739 s Remaining CPU time: 77.2606 s c =============================================================================== c | 63682 | 1762 1645 99803 | 5000 4005 1498 | 0.000 % | c =============================================================================== c New solution: 2922712 c Elapsed CPU time: 102.795 s Remaining CPU time: 77.2046 s c =============================================================================== c | 63682 | 1762 1646 101341 | 5000 4005 1498 | 0.000 % | c =============================================================================== c New solution: 2922684 c Elapsed CPU time: 102.849 s Remaining CPU time: 77.1506 s c =============================================================================== c | 63682 | 1762 1647 102879 | 5000 4005 1498 | 0.000 % | c =============================================================================== c New solution: 2922604 c Elapsed CPU time: 102.909 s Remaining CPU time: 77.0906 s c =============================================================================== c | 63686 | 1762 1648 104417 | 5000 4009 1498 | 0.000 % | c =============================================================================== c New solution: 2922426 c Elapsed CPU time: 103.01 s Remaining CPU time: 76.9897 s c =============================================================================== c | 63715 | 1762 1649 105955 | 5000 4038 1498 | 0.000 % | c | 63815 | 1762 1649 105955 | 5500 4138 1498 | 0.000 % | c =============================================================================== c New solution: 2922314 c Elapsed CPU time: 103.24 s Remaining CPU time: 76.7597 s c =============================================================================== c | 63815 | 1762 1650 107493 | 5000 4138 1498 | 0.000 % | c =============================================================================== c New solution: 2922106 c Elapsed CPU time: 103.298 s Remaining CPU time: 76.7017 s c =============================================================================== c | 63815 | 1762 1651 109031 | 5000 4138 1498 | 0.000 % | c =============================================================================== c New solution: 2921586 c Elapsed CPU time: 103.352 s Remaining CPU time: 76.6477 s c =============================================================================== c | 63815 | 1762 1652 110569 | 5000 4138 1498 | 0.000 % | c =============================================================================== c New solution: 2921487 c Elapsed CPU time: 103.416 s Remaining CPU time: 76.5837 s c =============================================================================== c | 63820 | 1762 1653 112107 | 5000 4143 1498 | 0.000 % | c | 63922 | 1762 1653 112107 | 5500 4245 1498 | 0.000 % | c =============================================================================== c New solution: 2921468 c Elapsed CPU time: 103.721 s Remaining CPU time: 76.2788 s c =============================================================================== c | 63936 | 1762 1654 113645 | 5000 4259 1498 | 0.000 % | c | 64037 | 1762 1654 113645 | 5500 4360 1498 | 0.000 % | c =============================================================================== c New solution: 2921132 c Elapsed CPU time: 104.043 s Remaining CPU time: 75.9568 s c =============================================================================== c | 64049 | 1762 1655 115183 | 5000 4372 1498 | 0.000 % | c | 64150 | 1762 1655 115183 | 5500 4473 1499 | 0.000 % | c | 64300 | 1762 1655 115183 | 6050 4623 1498 | 0.000 % | c =============================================================================== c New solution: 2920658 c Elapsed CPU time: 104.639 s Remaining CPU time: 75.3609 s c =============================================================================== c | 64306 | 1762 1656 116721 | 5000 4629 1498 | 0.000 % |