c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 2000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2000 | c | Number Clauses: 2000 | 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 | 1970 2002 5850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10103 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1970 2003 7700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10099 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1970 2004 9550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10098 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1970 2005 11400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10094 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1970 2006 13250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10090 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 1970 2007 15100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10089 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 1970 2008 16950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10086 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 1970 2009 18800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10085 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 1970 2010 20650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10083 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 1970 2011 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10082 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 1970 2012 24350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10078 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 1970 2013 26200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10077 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 1970 2014 28050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10076 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 1970 2015 29900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10074 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 1970 2016 31750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10073 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 0 | 1970 2017 33600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10072 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 1 | 1970 2018 35450 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10070 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 1 | 1970 2019 37300 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10069 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 1 | 1970 2020 39150 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10068 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 1 | 1970 2021 41000 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10066 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 1 | 1970 2022 42850 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10065 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 1 | 1970 2023 44700 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10064 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 1 | 1970 2024 46550 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10063 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 1 | 1970 2025 48400 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10061 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 1 | 1970 2026 50250 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10059 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 1 | 1970 2027 52100 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10058 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 1 | 1970 2028 53950 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10057 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 1 | 1970 2029 55800 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10055 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 1 | 1970 2030 57650 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10054 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 1 | 1970 2031 59500 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10053 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 1 | 1970 2032 61350 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10052 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 1 | 1970 2033 63200 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10051 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 1 | 1970 2034 65050 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10050 c Elapsed CPU time: 0.741887 s Remaining CPU time: 179.258 s c =============================================================================== c | 1 | 1970 2035 66900 | 5000 1 1845 | 0.000 % | c =============================================================================== c New solution: 10048 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s c =============================================================================== c | 2 | 1970 2036 68750 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10047 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 2 | 1970 2037 70600 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10046 c Elapsed CPU time: 0.862868 s Remaining CPU time: 179.137 s c =============================================================================== c | 2 | 1970 2038 72450 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10045 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 2 | 1970 2039 74300 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10043 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 2 | 1970 2040 76150 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10042 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 2 | 1970 2041 78000 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10041 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 2 | 1970 2042 79850 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10040 c Elapsed CPU time: 1.08483 s Remaining CPU time: 178.915 s c =============================================================================== c | 2 | 1970 2043 81700 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10038 c Elapsed CPU time: 1.12983 s Remaining CPU time: 178.87 s c =============================================================================== c | 2 | 1970 2044 83550 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10037 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s c =============================================================================== c | 2 | 1970 2045 85400 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10036 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s c =============================================================================== c | 2 | 1970 2046 87250 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10035 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 2 | 1970 2047 89100 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10034 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 2 | 1970 2048 90950 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10033 c Elapsed CPU time: 1.39379 s Remaining CPU time: 178.606 s c =============================================================================== c | 2 | 1970 2049 92800 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10032 c Elapsed CPU time: 1.44978 s Remaining CPU time: 178.55 s c =============================================================================== c | 2 | 1970 2050 94650 | 5000 2 924 | 0.000 % | c =============================================================================== c New solution: 10030 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c | 3 | 1970 2051 96500 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10029 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 3 | 1970 2052 98350 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10028 c Elapsed CPU time: 1.61775 s Remaining CPU time: 178.382 s c =============================================================================== c | 3 | 1970 2053 100200 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10027 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s c =============================================================================== c | 3 | 1970 2054 102050 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10025 c Elapsed CPU time: 1.72774 s Remaining CPU time: 178.272 s c =============================================================================== c | 3 | 1970 2055 103900 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10023 c Elapsed CPU time: 1.78673 s Remaining CPU time: 178.213 s c =============================================================================== c | 3 | 1970 2056 105750 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10021 c Elapsed CPU time: 1.84472 s Remaining CPU time: 178.155 s c =============================================================================== c | 3 | 1970 2057 107600 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10019 c Elapsed CPU time: 1.90671 s Remaining CPU time: 178.093 s c =============================================================================== c | 3 | 1970 2058 109450 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10018 c Elapsed CPU time: 1.9697 s Remaining CPU time: 178.03 s c =============================================================================== c | 3 | 1970 2059 111300 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10016 c Elapsed CPU time: 2.03169 s Remaining CPU time: 177.968 s c =============================================================================== c | 3 | 1970 2060 113150 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10014 c Elapsed CPU time: 2.09268 s Remaining CPU time: 177.907 s c =============================================================================== c | 3 | 1970 2061 115000 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10013 c Elapsed CPU time: 2.15867 s Remaining CPU time: 177.841 s c =============================================================================== c | 3 | 1970 2062 116850 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10012 c Elapsed CPU time: 2.22566 s Remaining CPU time: 177.774 s c =============================================================================== c | 3 | 1970 2063 118700 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10011 c Elapsed CPU time: 2.29165 s Remaining CPU time: 177.708 s c =============================================================================== c | 3 | 1970 2064 120550 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10010 c Elapsed CPU time: 2.36164 s Remaining CPU time: 177.638 s c =============================================================================== c | 3 | 1970 2065 122400 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10009 c Elapsed CPU time: 2.43663 s Remaining CPU time: 177.563 s c =============================================================================== c | 3 | 1970 2066 124250 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10008 c Elapsed CPU time: 2.50662 s Remaining CPU time: 177.493 s c =============================================================================== c | 3 | 1970 2067 126100 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10006 c Elapsed CPU time: 2.58061 s Remaining CPU time: 177.419 s c =============================================================================== c | 3 | 1970 2068 127950 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10005 c Elapsed CPU time: 2.6556 s Remaining CPU time: 177.344 s c =============================================================================== c | 3 | 1970 2069 129800 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10003 c Elapsed CPU time: 2.72459 s Remaining CPU time: 177.275 s c =============================================================================== c | 3 | 1970 2070 131650 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10002 c Elapsed CPU time: 2.79657 s Remaining CPU time: 177.203 s c =============================================================================== c | 3 | 1970 2071 133500 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 10000 c Elapsed CPU time: 2.87356 s Remaining CPU time: 177.126 s c =============================================================================== c | 3 | 1970 2072 135350 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9999 c Elapsed CPU time: 2.94855 s Remaining CPU time: 177.051 s c =============================================================================== c | 3 | 1970 2073 137200 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9998 c Elapsed CPU time: 3.02854 s Remaining CPU time: 176.971 s c =============================================================================== c | 3 | 1970 2074 139050 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9997 c Elapsed CPU time: 3.10953 s Remaining CPU time: 176.89 s c =============================================================================== c | 3 | 1970 2075 140900 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9996 c Elapsed CPU time: 3.18952 s Remaining CPU time: 176.81 s c =============================================================================== c | 3 | 1970 2076 142750 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9995 c Elapsed CPU time: 3.2815 s Remaining CPU time: 176.718 s c =============================================================================== c | 3 | 1970 2077 144600 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9994 c Elapsed CPU time: 3.37749 s Remaining CPU time: 176.623 s c =============================================================================== c | 3 | 1970 2078 146450 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9993 c Elapsed CPU time: 3.46747 s Remaining CPU time: 176.533 s c =============================================================================== c | 3 | 1970 2079 148300 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9991 c Elapsed CPU time: 3.55446 s Remaining CPU time: 176.446 s c =============================================================================== c | 3 | 1970 2080 150150 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9990 c Elapsed CPU time: 3.64445 s Remaining CPU time: 176.356 s c =============================================================================== c | 3 | 1970 2081 152000 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9989 c Elapsed CPU time: 3.73243 s Remaining CPU time: 176.268 s c =============================================================================== c | 3 | 1970 2082 153850 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9988 c Elapsed CPU time: 3.81742 s Remaining CPU time: 176.183 s c =============================================================================== c | 3 | 1970 2083 155700 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9987 c Elapsed CPU time: 3.9164 s Remaining CPU time: 176.084 s c =============================================================================== c | 3 | 1970 2084 157550 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9986 c Elapsed CPU time: 4.00839 s Remaining CPU time: 175.992 s c =============================================================================== c | 3 | 1970 2085 159400 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9985 c Elapsed CPU time: 4.10338 s Remaining CPU time: 175.897 s c =============================================================================== c | 3 | 1970 2086 161250 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9984 c Elapsed CPU time: 4.19836 s Remaining CPU time: 175.802 s c =============================================================================== c | 3 | 1970 2087 163100 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9983 c Elapsed CPU time: 4.30635 s Remaining CPU time: 175.694 s c =============================================================================== c | 3 | 1970 2088 164950 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9982 c Elapsed CPU time: 4.41133 s Remaining CPU time: 175.589 s c =============================================================================== c | 3 | 1970 2089 166800 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9981 c Elapsed CPU time: 4.51431 s Remaining CPU time: 175.486 s c =============================================================================== c | 3 | 1970 2090 168650 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9980 c Elapsed CPU time: 4.6173 s Remaining CPU time: 175.383 s c =============================================================================== c | 3 | 1970 2091 170500 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9978 c Elapsed CPU time: 4.71928 s Remaining CPU time: 175.281 s c =============================================================================== c | 3 | 1970 2092 172350 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9977 c Elapsed CPU time: 4.81827 s Remaining CPU time: 175.182 s c =============================================================================== c | 3 | 1970 2093 174200 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9976 c Elapsed CPU time: 4.92425 s Remaining CPU time: 175.076 s c =============================================================================== c | 3 | 1970 2094 176050 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9975 c Elapsed CPU time: 5.02923 s Remaining CPU time: 174.971 s c =============================================================================== c | 3 | 1970 2095 177900 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9974 c Elapsed CPU time: 5.13322 s Remaining CPU time: 174.867 s c =============================================================================== c | 3 | 1970 2096 179750 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9973 c Elapsed CPU time: 5.2462 s Remaining CPU time: 174.754 s c =============================================================================== c | 3 | 1970 2097 181600 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9972 c Elapsed CPU time: 5.35919 s Remaining CPU time: 174.641 s c =============================================================================== c | 3 | 1970 2098 183450 | 5000 3 1229 | 0.000 % | c =============================================================================== c New solution: 9971 c Elapsed CPU time: 5.49216 s Remaining CPU time: 174.508 s c =============================================================================== c | 4 | 1970 2099 185300 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9970 c Elapsed CPU time: 5.62115 s Remaining CPU time: 174.379 s c =============================================================================== c | 4 | 1970 2100 187150 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9969 c Elapsed CPU time: 5.73713 s Remaining CPU time: 174.263 s c =============================================================================== c | 4 | 1970 2101 189000 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9968 c Elapsed CPU time: 5.86411 s Remaining CPU time: 174.136 s c =============================================================================== c | 4 | 1970 2102 190850 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9967 c Elapsed CPU time: 5.98009 s Remaining CPU time: 174.02 s c =============================================================================== c | 4 | 1970 2103 192700 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9966 c Elapsed CPU time: 6.09707 s Remaining CPU time: 173.903 s c =============================================================================== c | 4 | 1970 2104 194550 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9965 c Elapsed CPU time: 6.22705 s Remaining CPU time: 173.773 s c =============================================================================== c | 4 | 1970 2105 196400 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9964 c Elapsed CPU time: 6.37403 s Remaining CPU time: 173.626 s c =============================================================================== c | 4 | 1970 2106 198250 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9963 c Elapsed CPU time: 6.51101 s Remaining CPU time: 173.489 s c =============================================================================== c | 4 | 1970 2107 200100 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9962 c Elapsed CPU time: 6.65699 s Remaining CPU time: 173.343 s c =============================================================================== c | 4 | 1970 2108 201950 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9961 c Elapsed CPU time: 6.78197 s Remaining CPU time: 173.218 s c =============================================================================== c | 4 | 1970 2109 203800 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9960 c Elapsed CPU time: 6.90295 s Remaining CPU time: 173.097 s c =============================================================================== c | 4 | 1970 2110 205650 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9959 c Elapsed CPU time: 7.03193 s Remaining CPU time: 172.968 s c =============================================================================== c | 4 | 1970 2111 207500 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9958 c Elapsed CPU time: 7.15591 s Remaining CPU time: 172.844 s c =============================================================================== c | 4 | 1970 2112 209350 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9957 c Elapsed CPU time: 7.29189 s Remaining CPU time: 172.708 s c =============================================================================== c | 4 | 1970 2113 211200 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9956 c Elapsed CPU time: 7.41887 s Remaining CPU time: 172.581 s c =============================================================================== c | 4 | 1970 2114 213050 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9955 c Elapsed CPU time: 7.55285 s Remaining CPU time: 172.447 s c =============================================================================== c | 4 | 1970 2115 214900 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9954 c Elapsed CPU time: 7.68383 s Remaining CPU time: 172.316 s c =============================================================================== c | 4 | 1970 2116 216750 | 5000 4 1378 | 0.000 % | c =============================================================================== c New solution: 9953 c Elapsed CPU time: 7.82581 s Remaining CPU time: 172.174 s c =============================================================================== c | 5 | 1970 2117 218600 | 5000 5 1466 | 0.000 % | c =============================================================================== c New solution: 9952 c Elapsed CPU time: 7.95179 s Remaining CPU time: 172.048 s c =============================================================================== c | 5 | 1970 2118 220450 | 5000 5 1466 | 0.000 % | c =============================================================================== c New solution: 9951 c Elapsed CPU time: 8.08077 s Remaining CPU time: 171.919 s c =============================================================================== c | 5 | 1970 2119 222300 | 5000 5 1466 | 0.000 % | c =============================================================================== c New solution: 9950 c Elapsed CPU time: 8.22075 s Remaining CPU time: 171.779 s c =============================================================================== c | 5 | 1970 2120 224150 | 5000 5 1466 | 0.000 % | c =============================================================================== c New solution: 9949 c Elapsed CPU time: 8.36573 s Remaining CPU time: 171.634 s c =============================================================================== c | 5 | 1970 2121 226000 | 5000 5 1466 | 0.000 % | c =============================================================================== c New solution: 9948 c Elapsed CPU time: 8.5237 s Remaining CPU time: 171.476 s c =============================================================================== c | 6 | 1970 2122 227850 | 5000 6 1525 | 0.000 % | c =============================================================================== c New solution: 9947 c Elapsed CPU time: 8.68068 s Remaining CPU time: 171.319 s c =============================================================================== c | 6 | 1970 2123 229700 | 5000 6 1525 | 0.000 % | c =============================================================================== c New solution: 9946 c Elapsed CPU time: 8.83266 s Remaining CPU time: 171.167 s c =============================================================================== c | 7 | 1970 2124 231550 | 5000 7 1567 | 0.000 % | c =============================================================================== c New solution: 9945 c Elapsed CPU time: 8.97564 s Remaining CPU time: 171.024 s c =============================================================================== c | 7 | 1970 2125 233400 | 5000 7 1567 | 0.000 % | c =============================================================================== c New solution: 9944 c Elapsed CPU time: 9.13161 s Remaining CPU time: 170.868 s c =============================================================================== c | 7 | 1970 2126 235250 | 5000 7 1567 | 0.000 % | c =============================================================================== c New solution: 9943 c Elapsed CPU time: 9.27859 s Remaining CPU time: 170.721 s c =============================================================================== c | 7 | 1970 2127 237100 | 5000 7 1567 | 0.000 % | c =============================================================================== c New solution: 9942 c Elapsed CPU time: 9.45856 s Remaining CPU time: 170.541 s c =============================================================================== c | 7 | 1970 2128 238950 | 5000 7 1567 | 0.000 % | c =============================================================================== c New solution: 9941 c Elapsed CPU time: 9.62954 s Remaining CPU time: 170.37 s c =============================================================================== c | 7 | 1970 2129 240800 | 5000 7 1567 | 0.000 % | c =============================================================================== c New solution: 9940 c Elapsed CPU time: 9.78851 s Remaining CPU time: 170.211 s c =============================================================================== c | 7 | 1970 2130 242650 | 5000 7 1567 | 0.000 % | c =============================================================================== c New solution: 9939 c Elapsed CPU time: 9.94449 s Remaining CPU time: 170.056 s c =============================================================================== c | 7 | 1970 2131 244500 | 5000 7 1567 | 0.000 % | c =============================================================================== c New solution: 9938 c Elapsed CPU time: 10.0995 s Remaining CPU time: 169.901 s c =============================================================================== c | 8 | 1970 2132 246350 | 5000 8 1372 | 0.000 % | c =============================================================================== c New solution: 9937 c Elapsed CPU time: 10.2584 s Remaining CPU time: 169.742 s c =============================================================================== c | 9 | 1970 2133 248200 | 5000 9 1421 | 0.000 % | c =============================================================================== c New solution: 9936 c Elapsed CPU time: 10.4314 s Remaining CPU time: 169.569 s c =============================================================================== c | 11 | 1970 2134 250050 | 5000 11 1493 | 0.000 % | c =============================================================================== c New solution: 9935 c Elapsed CPU time: 10.5834 s Remaining CPU time: 169.417 s c =============================================================================== c | 11 | 1970 2135 251900 | 5000 11 1493 | 0.000 % | c =============================================================================== c New solution: 9934 c Elapsed CPU time: 10.7494 s Remaining CPU time: 169.251 s c =============================================================================== c | 11 | 1970 2136 253750 | 5000 11 1493 | 0.000 % | c =============================================================================== c New solution: 9933 c Elapsed CPU time: 10.9393 s Remaining CPU time: 169.061 s c =============================================================================== c | 12 | 1970 2137 255600 | 5000 12 1520 | 0.000 % | c =============================================================================== c New solution: 9932 c Elapsed CPU time: 11.1073 s Remaining CPU time: 168.893 s c =============================================================================== c | 12 | 1970 2138 257450 | 5000 12 1520 | 0.000 % | c =============================================================================== c New solution: 9931 c Elapsed CPU time: 11.2673 s Remaining CPU time: 168.733 s c =============================================================================== c | 12 | 1970 2139 259300 | 5000 12 1520 | 0.000 % | c =============================================================================== c New solution: 9930 c Elapsed CPU time: 11.4473 s Remaining CPU time: 168.553 s c =============================================================================== c | 13 | 1970 2140 261150 | 5000 13 1543 | 0.000 % | c =============================================================================== c New solution: 9929 c Elapsed CPU time: 11.6332 s Remaining CPU time: 168.367 s c =============================================================================== c | 14 | 1970 2141 263000 | 5000 14 1563 | 0.000 % | c =============================================================================== c New solution: 9928 c Elapsed CPU time: 11.7972 s Remaining CPU time: 168.203 s c =============================================================================== c | 14 | 1970 2142 264850 | 5000 14 1563 | 0.000 % | c =============================================================================== c New solution: 9927 c Elapsed CPU time: 11.9802 s Remaining CPU time: 168.02 s c =============================================================================== c | 14 | 1970 2143 266700 | 5000 14 1563 | 0.000 % | c =============================================================================== c New solution: 9926 c Elapsed CPU time: 12.1801 s Remaining CPU time: 167.82 s c =============================================================================== c | 14 | 1970 2144 268550 | 5000 14 1563 | 0.000 % | c =============================================================================== c New solution: 9925 c Elapsed CPU time: 12.4061 s Remaining CPU time: 167.594 s c =============================================================================== c | 17 | 1970 2145 270400 | 5000 17 1607 | 0.000 % | c =============================================================================== c New solution: 9924 c Elapsed CPU time: 12.6161 s Remaining CPU time: 167.384 s c =============================================================================== c | 17 | 1970 2146 272250 | 5000 17 1607 | 0.000 % | c =============================================================================== c New solution: 9923 c Elapsed CPU time: 12.8061 s Remaining CPU time: 167.194 s c =============================================================================== c | 17 | 1970 2147 274100 | 5000 17 1607 | 0.000 % | c =============================================================================== c New solution: 9922 c Elapsed CPU time: 12.994 s Remaining CPU time: 167.006 s c =============================================================================== c | 17 | 1970 2148 275950 | 5000 17 1607 | 0.000 % | c =============================================================================== c New solution: 9921 c Elapsed CPU time: 13.197 s Remaining CPU time: 166.803 s c =============================================================================== c | 17 | 1970 2149 277800 | 5000 17 1607 | 0.000 % | c =============================================================================== c New solution: 9920 c Elapsed CPU time: 13.393 s Remaining CPU time: 166.607 s c =============================================================================== c | 19 | 1970 2150 279650 | 5000 19 1629 | 0.000 % | c =============================================================================== c New solution: 9919 c Elapsed CPU time: 13.5839 s Remaining CPU time: 166.416 s c =============================================================================== c | 19 | 1970 2151 281500 | 5000 19 1629 | 0.000 % | c =============================================================================== c New solution: 9918 c Elapsed CPU time: 13.7889 s Remaining CPU time: 166.211 s c =============================================================================== c | 20 | 1970 2152 283350 | 5000 20 1638 | 0.000 % | c =============================================================================== c New solution: 9917 c Elapsed CPU time: 13.9999 s Remaining CPU time: 166 s c =============================================================================== c | 20 | 1970 2153 285200 | 5000 20 1638 | 0.000 % | c =============================================================================== c New solution: 9916 c Elapsed CPU time: 14.2008 s Remaining CPU time: 165.799 s c =============================================================================== c | 20 | 1970 2154 287050 | 5000 20 1638 | 0.000 % | c =============================================================================== c New solution: 9915 c Elapsed CPU time: 14.3978 s Remaining CPU time: 165.602 s c =============================================================================== c | 22 | 1970 2155 288900 | 5000 22 1654 | 0.000 % | c =============================================================================== c New solution: 9914 c Elapsed CPU time: 14.5968 s Remaining CPU time: 165.403 s c =============================================================================== c | 22 | 1970 2156 290750 | 5000 22 1654 | 0.000 % | c =============================================================================== c New solution: 9913 c Elapsed CPU time: 14.7808 s Remaining CPU time: 165.219 s c =============================================================================== c | 22 | 1970 2157 292600 | 5000 22 1654 | 0.000 % | c =============================================================================== c New solution: 9912 c Elapsed CPU time: 14.9967 s Remaining CPU time: 165.003 s c =============================================================================== c | 22 | 1970 2158 294450 | 5000 22 1654 | 0.000 % | c =============================================================================== c New solution: 9911 c Elapsed CPU time: 15.1967 s Remaining CPU time: 164.803 s c =============================================================================== c | 22 | 1970 2159 296300 | 5000 22 1654 | 0.000 % | c =============================================================================== c New solution: 9910 c Elapsed CPU time: 15.3997 s Remaining CPU time: 164.6 s c =============================================================================== c | 24 | 1970 2160 298150 | 5000 24 1667 | 0.000 % | c =============================================================================== c New solution: 9909 c Elapsed CPU time: 15.6096 s Remaining CPU time: 164.39 s c =============================================================================== c | 25 | 1970 2161 300000 | 5000 25 1673 | 0.000 % | c =============================================================================== c New solution: 9908 c Elapsed CPU time: 15.7986 s Remaining CPU time: 164.201 s c =============================================================================== c | 25 | 1970 2162 301850 | 5000 25 1673 | 0.000 % | c =============================================================================== c New solution: 9907 c Elapsed CPU time: 16.0136 s Remaining CPU time: 163.986 s c =============================================================================== c | 25 | 1970 2163 303700 | 5000 25 1673 | 0.000 % | c =============================================================================== c New solution: 9906 c Elapsed CPU time: 16.2285 s Remaining CPU time: 163.771 s c =============================================================================== c | 30 | 1970 2164 305550 | 5000 30 1696 | 0.000 % | c =============================================================================== c New solution: 9905 c Elapsed CPU time: 16.4355 s Remaining CPU time: 163.564 s c =============================================================================== c | 31 | 1970 2165 307400 | 5000 31 1700 | 0.000 % | c =============================================================================== c New solution: 9904 c Elapsed CPU time: 16.6395 s Remaining CPU time: 163.361 s c =============================================================================== c | 31 | 1970 2166 309250 | 5000 31 1700 | 0.000 % | c =============================================================================== c New solution: 9903 c Elapsed CPU time: 16.8244 s Remaining CPU time: 163.176 s c =============================================================================== c | 31 | 1970 2167 311100 | 5000 31 1700 | 0.000 % | c =============================================================================== c New solution: 9902 c Elapsed CPU time: 17.0414 s Remaining CPU time: 162.959 s c =============================================================================== c | 31 | 1970 2168 312950 | 5000 31 1700 | 0.000 % | c =============================================================================== c New solution: 9901 c Elapsed CPU time: 17.2544 s Remaining CPU time: 162.746 s c =============================================================================== c | 31 | 1970 2169 314800 | 5000 31 1700 | 0.000 % | c =============================================================================== c New solution: 9900 c Elapsed CPU time: 17.5023 s Remaining CPU time: 162.498 s c =============================================================================== c | 31 | 1970 2170 316650 | 5000 31 1700 | 0.000 % | c =============================================================================== c New solution: 9899 c Elapsed CPU time: 17.7483 s Remaining CPU time: 162.252 s c =============================================================================== c | 31 | 1970 2171 318500 | 5000 31 1700 | 0.000 % | c =============================================================================== c New solution: 9898 c Elapsed CPU time: 17.9583 s Remaining CPU time: 162.042 s c =============================================================================== c | 32 | 1970 2172 320350 | 5000 32 1703 | 0.000 % | c =============================================================================== c New solution: 9897 c Elapsed CPU time: 18.1812 s Remaining CPU time: 161.819 s c =============================================================================== c | 33 | 1970 2173 322200 | 5000 33 1706 | 0.000 % | c =============================================================================== c New solution: 9896 c Elapsed CPU time: 18.3942 s Remaining CPU time: 161.606 s c =============================================================================== c | 33 | 1970 2174 324050 | 5000 33 1706 | 0.000 % | c =============================================================================== c New solution: 9895 c Elapsed CPU time: 18.6082 s Remaining CPU time: 161.392 s c =============================================================================== c | 33 | 1970 2175 325900 | 5000 33 1706 | 0.000 % | c =============================================================================== c New solution: 9894 c Elapsed CPU time: 18.8161 s Remaining CPU time: 161.184 s c =============================================================================== c | 33 | 1970 2176 327750 | 5000 33 1706 | 0.000 % | c =============================================================================== c New solution: 9893 c Elapsed CPU time: 19.0211 s Remaining CPU time: 160.979 s c =============================================================================== c | 33 | 1970 2177 329600 | 5000 33 1706 | 0.000 % | c =============================================================================== c New solution: 9892 c Elapsed CPU time: 19.2331 s Remaining CPU time: 160.767 s c =============================================================================== c | 33 | 1970 2178 331450 | 5000 33 1706 | 0.000 % | c =============================================================================== c New solution: 9891 c Elapsed CPU time: 19.504 s Remaining CPU time: 160.496 s c =============================================================================== c | 34 | 1970 2179 333300 | 5000 34 1709 | 0.000 % | c =============================================================================== c New solution: 9890 c Elapsed CPU time: 19.765 s Remaining CPU time: 160.235 s c =============================================================================== c | 34 | 1970 2180 335150 | 5000 34 1709 | 0.000 % | c =============================================================================== c New solution: 9889 c Elapsed CPU time: 20.009 s Remaining CPU time: 159.991 s c =============================================================================== c | 34 | 1970 2181 337000 | 5000 34 1709 | 0.000 % | c =============================================================================== c New solution: 9888 c Elapsed CPU time: 20.2489 s Remaining CPU time: 159.751 s c =============================================================================== c | 35 | 1970 2182 338850 | 5000 35 1712 | 0.000 % | c =============================================================================== c New solution: 9887 c Elapsed CPU time: 20.4789 s Remaining CPU time: 159.521 s c =============================================================================== c | 36 | 1970 2183 340700 | 5000 36 1715 | 0.000 % | c =============================================================================== c New solution: 9886 c Elapsed CPU time: 20.7148 s Remaining CPU time: 159.285 s c =============================================================================== c | 36 | 1970 2184 342550 | 5000 36 1715 | 0.000 % | c =============================================================================== c New solution: 9885 c Elapsed CPU time: 20.9548 s Remaining CPU time: 159.045 s c =============================================================================== c | 36 | 1970 2185 344400 | 5000 36 1715 | 0.000 % | c =============================================================================== c New solution: 9884 c Elapsed CPU time: 21.1938 s Remaining CPU time: 158.806 s c =============================================================================== c | 36 | 1970 2186 346250 | 5000 36 1715 | 0.000 % | c =============================================================================== c New solution: 9883 c Elapsed CPU time: 21.4327 s Remaining CPU time: 158.567 s c =============================================================================== c | 38 | 1970 2187 348100 | 5000 38 1720 | 0.000 % | c =============================================================================== c New solution: 9882 c Elapsed CPU time: 21.6587 s Remaining CPU time: 158.341 s c =============================================================================== c | 38 | 1970 2188 349950 | 5000 38 1720 | 0.000 % | c =============================================================================== c New solution: 9881 c Elapsed CPU time: 21.8857 s Remaining CPU time: 158.114 s c =============================================================================== c | 38 | 1970 2189 351800 | 5000 38 1720 | 0.000 % | c =============================================================================== c New solution: 9880 c Elapsed CPU time: 22.1076 s Remaining CPU time: 157.892 s c =============================================================================== c | 38 | 1970 2190 353650 | 5000 38 1720 | 0.000 % | c =============================================================================== c New solution: 9879 c Elapsed CPU time: 22.3236 s Remaining CPU time: 157.676 s c =============================================================================== c | 38 | 1970 2191 355500 | 5000 38 1720 | 0.000 % | c =============================================================================== c New solution: 9878 c Elapsed CPU time: 22.5756 s Remaining CPU time: 157.424 s c =============================================================================== c | 38 | 1970 2192 357350 | 5000 38 1720 | 0.000 % | c =============================================================================== c New solution: 9877 c Elapsed CPU time: 22.8105 s Remaining CPU time: 157.189 s c =============================================================================== c | 39 | 1970 2193 359200 | 5000 39 1722 | 0.000 % | c =============================================================================== c New solution: 9876 c Elapsed CPU time: 23.0475 s Remaining CPU time: 156.953 s c =============================================================================== c | 39 | 1970 2194 361050 | 5000 39 1722 | 0.000 % | c =============================================================================== c New solution: 9875 c Elapsed CPU time: 23.2825 s Remaining CPU time: 156.718 s c =============================================================================== c | 39 | 1970 2195 362900 | 5000 39 1722 | 0.000 % | c =============================================================================== c New solution: 9874 c Elapsed CPU time: 23.5254 s Remaining CPU time: 156.475 s c =============================================================================== c | 39 | 1970 2196 364750 | 5000 39 1722 | 0.000 % | c =============================================================================== c New solution: 9873 c Elapsed CPU time: 23.7704 s Remaining CPU time: 156.23 s c =============================================================================== c | 41 | 1970 2197 366600 | 5000 41 1726 | 0.000 % | c =============================================================================== c New solution: 9872 c Elapsed CPU time: 24.0183 s Remaining CPU time: 155.982 s c =============================================================================== c | 41 | 1970 2198 368450 | 5000 41 1726 | 0.000 % | c =============================================================================== c New solution: 9871 c Elapsed CPU time: 24.2903 s Remaining CPU time: 155.71 s c =============================================================================== c | 42 | 1970 2199 370300 | 5000 42 1728 | 0.000 % | c =============================================================================== c New solution: 9870 c Elapsed CPU time: 24.5543 s Remaining CPU time: 155.446 s c =============================================================================== c | 46 | 1970 2200 372150 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9869 c Elapsed CPU time: 24.7872 s Remaining CPU time: 155.213 s c =============================================================================== c | 46 | 1970 2201 374000 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9868 c Elapsed CPU time: 25.0332 s Remaining CPU time: 154.967 s c =============================================================================== c | 46 | 1970 2202 375850 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9867 c Elapsed CPU time: 25.2952 s Remaining CPU time: 154.705 s c =============================================================================== c | 46 | 1970 2203 377700 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9866 c Elapsed CPU time: 25.5621 s Remaining CPU time: 154.438 s c =============================================================================== c | 46 | 1970 2204 379550 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9865 c Elapsed CPU time: 25.8031 s Remaining CPU time: 154.197 s c =============================================================================== c | 46 | 1970 2205 381400 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9864 c Elapsed CPU time: 26.057 s Remaining CPU time: 153.943 s c =============================================================================== c | 46 | 1970 2206 383250 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9863 c Elapsed CPU time: 26.308 s Remaining CPU time: 153.692 s c =============================================================================== c | 46 | 1970 2207 385100 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9862 c Elapsed CPU time: 26.561 s Remaining CPU time: 153.439 s c =============================================================================== c | 46 | 1970 2208 386950 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9861 c Elapsed CPU time: 26.8069 s Remaining CPU time: 153.193 s c =============================================================================== c | 46 | 1970 2209 388800 | 5000 46 1734 | 0.000 % | c =============================================================================== c New solution: 9860 c Elapsed CPU time: 27.0809 s Remaining CPU time: 152.919 s c =============================================================================== c | 50 | 1970 2210 390650 | 5000 50 1740 | 0.000 % | c =============================================================================== c New solution: 9859 c Elapsed CPU time: 27.3578 s Remaining CPU time: 152.642 s c =============================================================================== c | 50 | 1970 2211 392500 | 5000 50 1740 | 0.000 % | c =============================================================================== c New solution: 9858 c Elapsed CPU time: 27.6298 s Remaining CPU time: 152.37 s c =============================================================================== c | 50 | 1970 2212 394350 | 5000 50 1740 | 0.000 % | c =============================================================================== c New solution: 9857 c Elapsed CPU time: 27.9428 s Remaining CPU time: 152.057 s c =============================================================================== c | 51 | 1970 2213 396200 | 5000 51 1741 | 0.000 % | c =============================================================================== c New solution: 9856 c Elapsed CPU time: 28.2287 s Remaining CPU time: 151.771 s c =============================================================================== c | 51 | 1970 2214 398050 | 5000 51 1741 | 0.000 % | c =============================================================================== c New solution: 9855 c Elapsed CPU time: 28.5057 s Remaining CPU time: 151.494 s c =============================================================================== c | 51 | 1970 2215 399900 | 5000 51 1741 | 0.000 % | c =============================================================================== c New solution: 9854 c Elapsed CPU time: 28.7756 s Remaining CPU time: 151.224 s c =============================================================================== c | 51 | 1970 2216 401750 | 5000 51 1741 | 0.000 % | c =============================================================================== c New solution: 9853 c Elapsed CPU time: 29.0586 s Remaining CPU time: 150.941 s c =============================================================================== c | 51 | 1970 2217 403600 | 5000 51 1741 | 0.000 % | c =============================================================================== c New solution: 9852 c Elapsed CPU time: 29.3315 s Remaining CPU time: 150.668 s c =============================================================================== c | 52 | 1970 2218 405450 | 5000 52 1742 | 0.000 % | c =============================================================================== c New solution: 9851 c Elapsed CPU time: 29.5935 s Remaining CPU time: 150.406 s c =============================================================================== c | 52 | 1970 2219 407300 | 5000 52 1742 | 0.000 % | c =============================================================================== c New solution: 9850 c Elapsed CPU time: 29.8735 s Remaining CPU time: 150.127 s c =============================================================================== c | 53 | 1970 2220 409150 | 5000 53 1743 | 0.000 % | c =============================================================================== c New solution: 9849 c Elapsed CPU time: 30.1614 s Remaining CPU time: 149.839 s c =============================================================================== c | 53 | 1970 2221 411000 | 5000 53 1743 | 0.000 % | c =============================================================================== c New solution: 9848 c Elapsed CPU time: 30.4714 s Remaining CPU time: 149.529 s c =============================================================================== c | 53 | 1970 2222 412850 | 5000 53 1743 | 0.000 % | c =============================================================================== c New solution: 9847 c Elapsed CPU time: 30.7743 s Remaining CPU time: 149.226 s c =============================================================================== c | 54 | 1970 2223 414700 | 5000 54 1744 | 0.000 % | c =============================================================================== c New solution: 9846 c Elapsed CPU time: 31.0563 s Remaining CPU time: 148.944 s c =============================================================================== c | 54 | 1970 2224 416550 | 5000 54 1744 | 0.000 % | c =============================================================================== c New solution: 9845 c Elapsed CPU time: 31.3362 s Remaining CPU time: 148.664 s c =============================================================================== c | 54 | 1970 2225 418400 | 5000 54 1744 | 0.000 % | c =============================================================================== c New solution: 9844 c Elapsed CPU time: 31.6062 s Remaining CPU time: 148.394 s c =============================================================================== c | 54 | 1970 2226 420250 | 5000 54 1744 | 0.000 % | c =============================================================================== c New solution: 9843 c Elapsed CPU time: 31.8792 s Remaining CPU time: 148.121 s c =============================================================================== c | 54 | 1970 2227 422100 | 5000 54 1744 | 0.000 % | c =============================================================================== c New solution: 9842 c Elapsed CPU time: 32.1721 s Remaining CPU time: 147.828 s c =============================================================================== c | 55 | 1970 2228 423950 | 5000 55 1745 | 0.000 % | c =============================================================================== c New solution: 9841 c Elapsed CPU time: 32.4501 s Remaining CPU time: 147.55 s c =============================================================================== c | 55 | 1970 2229 425800 | 5000 55 1745 | 0.000 % | c =============================================================================== c New solution: 9840 c Elapsed CPU time: 32.723 s Remaining CPU time: 147.277 s c =============================================================================== c | 55 | 1970 2230 427650 | 5000 55 1745 | 0.000 % | c =============================================================================== c New solution: 9839 c Elapsed CPU time: 33.014 s Remaining CPU time: 146.986 s c =============================================================================== c | 55 | 1970 2231 429500 | 5000 55 1745 | 0.000 % | c =============================================================================== c New solution: 9838 c Elapsed CPU time: 33.3139 s Remaining CPU time: 146.686 s c =============================================================================== c | 56 | 1970 2232 431350 | 5000 56 1746 | 0.000 % | c =============================================================================== c New solution: 9837 c Elapsed CPU time: 33.5939 s Remaining CPU time: 146.406 s c =============================================================================== c | 56 | 1970 2233 433200 | 5000 56 1746 | 0.000 % | c =============================================================================== c New solution: 9836 c Elapsed CPU time: 33.8808 s Remaining CPU time: 146.119 s c =============================================================================== c | 56 | 1970 2234 435050 | 5000 56 1746 | 0.000 % | c =============================================================================== c New solution: 9835 c Elapsed CPU time: 34.1668 s Remaining CPU time: 145.833 s c =============================================================================== c | 56 | 1970 2235 436900 | 5000 56 1746 | 0.000 % | c =============================================================================== c New solution: 9834 c Elapsed CPU time: 34.4418 s Remaining CPU time: 145.558 s c =============================================================================== c | 56 | 1970 2236 438750 | 5000 56 1746 | 0.000 % | c =============================================================================== c New solution: 9833 c Elapsed CPU time: 34.7297 s Remaining CPU time: 145.27 s c =============================================================================== c | 56 | 1970 2237 440600 | 5000 56 1746 | 0.000 % | c =============================================================================== c New solution: 9832 c Elapsed CPU time: 35.0177 s Remaining CPU time: 144.982 s c =============================================================================== c | 56 | 1970 2238 442450 | 5000 56 1746 | 0.000 % | c =============================================================================== c New solution: 9831 c Elapsed CPU time: 35.2976 s Remaining CPU time: 144.702 s c =============================================================================== c | 56 | 1970 2239 444300 | 5000 56 1746 | 0.000 % | c =============================================================================== c New solution: 9830 c Elapsed CPU time: 35.6366 s Remaining CPU time: 144.363 s c =============================================================================== c | 65 | 1970 2240 446150 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9829 c Elapsed CPU time: 35.9395 s Remaining CPU time: 144.06 s c =============================================================================== c | 65 | 1970 2241 448000 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9828 c Elapsed CPU time: 36.2225 s Remaining CPU time: 143.778 s c =============================================================================== c | 65 | 1970 2242 449850 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9827 c Elapsed CPU time: 36.5025 s Remaining CPU time: 143.498 s c =============================================================================== c | 65 | 1970 2243 451700 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9826 c Elapsed CPU time: 36.8064 s Remaining CPU time: 143.194 s c =============================================================================== c | 65 | 1970 2244 453550 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9825 c Elapsed CPU time: 37.1164 s Remaining CPU time: 142.884 s c =============================================================================== c | 65 | 1970 2245 455400 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9824 c Elapsed CPU time: 37.4353 s Remaining CPU time: 142.565 s c =============================================================================== c | 65 | 1970 2246 457250 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9823 c Elapsed CPU time: 37.7863 s Remaining CPU time: 142.214 s c =============================================================================== c | 65 | 1970 2247 459100 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9822 c Elapsed CPU time: 38.1362 s Remaining CPU time: 141.864 s c =============================================================================== c | 65 | 1970 2248 460950 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9821 c Elapsed CPU time: 38.4482 s Remaining CPU time: 141.552 s c =============================================================================== c | 65 | 1970 2249 462800 | 5000 65 1753 | 0.000 % | c =============================================================================== c New solution: 9820 c Elapsed CPU time: 38.7631 s Remaining CPU time: 141.237 s c =============================================================================== c | 67 | 1970 2250 464650 | 5000 67 1755 | 0.000 % | c =============================================================================== c New solution: 9819 c Elapsed CPU time: 39.147 s Remaining CPU time: 140.853 s c =============================================================================== c | 73 | 1970 2251 466500 | 5000 73 1758 | 0.000 % | c =============================================================================== c New solution: 9818 c Elapsed CPU time: 39.452 s Remaining CPU time: 140.548 s c =============================================================================== c | 73 | 1970 2252 468350 | 5000 73 1758 | 0.000 % | c =============================================================================== c New solution: 9817 c Elapsed CPU time: 39.754 s Remaining CPU time: 140.246 s c =============================================================================== c | 73 | 1970 2253 470200 | 5000 73 1758 | 0.000 % | c =============================================================================== c New solution: 9816 c Elapsed CPU time: 40.0969 s Remaining CPU time: 139.903 s c =============================================================================== c | 75 | 1970 2254 472050 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9815 c Elapsed CPU time: 40.4049 s Remaining CPU time: 139.595 s c =============================================================================== c | 75 | 1970 2255 473900 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9814 c Elapsed CPU time: 40.7228 s Remaining CPU time: 139.277 s c =============================================================================== c | 75 | 1970 2256 475750 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9813 c Elapsed CPU time: 41.0448 s Remaining CPU time: 138.955 s c =============================================================================== c | 75 | 1970 2257 477600 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9812 c Elapsed CPU time: 41.3737 s Remaining CPU time: 138.626 s c =============================================================================== c | 75 | 1970 2258 479450 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9811 c Elapsed CPU time: 41.7057 s Remaining CPU time: 138.294 s c =============================================================================== c | 75 | 1970 2259 481300 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9810 c Elapsed CPU time: 42.0346 s Remaining CPU time: 137.965 s c =============================================================================== c | 75 | 1970 2260 483150 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9809 c Elapsed CPU time: 42.3656 s Remaining CPU time: 137.634 s c =============================================================================== c | 75 | 1970 2261 485000 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9808 c Elapsed CPU time: 42.6805 s Remaining CPU time: 137.319 s c =============================================================================== c | 75 | 1970 2262 486850 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9807 c Elapsed CPU time: 43.0155 s Remaining CPU time: 136.985 s c =============================================================================== c | 75 | 1970 2263 488700 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9806 c Elapsed CPU time: 43.3594 s Remaining CPU time: 136.641 s c =============================================================================== c | 75 | 1970 2264 490550 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9805 c Elapsed CPU time: 43.6824 s Remaining CPU time: 136.318 s c =============================================================================== c | 75 | 1970 2265 492400 | 5000 75 1759 | 0.000 % | c =============================================================================== c New solution: 9804 c Elapsed CPU time: 44.0473 s Remaining CPU time: 135.953 s c =============================================================================== c | 77 | 1970 2266 494250 | 5000 77 1760 | 0.000 % | c =============================================================================== c New solution: 9803 c Elapsed CPU time: 44.3733 s Remaining CPU time: 135.627 s c =============================================================================== c | 77 | 1970 2267 496100 | 5000 77 1760 | 0.000 % | c =============================================================================== c New solution: 9802 c Elapsed CPU time: 44.6842 s Remaining CPU time: 135.316 s c =============================================================================== c | 77 | 1970 2268 497950 | 5000 77 1760 | 0.000 % | c =============================================================================== c New solution: 9801 c Elapsed CPU time: 45.0232 s Remaining CPU time: 134.977 s c =============================================================================== c | 77 | 1970 2269 499800 | 5000 77 1760 | 0.000 % | c =============================================================================== c New solution: 9800 c Elapsed CPU time: 45.3471 s Remaining CPU time: 134.653 s c =============================================================================== c | 77 | 1970 2270 501650 | 5000 77 1760 | 0.000 % | c =============================================================================== c New solution: 9799 c Elapsed CPU time: 45.6701 s Remaining CPU time: 134.33 s c =============================================================================== c | 77 | 1970 2271 503500 | 5000 77 1760 | 0.000 % | c =============================================================================== c New solution: 9798 c Elapsed CPU time: 45.999 s Remaining CPU time: 134.001 s c =============================================================================== c | 77 | 1970 2272 505350 | 5000 77 1760 | 0.000 % | c =============================================================================== c New solution: 9797 c Elapsed CPU time: 46.355 s Remaining CPU time: 133.645 s c =============================================================================== c | 79 | 1970 2273 507200 | 5000 79 1761 | 0.000 % | c =============================================================================== c New solution: 9796 c Elapsed CPU time: 46.7069 s Remaining CPU time: 133.293 s c =============================================================================== c | 82 | 1970 2274 509050 | 5000 82 1762 | 0.000 % | c =============================================================================== c New solution: 9795 c Elapsed CPU time: 47.0458 s Remaining CPU time: 132.954 s c =============================================================================== c | 82 | 1970 2275 510900 | 5000 82 1762 | 0.000 % | c =============================================================================== c New solution: 9794 c Elapsed CPU time: 47.4008 s Remaining CPU time: 132.599 s c =============================================================================== c | 82 | 1970 2276 512750 | 5000 82 1762 | 0.000 % | c =============================================================================== c New solution: 9793 c Elapsed CPU time: 47.8097 s Remaining CPU time: 132.19 s c =============================================================================== c | 88 | 1970 2277 514600 | 5000 88 1764 | 0.000 % | c =============================================================================== c New solution: 9792 c Elapsed CPU time: 48.1887 s Remaining CPU time: 131.811 s c =============================================================================== c | 88 | 1970 2278 516450 | 5000 88 1764 | 0.000 % | c =============================================================================== c New solution: 9791 c Elapsed CPU time: 48.5886 s Remaining CPU time: 131.411 s c =============================================================================== c | 88 | 1970 2279 518300 | 5000 88 1764 | 0.000 % | c =============================================================================== c New solution: 9790 c Elapsed CPU time: 48.9766 s Remaining CPU time: 131.023 s c =============================================================================== c | 89 | 1970 2280 520150 | 5000 89 1764 | 0.000 % | c =============================================================================== c New solution: 9789 c Elapsed CPU time: 49.3365 s Remaining CPU time: 130.664 s c =============================================================================== c | 89 | 1970 2281 522000 | 5000 89 1764 | 0.000 % | c =============================================================================== c New solution: 9788 c Elapsed CPU time: 49.6894 s Remaining CPU time: 130.311 s c =============================================================================== c | 89 | 1970 2282 523850 | 5000 89 1764 | 0.000 % | c =============================================================================== c New solution: 9787 c Elapsed CPU time: 50.0724 s Remaining CPU time: 129.928 s c =============================================================================== c | 89 | 1970 2283 525700 | 5000 89 1764 | 0.000 % | c =============================================================================== c New solution: 9786 c Elapsed CPU time: 50.4513 s Remaining CPU time: 129.549 s c =============================================================================== c | 91 | 1970 2284 527550 | 5000 91 1765 | 0.000 % | c =============================================================================== c New solution: 9785 c Elapsed CPU time: 50.8173 s Remaining CPU time: 129.183 s c =============================================================================== c | 91 | 1970 2285 529400 | 5000 91 1765 | 0.000 % | c =============================================================================== c New solution: 9784 c Elapsed CPU time: 51.1802 s Remaining CPU time: 128.82 s c =============================================================================== c | 91 | 1970 2286 531250 | 5000 91 1765 | 0.000 % | c =============================================================================== c New solution: 9783 c Elapsed CPU time: 51.5362 s Remaining CPU time: 128.464 s c =============================================================================== c | 91 | 1970 2287 533100 | 5000 91 1765 | 0.000 % | c =============================================================================== c New solution: 9782 c Elapsed CPU time: 51.9101 s Remaining CPU time: 128.09 s c =============================================================================== c | 91 | 1970 2288 534950 | 5000 91 1765 | 0.000 % | c =============================================================================== c New solution: 9781 c Elapsed CPU time: 52.2671 s Remaining CPU time: 127.733 s c =============================================================================== c | 91 | 1970 2289 536800 | 5000 91 1765 | 0.000 % | c =============================================================================== c New solution: 9780 c Elapsed CPU time: 52.669 s Remaining CPU time: 127.331 s c =============================================================================== c | 94 | 1970 2290 538650 | 5000 94 1766 | 0.000 % | c =============================================================================== c New solution: 9779 c Elapsed CPU time: 53.0329 s Remaining CPU time: 126.967 s c =============================================================================== c | 95 | 1970 2291 540500 | 5000 95 1766 | 0.000 % | c =============================================================================== c New solution: 9778 c Elapsed CPU time: 53.4219 s Remaining CPU time: 126.578 s c =============================================================================== c | 95 | 1970 2292 542350 | 5000 95 1766 | 0.000 % | c =============================================================================== c New solution: 9777 c Elapsed CPU time: 53.7788 s Remaining CPU time: 126.221 s c =============================================================================== c | 96 | 1970 2293 544200 | 5000 96 1766 | 0.000 % | c =============================================================================== c New solution: 9776 c Elapsed CPU time: 54.1388 s Remaining CPU time: 125.861 s c =============================================================================== c | 96 | 1970 2294 546050 | 5000 96 1766 | 0.000 % | c =============================================================================== c New solution: 9775 c Elapsed CPU time: 54.5067 s Remaining CPU time: 125.493 s c =============================================================================== c | 97 | 1970 2295 547900 | 5000 97 1767 | 0.000 % | c =============================================================================== c New solution: 9774 c Elapsed CPU time: 54.8927 s Remaining CPU time: 125.107 s c =============================================================================== c | 99 | 1970 2296 549750 | 5000 99 1767 | 0.000 % | c =============================================================================== c New solution: 9773 c Elapsed CPU time: 55.2346 s Remaining CPU time: 124.765 s c =============================================================================== c | 99 | 1970 2297 551600 | 5000 99 1767 | 0.000 % | c =============================================================================== c New solution: 9772 c Elapsed CPU time: 55.5935 s Remaining CPU time: 124.406 s c =============================================================================== c | 99 | 1970 2298 553450 | 5000 99 1767 | 0.000 % | c =============================================================================== c New solution: 9771 c Elapsed CPU time: 56.0265 s Remaining CPU time: 123.974 s c =============================================================================== c | 99 | 1970 2299 555300 | 5000 99 1767 | 0.000 % | c =============================================================================== c New solution: 9770 c Elapsed CPU time: 56.4294 s Remaining CPU time: 123.571 s c =============================================================================== c | 99 | 1970 2300 557150 | 5000 99 1767 | 0.000 % | c =============================================================================== c New solution: 9769 c Elapsed CPU time: 56.8354 s Remaining CPU time: 123.165 s c =============================================================================== c | 103 | 1970 2301 559000 | 5000 103 1768 | 0.000 % | c =============================================================================== c New solution: 9768 c Elapsed CPU time: 57.2373 s Remaining CPU time: 122.763 s c =============================================================================== c | 106 | 1970 2302 560850 | 5000 106 1768 | 0.000 % | c =============================================================================== c New solution: 9767 c Elapsed CPU time: 57.6252 s Remaining CPU time: 122.375 s c =============================================================================== c | 106 | 1970 2303 562700 | 5000 106 1768 | 0.000 % | c =============================================================================== c New solution: 9766 c Elapsed CPU time: 58.0122 s Remaining CPU time: 121.988 s c =============================================================================== c | 107 | 1970 2304 564550 | 5000 107 1768 | 0.000 % | c =============================================================================== c New solution: 9765 c Elapsed CPU time: 58.3831 s Remaining CPU time: 121.617 s c =============================================================================== c | 107 | 1970 2305 566400 | 5000 107 1768 | 0.000 % | c =============================================================================== c New solution: 9764 c Elapsed CPU time: 58.7981 s Remaining CPU time: 121.202 s c =============================================================================== c | 107 | 1970 2306 568250 | 5000 107 1768 | 0.000 % | c =============================================================================== c New solution: 9763 c Elapsed CPU time: 59.183 s Remaining CPU time: 120.817 s c =============================================================================== c | 107 | 1970 2307 570100 | 5000 107 1768 | 0.000 % | c =============================================================================== c New solution: 9762 c Elapsed CPU time: 59.5829 s Remaining CPU time: 120.417 s c =============================================================================== c | 107 | 1970 2308 571950 | 5000 107 1768 | 0.000 % | c =============================================================================== c New solution: 9761 c Elapsed CPU time: 60.0019 s Remaining CPU time: 119.998 s c =============================================================================== c | 107 | 1970 2309 573800 | 5000 107 1768 | 0.000 % | c =============================================================================== c New solution: 9760 c Elapsed CPU time: 60.4118 s Remaining CPU time: 119.588 s c =============================================================================== c | 107 | 1970 2310 575650 | 5000 107 1768 | 0.000 % | c =============================================================================== c New solution: 9759 c Elapsed CPU time: 60.8487 s Remaining CPU time: 119.151 s c =============================================================================== c | 107 | 1970 2311 577500 | 5000 107 1768 | 0.000 % | c =============================================================================== c New solution: 9758 c Elapsed CPU time: 61.2797 s Remaining CPU time: 118.72 s c =============================================================================== c | 109 | 1970 2312 579350 | 5000 109 1769 | 0.000 % | c =============================================================================== c New solution: 9757 c Elapsed CPU time: 61.6916 s Remaining CPU time: 118.308 s c =============================================================================== c | 110 | 1970 2313 581200 | 5000 110 1769 | 0.000 % | c =============================================================================== c New solution: 9756 c Elapsed CPU time: 62.1086 s Remaining CPU time: 117.891 s c =============================================================================== c | 110 | 1970 2314 583050 | 5000 110 1769 | 0.000 % | c =============================================================================== c New solution: 9755 c Elapsed CPU time: 62.5265 s Remaining CPU time: 117.474 s c =============================================================================== c | 110 | 1970 2315 584900 | 5000 110 1769 | 0.000 % | c =============================================================================== c New solution: 9754 c Elapsed CPU time: 62.9414 s Remaining CPU time: 117.059 s c =============================================================================== c | 110 | 1970 2316 586750 | 5000 110 1769 | 0.000 % | c =============================================================================== c New solution: 9753 c Elapsed CPU time: 63.3614 s Remaining CPU time: 116.639 s c =============================================================================== c | 110 | 1970 2317 588600 | 5000 110 1769 | 0.000 % | c =============================================================================== c New solution: 9752 c Elapsed CPU time: 63.7933 s Remaining CPU time: 116.207 s c =============================================================================== c | 110 | 1970 2318 590450 | 5000 110 1769 | 0.000 % | c =============================================================================== c New solution: 9751 c Elapsed CPU time: 64.2252 s Remaining CPU time: 115.775 s c =============================================================================== c | 110 | 1970 2319 592300 | 5000 110 1769 | 0.000 % | c =============================================================================== c New solution: 9750 c Elapsed CPU time: 64.6372 s Remaining CPU time: 115.363 s c =============================================================================== c | 112 | 1970 2320 594150 | 5000 112 1769 | 0.000 % | c =============================================================================== c New solution: 9749 c Elapsed CPU time: 65.0841 s Remaining CPU time: 114.916 s c =============================================================================== c | 114 | 1970 2321 596000 | 5000 114 1770 | 0.000 % | c =============================================================================== c New solution: 9748 c Elapsed CPU time: 65.477 s Remaining CPU time: 114.523 s c =============================================================================== c | 114 | 1970 2322 597850 | 5000 114 1770 | 0.000 % | c =============================================================================== c New solution: 9747 c Elapsed CPU time: 65.885 s Remaining CPU time: 114.115 s c =============================================================================== c | 118 | 1970 2323 599700 | 5000 118 1770 | 0.000 % | c =============================================================================== c New solution: 9746 c Elapsed CPU time: 66.3269 s Remaining CPU time: 113.673 s c =============================================================================== c | 125 | 1970 2324 601550 | 5000 125 1771 | 0.000 % | c =============================================================================== c New solution: 9745 c Elapsed CPU time: 66.7169 s Remaining CPU time: 113.283 s c =============================================================================== c | 125 | 1970 2325 603400 | 5000 125 1771 | 0.000 % | c =============================================================================== c New solution: 9744 c Elapsed CPU time: 67.1128 s Remaining CPU time: 112.887 s c =============================================================================== c | 125 | 1970 2326 605250 | 5000 125 1771 | 0.000 % | c =============================================================================== c New solution: 9743 c Elapsed CPU time: 67.5237 s Remaining CPU time: 112.476 s c =============================================================================== c | 125 | 1970 2327 607100 | 5000 125 1771 | 0.000 % | c =============================================================================== c New solution: 9742 c Elapsed CPU time: 67.9187 s Remaining CPU time: 112.081 s c =============================================================================== c | 125 | 1970 2328 608950 | 5000 125 1771 | 0.000 % | c =============================================================================== c New solution: 9741 c Elapsed CPU time: 68.3096 s Remaining CPU time: 111.69 s c =============================================================================== c | 125 | 1970 2329 610800 | 5000 125 1771 | 0.000 % | c =============================================================================== c New solution: 9740 c Elapsed CPU time: 68.7375 s Remaining CPU time: 111.262 s c =============================================================================== c | 125 | 1970 2330 612650 | 5000 125 1771 | 0.000 % | c =============================================================================== c New solution: 9739 c Elapsed CPU time: 69.2015 s Remaining CPU time: 110.799 s c =============================================================================== c | 125 | 1970 2331 614500 | 5000 125 1771 | 0.000 % | c =============================================================================== c New solution: 9738 c Elapsed CPU time: 69.6274 s Remaining CPU time: 110.373 s c =============================================================================== c | 126 | 1970 2332 616350 | 5000 126 1771 | 0.000 % | c =============================================================================== c New solution: 9737 c Elapsed CPU time: 70.0863 s Remaining CPU time: 109.914 s c =============================================================================== c | 126 | 1970 2333 618200 | 5000 126 1771 | 0.000 % | c =============================================================================== c New solution: 9736 c Elapsed CPU time: 70.5193 s Remaining CPU time: 109.481 s c =============================================================================== c | 126 | 1970 2334 620050 | 5000 126 1771 | 0.000 % | c =============================================================================== c New solution: 9735 c Elapsed CPU time: 70.9962 s Remaining CPU time: 109.004 s c =============================================================================== c | 129 | 1970 2335 621900 | 5000 129 1771 | 0.000 % | c =============================================================================== c New solution: 9734 c Elapsed CPU time: 71.4571 s Remaining CPU time: 108.543 s c =============================================================================== c | 129 | 1970 2336 623750 | 5000 129 1771 | 0.000 % | c =============================================================================== c New solution: 9733 c Elapsed CPU time: 71.9111 s Remaining CPU time: 108.089 s c =============================================================================== c | 130 | 1970 2337 625600 | 5000 130 1771 | 0.000 % | c =============================================================================== c New solution: 9732 c Elapsed CPU time: 72.381 s Remaining CPU time: 107.619 s c =============================================================================== c | 130 | 1970 2338 627450 | 5000 130 1771 | 0.000 % | c =============================================================================== c New solution: 9731 c Elapsed CPU time: 72.8299 s Remaining CPU time: 107.17 s c =============================================================================== c | 131 | 1970 2339 629300 | 5000 131 1772 | 0.000 % | c =============================================================================== c New solution: 9730 c Elapsed CPU time: 73.2369 s Remaining CPU time: 106.763 s c =============================================================================== c | 131 | 1970 2340 631150 | 5000 131 1772 | 0.000 % | c =============================================================================== c New solution: 9729 c Elapsed CPU time: 73.6718 s Remaining CPU time: 106.328 s c =============================================================================== c | 131 | 1970 2341 633000 | 5000 131 1772 | 0.000 % | c =============================================================================== c New solution: 9728 c Elapsed CPU time: 74.1207 s Remaining CPU time: 105.879 s c =============================================================================== c | 133 | 1970 2342 634850 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9727 c Elapsed CPU time: 74.5397 s Remaining CPU time: 105.46 s c =============================================================================== c | 133 | 1970 2343 636700 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9726 c Elapsed CPU time: 74.9556 s Remaining CPU time: 105.044 s c =============================================================================== c | 133 | 1970 2344 638550 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9725 c Elapsed CPU time: 75.3955 s Remaining CPU time: 104.604 s c =============================================================================== c | 133 | 1970 2345 640400 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9724 c Elapsed CPU time: 75.8385 s Remaining CPU time: 104.162 s c =============================================================================== c | 133 | 1970 2346 642250 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9723 c Elapsed CPU time: 76.2584 s Remaining CPU time: 103.742 s c =============================================================================== c | 133 | 1970 2347 644100 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9722 c Elapsed CPU time: 76.6853 s Remaining CPU time: 103.315 s c =============================================================================== c | 133 | 1970 2348 645950 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9721 c Elapsed CPU time: 77.1123 s Remaining CPU time: 102.888 s c =============================================================================== c | 133 | 1970 2349 647800 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9720 c Elapsed CPU time: 77.5522 s Remaining CPU time: 102.448 s c =============================================================================== c | 133 | 1970 2350 649650 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9719 c Elapsed CPU time: 77.9981 s Remaining CPU time: 102.002 s c =============================================================================== c | 133 | 1970 2351 651500 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9718 c Elapsed CPU time: 78.4141 s Remaining CPU time: 101.586 s c =============================================================================== c | 133 | 1970 2352 653350 | 5000 133 1772 | 0.000 % | c =============================================================================== c New solution: 9717 c Elapsed CPU time: 78.839 s Remaining CPU time: 101.161 s c =============================================================================== c | 135 | 1970 2353 655200 | 5000 135 1772 | 0.000 % | c =============================================================================== c New solution: 9716 c Elapsed CPU time: 79.246 s Remaining CPU time: 100.754 s c =============================================================================== c | 135 | 1970 2354 657050 | 5000 135 1772 | 0.000 % | c =============================================================================== c New solution: 9715 c Elapsed CPU time: 79.6909 s Remaining CPU time: 100.309 s c =============================================================================== c | 135 | 1970 2355 658900 | 5000 135 1772 | 0.000 % | c =============================================================================== c New solution: 9714 c Elapsed CPU time: 80.1488 s Remaining CPU time: 99.8512 s c =============================================================================== c | 136 | 1970 2356 660750 | 5000 136 1772 | 0.000 % | c =============================================================================== c New solution: 9713 c Elapsed CPU time: 80.6017 s Remaining CPU time: 99.3983 s c =============================================================================== c | 137 | 1970 2357 662600 | 5000 137 1772 | 0.000 % | c =============================================================================== c New solution: 9712 c Elapsed CPU time: 81.0787 s Remaining CPU time: 98.9213 s c =============================================================================== c | 138 | 1970 2358 664450 | 5000 138 1772 | 0.000 % | c =============================================================================== c New solution: 9711 c Elapsed CPU time: 81.5346 s Remaining CPU time: 98.4654 s c =============================================================================== c | 138 | 1970 2359 666300 | 5000 138 1772 | 0.000 % | c =============================================================================== c New solution: 9710 c Elapsed CPU time: 81.9765 s Remaining CPU time: 98.0235 s c =============================================================================== c | 139 | 1970 2360 668150 | 5000 139 1772 | 0.000 % | c =============================================================================== c New solution: 9709 c Elapsed CPU time: 82.4205 s Remaining CPU time: 97.5795 s c =============================================================================== c | 139 | 1970 2361 670000 | 5000 139 1772 | 0.000 % | c =============================================================================== c New solution: 9708 c Elapsed CPU time: 82.8984 s Remaining CPU time: 97.1016 s c =============================================================================== c | 141 | 1970 2362 671850 | 5000 141 1772 | 0.000 % | c =============================================================================== c New solution: 9707 c Elapsed CPU time: 83.3513 s Remaining CPU time: 96.6487 s c =============================================================================== c | 141 | 1970 2363 673700 | 5000 141 1772 | 0.000 % | c =============================================================================== c New solution: 9706 c Elapsed CPU time: 83.8093 s Remaining CPU time: 96.1907 s c =============================================================================== c | 142 | 1970 2364 675550 | 5000 142 1772 | 0.000 % | c =============================================================================== c New solution: 9705 c Elapsed CPU time: 84.2722 s Remaining CPU time: 95.7278 s c =============================================================================== c | 143 | 1970 2365 677400 | 5000 143 1772 | 0.000 % | c =============================================================================== c New solution: 9704 c Elapsed CPU time: 84.7371 s Remaining CPU time: 95.2629 s c =============================================================================== c | 143 | 1970 2366 679250 | 5000 143 1772 | 0.000 % | c =============================================================================== c New solution: 9703 c Elapsed CPU time: 85.215 s Remaining CPU time: 94.785 s c =============================================================================== c | 144 | 1970 2367 681100 | 5000 144 1772 | 0.000 % | c =============================================================================== c New solution: 9702 c Elapsed CPU time: 85.728 s Remaining CPU time: 94.272 s c =============================================================================== c | 148 | 1970 2368 682950 | 5000 148 1772 | 0.000 % | c =============================================================================== c New solution: 9701 c Elapsed CPU time: 86.2069 s Remaining CPU time: 93.7931 s c =============================================================================== c | 152 | 1970 2369 684800 | 5000 152 1773 | 0.000 % | c =============================================================================== c New solution: 9700 c Elapsed CPU time: 86.6848 s Remaining CPU time: 93.3152 s c =============================================================================== c | 153 | 1970 2370 686650 | 5000 153 1773 | 0.000 % | c =============================================================================== c New solution: 9699 c Elapsed CPU time: 87.1597 s Remaining CPU time: 92.8403 s c =============================================================================== c | 153 | 1970 2371 688500 | 5000 153 1773 | 0.000 % | c =============================================================================== c New solution: 9698 c Elapsed CPU time: 87.6727 s Remaining CPU time: 92.3273 s c =============================================================================== c | 154 | 1970 2372 690350 | 5000 154 1773 | 0.000 % | c =============================================================================== c New solution: 9697 c Elapsed CPU time: 88.1296 s Remaining CPU time: 91.8704 s c =============================================================================== c | 155 | 1970 2373 692200 | 5000 155 1773 | 0.000 % | c =============================================================================== c New solution: 9696 c Elapsed CPU time: 88.6045 s Remaining CPU time: 91.3955 s c =============================================================================== c | 155 | 1970 2374 694050 | 5000 155 1773 | 0.000 % | c =============================================================================== c New solution: 9695 c Elapsed CPU time: 89.0795 s Remaining CPU time: 90.9205 s c =============================================================================== c | 155 | 1970 2375 695900 | 5000 155 1773 | 0.000 % | c =============================================================================== c New solution: 9694 c Elapsed CPU time: 89.5584 s Remaining CPU time: 90.4416 s c =============================================================================== c | 156 | 1970 2376 697750 | 5000 156 1773 | 0.000 % | c =============================================================================== c New solution: 9693 c Elapsed CPU time: 90.0783 s Remaining CPU time: 89.9217 s c =============================================================================== c | 159 | 1970 2377 699600 | 5000 159 1773 | 0.000 % | c =============================================================================== c New solution: 9692 c Elapsed CPU time: 90.5552 s Remaining CPU time: 89.4448 s c =============================================================================== c | 159 | 1970 2378 701450 | 5000 159 1773 | 0.000 % | c =============================================================================== c New solution: 9691 c Elapsed CPU time: 91.0302 s Remaining CPU time: 88.9698 s c =============================================================================== c | 162 | 1970 2379 703300 | 5000 162 1773 | 0.000 % | c =============================================================================== c New solution: 9690 c Elapsed CPU time: 91.4831 s Remaining CPU time: 88.5169 s c =============================================================================== c | 162 | 1970 2380 705150 | 5000 162 1773 | 0.000 % | c =============================================================================== c New solution: 9689 c Elapsed CPU time: 91.931 s Remaining CPU time: 88.069 s c =============================================================================== c | 162 | 1970 2381 707000 | 5000 162 1773 | 0.000 % | c =============================================================================== c New solution: 9688 c Elapsed CPU time: 92.385 s Remaining CPU time: 87.615 s c =============================================================================== c | 162 | 1970 2382 708850 | 5000 162 1773 | 0.000 % | c =============================================================================== c New solution: 9687 c Elapsed CPU time: 92.8679 s Remaining CPU time: 87.1321 s c =============================================================================== c | 164 | 1970 2383 710700 | 5000 164 1773 | 0.000 % | c =============================================================================== c New solution: 9686 c Elapsed CPU time: 93.3908 s Remaining CPU time: 86.6092 s c =============================================================================== c | 164 | 1970 2384 712550 | 5000 164 1773 | 0.000 % | c =============================================================================== c New solution: 9685 c Elapsed CPU time: 93.8947 s Remaining CPU time: 86.1053 s c =============================================================================== c | 164 | 1970 2385 714400 | 5000 164 1773 | 0.000 % | c =============================================================================== c New solution: 9684 c Elapsed CPU time: 94.4016 s Remaining CPU time: 85.5984 s c =============================================================================== c | 164 | 1970 2386 716250 | 5000 164 1773 | 0.000 % | c =============================================================================== c New solution: 9683 c Elapsed CPU time: 94.9346 s Remaining CPU time: 85.0654 s c =============================================================================== c | 166 | 1970 2387 718100 | 5000 166 1773 | 0.000 % | c =============================================================================== c New solution: 9682 c Elapsed CPU time: 95.3985 s Remaining CPU time: 84.6015 s c =============================================================================== c | 166 | 1970 2388 719950 | 5000 166 1773 | 0.000 % | c =============================================================================== c New solution: 9681 c Elapsed CPU time: 95.8834 s Remaining CPU time: 84.1166 s c =============================================================================== c | 170 | 1970 2389 721800 | 5000 170 1773 | 0.000 % | c =============================================================================== c New solution: 9680 c Elapsed CPU time: 96.3993 s Remaining CPU time: 83.6007 s c =============================================================================== c | 170 | 1970 2390 723650 | 5000 170 1773 | 0.000 % | c =============================================================================== c New solution: 9679 c Elapsed CPU time: 96.8873 s Remaining CPU time: 83.1127 s c =============================================================================== c | 170 | 1970 2391 725500 | 5000 170 1773 | 0.000 % | c =============================================================================== c New solution: 9678 c Elapsed CPU time: 97.3802 s Remaining CPU time: 82.6198 s c =============================================================================== c | 170 | 1970 2392 727350 | 5000 170 1773 | 0.000 % | c =============================================================================== c New solution: 9677 c Elapsed CPU time: 97.8771 s Remaining CPU time: 82.1229 s c =============================================================================== c | 170 | 1970 2393 729200 | 5000 170 1773 | 0.000 % | c =============================================================================== c New solution: 9676 c Elapsed CPU time: 98.406 s Remaining CPU time: 81.594 s c =============================================================================== c | 171 | 1970 2394 731050 | 5000 171 1773 | 0.000 % | c =============================================================================== c New solution: 9675 c Elapsed CPU time: 98.896 s Remaining CPU time: 81.104 s c =============================================================================== c | 171 | 1970 2395 732900 | 5000 171 1773 | 0.000 % | c =============================================================================== c New solution: 9674 c Elapsed CPU time: 99.4099 s Remaining CPU time: 80.5901 s c =============================================================================== c | 171 | 1970 2396 734750 | 5000 171 1773 | 0.000 % | c =============================================================================== c New solution: 9673 c Elapsed CPU time: 99.9268 s Remaining CPU time: 80.0732 s c =============================================================================== c | 171 | 1970 2397 736600 | 5000 171 1773 | 0.000 % | c =============================================================================== c New solution: 9672 c Elapsed CPU time: 100.536 s Remaining CPU time: 79.4643 s c =============================================================================== c | 174 | 1970 2398 738450 | 5000 174 1773 | 0.000 % | c =============================================================================== c New solution: 9671 c Elapsed CPU time: 101.068 s Remaining CPU time: 78.9324 s c =============================================================================== c | 174 | 1970 2399 740300 | 5000 174 1773 | 0.000 % | c =============================================================================== c New solution: 9670 c Elapsed CPU time: 101.603 s Remaining CPU time: 78.3974 s c =============================================================================== c | 174 | 1970 2400 742150 | 5000 174 1773 | 0.000 % | c =============================================================================== c New solution: 9669 c Elapsed CPU time: 102.147 s Remaining CPU time: 77.8525 s c =============================================================================== c | 175 | 1970 2401 744000 | 5000 175 1773 | 0.000 % | c =============================================================================== c New solution: 9668 c Elapsed CPU time: 102.654 s Remaining CPU time: 77.3456 s c =============================================================================== c | 175 | 1970 2402 745850 | 5000 175 1773 | 0.000 % | c =============================================================================== c New solution: 9667 c Elapsed CPU time: 103.214 s Remaining CPU time: 76.7857 s c =============================================================================== c | 177 | 1970 2403 747700 | 5000 177 1773 | 0.000 % | c =============================================================================== c New solution: 9666 c Elapsed CPU time: 103.747 s Remaining CPU time: 76.2528 s c =============================================================================== c | 177 | 1970 2404 749550 | 5000 177 1773 | 0.000 % | c =============================================================================== c New solution: 9665 c Elapsed CPU time: 104.356 s Remaining CPU time: 75.6439 s c =============================================================================== c | 179 | 1970 2405 751400 | 5000 179 1773 | 0.000 % | c =============================================================================== c New solution: 9664 c Elapsed CPU time: 104.917 s Remaining CPU time: 75.0829 s c =============================================================================== c | 179 | 1970 2406 753250 | 5000 179 1773 | 0.000 % | c =============================================================================== c New solution: 9663 c Elapsed CPU time: 105.457 s Remaining CPU time: 74.543 s c =============================================================================== c | 180 | 1970 2407 755100 | 5000 180 1773 | 0.000 % | c =============================================================================== c New solution: 9662 c Elapsed CPU time: 106.016 s Remaining CPU time: 73.9841 s c =============================================================================== c | 180 | 1970 2408 756950 | 5000 180 1773 | 0.000 % | c =============================================================================== c New solution: 9661 c Elapsed CPU time: 106.567 s Remaining CPU time: 73.4332 s c =============================================================================== c | 180 | 1970 2409 758800 | 5000 180 1773 | 0.000 % | c =============================================================================== c New solution: 9660 c Elapsed CPU time: 107.233 s Remaining CPU time: 72.7673 s c =============================================================================== c | 194 | 1970 2410 760650 | 5000 194 1773 | 0.000 % | c =============================================================================== c New solution: 9659 c Elapsed CPU time: 107.788 s Remaining CPU time: 72.2124 s c =============================================================================== c | 195 | 1970 2411 762500 | 5000 195 1773 | 0.000 % | c =============================================================================== c New solution: 9658 c Elapsed CPU time: 108.361 s Remaining CPU time: 71.6395 s c =============================================================================== c | 198 | 1970 2412 764350 | 5000 198 1772 | 0.000 % | c =============================================================================== c New solution: 9657 c Elapsed CPU time: 108.899 s Remaining CPU time: 71.1006 s c =============================================================================== c | 198 | 1970 2413 766200 | 5000 198 1772 | 0.000 % | c =============================================================================== c New solution: 9656 c Elapsed CPU time: 109.435 s Remaining CPU time: 70.5646 s c =============================================================================== c | 198 | 1970 2414 768050 | 5000 198 1772 | 0.000 % | c =============================================================================== c New solution: 9655 c Elapsed CPU time: 109.923 s Remaining CPU time: 70.0767 s c =============================================================================== c | 198 | 1970 2415 769900 | 5000 198 1772 | 0.000 % | c =============================================================================== c New solution: 9654 c Elapsed CPU time: 110.406 s Remaining CPU time: 69.5938 s c =============================================================================== c | 198 | 1970 2416 771750 | 5000 198 1772 | 0.000 % | c =============================================================================== c New solution: 9653 c Elapsed CPU time: 110.948 s Remaining CPU time: 69.0519 s c =============================================================================== c | 199 | 1970 2417 773600 | 5000 199 1772 | 0.000 % | c =============================================================================== c New solution: 9652 c Elapsed CPU time: 111.488 s Remaining CPU time: 68.5119 s c =============================================================================== c | 199 | 1970 2418 775450 | 5000 199 1772 | 0.000 % | c =============================================================================== c New solution: 9651 c Elapsed CPU time: 112.03 s Remaining CPU time: 67.97 s c =============================================================================== c | 201 | 1970 2419 777300 | 5000 201 1772 | 0.000 % | c =============================================================================== c New solution: 9650 c Elapsed CPU time: 112.642 s Remaining CPU time: 67.3581 s c =============================================================================== c | 201 | 1970 2420 779150 | 5000 201 1772 | 0.000 % | c =============================================================================== c New solution: 9649 c Elapsed CPU time: 113.248 s Remaining CPU time: 66.7522 s c =============================================================================== c | 201 | 1970 2421 781000 | 5000 201 1772 | 0.000 % | c =============================================================================== c New solution: 9648 c Elapsed CPU time: 113.826 s Remaining CPU time: 66.1743 s c =============================================================================== c | 201 | 1970 2422 782850 | 5000 201 1772 | 0.000 % | c =============================================================================== c New solution: 9647 c Elapsed CPU time: 114.404 s Remaining CPU time: 65.5964 s c =============================================================================== c | 201 | 1970 2423 784700 | 5000 201 1772 | 0.000 % | c =============================================================================== c New solution: 9646 c Elapsed CPU time: 114.962 s Remaining CPU time: 65.0385 s c =============================================================================== c | 201 | 1970 2424 786550 | 5000 201 1772 | 0.000 % | c =============================================================================== c New solution: 9645 c Elapsed CPU time: 115.533 s Remaining CPU time: 64.4666 s c =============================================================================== c | 201 | 1970 2425 788400 | 5000 201 1772 | 0.000 % | c =============================================================================== c New solution: 9644 c Elapsed CPU time: 116.086 s Remaining CPU time: 63.9136 s c =============================================================================== c | 201 | 1970 2426 790250 | 5000 201 1772 | 0.000 % | c =============================================================================== c New solution: 9643 c Elapsed CPU time: 116.658 s Remaining CPU time: 63.3417 s c =============================================================================== c | 202 | 1970 2427 792100 | 5000 202 1772 | 0.000 % | c =============================================================================== c New solution: 9642 c Elapsed CPU time: 117.221 s Remaining CPU time: 62.7788 s c =============================================================================== c | 202 | 1970 2428 793950 | 5000 202 1772 | 0.000 % | c =============================================================================== c New solution: 9641 c Elapsed CPU time: 117.775 s Remaining CPU time: 62.2249 s c =============================================================================== c | 203 | 1970 2429 795800 | 5000 203 1772 | 0.000 % | c =============================================================================== c New solution: 9640 c Elapsed CPU time: 118.336 s Remaining CPU time: 61.664 s c =============================================================================== c | 204 | 1970 2430 797650 | 5000 204 1772 | 0.000 % | c =============================================================================== c New solution: 9639 c Elapsed CPU time: 118.902 s Remaining CPU time: 61.0981 s c =============================================================================== c | 207 | 1970 2431 799500 | 5000 207 1772 | 0.000 % | c =============================================================================== c New solution: 9638 c Elapsed CPU time: 119.46 s Remaining CPU time: 60.5402 s c =============================================================================== c | 207 | 1970 2432 801350 | 5000 207 1772 | 0.000 % | c =============================================================================== c New solution: 9637 c Elapsed CPU time: 120.021 s Remaining CPU time: 59.9792 s c =============================================================================== c | 207 | 1970 2433 803200 | 5000 207 1772 | 0.000 % | c =============================================================================== c New solution: 9636 c Elapsed CPU time: 120.576 s Remaining CPU time: 59.4243 s c =============================================================================== c | 207 | 1970 2434 805050 | 5000 207 1772 | 0.000 % | c =============================================================================== c New solution: 9635 c Elapsed CPU time: 121.163 s Remaining CPU time: 58.8374 s c =============================================================================== c | 208 | 1970 2435 806900 | 5000 208 1772 | 0.000 % | c =============================================================================== c New solution: 9634 c Elapsed CPU time: 121.746 s Remaining CPU time: 58.2535 s c =============================================================================== c | 209 | 1970 2436 808750 | 5000 209 1772 | 0.000 % | c =============================================================================== c New solution: 9633 c Elapsed CPU time: 122.306 s Remaining CPU time: 57.6936 s c =============================================================================== c | 210 | 1970 2437 810600 | 5000 210 1772 | 0.000 % | c =============================================================================== c New solution: 9632 c Elapsed CPU time: 122.865 s Remaining CPU time: 57.1347 s c =============================================================================== c | 218 | 1970 2438 812450 | 5000 218 1772 | 0.000 % | c =============================================================================== c New solution: 9631 c Elapsed CPU time: 123.443 s Remaining CPU time: 56.5568 s c =============================================================================== c | 218 | 1970 2439 814300 | 5000 218 1772 | 0.000 % | c =============================================================================== c New solution: 9630 c Elapsed CPU time: 124.051 s Remaining CPU time: 55.9489 s c =============================================================================== c | 224 | 1970 2440 816150 | 5000 224 1772 | 0.000 % | c =============================================================================== c New solution: 9629 c Elapsed CPU time: 124.679 s Remaining CPU time: 55.321 s c =============================================================================== c | 227 | 1970 2441 818000 | 5000 227 1771 | 0.000 % | c =============================================================================== c New solution: 9628 c Elapsed CPU time: 125.3 s Remaining CPU time: 54.7 s c =============================================================================== c | 228 | 1970 2442 819850 | 5000 228 1771 | 0.000 % | c =============================================================================== c New solution: 9627 c Elapsed CPU time: 125.881 s Remaining CPU time: 54.1191 s c =============================================================================== c | 228 | 1970 2443 821700 | 5000 228 1771 | 0.000 % | c =============================================================================== c New solution: 9626 c Elapsed CPU time: 126.434 s Remaining CPU time: 53.5662 s c =============================================================================== c | 228 | 1970 2444 823550 | 5000 228 1771 | 0.000 % | c =============================================================================== c New solution: 9625 c Elapsed CPU time: 127.023 s Remaining CPU time: 52.9773 s c =============================================================================== c | 229 | 1970 2445 825400 | 5000 229 1771 | 0.000 % | c =============================================================================== c New solution: 9624 c Elapsed CPU time: 127.579 s Remaining CPU time: 52.4214 s c =============================================================================== c | 229 | 1970 2446 827250 | 5000 229 1771 | 0.000 % | c =============================================================================== c New solution: 9623 c Elapsed CPU time: 128.181 s Remaining CPU time: 51.8195 s c =============================================================================== c | 235 | 1970 2447 829100 | 5000 235 1771 | 0.000 % | c =============================================================================== c New solution: 9622 c Elapsed CPU time: 128.761 s Remaining CPU time: 51.2386 s c =============================================================================== c | 235 | 1970 2448 830950 | 5000 235 1771 | 0.000 % | c =============================================================================== c New solution: 9621 c Elapsed CPU time: 129.386 s Remaining CPU time: 50.6137 s c =============================================================================== c | 238 | 1970 2449 832800 | 5000 238 1771 | 0.000 % | c =============================================================================== c New solution: 9620 c Elapsed CPU time: 129.987 s Remaining CPU time: 50.0128 s c =============================================================================== c | 247 | 1970 2450 834650 | 5000 247 1771 | 0.000 % | c =============================================================================== c New solution: 9619 c Elapsed CPU time: 130.576 s Remaining CPU time: 49.4239 s c =============================================================================== c | 249 | 1970 2451 836500 | 5000 249 1771 | 0.000 % | c =============================================================================== c New solution: 9618 c Elapsed CPU time: 131.267 s Remaining CPU time: 48.733 s c =============================================================================== c | 250 | 1970 2452 838350 | 5000 250 1771 | 0.000 % | c =============================================================================== c New solution: 9617 c Elapsed CPU time: 131.872 s Remaining CPU time: 48.128 s c =============================================================================== c | 250 | 1970 2453 840200 | 5000 250 1771 | 0.000 % | c =============================================================================== c New solution: 9616 c Elapsed CPU time: 132.505 s Remaining CPU time: 47.4951 s c =============================================================================== c | 254 | 1970 2454 842050 | 5000 254 1770 | 0.000 % | c =============================================================================== c New solution: 9615 c Elapsed CPU time: 133.08 s Remaining CPU time: 46.9202 s c =============================================================================== c | 254 | 1970 2455 843900 | 5000 254 1770 | 0.000 % | c =============================================================================== c New solution: 9614 c Elapsed CPU time: 133.633 s Remaining CPU time: 46.3673 s c =============================================================================== c | 254 | 1970 2456 845750 | 5000 254 1770 | 0.000 % | c =============================================================================== c New solution: 9613 c Elapsed CPU time: 134.18 s Remaining CPU time: 45.8204 s c =============================================================================== c | 254 | 1970 2457 847600 | 5000 254 1770 | 0.000 % | c =============================================================================== c New solution: 9612 c Elapsed CPU time: 134.767 s Remaining CPU time: 45.2335 s c =============================================================================== c | 254 | 1970 2458 849450 | 5000 254 1770 | 0.000 % | c =============================================================================== c New solution: 9611 c Elapsed CPU time: 135.332 s Remaining CPU time: 44.6676 s c =============================================================================== c | 255 | 1970 2459 851300 | 5000 255 1763 | 0.000 % | c =============================================================================== c New solution: 9610 c Elapsed CPU time: 135.928 s Remaining CPU time: 44.0717 s c =============================================================================== c | 255 | 1970 2460 853150 | 5000 255 1763 | 0.000 % | c =============================================================================== c New solution: 9609 c Elapsed CPU time: 136.523 s Remaining CPU time: 43.4768 s c =============================================================================== c | 258 | 1970 2461 855000 | 5000 258 1763 | 0.000 % | c =============================================================================== c New solution: 9608 c Elapsed CPU time: 137.171 s Remaining CPU time: 42.8289 s c =============================================================================== c | 266 | 1970 2462 856850 | 5000 266 1763 | 0.000 % | c =============================================================================== c New solution: 9607 c Elapsed CPU time: 137.779 s Remaining CPU time: 42.2209 s c =============================================================================== c | 266 | 1970 2463 858700 | 5000 266 1763 | 0.000 % | c =============================================================================== c New solution: 9606 c Elapsed CPU time: 138.362 s Remaining CPU time: 41.638 s c =============================================================================== c | 266 | 1970 2464 860550 | 5000 266 1763 | 0.000 % | c =============================================================================== c New solution: 9605 c Elapsed CPU time: 139.048 s Remaining CPU time: 40.9521 s c =============================================================================== c | 271 | 1970 2465 862400 | 5000 271 1763 | 0.000 % | c =============================================================================== c New solution: 9604 c Elapsed CPU time: 139.631 s Remaining CPU time: 40.3692 s c =============================================================================== c | 271 | 1970 2466 864250 | 5000 271 1763 | 0.000 % | c =============================================================================== c New solution: 9603 c Elapsed CPU time: 140.349 s Remaining CPU time: 39.6513 s c =============================================================================== c | 276 | 1970 2467 866100 | 5000 276 1763 | 0.000 % | c =============================================================================== c New solution: 9602 c Elapsed CPU time: 140.962 s Remaining CPU time: 39.0384 s c =============================================================================== c | 276 | 1970 2468 867950 | 5000 276 1763 | 0.000 % | c =============================================================================== c New solution: 9601 c Elapsed CPU time: 141.601 s Remaining CPU time: 38.3985 s c =============================================================================== c | 282 | 1970 2469 869800 | 5000 282 1763 | 0.000 % | c =============================================================================== c New solution: 9600 c Elapsed CPU time: 142.196 s Remaining CPU time: 37.8036 s c =============================================================================== c | 283 | 1970 2470 871650 | 5000 283 1763 | 0.000 % | c =============================================================================== c New solution: 9599 c Elapsed CPU time: 142.758 s Remaining CPU time: 37.2417 s c =============================================================================== c | 283 | 1970 2471 873500 | 5000 283 1763 | 0.000 % | c =============================================================================== c New solution: 9598 c Elapsed CPU time: 143.344 s Remaining CPU time: 36.6558 s c =============================================================================== c | 284 | 1970 2472 875350 | 5000 284 1763 | 0.000 % | c =============================================================================== c New solution: 9597 c Elapsed CPU time: 143.917 s Remaining CPU time: 36.0829 s c =============================================================================== c | 284 | 1970 2473 877200 | 5000 284 1763 | 0.000 % | c =============================================================================== c New solution: 9596 c Elapsed CPU time: 144.448 s Remaining CPU time: 35.552 s c =============================================================================== c | 284 | 1970 2474 879050 | 5000 284 1763 | 0.000 % | c =============================================================================== c New solution: 9595 c Elapsed CPU time: 144.988 s Remaining CPU time: 35.012 s c =============================================================================== c | 285 | 1970 2475 880900 | 5000 285 1763 | 0.000 % | c =============================================================================== c New solution: 9594 c Elapsed CPU time: 145.536 s Remaining CPU time: 34.4641 s c =============================================================================== c | 285 | 1970 2476 882750 | 5000 285 1763 | 0.000 % | c =============================================================================== c New solution: 9593 c Elapsed CPU time: 146.047 s Remaining CPU time: 33.9532 s c =============================================================================== c | 285 | 1970 2477 884600 | 5000 285 1763 | 0.000 % | c =============================================================================== c New solution: 9592 c Elapsed CPU time: 146.581 s Remaining CPU time: 33.4193 s c =============================================================================== c | 286 | 1970 2478 886450 | 5000 286 1763 | 0.000 % | c =============================================================================== c New solution: 9591 c Elapsed CPU time: 147.114 s Remaining CPU time: 32.8864 s c =============================================================================== c | 292 | 1970 2479 888300 | 5000 292 1763 | 0.000 % | c =============================================================================== c New solution: 9590 c Elapsed CPU time: 147.6 s Remaining CPU time: 32.4004 s c =============================================================================== c | 293 | 1970 2480 890150 | 5000 293 1763 | 0.000 % | c =============================================================================== c New solution: 9589 c Elapsed CPU time: 148.079 s Remaining CPU time: 31.9205 s c =============================================================================== c | 293 | 1970 2481 892000 | 5000 293 1763 | 0.000 % | c =============================================================================== c New solution: 9588 c Elapsed CPU time: 148.555 s Remaining CPU time: 31.4446 s c =============================================================================== c | 293 | 1970 2482 893850 | 5000 293 1763 | 0.000 % | c =============================================================================== c New solution: 9587 c Elapsed CPU time: 149.04 s Remaining CPU time: 30.9597 s c =============================================================================== c | 294 | 1970 2483 895700 | 5000 294 1763 | 0.000 % | c =============================================================================== c New solution: 9586 c Elapsed CPU time: 149.528 s Remaining CPU time: 30.4717 s c =============================================================================== c | 294 | 1970 2484 897550 | 5000 294 1763 | 0.000 % | c =============================================================================== c New solution: 9585 c Elapsed CPU time: 150.011 s Remaining CPU time: 29.9888 s c =============================================================================== c | 294 | 1970 2485 899400 | 5000 294 1763 | 0.000 % | c =============================================================================== c New solution: 9584 c Elapsed CPU time: 150.52 s Remaining CPU time: 29.4799 s c =============================================================================== c | 294 | 1970 2486 901250 | 5000 294 1763 | 0.000 % | c =============================================================================== c New solution: 9583 c Elapsed CPU time: 151.067 s Remaining CPU time: 28.933 s c =============================================================================== c | 295 | 1970 2487 903100 | 5000 295 1763 | 0.000 % | c =============================================================================== c New solution: 9582 c Elapsed CPU time: 151.627 s Remaining CPU time: 28.3731 s c =============================================================================== c | 303 | 1970 2488 904950 | 5000 303 1763 | 0.000 % | c =============================================================================== c New solution: 9581 c Elapsed CPU time: 152.095 s Remaining CPU time: 27.9051 s c =============================================================================== c | 303 | 1970 2489 906800 | 5000 303 1763 | 0.000 % | c =============================================================================== c New solution: 9580 c Elapsed CPU time: 152.692 s Remaining CPU time: 27.3082 s c =============================================================================== c | 306 | 1970 2490 908650 | 5000 306 1763 | 0.000 % | c =============================================================================== c New solution: 9579 c Elapsed CPU time: 153.321 s Remaining CPU time: 26.6793 s c =============================================================================== c | 318 | 1970 2491 910500 | 5000 318 1757 | 0.000 % | c =============================================================================== c New solution: 9578 c Elapsed CPU time: 153.867 s Remaining CPU time: 26.1334 s c =============================================================================== c | 319 | 1970 2492 912350 | 5000 319 1757 | 0.000 % | c =============================================================================== c New solution: 9577 c Elapsed CPU time: 154.427 s Remaining CPU time: 25.5735 s c =============================================================================== c | 321 | 1970 2493 914200 | 5000 321 1757 | 0.000 % | c =============================================================================== c New solution: 9576 c Elapsed CPU time: 154.946 s Remaining CPU time: 25.0536 s c =============================================================================== c | 321 | 1970 2494 916050 | 5000 321 1757 | 0.000 % | c =============================================================================== c New solution: 9575 c Elapsed CPU time: 155.448 s Remaining CPU time: 24.5516 s c =============================================================================== c | 321 | 1970 2495 917900 | 5000 321 1757 | 0.000 % | c =============================================================================== c New solution: 9574 c Elapsed CPU time: 155.995 s Remaining CPU time: 24.0047 s c =============================================================================== c | 321 | 1970 2496 919750 | 5000 321 1757 | 0.000 % | c =============================================================================== c New solution: 9573 c Elapsed CPU time: 156.626 s Remaining CPU time: 23.3738 s c =============================================================================== c | 334 | 1970 2497 921600 | 5000 334 1756 | 0.000 % | c =============================================================================== c New solution: 9572 c Elapsed CPU time: 157.173 s Remaining CPU time: 22.8269 s c =============================================================================== c | 337 | 1970 2498 923450 | 5000 337 1756 | 0.000 % | c =============================================================================== c New solution: 9571 c Elapsed CPU time: 157.666 s Remaining CPU time: 22.334 s c =============================================================================== c | 337 | 1970 2499 925300 | 5000 337 1756 | 0.000 % | c =============================================================================== c New solution: 9570 c Elapsed CPU time: 158.233 s Remaining CPU time: 21.7671 s c =============================================================================== c | 340 | 1970 2500 927150 | 5000 340 1756 | 0.000 % | c =============================================================================== c New solution: 9569 c Elapsed CPU time: 158.772 s Remaining CPU time: 21.2281 s c =============================================================================== c | 341 | 1970 2501 929000 | 5000 341 1756 | 0.000 % | c =============================================================================== c New solution: 9568 c Elapsed CPU time: 159.296 s Remaining CPU time: 20.7042 s c =============================================================================== c | 342 | 1970 2502 930850 | 5000 342 1756 | 0.000 % | c =============================================================================== c New solution: 9567 c Elapsed CPU time: 159.857 s Remaining CPU time: 20.1433 s c =============================================================================== c | 344 | 1970 2503 932700 | 5000 344 1756 | 0.000 % | c =============================================================================== c New solution: 9566 c Elapsed CPU time: 160.383 s Remaining CPU time: 19.6174 s c =============================================================================== c | 345 | 1970 2504 934550 | 5000 345 1756 | 0.000 % | c =============================================================================== c New solution: 9565 c Elapsed CPU time: 160.897 s Remaining CPU time: 19.1035 s c =============================================================================== c | 345 | 1970 2505 936400 | 5000 345 1756 | 0.000 % | c =============================================================================== c New solution: 9564 c Elapsed CPU time: 161.42 s Remaining CPU time: 18.5795 s c =============================================================================== c | 346 | 1970 2506 938250 | 5000 346 1756 | 0.000 % | c =============================================================================== c New solution: 9563 c Elapsed CPU time: 161.92 s Remaining CPU time: 18.0796 s c =============================================================================== c | 346 | 1970 2507 940100 | 5000 346 1756 | 0.000 % | c =============================================================================== c New solution: 9562 c Elapsed CPU time: 162.433 s Remaining CPU time: 17.5667 s c =============================================================================== c | 347 | 1970 2508 941950 | 5000 347 1756 | 0.000 % | c =============================================================================== c New solution: 9561 c Elapsed CPU time: 162.956 s Remaining CPU time: 17.0438 s c =============================================================================== c | 348 | 1970 2509 943800 | 5000 348 1756 | 0.000 % | c =============================================================================== c New solution: 9560 c Elapsed CPU time: 163.56 s Remaining CPU time: 16.4399 s c =============================================================================== c | 350 | 1970 2510 945650 | 5000 350 1756 | 0.000 % | c =============================================================================== c New solution: 9559 c Elapsed CPU time: 164.213 s Remaining CPU time: 15.787 s c =============================================================================== c | 360 | 1970 2511 947500 | 5000 360 1756 | 0.000 % | c =============================================================================== c New solution: 9558 c Elapsed CPU time: 164.735 s Remaining CPU time: 15.265 s c =============================================================================== c | 361 | 1970 2512 949350 | 5000 361 1756 | 0.000 % | c =============================================================================== c New solution: 9557 c Elapsed CPU time: 165.321 s Remaining CPU time: 14.6791 s c =============================================================================== c | 363 | 1970 2513 951200 | 5000 363 1756 | 0.000 % | c =============================================================================== c New solution: 9556 c Elapsed CPU time: 165.827 s Remaining CPU time: 14.1732 s c =============================================================================== c | 363 | 1970 2514 953050 | 5000 363 1756 | 0.000 % | c =============================================================================== c New solution: 9555 c Elapsed CPU time: 166.351 s Remaining CPU time: 13.6493 s c =============================================================================== c | 365 | 1970 2515 954900 | 5000 365 1756 | 0.000 % | c =============================================================================== c New solution: 9554 c Elapsed CPU time: 166.917 s Remaining CPU time: 13.0834 s c =============================================================================== c | 366 | 1970 2516 956750 | 5000 366 1756 | 0.000 % | c =============================================================================== c New solution: 9553 c Elapsed CPU time: 167.444 s Remaining CPU time: 12.5565 s c =============================================================================== c | 366 | 1970 2517 958600 | 5000 366 1756 | 0.000 % | c =============================================================================== c New solution: 9552 c Elapsed CPU time: 168.054 s Remaining CPU time: 11.9455 s c =============================================================================== c | 369 | 1970 2518 960450 | 5000 369 1756 | 0.000 % | c =============================================================================== c New solution: 9551 c Elapsed CPU time: 168.562 s Remaining CPU time: 11.4376 s c =============================================================================== c | 369 | 1970 2519 962300 | 5000 369 1756 | 0.000 % | c =============================================================================== c New solution: 9550 c Elapsed CPU time: 169.079 s Remaining CPU time: 10.9207 s c =============================================================================== c | 369 | 1970 2520 964150 | 5000 369 1756 | 0.000 % | c =============================================================================== c New solution: 9549 c Elapsed CPU time: 169.653 s Remaining CPU time: 10.3468 s c =============================================================================== c | 371 | 1970 2521 966000 | 5000 371 1756 | 0.000 % | c =============================================================================== c New solution: 9548 c Elapsed CPU time: 170.352 s Remaining CPU time: 9.6479 s c =============================================================================== c | 379 | 1970 2522 967850 | 5000 379 1755 | 0.000 % | c =============================================================================== c New solution: 9547 c Elapsed CPU time: 170.902 s Remaining CPU time: 9.09798 s c =============================================================================== c | 379 | 1970 2523 969700 | 5000 379 1755 | 0.000 % | c =============================================================================== c New solution: 9546 c Elapsed CPU time: 171.507 s Remaining CPU time: 8.49307 s c =============================================================================== c | 383 | 1970 2524 971550 | 5000 383 1755 | 0.000 % | c =============================================================================== c New solution: 9545 c Elapsed CPU time: 172.057 s Remaining CPU time: 7.94316 s c =============================================================================== c | 385 | 1970 2525 973400 | 5000 385 1751 | 0.000 % | c =============================================================================== c New solution: 9544 c Elapsed CPU time: 172.565 s Remaining CPU time: 7.43523 s c =============================================================================== c | 386 | 1970 2526 975250 | 5000 386 1751 | 0.000 % | c =============================================================================== c New solution: 9543 c Elapsed CPU time: 173.159 s Remaining CPU time: 6.84133 s c =============================================================================== c | 387 | 1970 2527 977100 | 5000 387 1751 | 0.000 % | c =============================================================================== c New solution: 9542 c Elapsed CPU time: 173.724 s Remaining CPU time: 6.27641 s c =============================================================================== c | 389 | 1970 2528 978950 | 5000 389 1751 | 0.000 % | c =============================================================================== c New solution: 9541 c Elapsed CPU time: 174.257 s Remaining CPU time: 5.74349 s c =============================================================================== c | 389 | 1970 2529 980800 | 5000 389 1751 | 0.000 % | c =============================================================================== c New solution: 9540 c Elapsed CPU time: 174.817 s Remaining CPU time: 5.18258 s c =============================================================================== c | 389 | 1970 2530 982650 | 5000 389 1751 | 0.000 % | c =============================================================================== c New solution: 9539 c Elapsed CPU time: 175.353 s Remaining CPU time: 4.64666 s c =============================================================================== c | 389 | 1970 2531 984500 | 5000 389 1751 | 0.000 % | c =============================================================================== c New solution: 9538 c Elapsed CPU time: 175.912 s Remaining CPU time: 4.08774 s c =============================================================================== c | 389 | 1970 2532 986350 | 5000 389 1751 | 0.000 % | c =============================================================================== c New solution: 9537 c Elapsed CPU time: 176.476 s Remaining CPU time: 3.52383 s c =============================================================================== c | 389 | 1970 2533 988200 | 5000 389 1751 | 0.000 % | c =============================================================================== c New solution: 9536 c Elapsed CPU time: 177.093 s Remaining CPU time: 2.90692 s c =============================================================================== c | 389 | 1970 2534 990050 | 5000 389 1751 | 0.000 % | c =============================================================================== c New solution: 9535 c Elapsed CPU time: 177.71 s Remaining CPU time: 2.29002 s c =============================================================================== c | 392 | 1970 2535 991900 | 5000 392 1751 | 0.000 % | c =============================================================================== c New solution: 9534 c Elapsed CPU time: 178.239 s Remaining CPU time: 1.7611 s c =============================================================================== c | 392 | 1970 2536 993750 | 5000 392 1751 | 0.000 % | c =============================================================================== c New solution: 9533 c Elapsed CPU time: 178.763 s Remaining CPU time: 1.23718 s c =============================================================================== c | 393 | 1970 2537 995600 | 5000 393 1751 | 0.000 % | c =============================================================================== c New solution: 9532 c Elapsed CPU time: 179.325 s Remaining CPU time: 0.675262 s c =============================================================================== c | 396 | 1970 2538 997450 | 5000 396 1751 | 0.000 % | c =============================================================================== c New solution: 9531 c Elapsed CPU time: 179.874 s Remaining CPU time: 0.126345 s c =============================================================================== c | 397 | 1970 2539 999300 | 5000 397 1751 | 0.000 % | c There are 30 assigned variables. 8 in cost function.