c wbo 1.4 beta - 20100610 c | Number of variables: 531 | c | Number of clauses: 1869 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2145 | c | Number Clauses: 1790 | 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 | 2145 1790 5373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3239766 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 2145 1791 7066 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3236867 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 2145 1792 8759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3236827 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 8 | 2145 1793 10452 | 5000 8 1638 | 0.000 % | c =============================================================================== c New solution: 3236641 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 93 | 2145 1794 12145 | 5000 93 1639 | 0.000 % | c =============================================================================== c New solution: 3235811 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 94 | 2145 1795 13838 | 5000 94 1639 | 0.000 % | c | 194 | 2145 1795 13838 | 5500 194 1638 | 0.000 % | c =============================================================================== c New solution: 3234811 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 197 | 2145 1796 15531 | 5000 197 1638 | 0.000 % | c =============================================================================== c New solution: 3234778 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 261 | 2145 1797 17224 | 5000 261 1638 | 0.000 % | c =============================================================================== c New solution: 3234700 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 337 | 2145 1798 18917 | 5000 337 1638 | 0.000 % | c | 437 | 2145 1798 18917 | 5500 437 1637 | 0.000 % | c | 588 | 2145 1798 18917 | 6050 588 1637 | 0.000 % | c | 813 | 2145 1798 18917 | 6655 813 1636 | 0.000 % | c | 1152 | 2145 1798 18917 | 7320 1152 1636 | 0.000 % | c =============================================================================== c New solution: 3234558 c Elapsed CPU time: 1.02784 s Remaining CPU time: 178.972 s c =============================================================================== c | 1153 | 2145 1799 20610 | 5000 1153 1636 | 0.000 % | c | 1253 | 2145 1799 20610 | 5500 1253 1636 | 0.000 % | c | 1403 | 2145 1799 20610 | 6050 1403 1636 | 0.000 % | c | 1628 | 2145 1799 20610 | 6655 1628 1636 | 0.000 % | c =============================================================================== c New solution: 3234170 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s c =============================================================================== c | 1633 | 2145 1800 22303 | 5000 1633 1636 | 0.000 % | c =============================================================================== c New solution: 3234169 c Elapsed CPU time: 1.56676 s Remaining CPU time: 178.433 s c =============================================================================== c | 1678 | 2145 1801 23996 | 5000 1678 1636 | 0.000 % | c | 1778 | 2145 1801 23996 | 5500 1778 1636 | 0.000 % | c =============================================================================== c New solution: 3233952 c Elapsed CPU time: 1.75973 s Remaining CPU time: 178.24 s c =============================================================================== c | 1833 | 2145 1802 25689 | 5000 1833 1636 | 0.000 % | c | 1934 | 2145 1802 25689 | 5500 1934 1636 | 0.000 % | c | 2084 | 2145 1802 25689 | 6050 2084 1636 | 0.000 % | c | 2311 | 2145 1802 25689 | 6655 2311 1636 | 0.000 % | c | 2648 | 2145 1802 25689 | 7320 2648 1636 | 0.000 % | c | 3155 | 2145 1802 25689 | 8052 3155 1636 | 0.000 % | c =============================================================================== c New solution: 3233841 c Elapsed CPU time: 3.19151 s Remaining CPU time: 176.808 s c =============================================================================== c | 3259 | 2145 1803 27382 | 5000 3259 1636 | 0.000 % | c | 3359 | 2145 1803 27382 | 5500 3359 1636 | 0.000 % | c | 3510 | 2145 1803 27382 | 6050 3510 1636 | 0.000 % | c =============================================================================== c New solution: 3233475 c Elapsed CPU time: 3.55146 s Remaining CPU time: 176.449 s c =============================================================================== c | 3584 | 2145 1804 29075 | 5000 3584 1636 | 0.000 % | c =============================================================================== c New solution: 3233345 c Elapsed CPU time: 3.60145 s Remaining CPU time: 176.399 s c =============================================================================== c | 3612 | 2145 1805 30768 | 5000 3612 1636 | 0.000 % | c =============================================================================== c New solution: 3233190 c Elapsed CPU time: 3.72743 s Remaining CPU time: 176.273 s c =============================================================================== c | 3706 | 2145 1806 32461 | 5000 3706 1636 | 0.000 % | c | 3807 | 2145 1806 32461 | 5500 3807 1636 | 0.000 % | c | 3957 | 2145 1806 32461 | 6050 3957 1636 | 0.000 % | c | 4182 | 2145 1806 32461 | 6655 4182 1636 | 0.000 % | c =============================================================================== c New solution: 3233150 c Elapsed CPU time: 4.31834 s Remaining CPU time: 175.682 s c =============================================================================== c | 4185 | 2145 1807 34154 | 5000 4185 1636 | 0.000 % | c =============================================================================== c New solution: 3233061 c Elapsed CPU time: 4.42133 s Remaining CPU time: 175.579 s c =============================================================================== c | 4248 | 2145 1808 35847 | 5000 4248 1636 | 0.000 % | c | 4349 | 2145 1808 35847 | 5500 4349 1636 | 0.000 % | c | 4501 | 2145 1808 35847 | 6050 4501 1636 | 0.000 % | c =============================================================================== c New solution: 3233014 c Elapsed CPU time: 4.77327 s Remaining CPU time: 175.227 s c =============================================================================== c | 4504 | 2145 1809 37540 | 5000 4504 1636 | 0.000 % | c =============================================================================== c New solution: 3232974 c Elapsed CPU time: 4.91125 s Remaining CPU time: 175.089 s c =============================================================================== c | 4592 | 2145 1810 39233 | 5000 4592 1636 | 0.000 % | c | 4692 | 2145 1810 39233 | 5500 4692 1636 | 0.000 % | c | 4843 | 2145 1810 39233 | 6050 4843 1636 | 0.000 % | c | 5069 | 2145 1810 39233 | 6655 5069 1636 | 0.000 % | c =============================================================================== c New solution: 3232919 c Elapsed CPU time: 5.78312 s Remaining CPU time: 174.217 s c =============================================================================== c | 5197 | 2145 1811 40926 | 5000 5197 1636 | 0.000 % | c | 5297 | 2145 1811 40926 | 5500 2699 1635 | 0.000 % | c =============================================================================== c New solution: 3232900 c Elapsed CPU time: 6.11507 s Remaining CPU time: 173.885 s c =============================================================================== c | 5405 | 2145 1812 42619 | 5000 2807 1635 | 0.000 % | c | 5506 | 2145 1812 42619 | 5500 2908 1635 | 0.000 % | c | 5657 | 2145 1812 42619 | 6050 3059 1635 | 0.000 % | c | 5882 | 2145 1812 42619 | 6655 3284 1635 | 0.000 % | c | 6219 | 2145 1812 42619 | 7320 3621 1635 | 0.000 % | c =============================================================================== c New solution: 3232883 c Elapsed CPU time: 7.32589 s Remaining CPU time: 172.674 s c =============================================================================== c | 6250 | 2145 1813 44312 | 5000 3652 1635 | 0.000 % | c | 6350 | 2145 1813 44312 | 5500 3752 1635 | 0.000 % | c | 6500 | 2145 1813 44312 | 6050 3902 1635 | 0.000 % | c | 6726 | 2145 1813 44312 | 6655 4128 1635 | 0.000 % | c =============================================================================== c New solution: 3232538 c Elapsed CPU time: 8.16576 s Remaining CPU time: 171.834 s c =============================================================================== c | 6776 | 2145 1814 46005 | 5000 4178 1635 | 0.000 % | c | 6876 | 2145 1814 46005 | 5500 4278 1635 | 0.000 % | c =============================================================================== c New solution: 3232497 c Elapsed CPU time: 8.47271 s Remaining CPU time: 171.527 s c =============================================================================== c | 6971 | 2145 1815 47698 | 5000 4373 1635 | 0.000 % | c | 7071 | 2145 1815 47698 | 5500 4473 1635 | 0.000 % | c | 7222 | 2145 1815 47698 | 6050 4624 1635 | 0.000 % | c | 7448 | 2145 1815 47698 | 6655 4850 1635 | 0.000 % | c | 7785 | 2145 1815 47698 | 7320 5187 1635 | 0.000 % | c =============================================================================== c New solution: 3232440 c Elapsed CPU time: 10.1935 s Remaining CPU time: 169.807 s c =============================================================================== c | 8087 | 2145 1816 49391 | 5000 5489 1635 | 0.000 % | c | 8187 | 2145 1816 49391 | 5500 2845 1635 | 0.000 % | c =============================================================================== c New solution: 3232288 c Elapsed CPU time: 10.4684 s Remaining CPU time: 169.532 s c =============================================================================== c | 8256 | 2145 1817 51084 | 5000 2914 1635 | 0.000 % | c | 8357 | 2145 1817 51084 | 5500 3015 1635 | 0.000 % | c | 8507 | 2145 1817 51084 | 6050 3165 1635 | 0.000 % | c =============================================================================== c New solution: 3232281 c Elapsed CPU time: 11.0223 s Remaining CPU time: 168.978 s c =============================================================================== c | 8551 | 2145 1818 52777 | 5000 3209 1635 | 0.000 % | c | 8652 | 2145 1818 52777 | 5500 3310 1635 | 0.000 % | c | 8802 | 2145 1818 52777 | 6050 3460 1635 | 0.000 % | c | 9027 | 2145 1818 52777 | 6655 3685 1635 | 0.000 % | c =============================================================================== c New solution: 3232228 c Elapsed CPU time: 11.8922 s Remaining CPU time: 168.108 s c =============================================================================== c | 9047 | 2145 1819 54470 | 5000 3705 1635 | 0.000 % | c | 9149 | 2145 1819 54470 | 5500 3807 1635 | 0.000 % | c | 9299 | 2145 1819 54470 | 6050 3957 1635 | 0.000 % | c | 9525 | 2145 1819 54470 | 6655 4183 1635 | 0.000 % | c | 9862 | 2145 1819 54470 | 7320 4520 1635 | 0.000 % | c | 10369 | 2145 1819 54470 | 8052 5027 1635 | 0.000 % | c =============================================================================== c New solution: 3232118 c Elapsed CPU time: 14.6288 s Remaining CPU time: 165.371 s c =============================================================================== c | 10575 | 2145 1820 56163 | 5000 5233 1635 | 0.000 % | c | 10675 | 2145 1820 56163 | 5500 2717 1635 | 0.000 % | c | 10826 | 2145 1820 56163 | 6050 2868 1635 | 0.000 % | c | 11051 | 2145 1820 56163 | 6655 3093 1635 | 0.000 % | c | 11388 | 2145 1820 56163 | 7320 3430 1635 | 0.000 % | c =============================================================================== c New solution: 3232049 c Elapsed CPU time: 16.3795 s Remaining CPU time: 163.62 s c =============================================================================== c | 11702 | 2145 1821 57856 | 5000 3744 1635 | 0.000 % | c | 11802 | 2145 1821 57856 | 5500 3844 1635 | 0.000 % | c | 11952 | 2145 1821 57856 | 6050 3994 1635 | 0.000 % | c | 12178 | 2145 1821 57856 | 6655 4220 1635 | 0.000 % | c =============================================================================== c New solution: 3231884 c Elapsed CPU time: 17.2344 s Remaining CPU time: 162.766 s c =============================================================================== c | 12180 | 2145 1822 59549 | 5000 4222 1635 | 0.000 % | c | 12281 | 2145 1822 59549 | 5500 4323 1635 | 0.000 % | c | 12432 | 2145 1822 59549 | 6050 4474 1635 | 0.000 % | c | 12658 | 2145 1822 59549 | 6655 4700 1635 | 0.000 % | c | 12996 | 2145 1822 59549 | 7320 5038 1635 | 0.000 % | c =============================================================================== c New solution: 3231866 c Elapsed CPU time: 18.7372 s Remaining CPU time: 161.263 s c =============================================================================== c | 13020 | 2145 1823 61242 | 5000 5062 1635 | 0.000 % | c | 13121 | 2145 1823 61242 | 5500 2632 1635 | 0.000 % | c =============================================================================== c New solution: 3231851 c Elapsed CPU time: 19.1021 s Remaining CPU time: 160.898 s c =============================================================================== c | 13184 | 2145 1824 62935 | 5000 2695 1635 | 0.000 % | c | 13284 | 2145 1824 62935 | 5500 2795 1635 | 0.000 % | c | 13435 | 2145 1824 62935 | 6050 2946 1635 | 0.000 % | c | 13662 | 2145 1824 62935 | 6655 3173 1634 | 0.000 % | c =============================================================================== c New solution: 3231846 c Elapsed CPU time: 20.6129 s Remaining CPU time: 159.387 s c =============================================================================== c | 13994 | 2145 1825 64628 | 5000 3505 1635 | 0.000 % | c | 14094 | 2145 1825 64628 | 5500 3605 1635 | 0.000 % | c | 14244 | 2145 1825 64628 | 6050 3755 1635 | 0.000 % | c | 14470 | 2145 1825 64628 | 6655 3981 1635 | 0.000 % | c | 14807 | 2145 1825 64628 | 7320 4318 1635 | 0.000 % | c | 15314 | 2145 1825 64628 | 8052 4825 1635 | 0.000 % | c | 16075 | 2145 1825 64628 | 8857 5586 1635 | 0.000 % | c | 17214 | 2145 1825 64628 | 9743 6725 1635 | 0.000 % | c | 18923 | 2145 1825 64628 | 10717 8434 1635 | 0.000 % | c =============================================================================== c New solution: 3231782 c Elapsed CPU time: 31.3672 s Remaining CPU time: 148.633 s c =============================================================================== c | 19257 | 2145 1826 66321 | 5000 8768 1635 | 0.000 % | c | 19358 | 2145 1826 66321 | 5500 4485 1634 | 0.000 % | c | 19509 | 2145 1826 66321 | 6050 4636 1634 | 0.000 % | c | 19734 | 2145 1826 66321 | 6655 4861 1635 | 0.000 % | c | 20072 | 2145 1826 66321 | 7320 5199 1634 | 0.000 % | c | 20579 | 2145 1826 66321 | 8052 5706 1634 | 0.000 % | c | 21338 | 2145 1826 66321 | 8857 6465 1635 | 0.000 % | c | 22477 | 2145 1826 66321 | 9743 7604 1635 | 0.000 % | c =============================================================================== c New solution: 3231675 c Elapsed CPU time: 37.9012 s Remaining CPU time: 142.099 s c =============================================================================== c | 22614 | 2145 1827 68014 | 5000 7741 1635 | 0.000 % | c | 22714 | 2145 1827 68014 | 5500 3971 1635 | 0.000 % | c | 22864 | 2145 1827 68014 | 6050 4121 1635 | 0.000 % | c | 23089 | 2145 1827 68014 | 6655 4346 1635 | 0.000 % | c | 23426 | 2145 1827 68014 | 7320 4683 1635 | 0.000 % | c | 23932 | 2145 1827 68014 | 8052 5189 1635 | 0.000 % | c | 24691 | 2145 1827 68014 | 8857 5948 1635 | 0.000 % | c | 25831 | 2145 1827 68014 | 9743 7088 1635 | 0.000 % | c =============================================================================== c New solution: 3231633 c Elapsed CPU time: 47.1708 s Remaining CPU time: 132.829 s c =============================================================================== c | 26994 | 2145 1828 69707 | 5000 8251 1635 | 0.000 % | c | 27094 | 2145 1828 69707 | 5500 4226 1634 | 0.000 % | c | 27245 | 2145 1828 69707 | 6050 4377 1634 | 0.000 % | c | 27470 | 2145 1828 69707 | 6655 4602 1634 | 0.000 % | c | 27807 | 2145 1828 69707 | 7320 4939 1634 | 0.000 % | c | 28314 | 2145 1828 69707 | 8052 5446 1634 | 0.000 % | c | 29073 | 2145 1828 69707 | 8857 6205 1634 | 0.000 % | c =============================================================================== c New solution: 3231629 c Elapsed CPU time: 52.557 s Remaining CPU time: 127.443 s c =============================================================================== c | 29699 | 2145 1829 71400 | 5000 6831 1634 | 0.000 % | c | 29799 | 2145 1829 71400 | 5500 3516 1635 | 0.000 % | c =============================================================================== c New solution: 3231575 c Elapsed CPU time: 52.868 s Remaining CPU time: 127.132 s c =============================================================================== c | 29801 | 2145 1830 73093 | 5000 3518 1635 | 0.000 % | c =============================================================================== c New solution: 3231571 c Elapsed CPU time: 52.9589 s Remaining CPU time: 127.041 s c =============================================================================== c | 29821 | 2145 1831 74786 | 5000 3538 1635 | 0.000 % | c | 29921 | 2145 1831 74786 | 5500 3638 1635 | 0.000 % | c | 30072 | 2145 1831 74786 | 6050 3789 1635 | 0.000 % | c | 30297 | 2145 1831 74786 | 6655 4014 1635 | 0.000 % | c | 30634 | 2145 1831 74786 | 7320 4351 1634 | 0.000 % | c | 31142 | 2145 1831 74786 | 8052 4859 1634 | 0.000 % | c =============================================================================== c New solution: 3231561 c Elapsed CPU time: 56.1085 s Remaining CPU time: 123.892 s c =============================================================================== c | 31310 | 2145 1832 76479 | 5000 5027 1634 | 0.000 % | c | 31410 | 2145 1832 76479 | 5500 2614 1634 | 0.000 % | c | 31562 | 2145 1832 76479 | 6050 2766 1634 | 0.000 % | c | 31788 | 2145 1832 76479 | 6655 2992 1634 | 0.000 % | c | 32126 | 2145 1832 76479 | 7320 3330 1634 | 0.000 % | c | 32634 | 2145 1832 76479 | 8052 3838 1634 | 0.000 % | c =============================================================================== c New solution: 3231525 c Elapsed CPU time: 60.2968 s Remaining CPU time: 119.703 s c =============================================================================== c | 33179 | 2145 1833 78172 | 5000 4383 1634 | 0.000 % | c | 33280 | 2145 1833 78172 | 5500 4484 1634 | 0.000 % | c | 33431 | 2145 1833 78172 | 6050 4635 1634 | 0.000 % | c =============================================================================== c New solution: 3231512 c Elapsed CPU time: 61.0567 s Remaining CPU time: 118.943 s c =============================================================================== c | 33473 | 2145 1834 79865 | 5000 4677 1634 | 0.000 % | c | 33574 | 2145 1834 79865 | 5500 4778 1634 | 0.000 % | c | 33725 | 2145 1834 79865 | 6050 4929 1634 | 0.000 % | c | 33952 | 2145 1834 79865 | 6655 5156 1634 | 0.000 % | c | 34290 | 2145 1834 79865 | 7320 5494 1634 | 0.000 % | c | 34796 | 2145 1834 79865 | 8052 6000 1634 | 0.000 % | c =============================================================================== c New solution: 3231365 c Elapsed CPU time: 65.1881 s Remaining CPU time: 114.812 s c =============================================================================== c | 35181 | 2145 1835 81558 | 5000 6385 1634 | 0.000 % | c | 35281 | 2145 1835 81558 | 5500 3293 1634 | 0.000 % | c | 35432 | 2145 1835 81558 | 6050 3444 1634 | 0.000 % | c | 35658 | 2145 1835 81558 | 6655 3670 1634 | 0.000 % | c | 35995 | 2145 1835 81558 | 7320 4007 1634 | 0.000 % | c | 36501 | 2145 1835 81558 | 8052 4513 1634 | 0.000 % | c =============================================================================== c New solution: 3231290 c Elapsed CPU time: 68.4936 s Remaining CPU time: 111.506 s c =============================================================================== c | 36589 | 2145 1836 83251 | 5000 4601 1634 | 0.000 % | c | 36689 | 2145 1836 83251 | 5500 4701 1634 | 0.000 % | c | 36839 | 2145 1836 83251 | 6050 4851 1634 | 0.000 % | c =============================================================================== c New solution: 3231230 c Elapsed CPU time: 69.1755 s Remaining CPU time: 110.825 s c =============================================================================== c | 36862 | 2145 1837 84944 | 5000 4874 1634 | 0.000 % | c | 36962 | 2145 1837 84944 | 5500 4974 1634 | 0.000 % | c | 37112 | 2145 1837 84944 | 6050 5124 1634 | 0.000 % | c | 37338 | 2145 1837 84944 | 6655 5350 1634 | 0.000 % | c =============================================================================== c New solution: 3231119 c Elapsed CPU time: 70.7122 s Remaining CPU time: 109.288 s c =============================================================================== c | 37520 | 2145 1838 86637 | 5000 5532 1634 | 0.000 % | c | 37620 | 2145 1838 86637 | 5500 2866 1634 | 0.000 % | c | 37770 | 2145 1838 86637 | 6050 3016 1634 | 0.000 % | c | 37996 | 2145 1838 86637 | 6655 3242 1634 | 0.000 % | c | 38333 | 2145 1838 86637 | 7320 3579 1634 | 0.000 % | c | 38839 | 2145 1838 86637 | 8052 4085 1634 | 0.000 % | c =============================================================================== c New solution: 3231113 c Elapsed CPU time: 74.4187 s Remaining CPU time: 105.581 s c =============================================================================== c | 39098 | 2145 1839 88330 | 5000 4344 1634 | 0.000 % | c | 39199 | 2145 1839 88330 | 5500 4445 1634 | 0.000 % | c | 39349 | 2145 1839 88330 | 6050 4595 1634 | 0.000 % | c | 39575 | 2145 1839 88330 | 6655 4821 1634 | 0.000 % | c | 39912 | 2145 1839 88330 | 7320 5158 1634 | 0.000 % | c | 40419 | 2145 1839 88330 | 8052 5665 1634 | 0.000 % | c | 41178 | 2145 1839 88330 | 8857 6424 1634 | 0.000 % | c =============================================================================== c New solution: 3231109 c Elapsed CPU time: 81.7146 s Remaining CPU time: 98.2854 s c =============================================================================== c | 42270 | 2145 1840 90023 | 5000 7516 1634 | 0.000 % | c | 42371 | 2145 1840 90023 | 5500 3859 1635 | 0.000 % | c | 42522 | 2145 1840 90023 | 6050 4010 1635 | 0.000 % | c | 42747 | 2145 1840 90023 | 6655 4235 1635 | 0.000 % | c | 43085 | 2145 1840 90023 | 7320 4573 1635 | 0.000 % | c | 43592 | 2145 1840 90023 | 8052 5080 1634 | 0.000 % | c | 44351 | 2145 1840 90023 | 8857 5839 1634 | 0.000 % | c | 45490 | 2145 1840 90023 | 9743 6978 1634 | 0.000 % | c | 47199 | 2145 1840 90023 | 10717 8687 1635 | 0.000 % | c | 49762 | 2145 1840 90023 | 11789 11250 1635 | 0.000 % | c | 53606 | 2145 1840 90023 | 12968 8369 1635 | 0.000 % | c =============================================================================== c New solution: 3231084 c Elapsed CPU time: 112.105 s Remaining CPU time: 67.895 s c =============================================================================== c | 54749 | 2145 1841 91716 | 5000 9512 1635 | 0.000 % | c | 54851 | 2145 1841 91716 | 5500 4858 1634 | 0.000 % | c | 55002 | 2145 1841 91716 | 6050 5009 1634 | 0.000 % | c | 55228 | 2145 1841 91716 | 6655 5235 1634 | 0.000 % | c | 55566 | 2145 1841 91716 | 7320 5573 1634 | 0.000 % | c | 56072 | 2145 1841 91716 | 8052 6079 1634 | 0.000 % | c | 56832 | 2145 1841 91716 | 8857 6839 1634 | 0.000 % | c =============================================================================== c New solution: 3231083 c Elapsed CPU time: 120.522 s Remaining CPU time: 59.4783 s c =============================================================================== c | 57910 | 2145 1842 93409 | 5000 7917 1634 | 0.000 % | c | 58010 | 2145 1842 93409 | 5500 4059 1635 | 0.000 % | c | 58160 | 2145 1842 93409 | 6050 4209 1635 | 0.000 % | c | 58386 | 2145 1842 93409 | 6655 4435 1635 | 0.000 % | c | 58724 | 2145 1842 93409 | 7320 4773 1634 | 0.000 % |