c wbo 1.4 beta - 20100610 c | Number of variables: 278 | c | Number of clauses: 2043 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2189 | c | Number Clauses: 2005 | 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 | 2189 2005 7688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3751020 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 2189 2006 9637 | 5000 0 nan | 0.000 % | c | 101 | 2189 2006 9637 | 5500 101 1921 | 0.000 % | c | 251 | 2189 2006 9637 | 6050 251 1921 | 0.000 % | c | 476 | 2189 2006 9637 | 6655 476 1921 | 0.000 % | c | 815 | 2189 2006 9637 | 7320 815 1922 | 0.000 % | c | 1322 | 2189 2006 9637 | 8052 1322 1922 | 0.000 % | c =============================================================================== c New solution: 3750621 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 1870 | 2189 2007 11586 | 5000 1870 1922 | 0.000 % | c | 1972 | 2189 2007 11586 | 5500 1972 1922 | 0.000 % | c | 2122 | 2189 2007 11586 | 6050 2122 1922 | 0.000 % | c =============================================================================== c New solution: 3750497 c Elapsed CPU time: 1.88871 s Remaining CPU time: 178.111 s c =============================================================================== c | 2171 | 2189 2008 13535 | 5000 2171 1922 | 0.000 % | c =============================================================================== c New solution: 3750479 c Elapsed CPU time: 2.04269 s Remaining CPU time: 177.957 s c =============================================================================== c | 2259 | 2189 2009 15484 | 5000 2259 1922 | 0.000 % | c | 2360 | 2189 2009 15484 | 5500 2360 1922 | 0.000 % | c | 2510 | 2189 2009 15484 | 6050 2510 1922 | 0.000 % | c =============================================================================== c New solution: 3750430 c Elapsed CPU time: 2.56961 s Remaining CPU time: 177.43 s c =============================================================================== c | 2691 | 2189 2010 17433 | 5000 2691 1922 | 0.000 % | c =============================================================================== c New solution: 3750150 c Elapsed CPU time: 2.68459 s Remaining CPU time: 177.315 s c =============================================================================== c | 2761 | 2189 2011 19382 | 5000 2761 1922 | 0.000 % | c =============================================================================== c New solution: 3749894 c Elapsed CPU time: 2.77558 s Remaining CPU time: 177.224 s c =============================================================================== c | 2796 | 2189 2012 21331 | 5000 2796 1922 | 0.000 % | c | 2896 | 2189 2012 21331 | 5500 2896 1922 | 0.000 % | c | 3048 | 2189 2012 21331 | 6050 3048 1922 | 0.000 % | c =============================================================================== c New solution: 3749889 c Elapsed CPU time: 3.2565 s Remaining CPU time: 176.743 s c =============================================================================== c | 3123 | 2189 2013 23280 | 5000 3123 1922 | 0.000 % | c | 3224 | 2189 2013 23280 | 5500 3224 1922 | 0.000 % | c =============================================================================== c New solution: 3749873 c Elapsed CPU time: 3.56046 s Remaining CPU time: 176.44 s c =============================================================================== c | 3309 | 2189 2014 25229 | 5000 3309 1922 | 0.000 % | c | 3410 | 2189 2014 25229 | 5500 3410 1922 | 0.000 % | c =============================================================================== c New solution: 3749492 c Elapsed CPU time: 3.83342 s Remaining CPU time: 176.167 s c =============================================================================== c | 3473 | 2189 2015 27178 | 5000 3473 1922 | 0.000 % | c | 3574 | 2189 2015 27178 | 5500 3574 1922 | 0.000 % | c | 3725 | 2189 2015 27178 | 6050 3725 1922 | 0.000 % | c | 3950 | 2189 2015 27178 | 6655 3950 1922 | 0.000 % | c =============================================================================== c New solution: 3749242 c Elapsed CPU time: 4.67429 s Remaining CPU time: 175.326 s c =============================================================================== c | 4061 | 2189 2016 29127 | 5000 4061 1922 | 0.000 % | c =============================================================================== c New solution: 3748916 c Elapsed CPU time: 4.79627 s Remaining CPU time: 175.204 s c =============================================================================== c | 4129 | 2189 2017 31076 | 5000 4129 1922 | 0.000 % | c | 4230 | 2189 2017 31076 | 5500 4230 1922 | 0.000 % | c =============================================================================== c New solution: 3748723 c Elapsed CPU time: 5.07523 s Remaining CPU time: 174.925 s c =============================================================================== c | 4358 | 2189 2018 33025 | 5000 4358 1922 | 0.000 % | c =============================================================================== c New solution: 3748070 c Elapsed CPU time: 5.18021 s Remaining CPU time: 174.82 s c =============================================================================== c | 4421 | 2189 2019 34974 | 5000 4421 1922 | 0.000 % | c | 4523 | 2189 2019 34974 | 5500 4523 1922 | 0.000 % | c | 4674 | 2189 2019 34974 | 6050 4674 1922 | 0.000 % | c =============================================================================== c New solution: 3747809 c Elapsed CPU time: 5.64314 s Remaining CPU time: 174.357 s c =============================================================================== c | 4839 | 2189 2020 36923 | 5000 4839 1922 | 0.000 % | c | 4941 | 2189 2020 36923 | 5500 4941 1922 | 0.000 % | c | 5091 | 2189 2020 36923 | 6050 5091 1922 | 0.000 % | c | 5316 | 2189 2020 36923 | 6655 5316 1922 | 0.000 % | c | 5653 | 2189 2020 36923 | 7320 5653 1922 | 0.000 % | c =============================================================================== c New solution: 3747795 c Elapsed CPU time: 7.10192 s Remaining CPU time: 172.898 s c =============================================================================== c | 5934 | 2189 2021 38872 | 5000 5934 1922 | 0.000 % | c | 6035 | 2189 2021 38872 | 5500 3068 1922 | 0.000 % | c =============================================================================== c New solution: 3747738 c Elapsed CPU time: 7.41587 s Remaining CPU time: 172.584 s c =============================================================================== c | 6101 | 2189 2022 40821 | 5000 3134 1922 | 0.000 % | c | 6201 | 2189 2022 40821 | 5500 3234 1922 | 0.000 % | c =============================================================================== c New solution: 3747730 c Elapsed CPU time: 7.69283 s Remaining CPU time: 172.307 s c =============================================================================== c | 6230 | 2189 2023 42770 | 5000 3263 1922 | 0.000 % | c | 6330 | 2189 2023 42770 | 5500 3363 1922 | 0.000 % | c =============================================================================== c New solution: 3746969 c Elapsed CPU time: 8.11976 s Remaining CPU time: 171.88 s c =============================================================================== c | 6437 | 2189 2024 44719 | 5000 3470 1922 | 0.000 % | c | 6538 | 2189 2024 44719 | 5500 3571 1922 | 0.000 % | c | 6688 | 2189 2024 44719 | 6050 3721 1922 | 0.000 % | c | 6913 | 2189 2024 44719 | 6655 3946 1922 | 0.000 % | c | 7250 | 2189 2024 44719 | 7320 4283 1922 | 0.000 % | c =============================================================================== c New solution: 3746670 c Elapsed CPU time: 10.0865 s Remaining CPU time: 169.914 s c =============================================================================== c | 7557 | 2189 2025 46668 | 5000 4590 1922 | 0.000 % | c | 7658 | 2189 2025 46668 | 5500 4691 1922 | 0.000 % | c | 7809 | 2189 2025 46668 | 6050 4842 1922 | 0.000 % | c =============================================================================== c New solution: 3746565 c Elapsed CPU time: 10.6524 s Remaining CPU time: 169.348 s c =============================================================================== c | 7841 | 2189 2026 48617 | 5000 4874 1922 | 0.000 % | c | 7941 | 2189 2026 48617 | 5500 4974 1921 | 0.000 % | c =============================================================================== c New solution: 3746253 c Elapsed CPU time: 10.9383 s Remaining CPU time: 169.062 s c =============================================================================== c | 8013 | 2189 2027 50566 | 5000 5046 1921 | 0.000 % | c | 8114 | 2189 2027 50566 | 5500 2624 1921 | 0.000 % | c | 8264 | 2189 2027 50566 | 6050 2774 1921 | 0.000 % | c | 8490 | 2189 2027 50566 | 6655 3000 1921 | 0.000 % | c =============================================================================== c New solution: 3746240 c Elapsed CPU time: 11.7692 s Remaining CPU time: 168.231 s c =============================================================================== c | 8605 | 2189 2028 52515 | 5000 3115 1921 | 0.000 % | c =============================================================================== c New solution: 3746204 c Elapsed CPU time: 11.9092 s Remaining CPU time: 168.091 s c =============================================================================== c | 8685 | 2189 2029 54464 | 5000 3195 1920 | 0.000 % | c | 8785 | 2189 2029 54464 | 5500 3295 1920 | 0.000 % | c | 8937 | 2189 2029 54464 | 6050 3447 1920 | 0.000 % | c =============================================================================== c New solution: 3745650 c Elapsed CPU time: 12.5931 s Remaining CPU time: 167.407 s c =============================================================================== c | 9038 | 2189 2030 56413 | 5000 3548 1920 | 0.000 % | c | 9139 | 2189 2030 56413 | 5500 3649 1920 | 0.000 % | c | 9289 | 2189 2030 56413 | 6050 3799 1920 | 0.000 % | c | 9514 | 2189 2030 56413 | 6655 4024 1920 | 0.000 % | c | 9851 | 2189 2030 56413 | 7320 4361 1920 | 0.000 % | c | 10357 | 2189 2030 56413 | 8052 4867 1920 | 0.000 % | c =============================================================================== c New solution: 3745433 c Elapsed CPU time: 15.4487 s Remaining CPU time: 164.551 s c =============================================================================== c | 10868 | 2189 2031 58362 | 5000 5378 1920 | 0.000 % | c | 10969 | 2189 2031 58362 | 5500 2790 1919 | 0.000 % | c | 11120 | 2189 2031 58362 | 6050 2941 1919 | 0.000 % | c =============================================================================== c New solution: 3745283 c Elapsed CPU time: 16.1205 s Remaining CPU time: 163.879 s c =============================================================================== c | 11196 | 2189 2032 60311 | 5000 3017 1919 | 0.000 % | c | 11296 | 2189 2032 60311 | 5500 3117 1919 | 0.000 % | c | 11446 | 2189 2032 60311 | 6050 3267 1919 | 0.000 % | c | 11675 | 2189 2032 60311 | 6655 3496 1919 | 0.000 % | c =============================================================================== c New solution: 3745243 c Elapsed CPU time: 17.3034 s Remaining CPU time: 162.697 s c =============================================================================== c | 11891 | 2189 2033 62260 | 5000 3712 1919 | 0.000 % | c | 11992 | 2189 2033 62260 | 5500 3813 1919 | 0.000 % | c =============================================================================== c New solution: 3745203 c Elapsed CPU time: 17.6493 s Remaining CPU time: 162.351 s c =============================================================================== c | 12063 | 2189 2034 64209 | 5000 3884 1919 | 0.000 % | c | 12166 | 2189 2034 64209 | 5500 3987 1919 | 0.000 % | c | 12316 | 2189 2034 64209 | 6050 4137 1919 | 0.000 % | c | 12541 | 2189 2034 64209 | 6655 4362 1919 | 0.000 % | c =============================================================================== c New solution: 3745159 c Elapsed CPU time: 18.8971 s Remaining CPU time: 161.103 s c =============================================================================== c | 12672 | 2189 2035 66158 | 5000 4493 1919 | 0.000 % | c | 12772 | 2189 2035 66158 | 5500 4593 1919 | 0.000 % | c | 12923 | 2189 2035 66158 | 6050 4744 1919 | 0.000 % | c =============================================================================== c New solution: 3744912 c Elapsed CPU time: 19.813 s Remaining CPU time: 160.187 s c =============================================================================== c | 13045 | 2189 2036 68107 | 5000 4866 1919 | 0.000 % | c | 13145 | 2189 2036 68107 | 5500 4966 1919 | 0.000 % | c | 13295 | 2189 2036 68107 | 6050 5116 1919 | 0.000 % | c | 13520 | 2189 2036 68107 | 6655 5341 1919 | 0.000 % | c | 13858 | 2189 2036 68107 | 7320 5679 1919 | 0.000 % | c =============================================================================== c New solution: 3744294 c Elapsed CPU time: 22.4366 s Remaining CPU time: 157.563 s c =============================================================================== c | 14213 | 2189 2037 70056 | 5000 6034 1919 | 0.000 % | c | 14313 | 2189 2037 70056 | 5500 3117 1918 | 0.000 % | c =============================================================================== c New solution: 3744273 c Elapsed CPU time: 22.9045 s Remaining CPU time: 157.095 s c =============================================================================== c | 14372 | 2189 2038 72005 | 5000 3176 1918 | 0.000 % | c | 14474 | 2189 2038 72005 | 5500 3278 1918 | 0.000 % | c | 14624 | 2189 2038 72005 | 6050 3428 1918 | 0.000 % | c | 14849 | 2189 2038 72005 | 6655 3653 1918 | 0.000 % | c | 15187 | 2189 2038 72005 | 7320 3991 1918 | 0.000 % | c =============================================================================== c New solution: 3744211 c Elapsed CPU time: 25.3231 s Remaining CPU time: 154.677 s c =============================================================================== c | 15688 | 2189 2039 73954 | 5000 4492 1918 | 0.000 % | c | 15788 | 2189 2039 73954 | 5500 4592 1918 | 0.000 % | c =============================================================================== c New solution: 3744095 c Elapsed CPU time: 25.6771 s Remaining CPU time: 154.323 s c =============================================================================== c | 15797 | 2189 2040 75903 | 5000 4601 1918 | 0.000 % | c | 15898 | 2189 2040 75903 | 5500 4702 1918 | 0.000 % | c | 16048 | 2189 2040 75903 | 6050 4852 1918 | 0.000 % | c | 16273 | 2189 2040 75903 | 6655 5077 1919 | 0.000 % | c | 16611 | 2189 2040 75903 | 7320 5415 1919 | 0.000 % | c | 17117 | 2189 2040 75903 | 8052 5921 1918 | 0.000 % | c | 17877 | 2189 2040 75903 | 8857 6681 1918 | 0.000 % | c =============================================================================== c New solution: 3743956 c Elapsed CPU time: 31.1513 s Remaining CPU time: 148.849 s c =============================================================================== c | 18199 | 2189 2041 77852 | 5000 7003 1918 | 0.000 % | c | 18300 | 2189 2041 77852 | 5500 3603 1918 | 0.000 % | c | 18450 | 2189 2041 77852 | 6050 3753 1918 | 0.000 % | c =============================================================================== c New solution: 3743791 c Elapsed CPU time: 32.0351 s Remaining CPU time: 147.965 s c =============================================================================== c | 18507 | 2189 2042 79801 | 5000 3810 1918 | 0.000 % | c | 18608 | 2189 2042 79801 | 5500 3911 1918 | 0.000 % | c | 18761 | 2189 2042 79801 | 6050 4064 1918 | 0.000 % | c =============================================================================== c New solution: 3743342 c Elapsed CPU time: 32.781 s Remaining CPU time: 147.219 s c =============================================================================== c | 18810 | 2189 2043 81750 | 5000 4113 1918 | 0.000 % | c | 18910 | 2189 2043 81750 | 5500 4213 1918 | 0.000 % | c =============================================================================== c New solution: 3743237 c Elapsed CPU time: 33.165 s Remaining CPU time: 146.835 s c =============================================================================== c | 18963 | 2189 2044 83699 | 5000 4266 1918 | 0.000 % | c | 19063 | 2189 2044 83699 | 5500 4366 1918 | 0.000 % | c =============================================================================== c New solution: 3743205 c Elapsed CPU time: 33.5609 s Remaining CPU time: 146.439 s c =============================================================================== c | 19109 | 2189 2045 85648 | 5000 4412 1918 | 0.000 % | c | 19210 | 2189 2045 85648 | 5500 4513 1918 | 0.000 % | c | 19360 | 2189 2045 85648 | 6050 4663 1918 | 0.000 % | c =============================================================================== c New solution: 3743188 c Elapsed CPU time: 34.3618 s Remaining CPU time: 145.638 s c =============================================================================== c | 19435 | 2189 2046 87597 | 5000 4738 1918 | 0.000 % | c | 19537 | 2189 2046 87597 | 5500 4840 1918 | 0.000 % | c =============================================================================== c New solution: 3743054 c Elapsed CPU time: 34.7427 s Remaining CPU time: 145.257 s c =============================================================================== c | 19597 | 2189 2047 89546 | 5000 4900 1918 | 0.000 % | c | 19697 | 2189 2047 89546 | 5500 5000 1918 | 0.000 % | c =============================================================================== c New solution: 3742937 c Elapsed CPU time: 35.2586 s Remaining CPU time: 144.741 s c =============================================================================== c | 19827 | 2189 2048 91495 | 5000 5130 1918 | 0.000 % | c | 19928 | 2189 2048 91495 | 5500 2666 1918 | 0.000 % | c | 20079 | 2189 2048 91495 | 6050 2817 1918 | 0.000 % | c =============================================================================== c New solution: 3742850 c Elapsed CPU time: 36.3605 s Remaining CPU time: 143.64 s c =============================================================================== c | 20255 | 2189 2049 93444 | 5000 2993 1918 | 0.000 % | c | 20355 | 2189 2049 93444 | 5500 3093 1918 | 0.000 % | c | 20506 | 2189 2049 93444 | 6050 3244 1917 | 0.000 % | c =============================================================================== c New solution: 3742722 c Elapsed CPU time: 37.3373 s Remaining CPU time: 142.663 s c =============================================================================== c | 20729 | 2189 2050 95393 | 5000 3467 1917 | 0.000 % | c =============================================================================== c New solution: 3742538 c Elapsed CPU time: 37.4153 s Remaining CPU time: 142.585 s c =============================================================================== c | 20736 | 2189 2051 97342 | 5000 3474 1917 | 0.000 % | c | 20837 | 2189 2051 97342 | 5500 3575 1917 | 0.000 % | c | 20987 | 2189 2051 97342 | 6050 3725 1917 | 0.000 % | c | 21212 | 2189 2051 97342 | 6655 3950 1917 | 0.000 % | c | 21549 | 2189 2051 97342 | 7320 4287 1917 | 0.000 % | c =============================================================================== c New solution: 3742369 c Elapsed CPU time: 39.8699 s Remaining CPU time: 140.13 s c =============================================================================== c | 21973 | 2189 2052 99291 | 5000 4711 1917 | 0.000 % | c | 22073 | 2189 2052 99291 | 5500 4811 1917 | 0.000 % | c | 22223 | 2189 2052 99291 | 6050 4961 1917 | 0.000 % | c | 22449 | 2189 2052 99291 | 6655 5187 1917 | 0.000 % | c =============================================================================== c New solution: 3742335 c Elapsed CPU time: 40.9668 s Remaining CPU time: 139.033 s c =============================================================================== c | 22486 | 2189 2053 101240 | 5000 5224 1917 | 0.000 % | c | 22586 | 2189 2053 101240 | 5500 2712 1916 | 0.000 % | c | 22737 | 2189 2053 101240 | 6050 2863 1916 | 0.000 % | c | 22963 | 2189 2053 101240 | 6655 3089 1916 | 0.000 % | c =============================================================================== c New solution: 3742198 c Elapsed CPU time: 42.2746 s Remaining CPU time: 137.725 s c =============================================================================== c | 23138 | 2189 2054 103189 | 5000 3264 1916 | 0.000 % | c | 23238 | 2189 2054 103189 | 5500 3364 1915 | 0.000 % | c =============================================================================== c New solution: 3742091 c Elapsed CPU time: 42.7595 s Remaining CPU time: 137.241 s c =============================================================================== c | 23325 | 2189 2055 105138 | 5000 3451 1916 | 0.000 % | c =============================================================================== c New solution: 3742007 c Elapsed CPU time: 42.9445 s Remaining CPU time: 137.056 s c =============================================================================== c | 23373 | 2189 2056 107087 | 5000 3499 1916 | 0.000 % | c | 23473 | 2189 2056 107087 | 5500 3599 1916 | 0.000 % | c | 23624 | 2189 2056 107087 | 6050 3750 1916 | 0.000 % | c | 23850 | 2189 2056 107087 | 6655 3976 1916 | 0.000 % | c =============================================================================== c New solution: 3741955 c Elapsed CPU time: 44.5422 s Remaining CPU time: 135.458 s c =============================================================================== c | 24082 | 2189 2057 109036 | 5000 4208 1916 | 0.000 % | c | 24183 | 2189 2057 109036 | 5500 4309 1916 | 0.000 % | c =============================================================================== c New solution: 3741818 c Elapsed CPU time: 45.1311 s Remaining CPU time: 134.869 s c =============================================================================== c | 24324 | 2189 2058 110985 | 5000 4450 1916 | 0.000 % | c | 24425 | 2189 2058 110985 | 5500 4551 1916 | 0.000 % | c | 24575 | 2189 2058 110985 | 6050 4701 1916 | 0.000 % | c | 24800 | 2189 2058 110985 | 6655 4926 1916 | 0.000 % | c | 25138 | 2189 2058 110985 | 7320 5264 1916 | 0.000 % | c | 25645 | 2189 2058 110985 | 8052 5771 1916 | 0.000 % | c | 26404 | 2189 2058 110985 | 8857 6530 1916 | 0.000 % | c =============================================================================== c New solution: 3741654 c Elapsed CPU time: 51.3862 s Remaining CPU time: 128.614 s c =============================================================================== c | 26945 | 2189 2059 112934 | 5000 7071 1916 | 0.000 % | c | 27045 | 2189 2059 112934 | 5500 3636 1916 | 0.000 % | c | 27195 | 2189 2059 112934 | 6050 3786 1916 | 0.000 % | c =============================================================================== c New solution: 3741447 c Elapsed CPU time: 52.469 s Remaining CPU time: 127.531 s c =============================================================================== c | 27408 | 2189 2060 114883 | 5000 3999 1916 | 0.000 % | c | 27508 | 2189 2060 114883 | 5500 4099 1916 | 0.000 % | c =============================================================================== c New solution: 3741249 c Elapsed CPU time: 52.847 s Remaining CPU time: 127.153 s c =============================================================================== c | 27548 | 2189 2061 116832 | 5000 4139 1916 | 0.000 % | c | 27648 | 2189 2061 116832 | 5500 4239 1916 | 0.000 % | c | 27798 | 2189 2061 116832 | 6050 4389 1916 | 0.000 % | c | 28023 | 2189 2061 116832 | 6655 4614 1916 | 0.000 % | c =============================================================================== c New solution: 3741195 c Elapsed CPU time: 54.5717 s Remaining CPU time: 125.428 s c =============================================================================== c | 28261 | 2189 2062 118781 | 5000 4852 1916 | 0.000 % | c | 28362 | 2189 2062 118781 | 5500 4953 1916 | 0.000 % | c | 28513 | 2189 2062 118781 | 6050 5104 1916 | 0.000 % | c | 28738 | 2189 2062 118781 | 6655 5329 1916 | 0.000 % | c | 29076 | 2189 2062 118781 | 7320 5667 1916 | 0.000 % | c =============================================================================== c New solution: 3741171 c Elapsed CPU time: 58.0162 s Remaining CPU time: 121.984 s c =============================================================================== c | 29576 | 2189 2063 120730 | 5000 6167 1916 | 0.000 % | c | 29678 | 2189 2063 120730 | 5500 3186 1916 | 0.000 % | c | 29829 | 2189 2063 120730 | 6050 3337 1916 | 0.000 % | c =============================================================================== c New solution: 3741159 c Elapsed CPU time: 59.059 s Remaining CPU time: 120.941 s c =============================================================================== c | 29907 | 2189 2064 122679 | 5000 3415 1916 | 0.000 % | c | 30007 | 2189 2064 122679 | 5500 3515 1916 | 0.000 % | c =============================================================================== c New solution: 3741081 c Elapsed CPU time: 59.6869 s Remaining CPU time: 120.313 s c =============================================================================== c | 30086 | 2189 2065 124628 | 5000 3594 1917 | 0.000 % | c =============================================================================== c New solution: 3740884 c Elapsed CPU time: 59.8609 s Remaining CPU time: 120.139 s c =============================================================================== c | 30112 | 2189 2066 126577 | 5000 3620 1917 | 0.000 % | c | 30212 | 2189 2066 126577 | 5500 3720 1917 | 0.000 % | c | 30363 | 2189 2066 126577 | 6050 3871 1917 | 0.000 % | c | 30589 | 2189 2066 126577 | 6655 4097 1916 | 0.000 % | c | 30926 | 2189 2066 126577 | 7320 4434 1916 | 0.000 % | c =============================================================================== c New solution: 3740816 c Elapsed CPU time: 62.9364 s Remaining CPU time: 117.064 s c =============================================================================== c | 31364 | 2189 2067 128526 | 5000 4872 1917 | 0.000 % | c | 31465 | 2189 2067 128526 | 5500 4973 1917 | 0.000 % | c | 31616 | 2189 2067 128526 | 6050 5124 1916 | 0.000 % | c | 31842 | 2189 2067 128526 | 6655 5350 1916 | 0.000 % | c | 32180 | 2189 2067 128526 | 7320 5688 1916 | 0.000 % | c | 32686 | 2189 2067 128526 | 8052 6194 1916 | 0.000 % | c =============================================================================== c New solution: 3740702 c Elapsed CPU time: 67.5807 s Remaining CPU time: 112.419 s c =============================================================================== c | 33404 | 2189 2068 130475 | 5000 6912 1916 | 0.000 % | c =============================================================================== c New solution: 3740469 c Elapsed CPU time: 67.9197 s Remaining CPU time: 112.08 s c =============================================================================== c | 33467 | 2189 2069 132424 | 5000 3519 1916 | 0.000 % | c =============================================================================== c New solution: 3740345 c Elapsed CPU time: 68.0537 s Remaining CPU time: 111.946 s c =============================================================================== c | 33482 | 2189 2070 134373 | 5000 3534 1916 | 0.000 % | c =============================================================================== c New solution: 3740287 c Elapsed CPU time: 68.2446 s Remaining CPU time: 111.755 s c =============================================================================== c | 33539 | 2189 2071 136322 | 5000 3591 1916 | 0.000 % | c | 33640 | 2189 2071 136322 | 5500 3692 1916 | 0.000 % | c =============================================================================== c New solution: 3740154 c Elapsed CPU time: 68.8425 s Remaining CPU time: 111.157 s c =============================================================================== c | 33737 | 2189 2072 138271 | 5000 3789 1916 | 0.000 % | c =============================================================================== c New solution: 3739882 c Elapsed CPU time: 69.0665 s Remaining CPU time: 110.933 s c =============================================================================== c | 33776 | 2189 2073 140220 | 5000 3828 1916 | 0.000 % | c =============================================================================== c New solution: 3739470 c Elapsed CPU time: 69.3035 s Remaining CPU time: 110.697 s c =============================================================================== c | 33841 | 2189 2074 142169 | 5000 3893 1916 | 0.000 % | c | 33941 | 2189 2074 142169 | 5500 3993 1916 | 0.000 % | c | 34091 | 2189 2074 142169 | 6050 4143 1916 | 0.000 % | c =============================================================================== c New solution: 3739390 c Elapsed CPU time: 70.4483 s Remaining CPU time: 109.552 s c =============================================================================== c | 34249 | 2189 2075 144118 | 5000 4301 1916 | 0.000 % | c | 34349 | 2189 2075 144118 | 5500 4401 1916 | 0.000 % | c =============================================================================== c New solution: 3739200 c Elapsed CPU time: 71.0312 s Remaining CPU time: 108.969 s c =============================================================================== c | 34437 | 2189 2076 146067 | 5000 4489 1916 | 0.000 % | c =============================================================================== c New solution: 3739177 c Elapsed CPU time: 71.3352 s Remaining CPU time: 108.665 s c =============================================================================== c | 34525 | 2189 2077 148016 | 5000 4577 1916 | 0.000 % | c | 34626 | 2189 2077 148016 | 5500 4678 1916 | 0.000 % | c | 34776 | 2189 2077 148016 | 6050 4828 1916 | 0.000 % | c | 35001 | 2189 2077 148016 | 6655 5053 1916 | 0.000 % | c =============================================================================== c New solution: 3738984 c Elapsed CPU time: 73.0339 s Remaining CPU time: 106.966 s c =============================================================================== c | 35067 | 2189 2078 149965 | 5000 5119 1916 | 0.000 % | c | 35168 | 2189 2078 149965 | 5500 2661 1916 | 0.000 % | c | 35319 | 2189 2078 149965 | 6050 2812 1916 | 0.000 % | c | 35544 | 2189 2078 149965 | 6655 3037 1916 | 0.000 % | c =============================================================================== c New solution: 3738865 c Elapsed CPU time: 75.2716 s Remaining CPU time: 104.728 s c =============================================================================== c | 35817 | 2189 2079 151914 | 5000 3310 1916 | 0.000 % | c | 35918 | 2189 2079 151914 | 5500 3411 1916 | 0.000 % | c | 36070 | 2189 2079 151914 | 6050 3563 1916 | 0.000 % | c =============================================================================== c New solution: 3738844 c Elapsed CPU time: 76.3834 s Remaining CPU time: 103.617 s c =============================================================================== c | 36103 | 2189 2080 153863 | 5000 3596 1916 | 0.000 % | c | 36203 | 2189 2080 153863 | 5500 3696 1916 | 0.000 % | c | 36354 | 2189 2080 153863 | 6050 3847 1916 | 0.000 % | c =============================================================================== c New solution: 3738769 c Elapsed CPU time: 77.4722 s Remaining CPU time: 102.528 s c =============================================================================== c | 36425 | 2189 2081 155812 | 5000 3918 1916 | 0.000 % | c | 36525 | 2189 2081 155812 | 5500 4018 1916 | 0.000 % | c =============================================================================== c New solution: 3738575 c Elapsed CPU time: 78.3061 s Remaining CPU time: 101.694 s c =============================================================================== c | 36663 | 2189 2082 157761 | 5000 4156 1916 | 0.000 % | c | 36763 | 2189 2082 157761 | 5500 4256 1916 | 0.000 % | c | 36913 | 2189 2082 157761 | 6050 4406 1916 | 0.000 % | c =============================================================================== c New solution: 3738513 c Elapsed CPU time: 79.5379 s Remaining CPU time: 100.462 s c =============================================================================== c | 37046 | 2189 2083 159710 | 5000 4539 1916 | 0.000 % | c =============================================================================== c New solution: 3738505 c Elapsed CPU time: 79.8039 s Remaining CPU time: 100.196 s c =============================================================================== c | 37095 | 2189 2084 161659 | 5000 4588 1916 | 0.000 % | c | 37196 | 2189 2084 161659 | 5500 4689 1916 | 0.000 % | c | 37347 | 2189 2084 161659 | 6050 4840 1917 | 0.000 % | c | 37572 | 2189 2084 161659 | 6655 5065 1917 | 0.000 % | c =============================================================================== c New solution: 3738327 c Elapsed CPU time: 81.5486 s Remaining CPU time: 98.4514 s c =============================================================================== c | 37631 | 2189 2085 163608 | 5000 5124 1917 | 0.000 % | c | 37732 | 2189 2085 163608 | 5500 2663 1917 | 0.000 % | c | 37882 | 2189 2085 163608 | 6050 2813 1917 | 0.000 % | c | 38107 | 2189 2085 163608 | 6655 3038 1917 | 0.000 % | c =============================================================================== c New solution: 3738213 c Elapsed CPU time: 83.3783 s Remaining CPU time: 96.6217 s c =============================================================================== c | 38193 | 2189 2086 165557 | 5000 3124 1917 | 0.000 % | c | 38293 | 2189 2086 165557 | 5500 3224 1917 | 0.000 % | c | 38443 | 2189 2086 165557 | 6050 3374 1917 | 0.000 % | c =============================================================================== c New solution: 3738038 c Elapsed CPU time: 84.6621 s Remaining CPU time: 95.3379 s c =============================================================================== c | 38549 | 2189 2087 167506 | 5000 3480 1917 | 0.000 % | c =============================================================================== c New solution: 3737871 c Elapsed CPU time: 85.0851 s Remaining CPU time: 94.9149 s c =============================================================================== c | 38642 | 2189 2088 169455 | 5000 3573 1917 | 0.000 % | c | 38744 | 2189 2088 169455 | 5500 3675 1917 | 0.000 % | c =============================================================================== c New solution: 3737799 c Elapsed CPU time: 86.1479 s Remaining CPU time: 93.8521 s c =============================================================================== c | 38882 | 2189 2089 171404 | 5000 3813 1917 | 0.000 % | c | 38982 | 2189 2089 171404 | 5500 3913 1917 | 0.000 % | c | 39133 | 2189 2089 171404 | 6050 4064 1917 | 0.000 % | c =============================================================================== c New solution: 3737627 c Elapsed CPU time: 87.3217 s Remaining CPU time: 92.6783 s c =============================================================================== c | 39143 | 2189 2090 173353 | 5000 4074 1917 | 0.000 % | c | 39243 | 2189 2090 173353 | 5500 4174 1917 | 0.000 % | c | 39394 | 2189 2090 173353 | 6050 4325 1917 | 0.000 % | c =============================================================================== c New solution: 3737482 c Elapsed CPU time: 88.3636 s Remaining CPU time: 91.6364 s c =============================================================================== c | 39416 | 2189 2091 175302 | 5000 4347 1917 | 0.000 % | c | 39517 | 2189 2091 175302 | 5500 4448 1917 | 0.000 % | c | 39667 | 2189 2091 175302 | 6050 4598 1917 | 0.000 % | c | 39892 | 2189 2091 175302 | 6655 4823 1917 | 0.000 % | c | 40229 | 2189 2091 175302 | 7320 5160 1917 | 0.000 % | c | 40736 | 2189 2091 175302 | 8052 5667 1917 | 0.000 % | c =============================================================================== c New solution: 3737426 c Elapsed CPU time: 93.2318 s Remaining CPU time: 86.7682 s c =============================================================================== c | 41074 | 2189 2092 177251 | 5000 6005 1917 | 0.000 % | c =============================================================================== c New solution: 3736809 c Elapsed CPU time: 93.5068 s Remaining CPU time: 86.4932 s c =============================================================================== c | 41109 | 2189 2093 179200 | 5000 3038 1916 | 0.000 % | c =============================================================================== c New solution: 3736757 c Elapsed CPU time: 93.7587 s Remaining CPU time: 86.2413 s c =============================================================================== c | 41173 | 2189 2094 181149 | 5000 3102 1916 | 0.000 % | c | 41273 | 2189 2094 181149 | 5500 3202 1916 | 0.000 % | c | 41423 | 2189 2094 181149 | 6050 3352 1916 | 0.000 % | c | 41648 | 2189 2094 181149 | 6655 3577 1916 | 0.000 % | c =============================================================================== c New solution: 3736631 c Elapsed CPU time: 95.5435 s Remaining CPU time: 84.4565 s c =============================================================================== c | 41703 | 2189 2095 183098 | 5000 3632 1916 | 0.000 % | c | 41805 | 2189 2095 183098 | 5500 3734 1916 | 0.000 % | c | 41955 | 2189 2095 183098 | 6050 3884 1916 | 0.000 % | c =============================================================================== c New solution: 3736579 c Elapsed CPU time: 96.8563 s Remaining CPU time: 83.1437 s c =============================================================================== c | 42036 | 2189 2096 185047 | 5000 3965 1916 | 0.000 % | c | 42136 | 2189 2096 185047 | 5500 4065 1916 | 0.000 % | c =============================================================================== c New solution: 3736366 c Elapsed CPU time: 97.7141 s Remaining CPU time: 82.2859 s c =============================================================================== c | 42249 | 2189 2097 186996 | 5000 4178 1916 | 0.000 % | c | 42349 | 2189 2097 186996 | 5500 4278 1916 | 0.000 % | c | 42500 | 2189 2097 186996 | 6050 4429 1916 | 0.000 % | c | 42726 | 2189 2097 186996 | 6655 4655 1916 | 0.000 % | c =============================================================================== c New solution: 3736317 c Elapsed CPU time: 100.533 s Remaining CPU time: 79.4673 s c =============================================================================== c | 43031 | 2189 2098 188945 | 5000 4960 1916 | 0.000 % | c | 43131 | 2189 2098 188945 | 5500 5060 1916 | 0.000 % | c | 43282 | 2189 2098 188945 | 6050 5211 1916 | 0.000 % | c =============================================================================== c New solution: 3736083 c Elapsed CPU time: 102.091 s Remaining CPU time: 77.9085 s c =============================================================================== c | 43475 | 2189 2099 190894 | 5000 5404 1916 | 0.000 % | c | 43575 | 2189 2099 190894 | 5500 2802 1916 | 0.000 % | c =============================================================================== c New solution: 3736062 c Elapsed CPU time: 103.151 s Remaining CPU time: 76.8487 s c =============================================================================== c | 43717 | 2189 2100 192843 | 5000 2944 1916 | 0.000 % | c | 43817 | 2189 2100 192843 | 5500 3044 1916 | 0.000 % | c | 43967 | 2189 2100 192843 | 6050 3194 1916 | 0.000 % | c | 44192 | 2189 2100 192843 | 6655 3419 1915 | 0.000 % | c | 44529 | 2189 2100 192843 | 7320 3756 1915 | 0.000 % | c | 45036 | 2189 2100 192843 | 8052 4263 1915 | 0.000 % | c =============================================================================== c New solution: 3735986 c Elapsed CPU time: 108.541 s Remaining CPU time: 71.4585 s c =============================================================================== c | 45489 | 2189 2101 194792 | 5000 4716 1915 | 0.000 % | c | 45590 | 2189 2101 194792 | 5500 4817 1915 | 0.000 % | c =============================================================================== c New solution: 3735948 c Elapsed CPU time: 109.165 s Remaining CPU time: 70.8346 s c =============================================================================== c | 45597 | 2189 2102 196741 | 5000 4824 1915 | 0.000 % | c =============================================================================== c New solution: 3735358 c Elapsed CPU time: 109.544 s Remaining CPU time: 70.4557 s c =============================================================================== c | 45676 | 2189 2103 198690 | 5000 4903 1915 | 0.000 % | c | 45776 | 2189 2103 198690 | 5500 5003 1915 | 0.000 % | c | 45927 | 2189 2103 198690 | 6050 5154 1915 | 0.000 % | c =============================================================================== c New solution: 3735330 c Elapsed CPU time: 111.07 s Remaining CPU time: 68.9299 s c =============================================================================== c | 46129 | 2189 2104 200639 | 5000 5356 1915 | 0.000 % | c | 46230 | 2189 2104 200639 | 5500 2779 1913 | 0.000 % | c | 46380 | 2189 2104 200639 | 6050 2929 1913 | 0.000 % | c =============================================================================== c New solution: 3735325 c Elapsed CPU time: 112.37 s Remaining CPU time: 67.6301 s c =============================================================================== c | 46446 | 2189 2105 202588 | 5000 2995 1913 | 0.000 % | c | 46548 | 2189 2105 202588 | 5500 3097 1913 | 0.000 % | c =============================================================================== c New solution: 3735080 c Elapsed CPU time: 113.207 s Remaining CPU time: 66.7932 s c =============================================================================== c | 46671 | 2189 2106 204537 | 5000 3220 1913 | 0.000 % | c | 46771 | 2189 2106 204537 | 5500 3320 1913 | 0.000 % | c =============================================================================== c New solution: 3734952 c Elapsed CPU time: 114.12 s Remaining CPU time: 65.8803 s c =============================================================================== c | 46917 | 2189 2107 206486 | 5000 3466 1913 | 0.000 % | c | 47017 | 2189 2107 206486 | 5500 3566 1914 | 0.000 % | c | 47167 | 2189 2107 206486 | 6050 3716 1913 | 0.000 % | c | 47392 | 2189 2107 206486 | 6655 3941 1914 | 0.000 % | c | 47729 | 2189 2107 206486 | 7320 4278 1914 | 0.000 % | c =============================================================================== c New solution: 3734569 c Elapsed CPU time: 118.019 s Remaining CPU time: 61.9809 s c =============================================================================== c | 48067 | 2189 2108 208435 | 5000 4616 1914 | 0.000 % | c | 48167 | 2189 2108 208435 | 5500 4716 1914 | 0.000 % | c | 48317 | 2189 2108 208435 | 6050 4866 1914 | 0.000 % | c | 48542 | 2189 2108 208435 | 6655 5091 1914 | 0.000 % | c | 48880 | 2189 2108 208435 | 7320 5429 1914 | 0.000 % | c =============================================================================== c New solution: 3734391 c Elapsed CPU time: 121.435 s Remaining CPU time: 58.5655 s c =============================================================================== c | 48984 | 2189 2109 210384 | 5000 5533 1914 | 0.000 % | c | 49084 | 2189 2109 210384 | 5500 2867 1914 | 0.000 % | c | 49235 | 2189 2109 210384 | 6050 3018 1914 | 0.000 % | c =============================================================================== c New solution: 3734289 c Elapsed CPU time: 122.999 s Remaining CPU time: 57.0007 s c =============================================================================== c | 49321 | 2189 2110 212333 | 5000 3104 1914 | 0.000 % | c | 49422 | 2189 2110 212333 | 5500 3205 1914 | 0.000 % | c | 49572 | 2189 2110 212333 | 6050 3355 1914 | 0.000 % | c =============================================================================== c New solution: 3733936 c Elapsed CPU time: 124.504 s Remaining CPU time: 55.4959 s c =============================================================================== c | 49605 | 2189 2111 214282 | 5000 3388 1914 | 0.000 % | c | 49706 | 2189 2111 214282 | 5500 3489 1914 | 0.000 % | c | 49856 | 2189 2111 214282 | 6050 3639 1914 | 0.000 % | c | 50082 | 2189 2111 214282 | 6655 3865 1914 | 0.000 % |