c wbo 1.4 beta - 20100610 c | Number of variables: 3649 | c | Number of clauses: 13291 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 3649 | c | Number Clauses: 9642 | 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 | 3064 10008 21064 | 5000 0 nan | 0.000 % | c | 100 | 3064 10008 21064 | 5500 100 11 | 16.032 % | c | 251 | 3064 10008 21064 | 6050 251 11 | 16.032 % | c | 476 | 3064 10008 21064 | 6655 476 18 | 16.032 % | c =============================================================================== c New solution: 2020 c Elapsed CPU time: 3.86541 s Remaining CPU time: 176.135 s c =============================================================================== c | 599 | 3064 10009 24266 | 5000 599 18 | 16.032 % | c | 699 | 3064 10009 24266 | 5500 699 18 | 16.033 % | c | 852 | 3062 10009 24266 | 6050 849 19 | 16.087 % | c | 1077 | 3062 10009 24266 | 6655 1074 22 | 16.087 % | c =============================================================================== c New solution: 2007 c Elapsed CPU time: 4.08838 s Remaining CPU time: 175.912 s c =============================================================================== c | 1380 | 3062 10010 27468 | 5000 1377 26 | 16.087 % | c =============================================================================== c New solution: 1993 c Elapsed CPU time: 4.12237 s Remaining CPU time: 175.878 s c =============================================================================== c | 1459 | 3062 10011 30670 | 5000 1456 26 | 16.087 % | c =============================================================================== c New solution: 1992 c Elapsed CPU time: 4.15237 s Remaining CPU time: 175.848 s c =============================================================================== c | 1498 | 3062 10012 33872 | 5000 1495 26 | 16.087 % | c | 1598 | 3062 10012 33872 | 5500 1595 27 | 16.087 % | c =============================================================================== c New solution: 1991 c Elapsed CPU time: 4.23836 s Remaining CPU time: 175.762 s c =============================================================================== c | 1654 | 3062 10013 37074 | 5000 1651 27 | 16.087 % | c =============================================================================== c New solution: 1990 c Elapsed CPU time: 4.28135 s Remaining CPU time: 175.719 s c =============================================================================== c | 1696 | 3062 10014 40276 | 5000 1693 28 | 16.087 % | c =============================================================================== c New solution: 1989 c Elapsed CPU time: 4.32534 s Remaining CPU time: 175.675 s c =============================================================================== c | 1747 | 3062 10015 43478 | 5000 1744 28 | 16.087 % | c | 1848 | 3062 10015 43478 | 5500 1845 29 | 16.087 % | c =============================================================================== c New solution: 1988 c Elapsed CPU time: 4.44932 s Remaining CPU time: 175.551 s c =============================================================================== c | 1879 | 3062 10016 46680 | 5000 1876 29 | 16.087 % | c =============================================================================== c New solution: 1987 c Elapsed CPU time: 4.47932 s Remaining CPU time: 175.521 s c =============================================================================== c | 1901 | 3062 10017 49882 | 5000 1898 29 | 16.087 % | c | 2004 | 3062 10017 49882 | 5500 2001 30 | 16.087 % | c =============================================================================== c New solution: 1986 c Elapsed CPU time: 4.70328 s Remaining CPU time: 175.297 s c =============================================================================== c | 2109 | 3062 10018 53084 | 5000 2106 31 | 16.087 % | c =============================================================================== c New solution: 1985 c Elapsed CPU time: 4.72928 s Remaining CPU time: 175.271 s c =============================================================================== c | 2115 | 3062 10019 56286 | 5000 2112 31 | 16.087 % | c =============================================================================== c New solution: 1984 c Elapsed CPU time: 4.76128 s Remaining CPU time: 175.239 s c =============================================================================== c | 2123 | 3062 10020 59488 | 5000 2120 31 | 16.087 % | c =============================================================================== c New solution: 1983 c Elapsed CPU time: 4.78827 s Remaining CPU time: 175.212 s c =============================================================================== c | 2123 | 3062 10021 62690 | 5000 2120 31 | 16.087 % | c =============================================================================== c New solution: 1982 c Elapsed CPU time: 4.81427 s Remaining CPU time: 175.186 s c =============================================================================== c | 2123 | 3062 10022 65892 | 5000 2120 31 | 16.087 % | c =============================================================================== c New solution: 1981 c Elapsed CPU time: 4.84226 s Remaining CPU time: 175.158 s c =============================================================================== c | 2123 | 3062 10023 69094 | 5000 2120 31 | 16.087 % | c =============================================================================== c New solution: 1980 c Elapsed CPU time: 4.93225 s Remaining CPU time: 175.068 s c =============================================================================== c | 2172 | 3062 10024 72296 | 5000 2169 31 | 16.087 % | c =============================================================================== c New solution: 1979 c Elapsed CPU time: 4.99724 s Remaining CPU time: 175.003 s c =============================================================================== c | 2197 | 3062 10025 75498 | 5000 2194 31 | 16.087 % | c =============================================================================== c New solution: 1978 c Elapsed CPU time: 5.04723 s Remaining CPU time: 174.953 s c =============================================================================== c | 2207 | 3062 10026 78700 | 5000 2204 31 | 16.087 % | c | 2307 | 3062 10026 78700 | 5500 2304 32 | 16.087 % | c =============================================================================== c New solution: 1977 c Elapsed CPU time: 5.2772 s Remaining CPU time: 174.723 s c =============================================================================== c | 2327 | 3062 10027 81902 | 5000 2324 32 | 16.087 % | c =============================================================================== c New solution: 1976 c Elapsed CPU time: 5.34519 s Remaining CPU time: 174.655 s c =============================================================================== c | 2342 | 3062 10028 85104 | 5000 2339 32 | 16.087 % | c =============================================================================== c New solution: 1975 c Elapsed CPU time: 5.39118 s Remaining CPU time: 174.609 s c =============================================================================== c | 2348 | 3062 10029 88306 | 5000 2345 32 | 16.087 % | c | 2448 | 3062 10029 88306 | 5500 2445 32 | 16.087 % | c =============================================================================== c New solution: 1974 c Elapsed CPU time: 5.65714 s Remaining CPU time: 174.343 s c =============================================================================== c | 2456 | 3062 10030 91508 | 5000 2453 32 | 16.087 % | c =============================================================================== c New solution: 1973 c Elapsed CPU time: 5.71713 s Remaining CPU time: 174.283 s c =============================================================================== c | 2465 | 3062 10031 94710 | 5000 2462 32 | 16.087 % | c =============================================================================== c New solution: 1972 c Elapsed CPU time: 5.87811 s Remaining CPU time: 174.122 s c =============================================================================== c | 2530 | 3062 10032 97912 | 5000 2527 33 | 16.087 % | c =============================================================================== c New solution: 1971 c Elapsed CPU time: 5.9501 s Remaining CPU time: 174.05 s c =============================================================================== c | 2543 | 3062 10033 101114 | 5000 2540 33 | 16.087 % | c =============================================================================== c New solution: 1970 c Elapsed CPU time: 6.03808 s Remaining CPU time: 173.962 s c =============================================================================== c | 2567 | 3062 10034 104316 | 5000 2564 33 | 16.087 % | c =============================================================================== c New solution: 1969 c Elapsed CPU time: 6.24105 s Remaining CPU time: 173.759 s c =============================================================================== c | 2634 | 3062 10035 107518 | 5000 2631 33 | 16.087 % | c =============================================================================== c New solution: 1968 c Elapsed CPU time: 6.29304 s Remaining CPU time: 173.707 s c =============================================================================== c | 2635 | 3062 10036 110720 | 5000 2632 33 | 16.087 % | c =============================================================================== c New solution: 1967 c Elapsed CPU time: 6.34104 s Remaining CPU time: 173.659 s c =============================================================================== c | 2635 | 3062 10037 113922 | 5000 2632 33 | 16.087 % | c =============================================================================== c New solution: 1966 c Elapsed CPU time: 6.39003 s Remaining CPU time: 173.61 s c =============================================================================== c | 2635 | 3062 10038 117124 | 5000 2632 33 | 16.087 % | c =============================================================================== c New solution: 1965 c Elapsed CPU time: 6.44102 s Remaining CPU time: 173.559 s c =============================================================================== c | 2637 | 3062 10039 120326 | 5000 2634 33 | 16.087 % | c =============================================================================== c New solution: 1964 c Elapsed CPU time: 6.49301 s Remaining CPU time: 173.507 s c =============================================================================== c | 2637 | 3062 10040 123528 | 5000 2634 33 | 16.087 % | c =============================================================================== c New solution: 1963 c Elapsed CPU time: 6.55 s Remaining CPU time: 173.45 s c =============================================================================== c | 2639 | 3062 10041 126730 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1962 c Elapsed CPU time: 6.606 s Remaining CPU time: 173.394 s c =============================================================================== c | 2639 | 3062 10042 129932 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1961 c Elapsed CPU time: 6.66599 s Remaining CPU time: 173.334 s c =============================================================================== c | 2639 | 3062 10043 133134 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1960 c Elapsed CPU time: 6.73298 s Remaining CPU time: 173.267 s c =============================================================================== c | 2639 | 3062 10044 136336 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1959 c Elapsed CPU time: 6.79897 s Remaining CPU time: 173.201 s c =============================================================================== c | 2639 | 3062 10045 139538 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1958 c Elapsed CPU time: 6.86696 s Remaining CPU time: 173.133 s c =============================================================================== c | 2639 | 3062 10046 142740 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1957 c Elapsed CPU time: 6.93795 s Remaining CPU time: 173.062 s c =============================================================================== c | 2639 | 3062 10047 145942 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1956 c Elapsed CPU time: 7.01093 s Remaining CPU time: 172.989 s c =============================================================================== c | 2639 | 3062 10048 149144 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1955 c Elapsed CPU time: 7.08292 s Remaining CPU time: 172.917 s c =============================================================================== c | 2639 | 3062 10049 152346 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1954 c Elapsed CPU time: 7.15391 s Remaining CPU time: 172.846 s c =============================================================================== c | 2639 | 3062 10050 155548 | 5000 2636 33 | 16.087 % | c =============================================================================== c New solution: 1953 c Elapsed CPU time: 7.2409 s Remaining CPU time: 172.759 s c =============================================================================== c | 2641 | 3062 10051 158750 | 5000 2638 33 | 16.087 % | c =============================================================================== c New solution: 1952 c Elapsed CPU time: 7.31689 s Remaining CPU time: 172.683 s c =============================================================================== c | 2641 | 3062 10052 161952 | 5000 2638 33 | 16.087 % | c =============================================================================== c New solution: 1951 c Elapsed CPU time: 7.39088 s Remaining CPU time: 172.609 s c =============================================================================== c | 2641 | 3062 10053 165154 | 5000 2638 33 | 16.087 % | c =============================================================================== c New solution: 1950 c Elapsed CPU time: 7.46686 s Remaining CPU time: 172.533 s c =============================================================================== c | 2641 | 3062 10054 168356 | 5000 2638 33 | 16.087 % | c =============================================================================== c New solution: 1949 c Elapsed CPU time: 7.54685 s Remaining CPU time: 172.453 s c =============================================================================== c | 2641 | 3062 10055 171558 | 5000 2638 33 | 16.087 % | c =============================================================================== c New solution: 1948 c Elapsed CPU time: 7.64084 s Remaining CPU time: 172.359 s c =============================================================================== c | 2641 | 3062 10056 174760 | 5000 2638 33 | 16.087 % | c =============================================================================== c New solution: 1947 c Elapsed CPU time: 7.72183 s Remaining CPU time: 172.278 s c =============================================================================== c | 2641 | 3062 10057 177962 | 5000 2638 33 | 16.087 % | c =============================================================================== c New solution: 1946 c Elapsed CPU time: 8.05877 s Remaining CPU time: 171.941 s c =============================================================================== c | 2685 | 3062 10058 181164 | 5000 2682 34 | 16.087 % | c =============================================================================== c New solution: 1945 c Elapsed CPU time: 8.20275 s Remaining CPU time: 171.797 s c =============================================================================== c | 2689 | 3062 10059 184366 | 5000 2686 34 | 16.087 % | c =============================================================================== c New solution: 1944 c Elapsed CPU time: 8.43072 s Remaining CPU time: 171.569 s c =============================================================================== c | 2705 | 3062 10060 187568 | 5000 2702 34 | 16.087 % | c =============================================================================== c New solution: 1943 c Elapsed CPU time: 8.62569 s Remaining CPU time: 171.374 s c =============================================================================== c | 2722 | 3062 10061 190770 | 5000 2719 34 | 16.087 % | c =============================================================================== c New solution: 1942 c Elapsed CPU time: 8.94064 s Remaining CPU time: 171.059 s c =============================================================================== c | 2750 | 3062 10062 193972 | 5000 2747 34 | 16.087 % | c | 2850 | 3062 10062 193972 | 5500 2847 35 | 16.087 % | c =============================================================================== c New solution: 1941 c Elapsed CPU time: 9.51355 s Remaining CPU time: 170.486 s c =============================================================================== c | 2860 | 3062 10063 197174 | 5000 2857 35 | 16.087 % | c =============================================================================== c New solution: 1940 c Elapsed CPU time: 9.96748 s Remaining CPU time: 170.033 s c =============================================================================== c | 2915 | 3062 10064 200376 | 5000 2912 35 | 16.087 % | c =============================================================================== c New solution: 1939 c Elapsed CPU time: 10.1635 s Remaining CPU time: 169.837 s c =============================================================================== c | 2929 | 3062 10065 203578 | 5000 2926 35 | 16.087 % | c =============================================================================== c New solution: 1938 c Elapsed CPU time: 10.4464 s Remaining CPU time: 169.554 s c =============================================================================== c | 2952 | 3062 10066 206780 | 5000 2949 36 | 16.087 % | c | 3053 | 3062 10066 206780 | 5500 3050 36 | 16.087 % | c =============================================================================== c New solution: 1937 c Elapsed CPU time: 11.2103 s Remaining CPU time: 168.79 s c =============================================================================== c | 3074 | 3062 10067 209982 | 5000 3071 36 | 16.087 % | c =============================================================================== c New solution: 1936 c Elapsed CPU time: 11.3633 s Remaining CPU time: 168.637 s c =============================================================================== c | 3080 | 3062 10068 213184 | 5000 3077 36 | 16.087 % | c =============================================================================== c New solution: 1935 c Elapsed CPU time: 11.4703 s Remaining CPU time: 168.53 s c =============================================================================== c | 3081 | 3062 10069 216386 | 5000 3078 36 | 16.087 % | c =============================================================================== c New solution: 1934 c Elapsed CPU time: 11.5862 s Remaining CPU time: 168.414 s c =============================================================================== c | 3081 | 3062 10070 219588 | 5000 3078 36 | 16.087 % | c =============================================================================== c New solution: 1933 c Elapsed CPU time: 11.7202 s Remaining CPU time: 168.28 s c =============================================================================== c | 3084 | 3062 10071 222790 | 5000 3081 36 | 16.087 % | c =============================================================================== c New solution: 1932 c Elapsed CPU time: 11.9812 s Remaining CPU time: 168.019 s c =============================================================================== c | 3098 | 3062 10072 225992 | 5000 3095 36 | 16.087 % | c =============================================================================== c New solution: 1931 c Elapsed CPU time: 12.0962 s Remaining CPU time: 167.904 s c =============================================================================== c | 3098 | 3062 10073 229194 | 5000 3095 36 | 16.087 % | c =============================================================================== c New solution: 1930 c Elapsed CPU time: 12.2221 s Remaining CPU time: 167.778 s c =============================================================================== c | 3098 | 3062 10074 232396 | 5000 3095 36 | 16.087 % | c | 3198 | 3062 10074 232396 | 5500 3195 37 | 16.087 % | c =============================================================================== c New solution: 1929 c Elapsed CPU time: 13.235 s Remaining CPU time: 166.765 s c =============================================================================== c | 3219 | 3062 10075 235598 | 5000 3216 37 | 16.087 % | c =============================================================================== c New solution: 1928 c Elapsed CPU time: 13.354 s Remaining CPU time: 166.646 s c =============================================================================== c | 3224 | 3062 10076 238800 | 5000 3221 37 | 16.087 % | c =============================================================================== c New solution: 1927 c Elapsed CPU time: 13.6829 s Remaining CPU time: 166.317 s c =============================================================================== c | 3246 | 3062 10077 242002 | 5000 3243 37 | 16.087 % | c | 3348 | 3062 10077 242002 | 5500 3345 38 | 16.087 % | c | 3500 | 3062 10077 242002 | 6050 3497 38 | 16.087 % | c =============================================================================== c New solution: 1926 c Elapsed CPU time: 15.7546 s Remaining CPU time: 164.245 s c =============================================================================== c | 3502 | 3062 10078 245204 | 5000 3499 38 | 16.087 % | c =============================================================================== c New solution: 1925 c Elapsed CPU time: 15.8746 s Remaining CPU time: 164.125 s c =============================================================================== c | 3503 | 3062 10079 248406 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1924 c Elapsed CPU time: 15.9906 s Remaining CPU time: 164.009 s c =============================================================================== c | 3503 | 3062 10080 251608 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1923 c Elapsed CPU time: 16.1165 s Remaining CPU time: 163.883 s c =============================================================================== c | 3503 | 3062 10081 254810 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1922 c Elapsed CPU time: 16.2345 s Remaining CPU time: 163.765 s c =============================================================================== c | 3503 | 3062 10082 258012 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1921 c Elapsed CPU time: 16.3555 s Remaining CPU time: 163.644 s c =============================================================================== c | 3503 | 3062 10083 261214 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1920 c Elapsed CPU time: 16.4775 s Remaining CPU time: 163.523 s c =============================================================================== c | 3503 | 3062 10084 264416 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1919 c Elapsed CPU time: 16.6025 s Remaining CPU time: 163.398 s c =============================================================================== c | 3503 | 3062 10085 267618 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1918 c Elapsed CPU time: 16.7275 s Remaining CPU time: 163.273 s c =============================================================================== c | 3503 | 3062 10086 270820 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1917 c Elapsed CPU time: 16.8534 s Remaining CPU time: 163.147 s c =============================================================================== c | 3503 | 3062 10087 274022 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1916 c Elapsed CPU time: 16.9854 s Remaining CPU time: 163.015 s c =============================================================================== c | 3503 | 3062 10088 277224 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1915 c Elapsed CPU time: 17.1224 s Remaining CPU time: 162.878 s c =============================================================================== c | 3503 | 3062 10089 280426 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1914 c Elapsed CPU time: 17.2544 s Remaining CPU time: 162.746 s c =============================================================================== c | 3503 | 3062 10090 283628 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1913 c Elapsed CPU time: 17.3884 s Remaining CPU time: 162.612 s c =============================================================================== c | 3503 | 3062 10091 286830 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1912 c Elapsed CPU time: 17.5283 s Remaining CPU time: 162.472 s c =============================================================================== c | 3503 | 3062 10092 290032 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1911 c Elapsed CPU time: 17.6713 s Remaining CPU time: 162.329 s c =============================================================================== c | 3503 | 3062 10093 293234 | 5000 3500 38 | 16.087 % | c =============================================================================== c New solution: 1910 c Elapsed CPU time: 17.8493 s Remaining CPU time: 162.151 s c =============================================================================== c | 3506 | 3062 10094 296436 | 5000 3503 38 | 16.087 % | c =============================================================================== c New solution: 1909 c Elapsed CPU time: 18.0293 s Remaining CPU time: 161.971 s c =============================================================================== c | 3508 | 3062 10095 299638 | 5000 3505 38 | 16.087 % | c =============================================================================== c New solution: 1908 c Elapsed CPU time: 18.1812 s Remaining CPU time: 161.819 s c =============================================================================== c | 3511 | 3062 10096 302840 | 5000 3508 38 | 16.087 % | c =============================================================================== c New solution: 1907 c Elapsed CPU time: 18.3222 s Remaining CPU time: 161.678 s c =============================================================================== c | 3511 | 3062 10097 306042 | 5000 3508 38 | 16.087 % | c =============================================================================== c New solution: 1906 c Elapsed CPU time: 18.4642 s Remaining CPU time: 161.536 s c =============================================================================== c | 3511 | 3062 10098 309244 | 5000 3508 38 | 16.087 % | c =============================================================================== c New solution: 1905 c Elapsed CPU time: 18.6112 s Remaining CPU time: 161.389 s c =============================================================================== c | 3511 | 3062 10099 312446 | 5000 3508 38 | 16.087 % | c =============================================================================== c New solution: 1904 c Elapsed CPU time: 18.7611 s Remaining CPU time: 161.239 s c =============================================================================== c | 3511 | 3062 10100 315648 | 5000 3508 38 | 16.087 % | c =============================================================================== c New solution: 1903 c Elapsed CPU time: 18.9121 s Remaining CPU time: 161.088 s c =============================================================================== c | 3511 | 3062 10101 318850 | 5000 3508 38 | 16.087 % | c =============================================================================== c New solution: 1902 c Elapsed CPU time: 19.0661 s Remaining CPU time: 160.934 s c =============================================================================== c | 3511 | 3062 10102 322052 | 5000 3508 38 | 16.087 % | c =============================================================================== c New solution: 1901 c Elapsed CPU time: 19.2161 s Remaining CPU time: 160.784 s c =============================================================================== c | 3511 | 3062 10103 325254 | 5000 3508 38 | 16.087 % | c =============================================================================== c New solution: 1900 c Elapsed CPU time: 19.3711 s Remaining CPU time: 160.629 s c =============================================================================== c | 3511 | 3062 10104 328456 | 5000 3508 38 | 16.087 % | c =============================================================================== c New solution: 1899 c Elapsed CPU time: 19.847 s Remaining CPU time: 160.153 s c =============================================================================== c | 3544 | 3062 10105 331658 | 5000 3541 38 | 16.087 % | c =============================================================================== c New solution: 1898 c Elapsed CPU time: 20.043 s Remaining CPU time: 159.957 s c =============================================================================== c | 3549 | 3062 10106 334860 | 5000 3546 38 | 16.087 % | c =============================================================================== c New solution: 1897 c Elapsed CPU time: 20.2139 s Remaining CPU time: 159.786 s c =============================================================================== c | 3550 | 3062 10107 338062 | 5000 3547 38 | 16.087 % | c | 3651 | 3062 10107 338062 | 5500 3648 39 | 16.087 % | c | 3801 | 3062 10107 338062 | 6050 3798 40 | 16.087 % | c =============================================================================== c New solution: 1896 c Elapsed CPU time: 24.0303 s Remaining CPU time: 155.97 s c =============================================================================== c | 3818 | 3062 10108 341264 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1895 c Elapsed CPU time: 24.1863 s Remaining CPU time: 155.814 s c =============================================================================== c | 3818 | 3062 10109 344466 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1894 c Elapsed CPU time: 24.3513 s Remaining CPU time: 155.649 s c =============================================================================== c | 3818 | 3062 10110 347668 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1893 c Elapsed CPU time: 24.5093 s Remaining CPU time: 155.491 s c =============================================================================== c | 3818 | 3062 10111 350870 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1892 c Elapsed CPU time: 24.6692 s Remaining CPU time: 155.331 s c =============================================================================== c | 3818 | 3062 10112 354072 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1891 c Elapsed CPU time: 24.8302 s Remaining CPU time: 155.17 s c =============================================================================== c | 3818 | 3062 10113 357274 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1890 c Elapsed CPU time: 24.9932 s Remaining CPU time: 155.007 s c =============================================================================== c | 3818 | 3062 10114 360476 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1889 c Elapsed CPU time: 25.1562 s Remaining CPU time: 154.844 s c =============================================================================== c | 3818 | 3062 10115 363678 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1888 c Elapsed CPU time: 25.3222 s Remaining CPU time: 154.678 s c =============================================================================== c | 3818 | 3062 10116 366880 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1887 c Elapsed CPU time: 25.4921 s Remaining CPU time: 154.508 s c =============================================================================== c | 3818 | 3062 10117 370082 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1886 c Elapsed CPU time: 25.6591 s Remaining CPU time: 154.341 s c =============================================================================== c | 3818 | 3062 10118 373284 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1885 c Elapsed CPU time: 25.8281 s Remaining CPU time: 154.172 s c =============================================================================== c | 3818 | 3062 10119 376486 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1884 c Elapsed CPU time: 26 s Remaining CPU time: 154 s c =============================================================================== c | 3818 | 3062 10120 379688 | 5000 3815 40 | 16.087 % | c =============================================================================== c New solution: 1883 c Elapsed CPU time: 26.171 s Remaining CPU time: 153.829 s c =============================================================================== c | 3818 | 3062 10121 382890 | 5000 3815 40 | 16.087 % | c | 3918 | 3062 10121 382890 | 5500 3915 40 | 16.087 % | c =============================================================================== c New solution: 1882 c Elapsed CPU time: 29.0336 s Remaining CPU time: 150.966 s c =============================================================================== c | 3983 | 3062 10122 386092 | 5000 3980 40 | 16.087 % | c =============================================================================== c New solution: 1881 c Elapsed CPU time: 29.2096 s Remaining CPU time: 150.79 s c =============================================================================== c | 3983 | 3062 10123 389294 | 5000 3980 40 | 16.087 % | c =============================================================================== c New solution: 1880 c Elapsed CPU time: 29.3965 s Remaining CPU time: 150.603 s c =============================================================================== c | 3983 | 3062 10124 392496 | 5000 3980 40 | 16.087 % | c =============================================================================== c New solution: 1879 c Elapsed CPU time: 29.5715 s Remaining CPU time: 150.428 s c =============================================================================== c | 3983 | 3062 10125 395698 | 5000 3980 40 | 16.087 % | c =============================================================================== c New solution: 1878 c Elapsed CPU time: 29.7485 s Remaining CPU time: 150.252 s c =============================================================================== c | 3983 | 3062 10126 398900 | 5000 3980 40 | 16.087 % | c =============================================================================== c New solution: 1877 c Elapsed CPU time: 29.9414 s Remaining CPU time: 150.059 s c =============================================================================== c | 3983 | 3062 10127 402102 | 5000 3980 40 | 16.087 % | c =============================================================================== c New solution: 1876 c Elapsed CPU time: 30.1204 s Remaining CPU time: 149.88 s c =============================================================================== c | 3983 | 3062 10128 405304 | 5000 3980 40 | 16.087 % | c =============================================================================== c New solution: 1875 c Elapsed CPU time: 30.3014 s Remaining CPU time: 149.699 s c =============================================================================== c | 3983 | 3062 10129 408506 | 5000 3980 40 | 16.087 % | c =============================================================================== c New solution: 1874 c Elapsed CPU time: 30.4864 s Remaining CPU time: 149.514 s c =============================================================================== c | 3984 | 3062 10130 411708 | 5000 3981 40 | 16.087 % | c =============================================================================== c New solution: 1873 c Elapsed CPU time: 30.6733 s Remaining CPU time: 149.327 s c =============================================================================== c | 3984 | 3062 10131 414910 | 5000 3981 40 | 16.087 % | c =============================================================================== c New solution: 1872 c Elapsed CPU time: 30.8603 s Remaining CPU time: 149.14 s c =============================================================================== c | 3984 | 3062 10132 418112 | 5000 3981 40 | 16.087 % | c =============================================================================== c New solution: 1871 c Elapsed CPU time: 31.0553 s Remaining CPU time: 148.945 s c =============================================================================== c | 3984 | 3062 10133 421314 | 5000 3981 40 | 16.087 % | c =============================================================================== c New solution: 1870 c Elapsed CPU time: 31.2532 s Remaining CPU time: 148.747 s c =============================================================================== c | 3984 | 3062 10134 424516 | 5000 3981 40 | 16.087 % | c =============================================================================== c New solution: 1869 c Elapsed CPU time: 31.4602 s Remaining CPU time: 148.54 s c =============================================================================== c | 3985 | 3062 10135 427718 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1868 c Elapsed CPU time: 31.6562 s Remaining CPU time: 148.344 s c =============================================================================== c | 3985 | 3062 10136 430920 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1867 c Elapsed CPU time: 31.8542 s Remaining CPU time: 148.146 s c =============================================================================== c | 3985 | 3062 10137 434122 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1866 c Elapsed CPU time: 32.0511 s Remaining CPU time: 147.949 s c =============================================================================== c | 3985 | 3062 10138 437324 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1865 c Elapsed CPU time: 32.2451 s Remaining CPU time: 147.755 s c =============================================================================== c | 3985 | 3062 10139 440526 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1864 c Elapsed CPU time: 32.4451 s Remaining CPU time: 147.555 s c =============================================================================== c | 3985 | 3062 10140 443728 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1863 c Elapsed CPU time: 32.645 s Remaining CPU time: 147.355 s c =============================================================================== c | 3985 | 3062 10141 446930 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1862 c Elapsed CPU time: 32.847 s Remaining CPU time: 147.153 s c =============================================================================== c | 3985 | 3062 10142 450132 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1861 c Elapsed CPU time: 33.048 s Remaining CPU time: 146.952 s c =============================================================================== c | 3985 | 3062 10143 453334 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1860 c Elapsed CPU time: 33.2549 s Remaining CPU time: 146.745 s c =============================================================================== c | 3985 | 3062 10144 456536 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1859 c Elapsed CPU time: 33.4569 s Remaining CPU time: 146.543 s c =============================================================================== c | 3985 | 3062 10145 459738 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1858 c Elapsed CPU time: 33.6589 s Remaining CPU time: 146.341 s c =============================================================================== c | 3985 | 3062 10146 462940 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1857 c Elapsed CPU time: 33.8708 s Remaining CPU time: 146.129 s c =============================================================================== c | 3985 | 3062 10147 466142 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1856 c Elapsed CPU time: 34.0868 s Remaining CPU time: 145.913 s c =============================================================================== c | 3985 | 3062 10148 469344 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1855 c Elapsed CPU time: 34.3018 s Remaining CPU time: 145.698 s c =============================================================================== c | 3985 | 3062 10149 472546 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1854 c Elapsed CPU time: 34.5198 s Remaining CPU time: 145.48 s c =============================================================================== c | 3985 | 3062 10150 475748 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1853 c Elapsed CPU time: 34.7307 s Remaining CPU time: 145.269 s c =============================================================================== c | 3985 | 3062 10151 478950 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1852 c Elapsed CPU time: 34.9407 s Remaining CPU time: 145.059 s c =============================================================================== c | 3985 | 3062 10152 482152 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1851 c Elapsed CPU time: 35.1567 s Remaining CPU time: 144.843 s c =============================================================================== c | 3985 | 3062 10153 485354 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1850 c Elapsed CPU time: 35.3706 s Remaining CPU time: 144.629 s c =============================================================================== c | 3985 | 3062 10154 488556 | 5000 3982 41 | 16.087 % | c =============================================================================== c New solution: 1849 c Elapsed CPU time: 35.8006 s Remaining CPU time: 144.199 s c =============================================================================== c | 3992 | 3062 10155 491758 | 5000 3989 41 | 16.087 % | c =============================================================================== c New solution: 1848 c Elapsed CPU time: 36.0235 s Remaining CPU time: 143.976 s c =============================================================================== c | 3992 | 3062 10156 494960 | 5000 3989 41 | 16.087 % | c =============================================================================== c New solution: 1847 c Elapsed CPU time: 36.2465 s Remaining CPU time: 143.754 s c =============================================================================== c | 3992 | 3062 10157 498162 | 5000 3989 41 | 16.087 % | c =============================================================================== c New solution: 1846 c Elapsed CPU time: 36.4715 s Remaining CPU time: 143.529 s c =============================================================================== c | 3992 | 3062 10158 501364 | 5000 3989 41 | 16.087 % | c =============================================================================== c New solution: 1845 c Elapsed CPU time: 36.8144 s Remaining CPU time: 143.186 s c =============================================================================== c | 3997 | 3062 10159 504566 | 5000 3994 41 | 16.087 % | c =============================================================================== c New solution: 1844 c Elapsed CPU time: 37.4503 s Remaining CPU time: 142.55 s c =============================================================================== c | 4022 | 3062 10160 507768 | 5000 4019 41 | 16.087 % | c =============================================================================== c New solution: 1843 c Elapsed CPU time: 37.8812 s Remaining CPU time: 142.119 s c =============================================================================== c | 4029 | 3062 10161 510970 | 5000 4026 41 | 16.087 % | c =============================================================================== c New solution: 1842 c Elapsed CPU time: 38.1382 s Remaining CPU time: 141.862 s c =============================================================================== c | 4030 | 3062 10162 514172 | 5000 4027 41 | 16.087 % | c =============================================================================== c New solution: 1841 c Elapsed CPU time: 38.5861 s Remaining CPU time: 141.414 s c =============================================================================== c | 4054 | 3062 10163 517374 | 5000 4051 49 | 16.087 % | c =============================================================================== c New solution: 1840 c Elapsed CPU time: 38.8881 s Remaining CPU time: 141.112 s c =============================================================================== c | 4060 | 3062 10164 520576 | 5000 4057 51 | 16.087 % | c =============================================================================== c New solution: 1839 c Elapsed CPU time: 39.165 s Remaining CPU time: 140.835 s c =============================================================================== c | 4063 | 3062 10165 523778 | 5000 4060 53 | 16.087 % | c =============================================================================== c New solution: 1838 c Elapsed CPU time: 39.444 s Remaining CPU time: 140.556 s c =============================================================================== c | 4066 | 3062 10166 526980 | 5000 4063 54 | 16.087 % | c =============================================================================== c New solution: 1837 c Elapsed CPU time: 41.4177 s Remaining CPU time: 138.582 s c =============================================================================== c | 4152 | 3062 10167 530182 | 5000 4149 54 | 16.087 % | c =============================================================================== c New solution: 1836 c Elapsed CPU time: 41.7207 s Remaining CPU time: 138.279 s c =============================================================================== c | 4153 | 3062 10168 533384 | 5000 4150 54 | 16.087 % | c =============================================================================== c New solution: 1835 c Elapsed CPU time: 41.9776 s Remaining CPU time: 138.022 s c =============================================================================== c | 4153 | 3062 10169 536586 | 5000 4150 54 | 16.087 % | c =============================================================================== c New solution: 1834 c Elapsed CPU time: 42.2296 s Remaining CPU time: 137.77 s c =============================================================================== c | 4153 | 3062 10170 539788 | 5000 4150 54 | 16.087 % | c =============================================================================== c New solution: 1833 c Elapsed CPU time: 42.4845 s Remaining CPU time: 137.515 s c =============================================================================== c | 4153 | 3062 10171 542990 | 5000 4150 54 | 16.087 % | c | 4253 | 3062 10171 542990 | 5500 4250 54 | 16.087 % | c =============================================================================== c New solution: 1832 c Elapsed CPU time: 45.2841 s Remaining CPU time: 134.716 s c =============================================================================== c | 4270 | 3062 10172 546192 | 5000 4267 59 | 16.087 % | c =============================================================================== c New solution: 1831 c Elapsed CPU time: 45.5711 s Remaining CPU time: 134.429 s c =============================================================================== c | 4273 | 3062 10173 549394 | 5000 4270 60 | 16.087 % | c =============================================================================== c New solution: 1830 c Elapsed CPU time: 45.856 s Remaining CPU time: 134.144 s c =============================================================================== c | 4276 | 3062 10174 552596 | 5000 4273 61 | 16.087 % | c =============================================================================== c New solution: 1829 c Elapsed CPU time: 46.146 s Remaining CPU time: 133.854 s c =============================================================================== c | 4279 | 3062 10175 555798 | 5000 4276 62 | 16.087 % | c =============================================================================== c New solution: 1828 c Elapsed CPU time: 46.4629 s Remaining CPU time: 133.537 s c =============================================================================== c | 4287 | 3062 10176 559000 | 5000 4284 65 | 16.087 % | c =============================================================================== c New solution: 1827 c Elapsed CPU time: 46.7499 s Remaining CPU time: 133.25 s c =============================================================================== c | 4290 | 3062 10177 562202 | 5000 4287 66 | 16.087 % | c =============================================================================== c New solution: 1826 c Elapsed CPU time: 47.0378 s Remaining CPU time: 132.962 s c =============================================================================== c | 4293 | 3062 10178 565404 | 5000 4290 67 | 16.087 % | c =============================================================================== c New solution: 1825 c Elapsed CPU time: 47.3268 s Remaining CPU time: 132.673 s c =============================================================================== c | 4296 | 3062 10179 568606 | 5000 4293 68 | 16.087 % | c =============================================================================== c New solution: 1824 c Elapsed CPU time: 47.6168 s Remaining CPU time: 132.383 s c =============================================================================== c | 4299 | 3062 10180 571808 | 5000 4296 69 | 16.087 % | c =============================================================================== c New solution: 1823 c Elapsed CPU time: 47.9257 s Remaining CPU time: 132.074 s c =============================================================================== c | 4305 | 3062 10181 575010 | 5000 4302 71 | 16.087 % | c | 4405 | 3062 10181 575010 | 5500 4402 71 | 16.087 % | c =============================================================================== c New solution: 1822 c Elapsed CPU time: 49.8824 s Remaining CPU time: 130.118 s c =============================================================================== c | 4413 | 3062 10182 578212 | 5000 4410 71 | 16.087 % | c =============================================================================== c New solution: 1821 c Elapsed CPU time: 50.1704 s Remaining CPU time: 129.83 s c =============================================================================== c | 4417 | 3062 10183 581414 | 5000 4414 71 | 16.087 % | c =============================================================================== c New solution: 1820 c Elapsed CPU time: 50.5193 s Remaining CPU time: 129.481 s c =============================================================================== c | 4419 | 3062 10184 584616 | 5000 4416 71 | 16.087 % | c =============================================================================== c New solution: 1819 c Elapsed CPU time: 50.7833 s Remaining CPU time: 129.217 s c =============================================================================== c | 4420 | 3062 10185 587818 | 5000 4417 71 | 16.087 % | c =============================================================================== c New solution: 1818 c Elapsed CPU time: 51.0402 s Remaining CPU time: 128.96 s c =============================================================================== c | 4420 | 3062 10186 591020 | 5000 4417 71 | 16.087 % | c =============================================================================== c New solution: 1817 c Elapsed CPU time: 51.2992 s Remaining CPU time: 128.701 s c =============================================================================== c | 4420 | 3062 10187 594222 | 5000 4417 71 | 16.087 % | c =============================================================================== c New solution: 1816 c Elapsed CPU time: 51.5892 s Remaining CPU time: 128.411 s c =============================================================================== c | 4423 | 3062 10188 597424 | 5000 4420 72 | 16.087 % | c =============================================================================== c New solution: 1815 c Elapsed CPU time: 51.8521 s Remaining CPU time: 128.148 s c =============================================================================== c | 4423 | 3062 10189 600626 | 5000 4420 72 | 16.087 % | c =============================================================================== c New solution: 1814 c Elapsed CPU time: 52.2361 s Remaining CPU time: 127.764 s c =============================================================================== c | 4428 | 3062 10190 603828 | 5000 4425 73 | 16.087 % | c =============================================================================== c New solution: 1813 c Elapsed CPU time: 52.53 s Remaining CPU time: 127.47 s c =============================================================================== c | 4431 | 3062 10191 607030 | 5000 4428 74 | 16.087 % | c =============================================================================== c New solution: 1812 c Elapsed CPU time: 52.875 s Remaining CPU time: 127.125 s c =============================================================================== c | 4442 | 3062 10192 610232 | 5000 4439 77 | 16.087 % | c =============================================================================== c New solution: 1811 c Elapsed CPU time: 53.1699 s Remaining CPU time: 126.83 s c =============================================================================== c | 4445 | 3062 10193 613434 | 5000 4442 78 | 16.087 % | c =============================================================================== c New solution: 1810 c Elapsed CPU time: 53.4389 s Remaining CPU time: 126.561 s c =============================================================================== c | 4445 | 3062 10194 616636 | 5000 4442 78 | 16.087 % | c =============================================================================== c New solution: 1809 c Elapsed CPU time: 53.7708 s Remaining CPU time: 126.229 s c =============================================================================== c | 4453 | 3062 10195 619838 | 5000 4450 81 | 16.087 % | c =============================================================================== c New solution: 1808 c Elapsed CPU time: 54.0898 s Remaining CPU time: 125.91 s c =============================================================================== c | 4459 | 3062 10196 623040 | 5000 4456 83 | 16.087 % | c =============================================================================== c New solution: 1807 c Elapsed CPU time: 54.4097 s Remaining CPU time: 125.59 s c =============================================================================== c | 4465 | 3062 10197 626242 | 5000 4462 85 | 16.087 % | c =============================================================================== c New solution: 1806 c Elapsed CPU time: 54.7127 s Remaining CPU time: 125.287 s c =============================================================================== c | 4468 | 3062 10198 629444 | 5000 4465 86 | 16.087 % | c =============================================================================== c New solution: 1805 c Elapsed CPU time: 55.0176 s Remaining CPU time: 124.982 s c =============================================================================== c | 4471 | 3062 10199 632646 | 5000 4468 87 | 16.087 % | c =============================================================================== c New solution: 1804 c Elapsed CPU time: 55.3236 s Remaining CPU time: 124.676 s c =============================================================================== c | 4474 | 3062 10200 635848 | 5000 4471 88 | 16.087 % | c =============================================================================== c New solution: 1803 c Elapsed CPU time: 55.6315 s Remaining CPU time: 124.368 s c =============================================================================== c | 4477 | 3062 10201 639050 | 5000 4474 89 | 16.087 % | c =============================================================================== c New solution: 1802 c Elapsed CPU time: 55.9585 s Remaining CPU time: 124.042 s c =============================================================================== c | 4483 | 3062 10202 642252 | 5000 4480 91 | 16.087 % | c =============================================================================== c New solution: 1801 c Elapsed CPU time: 56.3024 s Remaining CPU time: 123.698 s c =============================================================================== c | 4491 | 3062 10203 645454 | 5000 4488 94 | 16.087 % | c =============================================================================== c New solution: 1800 c Elapsed CPU time: 56.8314 s Remaining CPU time: 123.169 s c =============================================================================== c | 4500 | 3062 10204 648656 | 5000 4497 94 | 16.087 % | c =============================================================================== c New solution: 1799 c Elapsed CPU time: 57.5862 s Remaining CPU time: 122.414 s c =============================================================================== c | 4519 | 3062 10205 651858 | 5000 4516 94 | 16.087 % | c =============================================================================== c New solution: 1798 c Elapsed CPU time: 57.9092 s Remaining CPU time: 122.091 s c =============================================================================== c | 4522 | 3062 10206 655060 | 5000 4519 95 | 16.087 % | c =============================================================================== c New solution: 1797 c Elapsed CPU time: 58.2491 s Remaining CPU time: 121.751 s c =============================================================================== c | 4528 | 3062 10207 658262 | 5000 4525 97 | 16.087 % | c =============================================================================== c New solution: 1796 c Elapsed CPU time: 58.5741 s Remaining CPU time: 121.426 s c =============================================================================== c | 4531 | 3062 10208 661464 | 5000 4528 98 | 16.087 % | c =============================================================================== c New solution: 1795 c Elapsed CPU time: 58.899 s Remaining CPU time: 121.101 s c =============================================================================== c | 4534 | 3062 10209 664666 | 5000 4531 99 | 16.087 % | c =============================================================================== c New solution: 1794 c Elapsed CPU time: 59.227 s Remaining CPU time: 120.773 s c =============================================================================== c | 4537 | 3062 10210 667868 | 5000 4534 100 | 16.087 % | c =============================================================================== c New solution: 1793 c Elapsed CPU time: 59.5539 s Remaining CPU time: 120.446 s c =============================================================================== c | 4540 | 3062 10211 671070 | 5000 4537 101 | 16.087 % | c =============================================================================== c New solution: 1792 c Elapsed CPU time: 59.8839 s Remaining CPU time: 120.116 s c =============================================================================== c | 4543 | 3062 10212 674272 | 5000 4540 102 | 16.087 % | c =============================================================================== c New solution: 1791 c Elapsed CPU time: 60.2328 s Remaining CPU time: 119.767 s c =============================================================================== c | 4549 | 3062 10213 677474 | 5000 4546 104 | 16.087 % | c =============================================================================== c New solution: 1790 c Elapsed CPU time: 62.3085 s Remaining CPU time: 117.691 s c =============================================================================== c | 4619 | 3062 10214 680676 | 5000 4616 107 | 16.087 % | c =============================================================================== c New solution: 1789 c Elapsed CPU time: 62.6245 s Remaining CPU time: 117.376 s c =============================================================================== c | 4622 | 3062 10215 683878 | 5000 4619 108 | 16.087 % | c =============================================================================== c New solution: 1788 c Elapsed CPU time: 62.9504 s Remaining CPU time: 117.05 s c =============================================================================== c | 4625 | 3062 10216 687080 | 5000 4622 109 | 16.087 % | c =============================================================================== c New solution: 1787 c Elapsed CPU time: 63.2954 s Remaining CPU time: 116.705 s c =============================================================================== c | 4631 | 3062 10217 690282 | 5000 4628 111 | 16.087 % | c =============================================================================== c New solution: 1786 c Elapsed CPU time: 63.6423 s Remaining CPU time: 116.358 s c =============================================================================== c | 4637 | 3062 10218 693484 | 5000 4634 113 | 16.087 % | c =============================================================================== c New solution: 1785 c Elapsed CPU time: 63.9743 s Remaining CPU time: 116.026 s c =============================================================================== c | 4640 | 3062 10219 696686 | 5000 4637 114 | 16.087 % | c =============================================================================== c New solution: 1784 c Elapsed CPU time: 64.2712 s Remaining CPU time: 115.729 s c =============================================================================== c | 4640 | 3062 10220 699888 | 5000 4637 114 | 16.087 % | c =============================================================================== c New solution: 1783 c Elapsed CPU time: 64.6542 s Remaining CPU time: 115.346 s c =============================================================================== c | 4650 | 3062 10221 703090 | 5000 4647 117 | 16.087 % | c =============================================================================== c New solution: 1782 c Elapsed CPU time: 64.9511 s Remaining CPU time: 115.049 s c =============================================================================== c | 4650 | 3062 10222 706292 | 5000 4647 117 | 16.087 % | c =============================================================================== c New solution: 1781 c Elapsed CPU time: 65.2831 s Remaining CPU time: 114.717 s c =============================================================================== c | 4653 | 3062 10223 709494 | 5000 4650 118 | 16.087 % | c =============================================================================== c New solution: 1780 c Elapsed CPU time: 65.618 s Remaining CPU time: 114.382 s c =============================================================================== c | 4656 | 3062 10224 712696 | 5000 4653 119 | 16.087 % | c =============================================================================== c New solution: 1779 c Elapsed CPU time: 65.953 s Remaining CPU time: 114.047 s c =============================================================================== c | 4659 | 3062 10225 715898 | 5000 4656 120 | 16.087 % | c =============================================================================== c New solution: 1778 c Elapsed CPU time: 66.2549 s Remaining CPU time: 113.745 s c =============================================================================== c | 4659 | 3062 10226 719100 | 5000 4656 120 | 16.087 % | c =============================================================================== c New solution: 1777 c Elapsed CPU time: 66.6119 s Remaining CPU time: 113.388 s c =============================================================================== c | 4665 | 3062 10227 722302 | 5000 4662 122 | 16.087 % | c =============================================================================== c New solution: 1776 c Elapsed CPU time: 66.9908 s Remaining CPU time: 113.009 s c =============================================================================== c | 4673 | 3062 10228 725504 | 5000 4670 124 | 16.087 % | c =============================================================================== c New solution: 1775 c Elapsed CPU time: 67.2938 s Remaining CPU time: 112.706 s c =============================================================================== c | 4673 | 3062 10229 728706 | 5000 4670 124 | 16.087 % | c =============================================================================== c New solution: 1774 c Elapsed CPU time: 67.6347 s Remaining CPU time: 112.365 s c =============================================================================== c | 4676 | 3062 10230 731908 | 5000 4673 125 | 16.087 % | c =============================================================================== c New solution: 1773 c Elapsed CPU time: 67.9757 s Remaining CPU time: 112.024 s c =============================================================================== c | 4679 | 3062 10231 735110 | 5000 4676 126 | 16.087 % | c =============================================================================== c New solution: 1772 c Elapsed CPU time: 68.3186 s Remaining CPU time: 111.681 s c =============================================================================== c | 4682 | 3062 10232 738312 | 5000 4679 127 | 16.087 % | c =============================================================================== c New solution: 1771 c Elapsed CPU time: 68.6866 s Remaining CPU time: 111.313 s c =============================================================================== c | 4689 | 3062 10233 741514 | 5000 4686 129 | 16.087 % | c =============================================================================== c New solution: 1770 c Elapsed CPU time: 69.0525 s Remaining CPU time: 110.947 s c =============================================================================== c | 4695 | 3062 10234 744716 | 5000 4692 131 | 16.087 % | c =============================================================================== c New solution: 1769 c Elapsed CPU time: 69.3974 s Remaining CPU time: 110.603 s c =============================================================================== c | 4698 | 3062 10235 747918 | 5000 4695 132 | 16.087 % | c =============================================================================== c New solution: 1768 c Elapsed CPU time: 69.7654 s Remaining CPU time: 110.235 s c =============================================================================== c | 4704 | 3062 10236 751120 | 5000 4701 133 | 16.087 % | c =============================================================================== c New solution: 1767 c Elapsed CPU time: 70.1863 s Remaining CPU time: 109.814 s c =============================================================================== c | 4716 | 3062 10237 754322 | 5000 4713 137 | 16.087 % | c =============================================================================== c New solution: 1766 c Elapsed CPU time: 70.4973 s Remaining CPU time: 109.503 s c =============================================================================== c | 4716 | 3062 10238 757524 | 5000 4713 137 | 16.087 % | c =============================================================================== c New solution: 1765 c Elapsed CPU time: 70.8082 s Remaining CPU time: 109.192 s c =============================================================================== c | 4716 | 3062 10239 760726 | 5000 4713 137 | 16.087 % | c =============================================================================== c New solution: 1764 c Elapsed CPU time: 71.1592 s Remaining CPU time: 108.841 s c =============================================================================== c | 4719 | 3062 10240 763928 | 5000 4716 138 | 16.087 % | c =============================================================================== c New solution: 1763 c Elapsed CPU time: 71.5091 s Remaining CPU time: 108.491 s c =============================================================================== c | 4722 | 3062 10241 767130 | 5000 4719 139 | 16.087 % | c =============================================================================== c New solution: 1762 c Elapsed CPU time: 71.9081 s Remaining CPU time: 108.092 s c =============================================================================== c | 4726 | 3062 10242 770332 | 5000 4723 140 | 16.087 % | c =============================================================================== c New solution: 1761 c Elapsed CPU time: 72.263 s Remaining CPU time: 107.737 s c =============================================================================== c | 4730 | 3062 10243 773534 | 5000 4727 140 | 16.087 % | c =============================================================================== c New solution: 1760 c Elapsed CPU time: 72.642 s Remaining CPU time: 107.358 s c =============================================================================== c | 4736 | 3062 10244 776736 | 5000 4733 142 | 16.087 % | c =============================================================================== c New solution: 1759 c Elapsed CPU time: 72.9979 s Remaining CPU time: 107.002 s c =============================================================================== c | 4739 | 3062 10245 779938 | 5000 4736 143 | 16.087 % | c =============================================================================== c New solution: 1758 c Elapsed CPU time: 73.3778 s Remaining CPU time: 106.622 s c =============================================================================== c | 4745 | 3062 10246 783140 | 5000 4742 145 | 16.087 % | c =============================================================================== c New solution: 1757 c Elapsed CPU time: 73.7358 s Remaining CPU time: 106.264 s c =============================================================================== c | 4748 | 3062 10247 786342 | 5000 4745 146 | 16.087 % | c =============================================================================== c New solution: 1756 c Elapsed CPU time: 74.0577 s Remaining CPU time: 105.942 s c =============================================================================== c | 4748 | 3062 10248 789544 | 5000 4745 146 | 16.087 % | c =============================================================================== c New solution: 1755 c Elapsed CPU time: 74.4777 s Remaining CPU time: 105.522 s c =============================================================================== c | 4757 | 3062 10249 792746 | 5000 4754 148 | 16.087 % | c =============================================================================== c New solution: 1754 c Elapsed CPU time: 74.8406 s Remaining CPU time: 105.159 s c =============================================================================== c | 4760 | 3062 10250 795948 | 5000 4757 149 | 16.087 % | c =============================================================================== c New solution: 1753 c Elapsed CPU time: 75.2256 s Remaining CPU time: 104.774 s c =============================================================================== c | 4766 | 3062 10251 799150 | 5000 4763 151 | 16.087 % | c =============================================================================== c New solution: 1752 c Elapsed CPU time: 75.5905 s Remaining CPU time: 104.409 s c =============================================================================== c | 4769 | 3062 10252 802352 | 5000 4766 152 | 16.087 % | c =============================================================================== c New solution: 1751 c Elapsed CPU time: 75.9565 s Remaining CPU time: 104.044 s c =============================================================================== c | 4772 | 3062 10253 805554 | 5000 4769 153 | 16.087 % | c =============================================================================== c New solution: 1750 c Elapsed CPU time: 76.3444 s Remaining CPU time: 103.656 s c =============================================================================== c | 4778 | 3062 10254 808756 | 5000 4775 154 | 16.087 % | c =============================================================================== c New solution: 1749 c Elapsed CPU time: 76.7103 s Remaining CPU time: 103.29 s c =============================================================================== c | 4781 | 3062 10255 811958 | 5000 4778 155 | 16.087 % | c =============================================================================== c New solution: 1748 c Elapsed CPU time: 77.1333 s Remaining CPU time: 102.867 s c =============================================================================== c | 4785 | 3062 10256 815160 | 5000 4782 156 | 16.087 % | c =============================================================================== c New solution: 1747 c Elapsed CPU time: 77.4992 s Remaining CPU time: 102.501 s c =============================================================================== c | 4788 | 3062 10257 818362 | 5000 4785 157 | 16.087 % | c =============================================================================== c New solution: 1746 c Elapsed CPU time: 77.8962 s Remaining CPU time: 102.104 s c =============================================================================== c | 4796 | 3062 10258 821564 | 5000 4793 159 | 16.087 % | c =============================================================================== c New solution: 1745 c Elapsed CPU time: 78.2631 s Remaining CPU time: 101.737 s c =============================================================================== c | 4799 | 3062 10259 824766 | 5000 4796 160 | 16.087 % | c =============================================================================== c New solution: 1744 c Elapsed CPU time: 78.679 s Remaining CPU time: 101.321 s c =============================================================================== c | 4804 | 3062 10260 827968 | 5000 4801 161 | 16.087 % | c =============================================================================== c New solution: 1743 c Elapsed CPU time: 79.077 s Remaining CPU time: 100.923 s c =============================================================================== c | 4812 | 3062 10261 831170 | 5000 4809 163 | 16.087 % | c =============================================================================== c New solution: 1742 c Elapsed CPU time: 79.4069 s Remaining CPU time: 100.593 s c =============================================================================== c | 4812 | 3062 10262 834372 | 5000 4809 163 | 16.087 % | c =============================================================================== c New solution: 1741 c Elapsed CPU time: 79.7789 s Remaining CPU time: 100.221 s c =============================================================================== c | 4815 | 3062 10263 837574 | 5000 4812 164 | 16.087 % | c =============================================================================== c New solution: 1740 c Elapsed CPU time: 80.1508 s Remaining CPU time: 99.8492 s c =============================================================================== c | 4818 | 3062 10264 840776 | 5000 4815 165 | 16.087 % | c =============================================================================== c New solution: 1739 c Elapsed CPU time: 80.4828 s Remaining CPU time: 99.5172 s c =============================================================================== c | 4818 | 3062 10265 843978 | 5000 4815 165 | 16.087 % | c =============================================================================== c New solution: 1738 c Elapsed CPU time: 80.8767 s Remaining CPU time: 99.1233 s c =============================================================================== c | 4824 | 3062 10266 847180 | 5000 4821 167 | 16.087 % | c =============================================================================== c New solution: 1737 c Elapsed CPU time: 81.2496 s Remaining CPU time: 98.7504 s c =============================================================================== c | 4827 | 3062 10267 850382 | 5000 4824 167 | 16.087 % | c | 4929 | 3062 10267 850382 | 5500 4926 165 | 16.087 % | c =============================================================================== c New solution: 1736 c Elapsed CPU time: 85.191 s Remaining CPU time: 94.809 s c =============================================================================== c | 4934 | 3062 10268 853584 | 5000 4931 166 | 16.087 % | c =============================================================================== c New solution: 1735 c Elapsed CPU time: 85.573 s Remaining CPU time: 94.427 s c =============================================================================== c | 4937 | 3062 10269 856786 | 5000 4934 167 | 16.087 % | c =============================================================================== c New solution: 1734 c Elapsed CPU time: 85.9569 s Remaining CPU time: 94.0431 s c =============================================================================== c | 4940 | 3062 10270 859988 | 5000 4937 167 | 16.087 % | c =============================================================================== c New solution: 1733 c Elapsed CPU time: 86.3399 s Remaining CPU time: 93.6601 s c =============================================================================== c | 4943 | 3062 10271 863190 | 5000 4940 168 | 16.087 % | c =============================================================================== c New solution: 1732 c Elapsed CPU time: 86.7488 s Remaining CPU time: 93.2512 s c =============================================================================== c | 4949 | 3062 10272 866392 | 5000 4946 170 | 16.087 % | c =============================================================================== c New solution: 1731 c Elapsed CPU time: 87.1138 s Remaining CPU time: 92.8862 s c =============================================================================== c | 4951 | 3062 10273 869594 | 5000 4948 170 | 16.087 % | c =============================================================================== c New solution: 1730 c Elapsed CPU time: 87.4907 s Remaining CPU time: 92.5093 s c =============================================================================== c | 4954 | 3062 10274 872796 | 5000 4951 171 | 16.087 % | c =============================================================================== c New solution: 1729 c Elapsed CPU time: 87.8566 s Remaining CPU time: 92.1434 s c =============================================================================== c | 4956 | 3062 10275 875998 | 5000 4953 171 | 16.087 % | c | 5057 | 3062 10275 875998 | 5500 5054 170 | 16.087 % | c =============================================================================== c New solution: 1728 c Elapsed CPU time: 95.8494 s Remaining CPU time: 84.1506 s c =============================================================================== c | 5084 | 3062 10276 879200 | 5000 5081 171 | 16.087 % | c =============================================================================== c New solution: 1727 c Elapsed CPU time: 96.2274 s Remaining CPU time: 83.7726 s c =============================================================================== c | 5086 | 3062 10277 882402 | 5000 5083 171 | 16.087 % | c =============================================================================== c New solution: 1726 c Elapsed CPU time: 96.6063 s Remaining CPU time: 83.3937 s c =============================================================================== c | 5088 | 3062 10278 885604 | 5000 5085 172 | 16.087 % | c =============================================================================== c New solution: 1725 c Elapsed CPU time: 97.0532 s Remaining CPU time: 82.9468 s c =============================================================================== c | 5095 | 3062 10279 888806 | 5000 5092 173 | 16.087 % | c =============================================================================== c New solution: 1724 c Elapsed CPU time: 97.4502 s Remaining CPU time: 82.5498 s c =============================================================================== c | 5097 | 3062 10280 892008 | 5000 5094 174 | 16.087 % | c =============================================================================== c New solution: 1723 c Elapsed CPU time: 97.8491 s Remaining CPU time: 82.1509 s c =============================================================================== c | 5099 | 3062 10281 895210 | 5000 5096 174 | 16.087 % | c | 5200 | 3062 10281 895210 | 5500 5197 172 | 16.087 % | c =============================================================================== c New solution: 1722 c Elapsed CPU time: 105.475 s Remaining CPU time: 74.525 s c =============================================================================== c | 5266 | 3062 10282 898412 | 5000 5263 172 | 16.087 % | c =============================================================================== c New solution: 1721 c Elapsed CPU time: 106.03 s Remaining CPU time: 73.9701 s c =============================================================================== c | 5284 | 3062 10283 901614 | 5000 5281 176 | 16.087 % | c =============================================================================== c New solution: 1720 c Elapsed CPU time: 106.394 s Remaining CPU time: 73.6062 s c =============================================================================== c | 5287 | 3062 10284 904816 | 5000 5284 177 | 16.087 % | c =============================================================================== c New solution: 1719 c Elapsed CPU time: 106.759 s Remaining CPU time: 73.2412 s c =============================================================================== c | 5290 | 3062 10285 908018 | 5000 5287 178 | 16.087 % | c =============================================================================== c New solution: 1718 c Elapsed CPU time: 107.125 s Remaining CPU time: 72.8753 s c =============================================================================== c | 5293 | 3062 10286 911220 | 5000 5290 179 | 16.087 % | c =============================================================================== c New solution: 1717 c Elapsed CPU time: 107.518 s Remaining CPU time: 72.4823 s c =============================================================================== c | 5299 | 3062 10287 914422 | 5000 5296 180 | 16.087 % | c =============================================================================== c New solution: 1716 c Elapsed CPU time: 107.885 s Remaining CPU time: 72.1154 s c =============================================================================== c | 5302 | 3062 10288 917624 | 5000 5299 181 | 16.087 % | c =============================================================================== c New solution: 1715 c Elapsed CPU time: 108.253 s Remaining CPU time: 71.7475 s c =============================================================================== c | 5305 | 3062 10289 920826 | 5000 5302 182 | 16.087 % | c =============================================================================== c New solution: 1714 c Elapsed CPU time: 108.622 s Remaining CPU time: 71.3775 s c =============================================================================== c | 5308 | 3062 10290 924028 | 5000 5305 182 | 16.087 % | c | 5408 | 3062 10290 924028 | 5500 5405 180 | 16.087 % | c =============================================================================== c New solution: 1713 c Elapsed CPU time: 113.008 s Remaining CPU time: 66.9922 s c =============================================================================== c | 5426 | 3062 10291 927230 | 5000 5423 179 | 16.087 % | c =============================================================================== c New solution: 1712 c Elapsed CPU time: 113.439 s Remaining CPU time: 66.5612 s c =============================================================================== c | 5433 | 3062 10292 930432 | 5000 5430 181 | 16.087 % | c =============================================================================== c New solution: 1711 c Elapsed CPU time: 113.841 s Remaining CPU time: 66.1593 s c =============================================================================== c | 5436 | 3062 10293 933634 | 5000 5433 182 | 16.087 % | c =============================================================================== c New solution: 1710 c Elapsed CPU time: 114.244 s Remaining CPU time: 65.7564 s c =============================================================================== c | 5439 | 3062 10294 936836 | 5000 5436 182 | 16.087 % | c =============================================================================== c New solution: 1709 c Elapsed CPU time: 116.014 s Remaining CPU time: 63.9856 s c =============================================================================== c | 5476 | 3062 10295 940038 | 5000 5473 181 | 16.087 % | c =============================================================================== c New solution: 1708 c Elapsed CPU time: 116.388 s Remaining CPU time: 63.6117 s c =============================================================================== c | 5476 | 3062 10296 943240 | 5000 5473 181 | 16.087 % | c =============================================================================== c New solution: 1707 c Elapsed CPU time: 116.763 s Remaining CPU time: 63.2368 s c =============================================================================== c | 5476 | 3062 10297 946442 | 5000 5473 181 | 16.087 % | c =============================================================================== c New solution: 1706 c Elapsed CPU time: 117.139 s Remaining CPU time: 62.8608 s c =============================================================================== c | 5476 | 3062 10298 949644 | 5000 5473 181 | 16.087 % | c =============================================================================== c New solution: 1705 c Elapsed CPU time: 117.516 s Remaining CPU time: 62.4839 s c =============================================================================== c | 5476 | 3062 10299 952846 | 5000 5473 181 | 16.087 % | c | 5577 | 3062 10299 952846 | 5500 5574 179 | 16.087 % | c =============================================================================== c New solution: 1704 c Elapsed CPU time: 126.156 s Remaining CPU time: 53.8442 s c =============================================================================== c | 5695 | 3062 10300 956048 | 5000 5692 180 | 16.087 % | c =============================================================================== c New solution: 1703 c Elapsed CPU time: 126.597 s Remaining CPU time: 53.4032 s c =============================================================================== c | 5703 | 3062 10301 959250 | 5000 2854 275 | 16.087 % | c =============================================================================== c New solution: 1702 c Elapsed CPU time: 126.979 s Remaining CPU time: 53.0213 s c =============================================================================== c | 5706 | 3062 10302 962452 | 5000 2857 276 | 16.087 % | c =============================================================================== c New solution: 1701 c Elapsed CPU time: 127.342 s Remaining CPU time: 52.6584 s c =============================================================================== c | 5709 | 3062 10303 965654 | 5000 2860 277 | 16.087 % | c =============================================================================== c New solution: 1700 c Elapsed CPU time: 127.726 s Remaining CPU time: 52.2744 s c =============================================================================== c | 5712 | 3062 10304 968856 | 5000 2863 278 | 16.087 % | c =============================================================================== c New solution: 1699 c Elapsed CPU time: 128.2 s Remaining CPU time: 51.8005 s c =============================================================================== c | 5719 | 3062 10305 972058 | 5000 2870 281 | 16.087 % | c =============================================================================== c New solution: 1698 c Elapsed CPU time: 128.597 s Remaining CPU time: 51.4025 s c =============================================================================== c | 5722 | 3062 10306 975260 | 5000 2873 282 | 16.087 % | c =============================================================================== c New solution: 1697 c Elapsed CPU time: 129.019 s Remaining CPU time: 50.9806 s c =============================================================================== c | 5726 | 3062 10307 978462 | 5000 2877 284 | 16.087 % | c =============================================================================== c New solution: 1696 c Elapsed CPU time: 129.442 s Remaining CPU time: 50.5577 s c =============================================================================== c | 5730 | 3062 10308 981664 | 5000 2881 285 | 16.087 % | c =============================================================================== c New solution: 1695 c Elapsed CPU time: 129.866 s Remaining CPU time: 50.1337 s c =============================================================================== c | 5734 | 3062 10309 984866 | 5000 2885 287 | 16.087 % | c =============================================================================== c New solution: 1694 c Elapsed CPU time: 130.482 s Remaining CPU time: 49.5178 s c =============================================================================== c | 5744 | 3062 10310 988068 | 5000 2895 290 | 16.087 % | c =============================================================================== c New solution: 1693 c Elapsed CPU time: 130.88 s Remaining CPU time: 49.1199 s c =============================================================================== c | 5747 | 3062 10311 991270 | 5000 2898 291 | 16.087 % | c | 5847 | 3062 10311 991270 | 5500 2998 283 | 16.087 % | c =============================================================================== c New solution: 1692 c Elapsed CPU time: 135.479 s Remaining CPU time: 44.5206 s c =============================================================================== c | 5859 | 3062 10312 994472 | 5000 3010 283 | 16.087 % | c =============================================================================== c New solution: 1691 c Elapsed CPU time: 136.009 s Remaining CPU time: 43.9907 s c =============================================================================== c | 5873 | 3062 10313 997674 | 5000 3024 288 | 16.087 % | c =============================================================================== c New solution: 1690 c Elapsed CPU time: 136.4 s Remaining CPU time: 43.5997 s c =============================================================================== c | 5876 | 3062 10314 1000876 | 5000 3027 289 | 16.087 % | c =============================================================================== c New solution: 1689 c Elapsed CPU time: 136.792 s Remaining CPU time: 43.2078 s c =============================================================================== c | 5879 | 3062 10315 1004078 | 5000 3030 290 | 16.087 % | c =============================================================================== c New solution: 1688 c Elapsed CPU time: 137.185 s Remaining CPU time: 42.8149 s c =============================================================================== c | 5882 | 3062 10316 1007280 | 5000 3033 292 | 16.087 % | c =============================================================================== c New solution: 1687 c Elapsed CPU time: 137.606 s Remaining CPU time: 42.3939 s c =============================================================================== c | 5888 | 3062 10317 1010482 | 5000 3039 294 | 16.087 % | c =============================================================================== c New solution: 1686 c Elapsed CPU time: 138 s Remaining CPU time: 42 s c =============================================================================== c | 5891 | 3062 10318 1013684 | 5000 3042 295 | 16.087 % | c =============================================================================== c New solution: 1685 c Elapsed CPU time: 138.417 s Remaining CPU time: 41.583 s c =============================================================================== c | 5896 | 3062 10319 1016886 | 5000 3047 297 | 16.087 % | c | 5997 | 3062 10319 1016886 | 5500 3148 289 | 16.087 % | c | 6148 | 3062 10319 1016886 | 6050 3299 278 | 16.087 % | c =============================================================================== c New solution: 1684 c Elapsed CPU time: 148.705 s Remaining CPU time: 31.2946 s c =============================================================================== c | 6163 | 3062 10320 1020088 | 5000 3314 277 | 16.087 % | c =============================================================================== c New solution: 1683 c Elapsed CPU time: 149.122 s Remaining CPU time: 30.8777 s c =============================================================================== c | 6168 | 3062 10321 1023290 | 5000 3319 276 | 16.087 % | c =============================================================================== c New solution: 1682 c Elapsed CPU time: 149.613 s Remaining CPU time: 30.3867 s c =============================================================================== c | 6173 | 3062 10322 1026492 | 5000 3324 276 | 16.087 % | c =============================================================================== c New solution: 1681 c Elapsed CPU time: 150.051 s Remaining CPU time: 29.9488 s c =============================================================================== c | 6176 | 3062 10323 1029694 | 5000 3327 276 | 16.087 % | c =============================================================================== c New solution: 1680 c Elapsed CPU time: 150.508 s Remaining CPU time: 29.4919 s c =============================================================================== c | 6177 | 3062 10324 1032896 | 5000 3328 276 | 16.087 % | c =============================================================================== c New solution: 1679 c Elapsed CPU time: 150.932 s Remaining CPU time: 29.0679 s c =============================================================================== c | 6180 | 3062 10325 1036098 | 5000 3331 277 | 16.087 % | c =============================================================================== c New solution: 1678 c Elapsed CPU time: 151.355 s Remaining CPU time: 28.645 s c =============================================================================== c | 6183 | 3062 10326 1039300 | 5000 3334 278 | 16.087 % | c =============================================================================== c New solution: 1677 c Elapsed CPU time: 151.832 s Remaining CPU time: 28.1681 s c =============================================================================== c | 6191 | 3062 10327 1042502 | 5000 3342 281 | 16.087 % | c =============================================================================== c New solution: 1676 c Elapsed CPU time: 152.203 s Remaining CPU time: 27.7971 s c =============================================================================== c | 6191 | 3062 10328 1045704 | 5000 3342 281 | 16.087 % | c =============================================================================== c New solution: 1675 c Elapsed CPU time: 152.627 s Remaining CPU time: 27.3732 s c =============================================================================== c | 6194 | 3062 10329 1048906 | 5000 3345 282 | 16.087 % | c =============================================================================== c New solution: 1674 c Elapsed CPU time: 153.051 s Remaining CPU time: 26.9493 s c =============================================================================== c | 6197 | 3062 10330 1052108 | 5000 3348 283 | 16.087 % | c | 6298 | 3062 10330 1052108 | 5500 3449 276 | 16.087 % | c =============================================================================== c New solution: 1673 c Elapsed CPU time: 158.078 s Remaining CPU time: 21.922 s c =============================================================================== c | 6315 | 3062 10331 1055310 | 5000 3466 280 | 16.087 % | c =============================================================================== c New solution: 1672 c Elapsed CPU time: 158.529 s Remaining CPU time: 21.4711 s c =============================================================================== c | 6321 | 3062 10332 1058512 | 5000 3472 282 | 16.087 % | c =============================================================================== c New solution: 1671 c Elapsed CPU time: 159.123 s Remaining CPU time: 20.8772 s c =============================================================================== c | 6327 | 3062 10333 1061714 | 5000 3478 283 | 16.087 % | c | 6427 | 3062 10333 1061714 | 5500 3578 276 | 16.087 % | c =============================================================================== c New solution: 1670 c Elapsed CPU time: 165.632 s Remaining CPU time: 14.3682 s c =============================================================================== c | 6443 | 3062 10334 1064916 | 5000 3594 275 | 16.087 % | c =============================================================================== c New solution: 1669 c Elapsed CPU time: 166.583 s Remaining CPU time: 13.4173 s c =============================================================================== c | 6461 | 3062 10335 1068118 | 5000 3612 274 | 16.087 % | c =============================================================================== c New solution: 1668 c Elapsed CPU time: 167.151 s Remaining CPU time: 12.8494 s c =============================================================================== c | 6465 | 3062 10336 1071320 | 5000 3616 274 | 16.087 % | c =============================================================================== c New solution: 1667 c Elapsed CPU time: 167.768 s Remaining CPU time: 12.2315 s c =============================================================================== c | 6469 | 3062 10337 1074522 | 5000 3620 274 | 16.087 % | c =============================================================================== c New solution: 1666 c Elapsed CPU time: 168.205 s Remaining CPU time: 11.7946 s c =============================================================================== c | 6473 | 3062 10338 1077724 | 5000 3624 275 | 16.087 % | c =============================================================================== c New solution: 1665 c Elapsed CPU time: 168.698 s Remaining CPU time: 11.3016 s c =============================================================================== c | 6481 | 3062 10339 1080926 | 5000 3632 278 | 16.087 % | c =============================================================================== c New solution: 1664 c Elapsed CPU time: 169.153 s Remaining CPU time: 10.8467 s c =============================================================================== c | 6484 | 3062 10340 1084128 | 5000 3635 279 | 16.087 % | c =============================================================================== c New solution: 1663 c Elapsed CPU time: 169.658 s Remaining CPU time: 10.3418 s c =============================================================================== c | 6490 | 3062 10341 1087330 | 5000 3641 281 | 16.087 % | c =============================================================================== c New solution: 1662 c Elapsed CPU time: 170.113 s Remaining CPU time: 9.88686 s c =============================================================================== c | 6493 | 3062 10342 1090532 | 5000 3644 282 | 16.087 % | c =============================================================================== c New solution: 1661 c Elapsed CPU time: 170.619 s Remaining CPU time: 9.38094 s c =============================================================================== c | 6499 | 3062 10343 1093734 | 5000 3650 283 | 16.087 % | c =============================================================================== c New solution: 1660 c Elapsed CPU time: 171.075 s Remaining CPU time: 8.92501 s c =============================================================================== c | 6502 | 3062 10344 1096936 | 5000 3653 284 | 16.087 % | c =============================================================================== c New solution: 1659 c Elapsed CPU time: 171.53 s Remaining CPU time: 8.47008 s c =============================================================================== c | 6505 | 3062 10345 1100138 | 5000 3656 285 | 16.087 % | c =============================================================================== c New solution: 1658 c Elapsed CPU time: 171.984 s Remaining CPU time: 8.01615 s c =============================================================================== c | 6508 | 3062 10346 1103340 | 5000 3659 286 | 16.087 % | c =============================================================================== c New solution: 1657 c Elapsed CPU time: 172.441 s Remaining CPU time: 7.55921 s c =============================================================================== c | 6511 | 3062 10347 1106542 | 5000 3662 287 | 16.087 % | c =============================================================================== c New solution: 1656 c Elapsed CPU time: 172.898 s Remaining CPU time: 7.10228 s c =============================================================================== c | 6514 | 3062 10348 1109744 | 5000 3665 288 | 16.087 % | c =============================================================================== c New solution: 1655 c Elapsed CPU time: 173.356 s Remaining CPU time: 6.64435 s c =============================================================================== c | 6517 | 3062 10349 1112946 | 5000 3668 289 | 16.087 % | c =============================================================================== c New solution: 1654 c Elapsed CPU time: 173.814 s Remaining CPU time: 6.18642 s c =============================================================================== c | 6520 | 3062 10350 1116148 | 5000 3671 290 | 16.087 % | c =============================================================================== c New solution: 1653 c Elapsed CPU time: 174.273 s Remaining CPU time: 5.72749 s c =============================================================================== c | 6523 | 3062 10351 1119350 | 5000 3674 291 | 16.087 % | c =============================================================================== c New solution: 1652 c Elapsed CPU time: 174.732 s Remaining CPU time: 5.26756 s c =============================================================================== c | 6526 | 3062 10352 1122552 | 5000 3677 292 | 16.087 % | c =============================================================================== c New solution: 1651 c Elapsed CPU time: 175.334 s Remaining CPU time: 4.66565 s c =============================================================================== c | 6530 | 3062 10353 1125754 | 5000 3681 292 | 16.087 % | c =============================================================================== c New solution: 1650 c Elapsed CPU time: 175.817 s Remaining CPU time: 4.18273 s c =============================================================================== c | 6538 | 3062 10354 1128956 | 5000 3689 294 | 16.087 % | c =============================================================================== c New solution: 1649 c Elapsed CPU time: 176.186 s Remaining CPU time: 3.81378 s c =============================================================================== c | 6538 | 3062 10355 1132158 | 5000 3689 294 | 16.087 % | c =============================================================================== c New solution: 1648 c Elapsed CPU time: 176.614 s Remaining CPU time: 3.38585 s c =============================================================================== c | 6543 | 3062 10356 1135360 | 5000 3694 296 | 16.087 % | c =============================================================================== c New solution: 1647 c Elapsed CPU time: 177.038 s Remaining CPU time: 2.96191 s c =============================================================================== c | 6546 | 3062 10357 1138562 | 5000 3697 296 | 16.087 % | c =============================================================================== c New solution: 1646 c Elapsed CPU time: 179.736 s Remaining CPU time: 0.264324 s c =============================================================================== c | 6603 | 3062 10358 1141764 | 5000 3754 293 | 16.087 % | c There are 587 assigned variables. 233 in cost function.