c wbo 1.4 beta - 20100610 c | Number of variables: 525 | c | Number of clauses: 1823 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2090 | c | Number Clauses: 1740 | 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 | 2090 1740 5220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3174340 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 2090 1741 6865 | 5000 0 nan | 0.000 % | c | 100 | 2090 1741 6865 | 5500 100 1586 | 0.000 % | c | 250 | 2090 1741 6865 | 6050 250 1583 | 0.000 % | c =============================================================================== c New solution: 3174277 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 325 | 2090 1742 8510 | 5000 325 1584 | 0.000 % | c | 425 | 2090 1742 8510 | 5500 425 1584 | 0.000 % | c | 575 | 2090 1742 8510 | 6050 575 1585 | 0.000 % | c | 800 | 2090 1742 8510 | 6655 800 1584 | 0.000 % | c =============================================================================== c New solution: 3174139 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 802 | 2090 1743 10155 | 5000 802 1584 | 0.000 % | c =============================================================================== c New solution: 3174110 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 804 | 2090 1744 11800 | 5000 804 1584 | 0.000 % | c =============================================================================== c New solution: 3174023 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 833 | 2090 1745 13445 | 5000 833 1585 | 0.000 % | c | 934 | 2090 1745 13445 | 5500 934 1585 | 0.000 % | c =============================================================================== c New solution: 3173971 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 1045 | 2090 1746 15090 | 5000 1045 1585 | 0.000 % | c | 1145 | 2090 1746 15090 | 5500 1145 1585 | 0.000 % | c | 1296 | 2090 1746 15090 | 6050 1296 1585 | 0.000 % | c =============================================================================== c New solution: 3173832 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 1505 | 2090 1747 16735 | 5000 1505 1585 | 0.000 % | c | 1607 | 2090 1747 16735 | 5500 1607 1585 | 0.000 % | c | 1757 | 2090 1747 16735 | 6050 1757 1585 | 0.000 % | c | 1982 | 2090 1747 16735 | 6655 1982 1584 | 0.000 % | c =============================================================================== c New solution: 3173813 c Elapsed CPU time: 1.60875 s Remaining CPU time: 178.391 s c =============================================================================== c | 2029 | 2090 1748 18380 | 5000 2029 1584 | 0.000 % | c | 2130 | 2090 1748 18380 | 5500 2130 1584 | 0.000 % | c | 2281 | 2090 1748 18380 | 6050 2281 1584 | 0.000 % | c | 2507 | 2090 1748 18380 | 6655 2507 1584 | 0.000 % | c =============================================================================== c New solution: 3173794 c Elapsed CPU time: 2.29465 s Remaining CPU time: 177.705 s c =============================================================================== c | 2733 | 2090 1749 20025 | 5000 2733 1584 | 0.000 % | c | 2833 | 2090 1749 20025 | 5500 2833 1584 | 0.000 % | c | 2984 | 2090 1749 20025 | 6050 2984 1584 | 0.000 % | c | 3209 | 2090 1749 20025 | 6655 3209 1584 | 0.000 % | c | 3547 | 2090 1749 20025 | 7320 3547 1584 | 0.000 % | c | 4053 | 2090 1749 20025 | 8052 4053 1584 | 0.000 % | c =============================================================================== c New solution: 3173561 c Elapsed CPU time: 3.88241 s Remaining CPU time: 176.118 s c =============================================================================== c | 4201 | 2090 1750 21670 | 5000 4201 1584 | 0.000 % | c | 4302 | 2090 1750 21670 | 5500 4302 1584 | 0.000 % | c | 4453 | 2090 1750 21670 | 6050 4453 1584 | 0.000 % | c | 4679 | 2090 1750 21670 | 6655 4679 1584 | 0.000 % | c | 5017 | 2090 1750 21670 | 7320 5017 1584 | 0.000 % | c =============================================================================== c New solution: 3173557 c Elapsed CPU time: 5.06323 s Remaining CPU time: 174.937 s c =============================================================================== c | 5155 | 2090 1751 23315 | 5000 5155 1584 | 0.000 % | c | 5257 | 2090 1751 23315 | 5500 2680 1584 | 0.000 % | c =============================================================================== c New solution: 3173039 c Elapsed CPU time: 5.2572 s Remaining CPU time: 174.743 s c =============================================================================== c | 5258 | 2090 1752 24960 | 5000 2681 1584 | 0.000 % | c | 5359 | 2090 1752 24960 | 5500 2782 1584 | 0.000 % | c | 5509 | 2090 1752 24960 | 6050 2932 1584 | 0.000 % | c | 5734 | 2090 1752 24960 | 6655 3157 1584 | 0.000 % | c =============================================================================== c New solution: 3172977 c Elapsed CPU time: 5.85611 s Remaining CPU time: 174.144 s c =============================================================================== c | 5780 | 2090 1753 26605 | 5000 3203 1584 | 0.000 % | c | 5881 | 2090 1753 26605 | 5500 3304 1584 | 0.000 % | c =============================================================================== c New solution: 3172788 c Elapsed CPU time: 6.09907 s Remaining CPU time: 173.901 s c =============================================================================== c | 5982 | 2090 1754 28250 | 5000 3405 1584 | 0.000 % | c | 6082 | 2090 1754 28250 | 5500 3505 1584 | 0.000 % | c | 6232 | 2090 1754 28250 | 6050 3655 1584 | 0.000 % | c | 6458 | 2090 1754 28250 | 6655 3881 1583 | 0.000 % | c =============================================================================== c New solution: 3172777 c Elapsed CPU time: 6.94694 s Remaining CPU time: 173.053 s c =============================================================================== c | 6725 | 2090 1755 29895 | 5000 4148 1583 | 0.000 % | c | 6826 | 2090 1755 29895 | 5500 4249 1583 | 0.000 % | c =============================================================================== c New solution: 3172717 c Elapsed CPU time: 7.2629 s Remaining CPU time: 172.737 s c =============================================================================== c | 6960 | 2090 1756 31540 | 5000 4383 1584 | 0.000 % | c | 7061 | 2090 1756 31540 | 5500 4484 1584 | 0.000 % | c | 7211 | 2090 1756 31540 | 6050 4634 1584 | 0.000 % | c | 7437 | 2090 1756 31540 | 6655 4860 1584 | 0.000 % | c =============================================================================== c New solution: 3172701 c Elapsed CPU time: 7.96479 s Remaining CPU time: 172.035 s c =============================================================================== c | 7485 | 2090 1757 33185 | 5000 4908 1584 | 0.000 % | c | 7585 | 2090 1757 33185 | 5500 5008 1584 | 0.000 % | c | 7736 | 2090 1757 33185 | 6050 5159 1584 | 0.000 % | c | 7961 | 2090 1757 33185 | 6655 5384 1583 | 0.000 % | c | 8299 | 2090 1757 33185 | 7320 5722 1583 | 0.000 % | c | 8807 | 2090 1757 33185 | 8052 6230 1583 | 0.000 % | c | 9567 | 2090 1757 33185 | 8857 6990 1583 | 0.000 % | c =============================================================================== c New solution: 3172619 c Elapsed CPU time: 11.0603 s Remaining CPU time: 168.94 s c =============================================================================== c | 9736 | 2090 1758 34830 | 5000 7159 1583 | 0.000 % | c | 9836 | 2090 1758 34830 | 5500 3680 1583 | 0.000 % | c | 9987 | 2090 1758 34830 | 6050 3831 1583 | 0.000 % | c | 10212 | 2090 1758 34830 | 6655 4056 1583 | 0.000 % | c | 10549 | 2090 1758 34830 | 7320 4393 1583 | 0.000 % | c =============================================================================== c New solution: 3172604 c Elapsed CPU time: 13.091 s Remaining CPU time: 166.909 s c =============================================================================== c | 11001 | 2090 1759 36475 | 5000 4845 1583 | 0.000 % | c | 11102 | 2090 1759 36475 | 5500 4946 1583 | 0.000 % | c | 11253 | 2090 1759 36475 | 6050 5097 1583 | 0.000 % | c | 11479 | 2090 1759 36475 | 6655 5323 1583 | 0.000 % | c | 11817 | 2090 1759 36475 | 7320 5661 1583 | 0.000 % | c =============================================================================== c New solution: 3172579 c Elapsed CPU time: 14.6908 s Remaining CPU time: 165.309 s c =============================================================================== c | 12018 | 2090 1760 38120 | 5000 5862 1583 | 0.000 % | c | 12119 | 2090 1760 38120 | 5500 3032 1583 | 0.000 % | c | 12269 | 2090 1760 38120 | 6050 3182 1584 | 0.000 % | c | 12495 | 2090 1760 38120 | 6655 3408 1584 | 0.000 % | c | 12832 | 2090 1760 38120 | 7320 3745 1583 | 0.000 % | c | 13339 | 2090 1760 38120 | 8052 4252 1583 | 0.000 % | c | 14098 | 2090 1760 38120 | 8857 5011 1583 | 0.000 % | c | 15238 | 2090 1760 38120 | 9743 6151 1583 | 0.000 % | c =============================================================================== c New solution: 3172539 c Elapsed CPU time: 20.027 s Remaining CPU time: 159.973 s c =============================================================================== c | 15339 | 2090 1761 39765 | 5000 6252 1583 | 0.000 % | c | 15439 | 2090 1761 39765 | 5500 3226 1583 | 0.000 % | c =============================================================================== c New solution: 3172501 c Elapsed CPU time: 20.4259 s Remaining CPU time: 159.574 s c =============================================================================== c | 15530 | 2090 1762 41410 | 5000 3317 1583 | 0.000 % | c | 15631 | 2090 1762 41410 | 5500 3418 1583 | 0.000 % | c | 15781 | 2090 1762 41410 | 6050 3568 1583 | 0.000 % | c | 16006 | 2090 1762 41410 | 6655 3793 1583 | 0.000 % | c =============================================================================== c New solution: 3172303 c Elapsed CPU time: 21.3708 s Remaining CPU time: 158.629 s c =============================================================================== c | 16012 | 2090 1763 43055 | 5000 3799 1583 | 0.000 % | c | 16113 | 2090 1763 43055 | 5500 3900 1583 | 0.000 % | c | 16263 | 2090 1763 43055 | 6050 4050 1583 | 0.000 % | c | 16489 | 2090 1763 43055 | 6655 4276 1583 | 0.000 % | c | 16827 | 2090 1763 43055 | 7320 4614 1583 | 0.000 % | c =============================================================================== c New solution: 3172260 c Elapsed CPU time: 23.4094 s Remaining CPU time: 156.591 s c =============================================================================== c | 17289 | 2090 1764 44700 | 5000 5076 1583 | 0.000 % | c | 17389 | 2090 1764 44700 | 5500 2638 1583 | 0.000 % | c | 17539 | 2090 1764 44700 | 6050 2788 1583 | 0.000 % | c | 17764 | 2090 1764 44700 | 6655 3013 1583 | 0.000 % | c =============================================================================== c New solution: 3172136 c Elapsed CPU time: 24.3573 s Remaining CPU time: 155.643 s c =============================================================================== c | 17782 | 2090 1765 46345 | 5000 3031 1583 | 0.000 % | c | 17883 | 2090 1765 46345 | 5500 3132 1583 | 0.000 % | c =============================================================================== c New solution: 3172120 c Elapsed CPU time: 24.7302 s Remaining CPU time: 155.27 s c =============================================================================== c | 17954 | 2090 1766 47990 | 5000 3203 1583 | 0.000 % | c | 18054 | 2090 1766 47990 | 5500 3303 1583 | 0.000 % | c | 18204 | 2090 1766 47990 | 6050 3453 1583 | 0.000 % | c | 18429 | 2090 1766 47990 | 6655 3678 1583 | 0.000 % | c | 18767 | 2090 1766 47990 | 7320 4016 1583 | 0.000 % | c | 19274 | 2090 1766 47990 | 8052 4523 1583 | 0.000 % | c =============================================================================== c New solution: 3172091 c Elapsed CPU time: 28.0777 s Remaining CPU time: 151.922 s c =============================================================================== c | 19942 | 2090 1767 49635 | 5000 5191 1583 | 0.000 % | c | 20043 | 2090 1767 49635 | 5500 2697 1584 | 0.000 % | c | 20194 | 2090 1767 49635 | 6050 2848 1584 | 0.000 % | c | 20419 | 2090 1767 49635 | 6655 3073 1583 | 0.000 % | c =============================================================================== c New solution: 3172066 c Elapsed CPU time: 28.8896 s Remaining CPU time: 151.11 s c =============================================================================== c | 20430 | 2090 1768 51280 | 5000 3084 1583 | 0.000 % | c | 20530 | 2090 1768 51280 | 5500 3184 1583 | 0.000 % | c | 20681 | 2090 1768 51280 | 6050 3335 1583 | 0.000 % | c | 20906 | 2090 1768 51280 | 6655 3560 1583 | 0.000 % | c | 21244 | 2090 1768 51280 | 7320 3898 1583 | 0.000 % | c =============================================================================== c New solution: 3171989 c Elapsed CPU time: 30.7133 s Remaining CPU time: 149.287 s c =============================================================================== c | 21472 | 2090 1769 52925 | 5000 4126 1583 | 0.000 % | c | 21572 | 2090 1769 52925 | 5500 4226 1583 | 0.000 % | c | 21722 | 2090 1769 52925 | 6050 4376 1583 | 0.000 % | c | 21948 | 2090 1769 52925 | 6655 4602 1583 | 0.000 % | c | 22287 | 2090 1769 52925 | 7320 4941 1583 | 0.000 % | c | 22794 | 2090 1769 52925 | 8052 5448 1583 | 0.000 % | c | 23554 | 2090 1769 52925 | 8857 6208 1583 | 0.000 % | c =============================================================================== c New solution: 3171956 c Elapsed CPU time: 34.4398 s Remaining CPU time: 145.56 s c =============================================================================== c | 23577 | 2090 1770 54570 | 5000 6231 1583 | 0.000 % | c | 23678 | 2090 1770 54570 | 5500 3217 1582 | 0.000 % | c | 23828 | 2090 1770 54570 | 6050 3367 1582 | 0.000 % | c | 24053 | 2090 1770 54570 | 6655 3592 1582 | 0.000 % | c | 24390 | 2090 1770 54570 | 7320 3929 1582 | 0.000 % | c | 24897 | 2090 1770 54570 | 8052 4436 1582 | 0.000 % | c | 25657 | 2090 1770 54570 | 8857 5196 1582 | 0.000 % | c | 26796 | 2090 1770 54570 | 9743 6335 1582 | 0.000 % | c =============================================================================== c New solution: 3171900 c Elapsed CPU time: 41.9746 s Remaining CPU time: 138.025 s c =============================================================================== c | 27644 | 2090 1771 56215 | 5000 7183 1582 | 0.000 % | c | 27745 | 2090 1771 56215 | 5500 3693 1582 | 0.000 % | c | 27895 | 2090 1771 56215 | 6050 3843 1582 | 0.000 % | c | 28120 | 2090 1771 56215 | 6655 4068 1582 | 0.000 % | c | 28457 | 2090 1771 56215 | 7320 4405 1582 | 0.000 % | c | 28963 | 2090 1771 56215 | 8052 4911 1582 | 0.000 % | c =============================================================================== c New solution: 3171869 c Elapsed CPU time: 44.8752 s Remaining CPU time: 135.125 s c =============================================================================== c | 29030 | 2090 1772 57860 | 5000 4978 1582 | 0.000 % | c | 29130 | 2090 1772 57860 | 5500 5078 1582 | 0.000 % | c | 29281 | 2090 1772 57860 | 6050 5229 1582 | 0.000 % | c | 29507 | 2090 1772 57860 | 6655 5455 1582 | 0.000 % | c | 29845 | 2090 1772 57860 | 7320 5793 1582 | 0.000 % | c | 30351 | 2090 1772 57860 | 8052 6299 1582 | 0.000 % | c | 31110 | 2090 1772 57860 | 8857 7058 1582 | 0.000 % | c =============================================================================== c New solution: 3171782 c Elapsed CPU time: 51.3712 s Remaining CPU time: 128.629 s c =============================================================================== c | 31844 | 2090 1773 59505 | 5000 7792 1582 | 0.000 % | c | 31944 | 2090 1773 59505 | 5500 3996 1583 | 0.000 % | c | 32095 | 2090 1773 59505 | 6050 4147 1583 | 0.000 % | c | 32320 | 2090 1773 59505 | 6655 4372 1583 | 0.000 % | c | 32657 | 2090 1773 59505 | 7320 4709 1583 | 0.000 % | c | 33164 | 2090 1773 59505 | 8052 5216 1583 | 0.000 % | c | 33925 | 2090 1773 59505 | 8857 5977 1583 | 0.000 % | c | 35064 | 2090 1773 59505 | 9743 7116 1583 | 0.000 % | c =============================================================================== c New solution: 3171738 c Elapsed CPU time: 60.6098 s Remaining CPU time: 119.39 s c =============================================================================== c | 35904 | 2090 1774 61150 | 5000 7956 1583 | 0.000 % | c | 36004 | 2090 1774 61150 | 5500 4078 1583 | 0.000 % | c | 36155 | 2090 1774 61150 | 6050 4229 1583 | 0.000 % | c | 36380 | 2090 1774 61150 | 6655 4454 1583 | 0.000 % | c | 36718 | 2090 1774 61150 | 7320 4792 1583 | 0.000 % | c =============================================================================== c New solution: 3171625 c Elapsed CPU time: 63.4464 s Remaining CPU time: 116.554 s c =============================================================================== c | 37158 | 2090 1775 62795 | 5000 5232 1583 | 0.000 % | c | 37258 | 2090 1775 62795 | 5500 2716 1583 | 0.000 % | c =============================================================================== c New solution: 3171605 c Elapsed CPU time: 63.7253 s Remaining CPU time: 116.275 s c =============================================================================== c | 37273 | 2090 1776 64440 | 5000 2731 1583 | 0.000 % | c | 37373 | 2090 1776 64440 | 5500 2831 1583 | 0.000 % | c | 37524 | 2090 1776 64440 | 6050 2982 1583 | 0.000 % | c | 37749 | 2090 1776 64440 | 6655 3207 1583 | 0.000 % | c | 38087 | 2090 1776 64440 | 7320 3545 1583 | 0.000 % | c | 38594 | 2090 1776 64440 | 8052 4052 1583 | 0.000 % | c | 39354 | 2090 1776 64440 | 8857 4812 1583 | 0.000 % | c | 40493 | 2090 1776 64440 | 9743 5951 1582 | 0.000 % | c =============================================================================== c New solution: 3171393 c Elapsed CPU time: 71.1912 s Remaining CPU time: 108.809 s c =============================================================================== c | 40642 | 2090 1777 66085 | 5000 6100 1582 | 0.000 % | c | 40742 | 2090 1777 66085 | 5500 3150 1582 | 0.000 % | c | 40892 | 2090 1777 66085 | 6050 3300 1582 | 0.000 % | c | 41119 | 2090 1777 66085 | 6655 3527 1582 | 0.000 % | c | 41457 | 2090 1777 66085 | 7320 3865 1582 | 0.000 % | c | 41963 | 2090 1777 66085 | 8052 4371 1582 | 0.000 % | c =============================================================================== c New solution: 3171389 c Elapsed CPU time: 74.8566 s Remaining CPU time: 105.143 s c =============================================================================== c | 42309 | 2090 1778 67730 | 5000 4717 1582 | 0.000 % | c | 42410 | 2090 1778 67730 | 5500 4818 1582 | 0.000 % | c | 42560 | 2090 1778 67730 | 6050 4968 1582 | 0.000 % | c | 42785 | 2090 1778 67730 | 6655 5193 1582 | 0.000 % | c | 43122 | 2090 1778 67730 | 7320 5530 1582 | 0.000 % | c | 43629 | 2090 1778 67730 | 8052 6037 1582 | 0.000 % | c =============================================================================== c New solution: 3171317 c Elapsed CPU time: 79.164 s Remaining CPU time: 100.836 s c =============================================================================== c | 44241 | 2090 1779 69375 | 5000 6649 1582 | 0.000 % | c | 44341 | 2090 1779 69375 | 5500 3425 1582 | 0.000 % | c | 44492 | 2090 1779 69375 | 6050 3576 1582 | 0.000 % | c | 44718 | 2090 1779 69375 | 6655 3802 1582 | 0.000 % | c | 45055 | 2090 1779 69375 | 7320 4139 1582 | 0.000 % | c | 45561 | 2090 1779 69375 | 8052 4645 1582 | 0.000 % | c =============================================================================== c New solution: 3171296 c Elapsed CPU time: 83.1484 s Remaining CPU time: 96.8516 s c =============================================================================== c | 46065 | 2090 1780 71020 | 5000 5149 1582 | 0.000 % | c | 46166 | 2090 1780 71020 | 5500 2676 1582 | 0.000 % | c | 46317 | 2090 1780 71020 | 6050 2827 1582 | 0.000 % | c | 46543 | 2090 1780 71020 | 6655 3053 1582 | 0.000 % | c | 46880 | 2090 1780 71020 | 7320 3390 1582 | 0.000 % | c | 47386 | 2090 1780 71020 | 8052 3896 1582 | 0.000 % | c =============================================================================== c New solution: 3171271 c Elapsed CPU time: 86.8898 s Remaining CPU time: 93.1102 s c =============================================================================== c | 47807 | 2090 1781 72665 | 5000 4317 1583 | 0.000 % | c | 47907 | 2090 1781 72665 | 5500 4417 1582 | 0.000 % | c | 48058 | 2090 1781 72665 | 6050 4568 1582 | 0.000 % | c | 48283 | 2090 1781 72665 | 6655 4793 1582 | 0.000 % | c | 48620 | 2090 1781 72665 | 7320 5130 1582 | 0.000 % | c | 49127 | 2090 1781 72665 | 8052 5637 1582 | 0.000 % | c | 49886 | 2090 1781 72665 | 8857 6396 1582 | 0.000 % | c | 51026 | 2090 1781 72665 | 9743 7536 1582 | 0.000 % | c =============================================================================== c New solution: 3171262 c Elapsed CPU time: 94.4146 s Remaining CPU time: 85.5854 s c =============================================================================== c | 51213 | 2090 1782 74310 | 5000 7723 1582 | 0.000 % | c | 51313 | 2090 1782 74310 | 5500 3962 1581 | 0.000 % | c =============================================================================== c New solution: 3171216 c Elapsed CPU time: 94.7996 s Remaining CPU time: 85.2004 s c =============================================================================== c | 51343 | 2090 1783 75955 | 5000 3992 1581 | 0.000 % | c | 51443 | 2090 1783 75955 | 5500 4092 1581 | 0.000 % | c =============================================================================== c New solution: 3171201 c Elapsed CPU time: 95.0545 s Remaining CPU time: 84.9455 s c =============================================================================== c | 51443 | 2090 1784 77600 | 5000 4092 1581 | 0.000 % | c =============================================================================== c New solution: 3171134 c Elapsed CPU time: 95.1055 s Remaining CPU time: 84.8945 s c =============================================================================== c | 51443 | 2090 1785 79245 | 5000 4092 1581 | 0.000 % | c =============================================================================== c New solution: 3171104 c Elapsed CPU time: 95.1925 s Remaining CPU time: 84.8075 s c =============================================================================== c | 51454 | 2090 1786 80890 | 5000 4103 1581 | 0.000 % | c | 51555 | 2090 1786 80890 | 5500 4204 1581 | 0.000 % | c | 51706 | 2090 1786 80890 | 6050 4355 1581 | 0.000 % | c =============================================================================== c New solution: 3171097 c Elapsed CPU time: 96.3324 s Remaining CPU time: 83.6676 s c =============================================================================== c | 51837 | 2090 1787 82535 | 5000 4486 1581 | 0.000 % | c | 51938 | 2090 1787 82535 | 5500 4587 1581 | 0.000 % | c =============================================================================== c New solution: 3171052 c Elapsed CPU time: 96.9303 s Remaining CPU time: 83.0697 s c =============================================================================== c | 52043 | 2090 1788 84180 | 5000 4692 1581 | 0.000 % | c | 52144 | 2090 1788 84180 | 5500 4793 1581 | 0.000 % | c | 52294 | 2090 1788 84180 | 6050 4943 1581 | 0.000 % | c | 52519 | 2090 1788 84180 | 6655 5168 1581 | 0.000 % | c =============================================================================== c New solution: 3171004 c Elapsed CPU time: 98.343 s Remaining CPU time: 81.657 s c =============================================================================== c | 52557 | 2090 1789 85825 | 5000 5206 1581 | 0.000 % | c | 52657 | 2090 1789 85825 | 5500 2703 1581 | 0.000 % | c | 52807 | 2090 1789 85825 | 6050 2853 1581 | 0.000 % | c | 53032 | 2090 1789 85825 | 6655 3078 1581 | 0.000 % | c | 53369 | 2090 1789 85825 | 7320 3415 1581 | 0.000 % | c | 53875 | 2090 1789 85825 | 8052 3921 1581 | 0.000 % | c =============================================================================== c New solution: 3170944 c Elapsed CPU time: 102.547 s Remaining CPU time: 77.4526 s c =============================================================================== c | 54288 | 2090 1790 87470 | 5000 4334 1581 | 0.000 % | c | 54389 | 2090 1790 87470 | 5500 4435 1581 | 0.000 % | c | 54539 | 2090 1790 87470 | 6050 4585 1581 | 0.000 % | c | 54765 | 2090 1790 87470 | 6655 4811 1581 | 0.000 % | c | 55103 | 2090 1790 87470 | 7320 5149 1581 | 0.000 % | c | 55610 | 2090 1790 87470 | 8052 5656 1581 | 0.000 % | c | 56369 | 2090 1790 87470 | 8857 6415 1581 | 0.000 % | c | 57508 | 2090 1790 87470 | 9743 7554 1581 | 0.000 % | c | 59216 | 2090 1790 87470 | 10717 9262 1581 | 0.000 % |