c wbo 1.4 beta - 20100610 c | Number of variables: 290 | c | Number of clauses: 2056 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2209 | c | Number Clauses: 2016 | 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 | 2209 2016 7786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808266 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 2209 2017 9745 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808181 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2209 2018 11704 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3806742 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 2209 2019 13663 | 5000 1 1933 | 0.000 % | c =============================================================================== c New solution: 3806304 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 13 | 2209 2020 15622 | 5000 13 1933 | 0.000 % | c =============================================================================== c New solution: 3805406 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 41 | 2209 2021 17581 | 5000 41 1933 | 0.000 % | c =============================================================================== c New solution: 3804203 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 48 | 2209 2022 19540 | 5000 48 1933 | 0.000 % | c =============================================================================== c New solution: 3804199 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 119 | 2209 2023 21499 | 5000 119 1933 | 0.000 % | c | 220 | 2209 2023 21499 | 5500 220 1933 | 0.000 % | c | 371 | 2209 2023 21499 | 6050 371 1932 | 0.000 % | c =============================================================================== c New solution: 3804188 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 497 | 2209 2024 23458 | 5000 497 1932 | 0.000 % | c | 598 | 2209 2024 23458 | 5500 598 1932 | 0.000 % | c | 748 | 2209 2024 23458 | 6050 748 1931 | 0.000 % | c =============================================================================== c New solution: 3804167 c Elapsed CPU time: 1.03084 s Remaining CPU time: 178.969 s c =============================================================================== c | 968 | 2209 2025 25417 | 5000 968 1931 | 0.000 % | c | 1068 | 2209 2025 25417 | 5500 1068 1931 | 0.000 % | c | 1219 | 2209 2025 25417 | 6050 1219 1931 | 0.000 % | c | 1445 | 2209 2025 25417 | 6655 1445 1931 | 0.000 % | c =============================================================================== c New solution: 3804132 c Elapsed CPU time: 1.80773 s Remaining CPU time: 178.192 s c =============================================================================== c | 1665 | 2209 2026 27376 | 5000 1665 1931 | 0.000 % | c | 1766 | 2209 2026 27376 | 5500 1766 1931 | 0.000 % | c | 1917 | 2209 2026 27376 | 6050 1917 1931 | 0.000 % | c =============================================================================== c New solution: 3804120 c Elapsed CPU time: 2.39963 s Remaining CPU time: 177.6 s c =============================================================================== c | 2114 | 2209 2027 29335 | 5000 2114 1931 | 0.000 % | c | 2214 | 2209 2027 29335 | 5500 2214 1931 | 0.000 % | c | 2365 | 2209 2027 29335 | 6050 2365 1931 | 0.000 % | c =============================================================================== c New solution: 3804089 c Elapsed CPU time: 2.95955 s Remaining CPU time: 177.04 s c =============================================================================== c | 2488 | 2209 2028 31294 | 5000 2488 1931 | 0.000 % | c | 2588 | 2209 2028 31294 | 5500 2588 1931 | 0.000 % | c | 2738 | 2209 2028 31294 | 6050 2738 1931 | 0.000 % | c =============================================================================== c New solution: 3803662 c Elapsed CPU time: 3.60645 s Remaining CPU time: 176.394 s c =============================================================================== c | 2808 | 2209 2029 33253 | 5000 2808 1931 | 0.000 % | c | 2908 | 2209 2029 33253 | 5500 2908 1931 | 0.000 % | c | 3058 | 2209 2029 33253 | 6050 3058 1931 | 0.000 % | c | 3284 | 2209 2029 33253 | 6655 3284 1931 | 0.000 % | c | 3622 | 2209 2029 33253 | 7320 3622 1931 | 0.000 % | c =============================================================================== c New solution: 3803473 c Elapsed CPU time: 5.30119 s Remaining CPU time: 174.699 s c =============================================================================== c | 4003 | 2209 2030 35212 | 5000 4003 1931 | 0.000 % | c | 4105 | 2209 2030 35212 | 5500 4105 1931 | 0.000 % | c | 4256 | 2209 2030 35212 | 6050 4256 1931 | 0.000 % | c | 4482 | 2209 2030 35212 | 6655 4482 1931 | 0.000 % | c =============================================================================== c New solution: 3803124 c Elapsed CPU time: 6.44802 s Remaining CPU time: 173.552 s c =============================================================================== c | 4729 | 2209 2031 37171 | 5000 4729 1931 | 0.000 % | c | 4829 | 2209 2031 37171 | 5500 4829 1931 | 0.000 % | c | 4979 | 2209 2031 37171 | 6050 4979 1931 | 0.000 % | c | 5204 | 2209 2031 37171 | 6655 5204 1931 | 0.000 % | c =============================================================================== c New solution: 3803010 c Elapsed CPU time: 8.22375 s Remaining CPU time: 171.776 s c =============================================================================== c | 5445 | 2209 2032 39130 | 5000 5445 1931 | 0.000 % | c | 5545 | 2209 2032 39130 | 5500 2823 1931 | 0.000 % | c | 5696 | 2209 2032 39130 | 6050 2974 1931 | 0.000 % | c | 5921 | 2209 2032 39130 | 6655 3199 1931 | 0.000 % | c =============================================================================== c New solution: 3802970 c Elapsed CPU time: 9.41257 s Remaining CPU time: 170.587 s c =============================================================================== c | 6141 | 2209 2033 41089 | 5000 3419 1931 | 0.000 % | c | 6241 | 2209 2033 41089 | 5500 3519 1931 | 0.000 % | c =============================================================================== c New solution: 3802954 c Elapsed CPU time: 9.8925 s Remaining CPU time: 170.108 s c =============================================================================== c | 6271 | 2209 2034 43048 | 5000 3549 1931 | 0.000 % | c | 6371 | 2209 2034 43048 | 5500 3649 1931 | 0.000 % | c | 6521 | 2209 2034 43048 | 6050 3799 1931 | 0.000 % | c | 6746 | 2209 2034 43048 | 6655 4024 1931 | 0.000 % | c =============================================================================== c New solution: 3802942 c Elapsed CPU time: 11.3363 s Remaining CPU time: 168.664 s c =============================================================================== c | 7023 | 2209 2035 45007 | 5000 4301 1931 | 0.000 % | c | 7123 | 2209 2035 45007 | 5500 4401 1931 | 0.000 % | c =============================================================================== c New solution: 3802929 c Elapsed CPU time: 11.7902 s Remaining CPU time: 168.21 s c =============================================================================== c | 7224 | 2209 2036 46966 | 5000 4502 1931 | 0.000 % | c | 7324 | 2209 2036 46966 | 5500 4602 1931 | 0.000 % | c | 7474 | 2209 2036 46966 | 6050 4752 1931 | 0.000 % | c | 7699 | 2209 2036 46966 | 6655 4977 1931 | 0.000 % | c | 8037 | 2209 2036 46966 | 7320 5315 1931 | 0.000 % | c =============================================================================== c New solution: 3802922 c Elapsed CPU time: 14.1418 s Remaining CPU time: 165.858 s c =============================================================================== c | 8454 | 2209 2037 48925 | 5000 5732 1931 | 0.000 % | c | 8555 | 2209 2037 48925 | 5500 2967 1931 | 0.000 % | c | 8707 | 2209 2037 48925 | 6050 3119 1931 | 0.000 % | c | 8934 | 2209 2037 48925 | 6655 3346 1931 | 0.000 % | c =============================================================================== c New solution: 3802714 c Elapsed CPU time: 15.5046 s Remaining CPU time: 164.495 s c =============================================================================== c | 9151 | 2209 2038 50884 | 5000 3563 1931 | 0.000 % | c | 9251 | 2209 2038 50884 | 5500 3663 1931 | 0.000 % | c | 9402 | 2209 2038 50884 | 6050 3814 1931 | 0.000 % | c | 9627 | 2209 2038 50884 | 6655 4039 1931 | 0.000 % | c =============================================================================== c New solution: 3802618 c Elapsed CPU time: 16.9424 s Remaining CPU time: 163.058 s c =============================================================================== c | 9770 | 2209 2039 52843 | 5000 4182 1931 | 0.000 % | c | 9871 | 2209 2039 52843 | 5500 4283 1931 | 0.000 % | c | 10022 | 2209 2039 52843 | 6050 4434 1931 | 0.000 % | c | 10247 | 2209 2039 52843 | 6655 4659 1931 | 0.000 % | c | 10585 | 2209 2039 52843 | 7320 4997 1931 | 0.000 % | c =============================================================================== c New solution: 3802610 c Elapsed CPU time: 19.572 s Remaining CPU time: 160.428 s c =============================================================================== c | 10979 | 2209 2040 54802 | 5000 5391 1931 | 0.000 % | c | 11080 | 2209 2040 54802 | 5500 2797 1931 | 0.000 % | c | 11231 | 2209 2040 54802 | 6050 2948 1931 | 0.000 % | c =============================================================================== c New solution: 3802448 c Elapsed CPU time: 20.4209 s Remaining CPU time: 159.579 s c =============================================================================== c | 11437 | 2209 2041 56761 | 5000 3154 1931 | 0.000 % | c | 11537 | 2209 2041 56761 | 5500 3254 1931 | 0.000 % | c =============================================================================== c New solution: 3802283 c Elapsed CPU time: 20.9328 s Remaining CPU time: 159.067 s c =============================================================================== c | 11649 | 2209 2042 58720 | 5000 3366 1931 | 0.000 % | c | 11749 | 2209 2042 58720 | 5500 3466 1931 | 0.000 % | c | 11900 | 2209 2042 58720 | 6050 3617 1931 | 0.000 % | c | 12125 | 2209 2042 58720 | 6655 3842 1931 | 0.000 % | c | 12462 | 2209 2042 58720 | 7320 4179 1931 | 0.000 % | c =============================================================================== c New solution: 3802227 c Elapsed CPU time: 23.4954 s Remaining CPU time: 156.505 s c =============================================================================== c | 12795 | 2209 2043 60679 | 5000 4512 1931 | 0.000 % | c | 12896 | 2209 2043 60679 | 5500 4613 1931 | 0.000 % | c | 13046 | 2209 2043 60679 | 6050 4763 1931 | 0.000 % | c | 13271 | 2209 2043 60679 | 6655 4988 1931 | 0.000 % | c | 13609 | 2209 2043 60679 | 7320 5326 1931 | 0.000 % | c | 14115 | 2209 2043 60679 | 8052 5832 1931 | 0.000 % | c =============================================================================== c New solution: 3802223 c Elapsed CPU time: 27.6548 s Remaining CPU time: 152.345 s c =============================================================================== c | 14455 | 2209 2044 62638 | 5000 6172 1931 | 0.000 % | c | 14556 | 2209 2044 62638 | 5500 3187 1931 | 0.000 % | c | 14706 | 2209 2044 62638 | 6050 3337 1931 | 0.000 % | c =============================================================================== c New solution: 3801787 c Elapsed CPU time: 28.4617 s Remaining CPU time: 151.538 s c =============================================================================== c | 14768 | 2209 2045 64597 | 5000 3399 1931 | 0.000 % | c | 14868 | 2209 2045 64597 | 5500 3499 1931 | 0.000 % | c | 15018 | 2209 2045 64597 | 6050 3649 1931 | 0.000 % | c | 15245 | 2209 2045 64597 | 6655 3876 1931 | 0.000 % | c | 15583 | 2209 2045 64597 | 7320 4214 1931 | 0.000 % | c | 16089 | 2209 2045 64597 | 8052 4720 1931 | 0.000 % | c | 16848 | 2209 2045 64597 | 8857 5479 1931 | 0.000 % | c | 17987 | 2209 2045 64597 | 9743 6618 1930 | 0.000 % | c =============================================================================== c New solution: 3801500 c Elapsed CPU time: 34.8567 s Remaining CPU time: 145.143 s c =============================================================================== c | 17993 | 2209 2046 66556 | 5000 6624 1930 | 0.000 % | c =============================================================================== c New solution: 3801416 c Elapsed CPU time: 34.9367 s Remaining CPU time: 145.063 s c =============================================================================== c | 17993 | 2209 2047 68515 | 5000 3312 1930 | 0.000 % | c =============================================================================== c New solution: 3801113 c Elapsed CPU time: 34.9817 s Remaining CPU time: 145.018 s c =============================================================================== c | 17993 | 2209 2048 70474 | 5000 3312 1930 | 0.000 % | c =============================================================================== c New solution: 3800533 c Elapsed CPU time: 35.0217 s Remaining CPU time: 144.978 s c =============================================================================== c | 17994 | 2209 2049 72433 | 5000 3313 1930 | 0.000 % | c =============================================================================== c New solution: 3800347 c Elapsed CPU time: 35.1237 s Remaining CPU time: 144.876 s c =============================================================================== c | 18026 | 2209 2050 74392 | 5000 3345 1930 | 0.000 % | c | 18127 | 2209 2050 74392 | 5500 3446 1930 | 0.000 % | c | 18279 | 2209 2050 74392 | 6050 3598 1930 | 0.000 % | c | 18504 | 2209 2050 74392 | 6655 3823 1930 | 0.000 % | c | 18842 | 2209 2050 74392 | 7320 4161 1929 | 0.000 % | c =============================================================================== c New solution: 3800173 c Elapsed CPU time: 37.1044 s Remaining CPU time: 142.896 s c =============================================================================== c | 19193 | 2209 2051 76351 | 5000 4512 1929 | 0.000 % | c | 19293 | 2209 2051 76351 | 5500 4612 1929 | 0.000 % | c | 19444 | 2209 2051 76351 | 6050 4763 1929 | 0.000 % | c | 19669 | 2209 2051 76351 | 6655 4988 1929 | 0.000 % | c | 20007 | 2209 2051 76351 | 7320 5326 1929 | 0.000 % | c =============================================================================== c New solution: 3799981 c Elapsed CPU time: 39.225 s Remaining CPU time: 140.775 s c =============================================================================== c | 20244 | 2209 2052 78310 | 5000 5563 1929 | 0.000 % | c | 20344 | 2209 2052 78310 | 5500 2882 1928 | 0.000 % | c | 20494 | 2209 2052 78310 | 6050 3032 1928 | 0.000 % | c | 20720 | 2209 2052 78310 | 6655 3258 1929 | 0.000 % | c | 21058 | 2209 2052 78310 | 7320 3596 1929 | 0.000 % | c =============================================================================== c New solution: 3799558 c Elapsed CPU time: 40.9188 s Remaining CPU time: 139.081 s c =============================================================================== c | 21138 | 2209 2053 80269 | 5000 3676 1929 | 0.000 % | c | 21238 | 2209 2053 80269 | 5500 3776 1929 | 0.000 % | c | 21390 | 2209 2053 80269 | 6050 3928 1929 | 0.000 % | c | 21616 | 2209 2053 80269 | 6655 4154 1928 | 0.000 % | c | 21953 | 2209 2053 80269 | 7320 4491 1929 | 0.000 % | c | 22461 | 2209 2053 80269 | 8052 4999 1928 | 0.000 % | c | 23221 | 2209 2053 80269 | 8857 5759 1929 | 0.000 % | c | 24361 | 2209 2053 80269 | 9743 6899 1928 | 0.000 % | c =============================================================================== c New solution: 3799345 c Elapsed CPU time: 48.7456 s Remaining CPU time: 131.254 s c =============================================================================== c | 24536 | 2209 2054 82228 | 5000 7074 1928 | 0.000 % | c | 24636 | 2209 2054 82228 | 5500 3637 1928 | 0.000 % | c | 24786 | 2209 2054 82228 | 6050 3787 1928 | 0.000 % | c | 25011 | 2209 2054 82228 | 6655 4012 1928 | 0.000 % | c | 25349 | 2209 2054 82228 | 7320 4350 1928 | 0.000 % | c | 25856 | 2209 2054 82228 | 8052 4857 1928 | 0.000 % | c =============================================================================== c New solution: 3799114 c Elapsed CPU time: 51.6591 s Remaining CPU time: 128.341 s c =============================================================================== c | 26054 | 2209 2055 84187 | 5000 5055 1928 | 0.000 % | c | 26154 | 2209 2055 84187 | 5500 2628 1927 | 0.000 % | c =============================================================================== c New solution: 3799106 c Elapsed CPU time: 52.1441 s Remaining CPU time: 127.856 s c =============================================================================== c | 26184 | 2209 2056 86146 | 5000 2658 1927 | 0.000 % | c | 26286 | 2209 2056 86146 | 5500 2760 1927 | 0.000 % | c | 26436 | 2209 2056 86146 | 6050 2910 1927 | 0.000 % | c =============================================================================== c New solution: 3799070 c Elapsed CPU time: 52.884 s Remaining CPU time: 127.116 s c =============================================================================== c | 26503 | 2209 2057 88105 | 5000 2977 1927 | 0.000 % | c =============================================================================== c New solution: 3798991 c Elapsed CPU time: 53.0879 s Remaining CPU time: 126.912 s c =============================================================================== c | 26580 | 2209 2058 90064 | 5000 3054 1927 | 0.000 % | c | 26680 | 2209 2058 90064 | 5500 3154 1927 | 0.000 % | c =============================================================================== c New solution: 3798962 c Elapsed CPU time: 53.4259 s Remaining CPU time: 126.574 s c =============================================================================== c | 26711 | 2209 2059 92023 | 5000 3185 1927 | 0.000 % | c | 26812 | 2209 2059 92023 | 5500 3286 1927 | 0.000 % | c | 26962 | 2209 2059 92023 | 6050 3436 1927 | 0.000 % | c | 27188 | 2209 2059 92023 | 6655 3662 1927 | 0.000 % | c | 27527 | 2209 2059 92023 | 7320 4001 1927 | 0.000 % | c =============================================================================== c New solution: 3798327 c Elapsed CPU time: 55.6205 s Remaining CPU time: 124.379 s c =============================================================================== c | 27530 | 2209 2060 93982 | 5000 4004 1927 | 0.000 % | c | 27631 | 2209 2060 93982 | 5500 4105 1927 | 0.000 % | c | 27782 | 2209 2060 93982 | 6050 4256 1927 | 0.000 % | c | 28007 | 2209 2060 93982 | 6655 4481 1927 | 0.000 % | c | 28345 | 2209 2060 93982 | 7320 4819 1927 | 0.000 % | c | 28852 | 2209 2060 93982 | 8052 5326 1927 | 0.000 % | c | 29611 | 2209 2060 93982 | 8857 6085 1927 | 0.000 % | c | 30751 | 2209 2060 93982 | 9743 7225 1928 | 0.000 % | c | 32459 | 2209 2060 93982 | 10717 8933 1927 | 0.000 % | c =============================================================================== c New solution: 3798231 c Elapsed CPU time: 66.8098 s Remaining CPU time: 113.19 s c =============================================================================== c | 32459 | 2209 2061 95941 | 5000 8933 1927 | 0.000 % | c =============================================================================== c New solution: 3798139 c Elapsed CPU time: 66.9808 s Remaining CPU time: 113.019 s c =============================================================================== c | 32459 | 2209 2062 97900 | 5000 4467 1927 | 0.000 % | c =============================================================================== c New solution: 3798032 c Elapsed CPU time: 67.0408 s Remaining CPU time: 112.959 s c =============================================================================== c | 32459 | 2209 2063 99859 | 5000 4467 1927 | 0.000 % | c =============================================================================== c New solution: 3797503 c Elapsed CPU time: 67.1028 s Remaining CPU time: 112.897 s c =============================================================================== c | 32459 | 2209 2064 101818 | 5000 4467 1927 | 0.000 % | c =============================================================================== c New solution: 3797418 c Elapsed CPU time: 67.1618 s Remaining CPU time: 112.838 s c =============================================================================== c | 32459 | 2209 2065 103777 | 5000 4467 1927 | 0.000 % | c =============================================================================== c New solution: 3797263 c Elapsed CPU time: 67.2208 s Remaining CPU time: 112.779 s c =============================================================================== c | 32459 | 2209 2066 105736 | 5000 4467 1927 | 0.000 % | c =============================================================================== c New solution: 3797174 c Elapsed CPU time: 67.3858 s Remaining CPU time: 112.614 s c =============================================================================== c | 32533 | 2209 2067 107695 | 5000 4541 1927 | 0.000 % | c | 32634 | 2209 2067 107695 | 5500 4642 1927 | 0.000 % | c =============================================================================== c New solution: 3797158 c Elapsed CPU time: 67.8847 s Remaining CPU time: 112.115 s c =============================================================================== c | 32651 | 2209 2068 109654 | 5000 4659 1927 | 0.000 % | c =============================================================================== c New solution: 3796985 c Elapsed CPU time: 68.0926 s Remaining CPU time: 111.907 s c =============================================================================== c | 32720 | 2209 2069 111613 | 5000 4728 1927 | 0.000 % | c | 32821 | 2209 2069 111613 | 5500 4829 1927 | 0.000 % | c =============================================================================== c New solution: 3796866 c Elapsed CPU time: 68.5306 s Remaining CPU time: 111.469 s c =============================================================================== c | 32903 | 2209 2070 113572 | 5000 4911 1927 | 0.000 % | c =============================================================================== c New solution: 3796860 c Elapsed CPU time: 68.6046 s Remaining CPU time: 111.395 s c =============================================================================== c | 32904 | 2209 2071 115531 | 5000 4912 1927 | 0.000 % | c | 33004 | 2209 2071 115531 | 5500 5012 1927 | 0.000 % | c | 33154 | 2209 2071 115531 | 6050 5162 1927 | 0.000 % | c | 33379 | 2209 2071 115531 | 6655 5387 1927 | 0.000 % | c | 33716 | 2209 2071 115531 | 7320 5724 1927 | 0.000 % | c | 34222 | 2209 2071 115531 | 8052 6230 1927 | 0.000 % | c =============================================================================== c New solution: 3796806 c Elapsed CPU time: 73.1279 s Remaining CPU time: 106.872 s c =============================================================================== c | 34921 | 2209 2072 117490 | 5000 6929 1927 | 0.000 % | c | 35024 | 2209 2072 117490 | 5500 3568 1927 | 0.000 % | c | 35174 | 2209 2072 117490 | 6050 3718 1927 | 0.000 % | c | 35400 | 2209 2072 117490 | 6655 3944 1927 | 0.000 % | c | 35739 | 2209 2072 117490 | 7320 4283 1927 | 0.000 % | c | 36246 | 2209 2072 117490 | 8052 4790 1927 | 0.000 % | c =============================================================================== c New solution: 3796785 c Elapsed CPU time: 77.2023 s Remaining CPU time: 102.798 s c =============================================================================== c | 36903 | 2209 2073 119449 | 5000 5447 1927 | 0.000 % | c | 37003 | 2209 2073 119449 | 5500 2824 1928 | 0.000 % | c | 37153 | 2209 2073 119449 | 6050 2974 1928 | 0.000 % | c | 37378 | 2209 2073 119449 | 6655 3199 1928 | 0.000 % | c | 37716 | 2209 2073 119449 | 7320 3537 1928 | 0.000 % | c | 38223 | 2209 2073 119449 | 8052 4044 1928 | 0.000 % | c =============================================================================== c New solution: 3796679 c Elapsed CPU time: 81.3346 s Remaining CPU time: 98.6654 s c =============================================================================== c | 38585 | 2209 2074 121408 | 5000 4406 1928 | 0.000 % | c | 38685 | 2209 2074 121408 | 5500 4506 1928 | 0.000 % | c =============================================================================== c New solution: 3796624 c Elapsed CPU time: 81.8446 s Remaining CPU time: 98.1554 s c =============================================================================== c | 38748 | 2209 2075 123367 | 5000 4569 1928 | 0.000 % | c | 38848 | 2209 2075 123367 | 5500 4669 1928 | 0.000 % | c | 38998 | 2209 2075 123367 | 6050 4819 1928 | 0.000 % | c | 39223 | 2209 2075 123367 | 6655 5044 1928 | 0.000 % | c | 39560 | 2209 2075 123367 | 7320 5381 1928 | 0.000 % | c =============================================================================== c New solution: 3796465 c Elapsed CPU time: 85.1281 s Remaining CPU time: 94.8719 s c =============================================================================== c | 39998 | 2209 2076 125326 | 5000 5819 1928 | 0.000 % | c | 40100 | 2209 2076 125326 | 5500 3012 1928 | 0.000 % | c | 40251 | 2209 2076 125326 | 6050 3163 1928 | 0.000 % | c | 40476 | 2209 2076 125326 | 6655 3388 1928 | 0.000 % | c | 40814 | 2209 2076 125326 | 7320 3726 1928 | 0.000 % | c | 41320 | 2209 2076 125326 | 8052 4232 1928 | 0.000 % | c =============================================================================== c New solution: 3796228 c Elapsed CPU time: 90.7292 s Remaining CPU time: 89.2708 s c =============================================================================== c | 41949 | 2209 2077 127285 | 5000 4861 1928 | 0.000 % | c | 42050 | 2209 2077 127285 | 5500 4962 1928 | 0.000 % | c | 42200 | 2209 2077 127285 | 6050 5112 1928 | 0.000 % | c | 42426 | 2209 2077 127285 | 6655 5338 1928 | 0.000 % | c | 42763 | 2209 2077 127285 | 7320 5675 1928 | 0.000 % | c | 43269 | 2209 2077 127285 | 8052 6181 1928 | 0.000 % | c =============================================================================== c New solution: 3796224 c Elapsed CPU time: 95.8354 s Remaining CPU time: 84.1646 s c =============================================================================== c | 43738 | 2209 2078 129244 | 5000 6650 1928 | 0.000 % | c | 43838 | 2209 2078 129244 | 5500 3425 1928 | 0.000 % | c | 43988 | 2209 2078 129244 | 6050 3575 1928 | 0.000 % | c | 44215 | 2209 2078 129244 | 6655 3802 1928 | 0.000 % | c | 44552 | 2209 2078 129244 | 7320 4139 1928 | 0.000 % | c | 45060 | 2209 2078 129244 | 8052 4647 1928 | 0.000 % | c =============================================================================== c New solution: 3796219 c Elapsed CPU time: 99.7448 s Remaining CPU time: 80.2552 s c =============================================================================== c | 45348 | 2209 2079 131203 | 5000 4935 1928 | 0.000 % | c | 45448 | 2209 2079 131203 | 5500 5035 1928 | 0.000 % | c | 45598 | 2209 2079 131203 | 6050 5185 1928 | 0.000 % | c | 45823 | 2209 2079 131203 | 6655 5410 1928 | 0.000 % | c | 46163 | 2209 2079 131203 | 7320 5750 1928 | 0.000 % | c | 46669 | 2209 2079 131203 | 8052 6256 1928 | 0.000 % | c | 47428 | 2209 2079 131203 | 8857 7015 1928 | 0.000 % | c | 48568 | 2209 2079 131203 | 9743 8155 1928 | 0.000 % | c | 50276 | 2209 2079 131203 | 10717 9863 1927 | 0.000 % | c =============================================================================== c New solution: 3795639 c Elapsed CPU time: 114.3 s Remaining CPU time: 65.7004 s c =============================================================================== c | 50319 | 2209 2080 133162 | 5000 9906 1927 | 0.000 % |