c wbo 1.4 beta - 20100610 c | Number of variables: 491 | c | Number of clauses: 1664 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1896 | c | Number Clauses: 1576 | 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 | 1896 1576 4706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2753803 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 1896 1577 6199 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2753364 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1896 1578 7692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2750739 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1896 1579 9185 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2750096 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1896 1580 10678 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2749026 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1896 1581 12171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2748622 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 4 | 1896 1582 13664 | 5000 4 1434 | 0.000 % | c | 104 | 1896 1582 13664 | 5500 104 1431 | 0.000 % | c | 254 | 1896 1582 13664 | 6050 254 1430 | 0.000 % | c =============================================================================== c New solution: 2748567 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 324 | 1896 1583 15157 | 5000 324 1430 | 0.000 % | c | 425 | 1896 1583 15157 | 5500 425 1430 | 0.000 % | c =============================================================================== c New solution: 2748430 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 431 | 1896 1584 16650 | 5000 431 1430 | 0.000 % | c | 531 | 1896 1584 16650 | 5500 531 1430 | 0.000 % | c =============================================================================== c New solution: 2748393 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s c =============================================================================== c | 533 | 1896 1585 18143 | 5000 533 1430 | 0.000 % | c | 633 | 1896 1585 18143 | 5500 633 1430 | 0.000 % | c =============================================================================== c New solution: 2748336 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 683 | 1896 1586 19636 | 5000 683 1430 | 0.000 % | c | 784 | 1896 1586 19636 | 5500 784 1430 | 0.000 % | c =============================================================================== c New solution: 2748260 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 786 | 1896 1587 21129 | 5000 786 1430 | 0.000 % | c | 886 | 1896 1587 21129 | 5500 886 1430 | 0.000 % | c =============================================================================== c New solution: 2748250 c Elapsed CPU time: 0.843871 s Remaining CPU time: 179.156 s c =============================================================================== c | 886 | 1896 1588 22622 | 5000 886 1430 | 0.000 % | c | 987 | 1896 1588 22622 | 5500 987 1430 | 0.000 % | c | 1138 | 1896 1588 22622 | 6050 1138 1430 | 0.000 % | c =============================================================================== c New solution: 2748246 c Elapsed CPU time: 1.08883 s Remaining CPU time: 178.911 s c =============================================================================== c | 1141 | 1896 1589 24115 | 5000 1141 1430 | 0.000 % | c =============================================================================== c New solution: 2748232 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 1201 | 1896 1590 25608 | 5000 1201 1430 | 0.000 % | c | 1301 | 1896 1590 25608 | 5500 1301 1430 | 0.000 % | c =============================================================================== c New solution: 2748110 c Elapsed CPU time: 1.43678 s Remaining CPU time: 178.563 s c =============================================================================== c | 1441 | 1896 1591 27101 | 5000 1441 1430 | 0.000 % | c | 1542 | 1896 1591 27101 | 5500 1542 1430 | 0.000 % | c | 1692 | 1896 1591 27101 | 6050 1692 1429 | 0.000 % | c =============================================================================== c New solution: 2748056 c Elapsed CPU time: 1.71174 s Remaining CPU time: 178.288 s c =============================================================================== c | 1693 | 1896 1592 28594 | 5000 1693 1429 | 0.000 % | c =============================================================================== c New solution: 2747891 c Elapsed CPU time: 1.73374 s Remaining CPU time: 178.266 s c =============================================================================== c | 1693 | 1896 1593 30087 | 5000 1693 1429 | 0.000 % | c =============================================================================== c New solution: 2747869 c Elapsed CPU time: 1.75873 s Remaining CPU time: 178.241 s c =============================================================================== c | 1694 | 1896 1594 31580 | 5000 1694 1429 | 0.000 % | c =============================================================================== c New solution: 2747627 c Elapsed CPU time: 1.78473 s Remaining CPU time: 178.215 s c =============================================================================== c | 1697 | 1896 1595 33073 | 5000 1697 1429 | 0.000 % | c | 1798 | 1896 1595 33073 | 5500 1798 1429 | 0.000 % | c | 1949 | 1896 1595 33073 | 6050 1949 1429 | 0.000 % | c =============================================================================== c New solution: 2747557 c Elapsed CPU time: 2.36064 s Remaining CPU time: 177.639 s c =============================================================================== c | 2126 | 1896 1596 34566 | 5000 2126 1429 | 0.000 % | c | 2226 | 1896 1596 34566 | 5500 2226 1429 | 0.000 % | c =============================================================================== c New solution: 2747425 c Elapsed CPU time: 2.50162 s Remaining CPU time: 177.498 s c =============================================================================== c | 2230 | 1896 1597 36059 | 5000 2230 1429 | 0.000 % | c | 2331 | 1896 1597 36059 | 5500 2331 1429 | 0.000 % | c | 2482 | 1896 1597 36059 | 6050 2482 1429 | 0.000 % | c =============================================================================== c New solution: 2747359 c Elapsed CPU time: 2.96755 s Remaining CPU time: 177.032 s c =============================================================================== c | 2586 | 1896 1598 37552 | 5000 2586 1429 | 0.000 % | c | 2686 | 1896 1598 37552 | 5500 2686 1429 | 0.000 % | c =============================================================================== c New solution: 2747354 c Elapsed CPU time: 3.17752 s Remaining CPU time: 176.822 s c =============================================================================== c | 2715 | 1896 1599 39045 | 5000 2715 1429 | 0.000 % | c | 2816 | 1896 1599 39045 | 5500 2816 1429 | 0.000 % | c =============================================================================== c New solution: 2747253 c Elapsed CPU time: 3.42348 s Remaining CPU time: 176.577 s c =============================================================================== c | 2886 | 1896 1600 40538 | 5000 2886 1429 | 0.000 % | c | 2987 | 1896 1600 40538 | 5500 2987 1429 | 0.000 % | c =============================================================================== c New solution: 2747144 c Elapsed CPU time: 3.63845 s Remaining CPU time: 176.362 s c =============================================================================== c | 3019 | 1896 1601 42031 | 5000 3019 1429 | 0.000 % | c | 3119 | 1896 1601 42031 | 5500 3119 1429 | 0.000 % | c =============================================================================== c New solution: 2746879 c Elapsed CPU time: 3.80142 s Remaining CPU time: 176.199 s c =============================================================================== c | 3123 | 1896 1602 43524 | 5000 3123 1429 | 0.000 % | c =============================================================================== c New solution: 2746851 c Elapsed CPU time: 3.87741 s Remaining CPU time: 176.123 s c =============================================================================== c | 3153 | 1896 1603 45017 | 5000 3153 1429 | 0.000 % | c | 3253 | 1896 1603 45017 | 5500 3253 1429 | 0.000 % | c =============================================================================== c New solution: 2746831 c Elapsed CPU time: 4.16937 s Remaining CPU time: 175.831 s c =============================================================================== c | 3323 | 1896 1604 46510 | 5000 3323 1429 | 0.000 % | c | 3423 | 1896 1604 46510 | 5500 3423 1429 | 0.000 % | c | 3573 | 1896 1604 46510 | 6050 3573 1429 | 0.000 % | c =============================================================================== c New solution: 2746708 c Elapsed CPU time: 4.68029 s Remaining CPU time: 175.32 s c =============================================================================== c | 3643 | 1896 1605 48003 | 5000 3643 1429 | 0.000 % | c | 3745 | 1896 1605 48003 | 5500 3745 1429 | 0.000 % | c | 3895 | 1896 1605 48003 | 6050 3895 1429 | 0.000 % | c | 4121 | 1896 1605 48003 | 6655 4121 1429 | 0.000 % | c =============================================================================== c New solution: 2746599 c Elapsed CPU time: 5.85511 s Remaining CPU time: 174.145 s c =============================================================================== c | 4431 | 1896 1606 49496 | 5000 4431 1429 | 0.000 % | c | 4532 | 1896 1606 49496 | 5500 4532 1429 | 0.000 % | c | 4683 | 1896 1606 49496 | 6050 4683 1429 | 0.000 % | c | 4909 | 1896 1606 49496 | 6655 4909 1429 | 0.000 % | c =============================================================================== c New solution: 2746571 c Elapsed CPU time: 6.64999 s Remaining CPU time: 173.35 s c =============================================================================== c | 4926 | 1896 1607 50989 | 5000 4926 1429 | 0.000 % | c | 5026 | 1896 1607 50989 | 5500 5026 1429 | 0.000 % | c =============================================================================== c New solution: 2746414 c Elapsed CPU time: 6.88295 s Remaining CPU time: 173.117 s c =============================================================================== c | 5050 | 1896 1608 52482 | 5000 5050 1429 | 0.000 % | c | 5150 | 1896 1608 52482 | 5500 2625 1428 | 0.000 % | c | 5301 | 1896 1608 52482 | 6050 2776 1428 | 0.000 % | c =============================================================================== c New solution: 2746391 c Elapsed CPU time: 7.58685 s Remaining CPU time: 172.413 s c =============================================================================== c | 5487 | 1896 1609 53975 | 5000 2962 1428 | 0.000 % | c | 5587 | 1896 1609 53975 | 5500 3062 1428 | 0.000 % | c =============================================================================== c New solution: 2746346 c Elapsed CPU time: 7.77882 s Remaining CPU time: 172.221 s c =============================================================================== c | 5597 | 1896 1610 55468 | 5000 3072 1428 | 0.000 % | c | 5698 | 1896 1610 55468 | 5500 3173 1428 | 0.000 % | c | 5848 | 1896 1610 55468 | 6050 3323 1428 | 0.000 % | c | 6074 | 1896 1610 55468 | 6655 3549 1428 | 0.000 % | c | 6411 | 1896 1610 55468 | 7320 3886 1428 | 0.000 % | c | 6917 | 1896 1610 55468 | 8052 4392 1428 | 0.000 % | c =============================================================================== c New solution: 2746283 c Elapsed CPU time: 10.1425 s Remaining CPU time: 169.858 s c =============================================================================== c | 6996 | 1896 1611 56961 | 5000 4471 1428 | 0.000 % | c | 7097 | 1896 1611 56961 | 5500 4572 1428 | 0.000 % | c =============================================================================== c New solution: 2746115 c Elapsed CPU time: 10.4114 s Remaining CPU time: 169.589 s c =============================================================================== c | 7124 | 1896 1612 58454 | 5000 4599 1428 | 0.000 % | c | 7225 | 1896 1612 58454 | 5500 4700 1428 | 0.000 % | c | 7376 | 1896 1612 58454 | 6050 4851 1428 | 0.000 % | c | 7602 | 1896 1612 58454 | 6655 5077 1428 | 0.000 % | c =============================================================================== c New solution: 2746088 c Elapsed CPU time: 11.3403 s Remaining CPU time: 168.66 s c =============================================================================== c | 7649 | 1896 1613 59947 | 5000 5124 1428 | 0.000 % | c | 7749 | 1896 1613 59947 | 5500 2662 1428 | 0.000 % | c =============================================================================== c New solution: 2745959 c Elapsed CPU time: 11.5722 s Remaining CPU time: 168.428 s c =============================================================================== c | 7761 | 1896 1614 61440 | 5000 2674 1428 | 0.000 % | c | 7862 | 1896 1614 61440 | 5500 2775 1428 | 0.000 % | c | 8012 | 1896 1614 61440 | 6050 2925 1428 | 0.000 % | c =============================================================================== c New solution: 2745918 c Elapsed CPU time: 12.0592 s Remaining CPU time: 167.941 s c =============================================================================== c | 8016 | 1896 1615 62933 | 5000 2929 1428 | 0.000 % | c =============================================================================== c New solution: 2745748 c Elapsed CPU time: 12.2671 s Remaining CPU time: 167.733 s c =============================================================================== c | 8103 | 1896 1616 64426 | 5000 3016 1428 | 0.000 % | c | 8203 | 1896 1616 64426 | 5500 3116 1428 | 0.000 % | c | 8354 | 1896 1616 64426 | 6050 3267 1428 | 0.000 % | c | 8579 | 1896 1616 64426 | 6655 3492 1428 | 0.000 % | c | 8917 | 1896 1616 64426 | 7320 3830 1428 | 0.000 % | c | 9423 | 1896 1616 64426 | 8052 4336 1428 | 0.000 % | c =============================================================================== c New solution: 2745741 c Elapsed CPU time: 15.6736 s Remaining CPU time: 164.326 s c =============================================================================== c | 10129 | 1896 1617 65919 | 5000 5042 1428 | 0.000 % | c | 10229 | 1896 1617 65919 | 5500 2621 1428 | 0.000 % | c =============================================================================== c New solution: 2745710 c Elapsed CPU time: 15.9306 s Remaining CPU time: 164.069 s c =============================================================================== c | 10237 | 1896 1618 67412 | 5000 2629 1428 | 0.000 % | c | 10337 | 1896 1618 67412 | 5500 2729 1428 | 0.000 % | c | 10488 | 1896 1618 67412 | 6050 2880 1428 | 0.000 % | c | 10713 | 1896 1618 67412 | 6655 3105 1428 | 0.000 % | c | 11050 | 1896 1618 67412 | 7320 3442 1428 | 0.000 % | c | 11557 | 1896 1618 67412 | 8052 3949 1428 | 0.000 % | c =============================================================================== c New solution: 2745690 c Elapsed CPU time: 19.2801 s Remaining CPU time: 160.72 s c =============================================================================== c | 12136 | 1896 1619 68905 | 5000 4528 1428 | 0.000 % | c | 12236 | 1896 1619 68905 | 5500 4628 1428 | 0.000 % | c =============================================================================== c New solution: 2745682 c Elapsed CPU time: 19.648 s Remaining CPU time: 160.352 s c =============================================================================== c | 12295 | 1896 1620 70398 | 5000 4687 1428 | 0.000 % | c | 12395 | 1896 1620 70398 | 5500 4787 1428 | 0.000 % | c | 12546 | 1896 1620 70398 | 6050 4938 1428 | 0.000 % | c | 12772 | 1896 1620 70398 | 6655 5164 1428 | 0.000 % | c =============================================================================== c New solution: 2745616 c Elapsed CPU time: 20.7298 s Remaining CPU time: 159.27 s c =============================================================================== c | 12805 | 1896 1621 71891 | 5000 5197 1428 | 0.000 % | c | 12905 | 1896 1621 71891 | 5500 2699 1428 | 0.000 % | c =============================================================================== c New solution: 2745498 c Elapsed CPU time: 21.0828 s Remaining CPU time: 158.917 s c =============================================================================== c | 12935 | 1896 1622 73384 | 5000 2729 1428 | 0.000 % | c | 13037 | 1896 1622 73384 | 5500 2831 1428 | 0.000 % | c | 13190 | 1896 1622 73384 | 6050 2984 1428 | 0.000 % | c | 13415 | 1896 1622 73384 | 6655 3209 1427 | 0.000 % | c =============================================================================== c New solution: 2745382 c Elapsed CPU time: 22.2236 s Remaining CPU time: 157.776 s c =============================================================================== c | 13485 | 1896 1623 74877 | 5000 3279 1427 | 0.000 % | c | 13587 | 1896 1623 74877 | 5500 3381 1427 | 0.000 % | c =============================================================================== c New solution: 2745374 c Elapsed CPU time: 22.5226 s Remaining CPU time: 157.477 s c =============================================================================== c | 13607 | 1896 1624 76370 | 5000 3401 1427 | 0.000 % | c | 13707 | 1896 1624 76370 | 5500 3501 1427 | 0.000 % | c =============================================================================== c New solution: 2745366 c Elapsed CPU time: 22.9985 s Remaining CPU time: 157.001 s c =============================================================================== c | 13790 | 1896 1625 77863 | 5000 3584 1427 | 0.000 % | c | 13890 | 1896 1625 77863 | 5500 3684 1427 | 0.000 % | c =============================================================================== c New solution: 2745327 c Elapsed CPU time: 23.2895 s Remaining CPU time: 156.711 s c =============================================================================== c | 13903 | 1896 1626 79356 | 5000 3697 1427 | 0.000 % | c | 14003 | 1896 1626 79356 | 5500 3797 1427 | 0.000 % | c | 14154 | 1896 1626 79356 | 6050 3948 1427 | 0.000 % | c =============================================================================== c New solution: 2745313 c Elapsed CPU time: 23.8744 s Remaining CPU time: 156.126 s c =============================================================================== c | 14162 | 1896 1627 80849 | 5000 3956 1427 | 0.000 % | c =============================================================================== c New solution: 2745258 c Elapsed CPU time: 23.9714 s Remaining CPU time: 156.029 s c =============================================================================== c | 14177 | 1896 1628 82342 | 5000 3971 1427 | 0.000 % | c | 14277 | 1896 1628 82342 | 5500 4071 1427 | 0.000 % | c | 14427 | 1896 1628 82342 | 6050 4221 1427 | 0.000 % | c | 14653 | 1896 1628 82342 | 6655 4447 1427 | 0.000 % | c | 14990 | 1896 1628 82342 | 7320 4784 1427 | 0.000 % | c | 15498 | 1896 1628 82342 | 8052 5292 1427 | 0.000 % | c | 16257 | 1896 1628 82342 | 8857 6051 1427 | 0.000 % | c | 17396 | 1896 1628 82342 | 9743 7190 1427 | 0.000 % | c | 19104 | 1896 1628 82342 | 10717 8898 1427 | 0.000 % | c | 21667 | 1896 1628 82342 | 11789 11461 1427 | 0.000 % | c =============================================================================== c New solution: 2745085 c Elapsed CPU time: 39.215 s Remaining CPU time: 140.785 s c =============================================================================== c | 21722 | 1896 1629 83835 | 5000 11516 1427 | 0.000 % | c | 21822 | 1896 1629 83835 | 5500 2979 1427 | 0.000 % | c | 21973 | 1896 1629 83835 | 6050 3130 1427 | 0.000 % | c | 22198 | 1896 1629 83835 | 6655 3355 1427 | 0.000 % | c =============================================================================== c New solution: 2745003 c Elapsed CPU time: 40.5378 s Remaining CPU time: 139.462 s c =============================================================================== c | 22263 | 1896 1630 85328 | 5000 3420 1427 | 0.000 % | c | 22364 | 1896 1630 85328 | 5500 3521 1427 | 0.000 % | c =============================================================================== c New solution: 2744905 c Elapsed CPU time: 40.9328 s Remaining CPU time: 139.067 s c =============================================================================== c | 22445 | 1896 1631 86821 | 5000 3602 1427 | 0.000 % | c | 22545 | 1896 1631 86821 | 5500 3702 1427 | 0.000 % | c | 22695 | 1896 1631 86821 | 6050 3852 1427 | 0.000 % | c | 22921 | 1896 1631 86821 | 6655 4078 1427 | 0.000 % | c =============================================================================== c New solution: 2744754 c Elapsed CPU time: 42.1186 s Remaining CPU time: 137.881 s c =============================================================================== c | 22962 | 1896 1632 88314 | 5000 4119 1427 | 0.000 % | c | 23062 | 1896 1632 88314 | 5500 4219 1427 | 0.000 % | c | 23212 | 1896 1632 88314 | 6050 4369 1427 | 0.000 % | c | 23437 | 1896 1632 88314 | 6655 4594 1427 | 0.000 % | c | 23775 | 1896 1632 88314 | 7320 4932 1427 | 0.000 % | c | 24281 | 1896 1632 88314 | 8052 5438 1427 | 0.000 % | c | 25040 | 1896 1632 88314 | 8857 6197 1427 | 0.000 % | c | 26180 | 1896 1632 88314 | 9743 7337 1427 | 0.000 % | c =============================================================================== c New solution: 2744731 c Elapsed CPU time: 51.5612 s Remaining CPU time: 128.439 s c =============================================================================== c | 27533 | 1896 1633 89807 | 5000 8690 1427 | 0.000 % | c | 27634 | 1896 1633 89807 | 5500 4446 1427 | 0.000 % | c | 27784 | 1896 1633 89807 | 6050 4596 1427 | 0.000 % | c | 28010 | 1896 1633 89807 | 6655 4822 1427 | 0.000 % | c =============================================================================== c New solution: 2744551 c Elapsed CPU time: 53.3999 s Remaining CPU time: 126.6 s c =============================================================================== c | 28190 | 1896 1634 91300 | 5000 5002 1427 | 0.000 % | c | 28290 | 1896 1634 91300 | 5500 2601 1427 | 0.000 % | c =============================================================================== c New solution: 2744514 c Elapsed CPU time: 53.7088 s Remaining CPU time: 126.291 s c =============================================================================== c | 28300 | 1896 1635 92793 | 5000 2611 1427 | 0.000 % | c | 28402 | 1896 1635 92793 | 5500 2713 1427 | 0.000 % | c | 28552 | 1896 1635 92793 | 6050 2863 1427 | 0.000 % | c =============================================================================== c New solution: 2744471 c Elapsed CPU time: 54.5987 s Remaining CPU time: 125.401 s c =============================================================================== c | 28671 | 1896 1636 94286 | 5000 2982 1427 | 0.000 % | c | 28773 | 1896 1636 94286 | 5500 3084 1427 | 0.000 % | c | 28924 | 1896 1636 94286 | 6050 3235 1427 | 0.000 % | c | 29150 | 1896 1636 94286 | 6655 3461 1427 | 0.000 % | c | 29487 | 1896 1636 94286 | 7320 3798 1427 | 0.000 % | c | 29993 | 1896 1636 94286 | 8052 4304 1427 | 0.000 % | c | 30752 | 1896 1636 94286 | 8857 5063 1427 | 0.000 % | c | 31892 | 1896 1636 94286 | 9743 6203 1427 | 0.000 % | c | 33600 | 1896 1636 94286 | 10717 7911 1427 | 0.000 % | c | 36162 | 1896 1636 94286 | 11789 10473 1426 | 0.000 % | c =============================================================================== c New solution: 2744439 c Elapsed CPU time: 75.6865 s Remaining CPU time: 104.314 s c =============================================================================== c | 37672 | 1896 1637 95779 | 5000 11983 1427 | 0.000 % | c | 37774 | 1896 1637 95779 | 5500 3098 1427 | 0.000 % | c =============================================================================== c New solution: 2744429 c Elapsed CPU time: 76.2404 s Remaining CPU time: 103.76 s c =============================================================================== c | 37816 | 1896 1638 97272 | 5000 3140 1427 | 0.000 % | c | 37917 | 1896 1638 97272 | 5500 3241 1427 | 0.000 % | c =============================================================================== c New solution: 2744379 c Elapsed CPU time: 76.6563 s Remaining CPU time: 103.344 s c =============================================================================== c | 37965 | 1896 1639 98765 | 5000 3289 1427 | 0.000 % | c | 38065 | 1896 1639 98765 | 5500 3389 1427 | 0.000 % | c | 38216 | 1896 1639 98765 | 6050 3540 1427 | 0.000 % | c | 38441 | 1896 1639 98765 | 6655 3765 1427 | 0.000 % | c =============================================================================== c New solution: 2744310 c Elapsed CPU time: 78.0271 s Remaining CPU time: 101.973 s c =============================================================================== c | 38525 | 1896 1640 100258 | 5000 3849 1427 | 0.000 % | c | 38626 | 1896 1640 100258 | 5500 3950 1427 | 0.000 % | c =============================================================================== c New solution: 2744239 c Elapsed CPU time: 78.4091 s Remaining CPU time: 101.591 s c =============================================================================== c | 38658 | 1896 1641 101751 | 5000 3982 1427 | 0.000 % | c | 38758 | 1896 1641 101751 | 5500 4082 1427 | 0.000 % | c =============================================================================== c New solution: 2744155 c Elapsed CPU time: 78.948 s Remaining CPU time: 101.052 s c =============================================================================== c | 38857 | 1896 1642 103244 | 5000 4181 1427 | 0.000 % | c | 38958 | 1896 1642 103244 | 5500 4282 1427 | 0.000 % | c | 39108 | 1896 1642 103244 | 6050 4432 1427 | 0.000 % | c | 39334 | 1896 1642 103244 | 6655 4658 1427 | 0.000 % | c =============================================================================== c New solution: 2744122 c Elapsed CPU time: 80.3988 s Remaining CPU time: 99.6012 s c =============================================================================== c | 39438 | 1896 1643 104737 | 5000 4762 1427 | 0.000 % | c | 39538 | 1896 1643 104737 | 5500 4862 1427 | 0.000 % | c | 39688 | 1896 1643 104737 | 6050 5012 1427 | 0.000 % | c | 39913 | 1896 1643 104737 | 6655 5237 1427 | 0.000 % | c | 40250 | 1896 1643 104737 | 7320 5574 1427 | 0.000 % | c | 40756 | 1896 1643 104737 | 8052 6080 1427 | 0.000 % | c | 41516 | 1896 1643 104737 | 8857 6840 1427 | 0.000 % | c =============================================================================== c New solution: 2744094 c Elapsed CPU time: 87.1847 s Remaining CPU time: 92.8153 s c =============================================================================== c | 42135 | 1896 1644 106230 | 5000 7459 1427 | 0.000 % | c | 42235 | 1896 1644 106230 | 5500 3830 1427 | 0.000 % | c | 42387 | 1896 1644 106230 | 6050 3982 1427 | 0.000 % | c | 42612 | 1896 1644 106230 | 6655 4207 1427 | 0.000 % | c | 42950 | 1896 1644 106230 | 7320 4545 1427 | 0.000 % | c =============================================================================== c New solution: 2744075 c Elapsed CPU time: 89.9783 s Remaining CPU time: 90.0217 s c =============================================================================== c | 43187 | 1896 1645 107723 | 5000 4782 1427 | 0.000 % | c | 43287 | 1896 1645 107723 | 5500 4882 1427 | 0.000 % | c =============================================================================== c New solution: 2744022 c Elapsed CPU time: 90.3323 s Remaining CPU time: 89.6677 s c =============================================================================== c | 43292 | 1896 1646 109216 | 5000 4887 1427 | 0.000 % | c | 43393 | 1896 1646 109216 | 5500 4988 1427 | 0.000 % | c | 43543 | 1896 1646 109216 | 6050 5138 1427 | 0.000 % | c | 43769 | 1896 1646 109216 | 6655 5364 1427 | 0.000 % | c =============================================================================== c New solution: 2743986 c Elapsed CPU time: 91.884 s Remaining CPU time: 88.116 s c =============================================================================== c | 43787 | 1896 1647 110709 | 5000 5382 1427 | 0.000 % | c | 43887 | 1896 1647 110709 | 5500 2791 1427 | 0.000 % | c =============================================================================== c New solution: 2743976 c Elapsed CPU time: 92.7179 s Remaining CPU time: 87.2821 s c =============================================================================== c | 44035 | 1896 1648 112202 | 5000 2939 1427 | 0.000 % | c | 44136 | 1896 1648 112202 | 5500 3040 1427 | 0.000 % | c | 44286 | 1896 1648 112202 | 6050 3190 1427 | 0.000 % | c | 44512 | 1896 1648 112202 | 6655 3416 1427 | 0.000 % | c | 44849 | 1896 1648 112202 | 7320 3753 1427 | 0.000 % | c | 45355 | 1896 1648 112202 | 8052 4259 1427 | 0.000 % | c | 46114 | 1896 1648 112202 | 8857 5018 1427 | 0.000 % | c | 47253 | 1896 1648 112202 | 9743 6157 1427 | 0.000 % | c | 48961 | 1896 1648 112202 | 10717 7865 1427 | 0.000 % | c | 51524 | 1896 1648 112202 | 11789 10428 1427 | 0.000 % | c | 55368 | 1896 1648 112202 | 12968 7652 1426 | 0.000 % | c =============================================================================== c New solution: 2743939 c Elapsed CPU time: 129.791 s Remaining CPU time: 50.2087 s c =============================================================================== c | 58880 | 1896 1649 113695 | 5000 11164 1426 | 0.000 % | c | 58980 | 1896 1649 113695 | 5500 2891 1427 | 0.000 % | c | 59131 | 1896 1649 113695 | 6050 3042 1427 | 0.000 % | c | 59356 | 1896 1649 113695 | 6655 3267 1427 | 0.000 % | c | 59693 | 1896 1649 113695 | 7320 3604 1427 | 0.000 % | c | 60200 | 1896 1649 113695 | 8052 4111 1427 | 0.000 % | c | 60959 | 1896 1649 113695 | 8857 4870 1426 | 0.000 % | c | 62098 | 1896 1649 113695 | 9743 6009 1426 | 0.000 % | c =============================================================================== c New solution: 2743862 c Elapsed CPU time: 138.675 s Remaining CPU time: 41.3251 s c =============================================================================== c | 62525 | 1896 1650 115188 | 5000 6436 1426 | 0.000 % | c | 62626 | 1896 1650 115188 | 5500 3319 1425 | 0.000 % | c | 62776 | 1896 1650 115188 | 6050 3469 1425 | 0.000 % | c | 63002 | 1896 1650 115188 | 6655 3695 1425 | 0.000 % | c | 63340 | 1896 1650 115188 | 7320 4033 1425 | 0.000 % | c =============================================================================== c New solution: 2743834 c Elapsed CPU time: 141.473 s Remaining CPU time: 38.5265 s c =============================================================================== c | 63458 | 1896 1651 116681 | 5000 4151 1425 | 0.000 % | c | 63559 | 1896 1651 116681 | 5500 4252 1425 | 0.000 % | c | 63709 | 1896 1651 116681 | 6050 4402 1425 | 0.000 % | c | 63935 | 1896 1651 116681 | 6655 4628 1425 | 0.000 % | c | 64273 | 1896 1651 116681 | 7320 4966 1425 | 0.000 % | c | 64779 | 1896 1651 116681 | 8052 5472 1425 | 0.000 % | c | 65538 | 1896 1651 116681 | 8857 6231 1425 | 0.000 % | c | 66678 | 1896 1651 116681 | 9743 7371 1425 | 0.000 % |