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 | 1990 2002 5846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10315 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1990 2003 7696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10313 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1990 2004 9546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10306 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1990 2005 11396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10304 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1990 2006 13246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10303 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1990 2007 15096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10296 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 1990 2008 16946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10294 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 0 | 1990 2009 18796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10293 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 1990 2010 20646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10291 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 1990 2011 22496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10289 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 1990 2012 24346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10286 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 1990 2013 26196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10283 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 1990 2014 28046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10282 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 1990 2015 29896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10280 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 0 | 1990 2016 31746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10279 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 1990 2017 33596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10278 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 0 | 1990 2018 35446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10277 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 0 | 1990 2019 37296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10276 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 0 | 1990 2020 39146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10275 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 0 | 1990 2021 40996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10274 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 1990 2022 42846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10273 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 0 | 1990 2023 44696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10272 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 0 | 1990 2024 46546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10271 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 1990 2025 48396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10270 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 0 | 1990 2026 50246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10269 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 1990 2027 52096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10268 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 0 | 1990 2028 53946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10267 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 0 | 1990 2029 55796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10266 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 0 | 1990 2030 57646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10265 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 0 | 1990 2031 59496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10264 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 0 | 1990 2032 61346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10263 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 1990 2033 63196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10261 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 0 | 1990 2034 65046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10259 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 0 | 1990 2035 66896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10258 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 0 | 1990 2036 68746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10256 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 0 | 1990 2037 70596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10255 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 0 | 1990 2038 72446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10253 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s c =============================================================================== c | 0 | 1990 2039 74296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10250 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 0 | 1990 2040 76146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10249 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 0 | 1990 2041 77996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10245 c Elapsed CPU time: 0.871867 s Remaining CPU time: 179.128 s c =============================================================================== c | 0 | 1990 2042 79846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10242 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s c =============================================================================== c | 0 | 1990 2043 81696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10241 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s c =============================================================================== c | 0 | 1990 2044 83546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10236 c Elapsed CPU time: 0.968852 s Remaining CPU time: 179.031 s c =============================================================================== c | 0 | 1990 2045 85396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10235 c Elapsed CPU time: 1.00485 s Remaining CPU time: 178.995 s c =============================================================================== c | 0 | 1990 2046 87246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10232 c Elapsed CPU time: 1.03984 s Remaining CPU time: 178.96 s c =============================================================================== c | 0 | 1990 2047 89096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10231 c Elapsed CPU time: 1.07984 s Remaining CPU time: 178.92 s c =============================================================================== c | 0 | 1990 2048 90946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10230 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 0 | 1990 2049 92796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10228 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 0 | 1990 2050 94646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10227 c Elapsed CPU time: 1.21281 s Remaining CPU time: 178.787 s c =============================================================================== c | 0 | 1990 2051 96496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10226 c Elapsed CPU time: 1.26081 s Remaining CPU time: 178.739 s c =============================================================================== c | 0 | 1990 2052 98346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10224 c Elapsed CPU time: 1.3078 s Remaining CPU time: 178.692 s c =============================================================================== c | 0 | 1990 2053 100196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10222 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 0 | 1990 2054 102046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10221 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 0 | 1990 2055 103896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10220 c Elapsed CPU time: 1.44878 s Remaining CPU time: 178.551 s c =============================================================================== c | 0 | 1990 2056 105746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10219 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s c =============================================================================== c | 0 | 1990 2057 107596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10217 c Elapsed CPU time: 1.55076 s Remaining CPU time: 178.449 s c =============================================================================== c | 0 | 1990 2058 109446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10216 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s c =============================================================================== c | 0 | 1990 2059 111296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10214 c Elapsed CPU time: 1.64875 s Remaining CPU time: 178.351 s c =============================================================================== c | 0 | 1990 2060 113146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10213 c Elapsed CPU time: 1.69974 s Remaining CPU time: 178.3 s c =============================================================================== c | 0 | 1990 2061 114996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10211 c Elapsed CPU time: 1.74873 s Remaining CPU time: 178.251 s c =============================================================================== c | 0 | 1990 2062 116846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10210 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s c =============================================================================== c | 0 | 1990 2063 118696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10209 c Elapsed CPU time: 1.85372 s Remaining CPU time: 178.146 s c =============================================================================== c | 0 | 1990 2064 120546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10208 c Elapsed CPU time: 1.91271 s Remaining CPU time: 178.087 s c =============================================================================== c | 0 | 1990 2065 122396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10207 c Elapsed CPU time: 1.9697 s Remaining CPU time: 178.03 s c =============================================================================== c | 0 | 1990 2066 124246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10206 c Elapsed CPU time: 2.02969 s Remaining CPU time: 177.97 s c =============================================================================== c | 0 | 1990 2067 126096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10205 c Elapsed CPU time: 2.08868 s Remaining CPU time: 177.911 s c =============================================================================== c | 0 | 1990 2068 127946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10204 c Elapsed CPU time: 2.15267 s Remaining CPU time: 177.847 s c =============================================================================== c | 0 | 1990 2069 129796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10202 c Elapsed CPU time: 2.21166 s Remaining CPU time: 177.788 s c =============================================================================== c | 0 | 1990 2070 131646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10200 c Elapsed CPU time: 2.27265 s Remaining CPU time: 177.727 s c =============================================================================== c | 0 | 1990 2071 133496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10199 c Elapsed CPU time: 2.33564 s Remaining CPU time: 177.664 s c =============================================================================== c | 0 | 1990 2072 135346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10198 c Elapsed CPU time: 2.39864 s Remaining CPU time: 177.601 s c =============================================================================== c | 0 | 1990 2073 137196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10197 c Elapsed CPU time: 2.46462 s Remaining CPU time: 177.535 s c =============================================================================== c | 0 | 1990 2074 139046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10196 c Elapsed CPU time: 2.53661 s Remaining CPU time: 177.463 s c =============================================================================== c | 0 | 1990 2075 140896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10195 c Elapsed CPU time: 2.6076 s Remaining CPU time: 177.392 s c =============================================================================== c | 0 | 1990 2076 142746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10194 c Elapsed CPU time: 2.67659 s Remaining CPU time: 177.323 s c =============================================================================== c | 0 | 1990 2077 144596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10193 c Elapsed CPU time: 2.74958 s Remaining CPU time: 177.25 s c =============================================================================== c | 0 | 1990 2078 146446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10192 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 0 | 1990 2079 148296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10191 c Elapsed CPU time: 2.89256 s Remaining CPU time: 177.107 s c =============================================================================== c | 0 | 1990 2080 150146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10190 c Elapsed CPU time: 2.96755 s Remaining CPU time: 177.032 s c =============================================================================== c | 0 | 1990 2081 151996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10188 c Elapsed CPU time: 3.03954 s Remaining CPU time: 176.96 s c =============================================================================== c | 0 | 1990 2082 153846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10187 c Elapsed CPU time: 3.11153 s Remaining CPU time: 176.888 s c =============================================================================== c | 0 | 1990 2083 155696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10186 c Elapsed CPU time: 3.18452 s Remaining CPU time: 176.815 s c =============================================================================== c | 0 | 1990 2084 157546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10182 c Elapsed CPU time: 3.2585 s Remaining CPU time: 176.741 s c =============================================================================== c | 0 | 1990 2085 159396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10181 c Elapsed CPU time: 3.33849 s Remaining CPU time: 176.662 s c =============================================================================== c | 0 | 1990 2086 161246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10178 c Elapsed CPU time: 3.41648 s Remaining CPU time: 176.584 s c =============================================================================== c | 0 | 1990 2087 163096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10173 c Elapsed CPU time: 3.49547 s Remaining CPU time: 176.505 s c =============================================================================== c | 0 | 1990 2088 164946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10171 c Elapsed CPU time: 3.57646 s Remaining CPU time: 176.424 s c =============================================================================== c | 0 | 1990 2089 166796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10168 c Elapsed CPU time: 3.65944 s Remaining CPU time: 176.341 s c =============================================================================== c | 0 | 1990 2090 168646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10167 c Elapsed CPU time: 3.74443 s Remaining CPU time: 176.256 s c =============================================================================== c | 0 | 1990 2091 170496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10166 c Elapsed CPU time: 3.82842 s Remaining CPU time: 176.172 s c =============================================================================== c | 0 | 1990 2092 172346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10164 c Elapsed CPU time: 3.9164 s Remaining CPU time: 176.084 s c =============================================================================== c | 0 | 1990 2093 174196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10163 c Elapsed CPU time: 4.00439 s Remaining CPU time: 175.996 s c =============================================================================== c | 0 | 1990 2094 176046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10162 c Elapsed CPU time: 4.09238 s Remaining CPU time: 175.908 s c =============================================================================== c | 0 | 1990 2095 177896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10161 c Elapsed CPU time: 4.17936 s Remaining CPU time: 175.821 s c =============================================================================== c | 0 | 1990 2096 179746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10157 c Elapsed CPU time: 4.27135 s Remaining CPU time: 175.729 s c =============================================================================== c | 0 | 1990 2097 181596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10152 c Elapsed CPU time: 4.36034 s Remaining CPU time: 175.64 s c =============================================================================== c | 0 | 1990 2098 183446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10149 c Elapsed CPU time: 4.45032 s Remaining CPU time: 175.55 s c =============================================================================== c | 0 | 1990 2099 185296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10148 c Elapsed CPU time: 4.54431 s Remaining CPU time: 175.456 s c =============================================================================== c | 0 | 1990 2100 187146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10147 c Elapsed CPU time: 4.63729 s Remaining CPU time: 175.363 s c =============================================================================== c | 0 | 1990 2101 188996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10146 c Elapsed CPU time: 4.72928 s Remaining CPU time: 175.271 s c =============================================================================== c | 0 | 1990 2102 190846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10144 c Elapsed CPU time: 4.82627 s Remaining CPU time: 175.174 s c =============================================================================== c | 0 | 1990 2103 192696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10142 c Elapsed CPU time: 4.92625 s Remaining CPU time: 175.074 s c =============================================================================== c | 0 | 1990 2104 194546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10141 c Elapsed CPU time: 5.02024 s Remaining CPU time: 174.98 s c =============================================================================== c | 0 | 1990 2105 196396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10140 c Elapsed CPU time: 5.11722 s Remaining CPU time: 174.883 s c =============================================================================== c | 0 | 1990 2106 198246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10139 c Elapsed CPU time: 5.21421 s Remaining CPU time: 174.786 s c =============================================================================== c | 0 | 1990 2107 200096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10136 c Elapsed CPU time: 5.31319 s Remaining CPU time: 174.687 s c =============================================================================== c | 0 | 1990 2108 201946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10134 c Elapsed CPU time: 5.42117 s Remaining CPU time: 174.579 s c =============================================================================== c | 0 | 1990 2109 203796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10133 c Elapsed CPU time: 5.52416 s Remaining CPU time: 174.476 s c =============================================================================== c | 0 | 1990 2110 205646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10132 c Elapsed CPU time: 5.62514 s Remaining CPU time: 174.375 s c =============================================================================== c | 0 | 1990 2111 207496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10130 c Elapsed CPU time: 5.72713 s Remaining CPU time: 174.273 s c =============================================================================== c | 0 | 1990 2112 209346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10129 c Elapsed CPU time: 5.83511 s Remaining CPU time: 174.165 s c =============================================================================== c | 0 | 1990 2113 211196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10128 c Elapsed CPU time: 5.9411 s Remaining CPU time: 174.059 s c =============================================================================== c | 0 | 1990 2114 213046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10126 c Elapsed CPU time: 6.04508 s Remaining CPU time: 173.955 s c =============================================================================== c | 0 | 1990 2115 214896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10124 c Elapsed CPU time: 6.15406 s Remaining CPU time: 173.846 s c =============================================================================== c | 0 | 1990 2116 216746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10123 c Elapsed CPU time: 6.26705 s Remaining CPU time: 173.733 s c =============================================================================== c | 0 | 1990 2117 218596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10121 c Elapsed CPU time: 6.38303 s Remaining CPU time: 173.617 s c =============================================================================== c | 0 | 1990 2118 220446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10120 c Elapsed CPU time: 6.49901 s Remaining CPU time: 173.501 s c =============================================================================== c | 0 | 1990 2119 222296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10119 c Elapsed CPU time: 6.60799 s Remaining CPU time: 173.392 s c =============================================================================== c | 0 | 1990 2120 224146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10117 c Elapsed CPU time: 6.72198 s Remaining CPU time: 173.278 s c =============================================================================== c | 0 | 1990 2121 225996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10116 c Elapsed CPU time: 6.83896 s Remaining CPU time: 173.161 s c =============================================================================== c | 0 | 1990 2122 227846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10113 c Elapsed CPU time: 6.95294 s Remaining CPU time: 173.047 s c =============================================================================== c | 0 | 1990 2123 229696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10111 c Elapsed CPU time: 7.07192 s Remaining CPU time: 172.928 s c =============================================================================== c | 0 | 1990 2124 231546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10110 c Elapsed CPU time: 7.18491 s Remaining CPU time: 172.815 s c =============================================================================== c | 0 | 1990 2125 233396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10108 c Elapsed CPU time: 7.29889 s Remaining CPU time: 172.701 s c =============================================================================== c | 0 | 1990 2126 235246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10106 c Elapsed CPU time: 7.41387 s Remaining CPU time: 172.586 s c =============================================================================== c | 0 | 1990 2127 237096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10105 c Elapsed CPU time: 7.53185 s Remaining CPU time: 172.468 s c =============================================================================== c | 0 | 1990 2128 238946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10103 c Elapsed CPU time: 7.65084 s Remaining CPU time: 172.349 s c =============================================================================== c | 0 | 1990 2129 240796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10101 c Elapsed CPU time: 7.76782 s Remaining CPU time: 172.232 s c =============================================================================== c | 0 | 1990 2130 242646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10099 c Elapsed CPU time: 7.8868 s Remaining CPU time: 172.113 s c =============================================================================== c | 0 | 1990 2131 244496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10095 c Elapsed CPU time: 8.00378 s Remaining CPU time: 171.996 s c =============================================================================== c | 0 | 1990 2132 246346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10093 c Elapsed CPU time: 8.12276 s Remaining CPU time: 171.877 s c =============================================================================== c | 0 | 1990 2133 248196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10090 c Elapsed CPU time: 8.24575 s Remaining CPU time: 171.754 s c =============================================================================== c | 0 | 1990 2134 250046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10086 c Elapsed CPU time: 8.36773 s Remaining CPU time: 171.632 s c =============================================================================== c | 0 | 1990 2135 251896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10084 c Elapsed CPU time: 8.49571 s Remaining CPU time: 171.504 s c =============================================================================== c | 0 | 1990 2136 253746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10082 c Elapsed CPU time: 8.62269 s Remaining CPU time: 171.377 s c =============================================================================== c | 0 | 1990 2137 255596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10079 c Elapsed CPU time: 8.75567 s Remaining CPU time: 171.244 s c =============================================================================== c | 0 | 1990 2138 257446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10078 c Elapsed CPU time: 8.89565 s Remaining CPU time: 171.104 s c =============================================================================== c | 0 | 1990 2139 259296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10077 c Elapsed CPU time: 9.03363 s Remaining CPU time: 170.966 s c =============================================================================== c | 0 | 1990 2140 261146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10076 c Elapsed CPU time: 9.17361 s Remaining CPU time: 170.826 s c =============================================================================== c | 2 | 1990 2141 262996 | 5000 2 1820 | 0.000 % | c =============================================================================== c New solution: 10074 c Elapsed CPU time: 9.30559 s Remaining CPU time: 170.694 s c =============================================================================== c | 2 | 1990 2142 264846 | 5000 2 1820 | 0.000 % | c =============================================================================== c New solution: 10073 c Elapsed CPU time: 9.45556 s Remaining CPU time: 170.544 s c =============================================================================== c | 2 | 1990 2143 266696 | 5000 2 1820 | 0.000 % | c =============================================================================== c New solution: 10071 c Elapsed CPU time: 9.62054 s Remaining CPU time: 170.379 s c =============================================================================== c | 2 | 1990 2144 268546 | 5000 2 1820 | 0.000 % | c =============================================================================== c New solution: 10070 c Elapsed CPU time: 9.77851 s Remaining CPU time: 170.221 s c =============================================================================== c | 2 | 1990 2145 270396 | 5000 2 1820 | 0.000 % | c =============================================================================== c New solution: 10069 c Elapsed CPU time: 9.92449 s Remaining CPU time: 170.076 s c =============================================================================== c | 2 | 1990 2146 272246 | 5000 2 1820 | 0.000 % | c =============================================================================== c New solution: 10068 c Elapsed CPU time: 10.0705 s Remaining CPU time: 169.93 s c =============================================================================== c | 3 | 1990 2147 274096 | 5000 3 1820 | 0.000 % | c =============================================================================== c New solution: 10067 c Elapsed CPU time: 10.2304 s Remaining CPU time: 169.77 s c =============================================================================== c | 3 | 1990 2148 275946 | 5000 3 1820 | 0.000 % | c =============================================================================== c New solution: 10065 c Elapsed CPU time: 10.3784 s Remaining CPU time: 169.622 s c =============================================================================== c | 3 | 1990 2149 277796 | 5000 3 1820 | 0.000 % | c =============================================================================== c New solution: 10064 c Elapsed CPU time: 10.5664 s Remaining CPU time: 169.434 s c =============================================================================== c | 4 | 1990 2150 279646 | 5000 4 1819 | 0.000 % | c =============================================================================== c New solution: 10063 c Elapsed CPU time: 10.7284 s Remaining CPU time: 169.272 s c =============================================================================== c | 4 | 1990 2151 281496 | 5000 4 1819 | 0.000 % | c =============================================================================== c New solution: 10061 c Elapsed CPU time: 10.8783 s Remaining CPU time: 169.122 s c =============================================================================== c | 5 | 1990 2152 283346 | 5000 5 1819 | 0.000 % | c =============================================================================== c New solution: 10060 c Elapsed CPU time: 11.0233 s Remaining CPU time: 168.977 s c =============================================================================== c | 5 | 1990 2153 285196 | 5000 5 1819 | 0.000 % | c =============================================================================== c New solution: 10057 c Elapsed CPU time: 11.1623 s Remaining CPU time: 168.838 s c =============================================================================== c | 5 | 1990 2154 287046 | 5000 5 1819 | 0.000 % | c =============================================================================== c New solution: 10054 c Elapsed CPU time: 11.3153 s Remaining CPU time: 168.685 s c =============================================================================== c | 6 | 1990 2155 288896 | 5000 6 1818 | 0.000 % | c =============================================================================== c New solution: 10053 c Elapsed CPU time: 11.4633 s Remaining CPU time: 168.537 s c =============================================================================== c | 7 | 1990 2156 290746 | 5000 7 1818 | 0.000 % | c =============================================================================== c New solution: 10052 c Elapsed CPU time: 11.6072 s Remaining CPU time: 168.393 s c =============================================================================== c | 8 | 1990 2157 292596 | 5000 8 1818 | 0.000 % | c =============================================================================== c New solution: 10049 c Elapsed CPU time: 11.7602 s Remaining CPU time: 168.24 s c =============================================================================== c | 9 | 1990 2158 294446 | 5000 9 1818 | 0.000 % | c =============================================================================== c New solution: 10047 c Elapsed CPU time: 11.9312 s Remaining CPU time: 168.069 s c =============================================================================== c | 9 | 1990 2159 296296 | 5000 9 1818 | 0.000 % | c =============================================================================== c New solution: 10046 c Elapsed CPU time: 12.0992 s Remaining CPU time: 167.901 s c =============================================================================== c | 10 | 1990 2160 298146 | 5000 10 1818 | 0.000 % | c =============================================================================== c New solution: 10043 c Elapsed CPU time: 12.2411 s Remaining CPU time: 167.759 s c =============================================================================== c | 10 | 1990 2161 299996 | 5000 10 1818 | 0.000 % | c =============================================================================== c New solution: 10042 c Elapsed CPU time: 12.3951 s Remaining CPU time: 167.605 s c =============================================================================== c | 11 | 1990 2162 301846 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10040 c Elapsed CPU time: 12.5441 s Remaining CPU time: 167.456 s c =============================================================================== c | 11 | 1990 2163 303696 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10038 c Elapsed CPU time: 12.6971 s Remaining CPU time: 167.303 s c =============================================================================== c | 11 | 1990 2164 305546 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10035 c Elapsed CPU time: 12.869 s Remaining CPU time: 167.131 s c =============================================================================== c | 11 | 1990 2165 307396 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10034 c Elapsed CPU time: 13.042 s Remaining CPU time: 166.958 s c =============================================================================== c | 11 | 1990 2166 309246 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10033 c Elapsed CPU time: 13.21 s Remaining CPU time: 166.79 s c =============================================================================== c | 11 | 1990 2167 311096 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10032 c Elapsed CPU time: 13.373 s Remaining CPU time: 166.627 s c =============================================================================== c | 11 | 1990 2168 312946 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10031 c Elapsed CPU time: 13.5329 s Remaining CPU time: 166.467 s c =============================================================================== c | 11 | 1990 2169 314796 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10030 c Elapsed CPU time: 13.6869 s Remaining CPU time: 166.313 s c =============================================================================== c | 11 | 1990 2170 316646 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10029 c Elapsed CPU time: 13.8419 s Remaining CPU time: 166.158 s c =============================================================================== c | 11 | 1990 2171 318496 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10028 c Elapsed CPU time: 13.9969 s Remaining CPU time: 166.003 s c =============================================================================== c | 11 | 1990 2172 320346 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10027 c Elapsed CPU time: 14.1608 s Remaining CPU time: 165.839 s c =============================================================================== c | 11 | 1990 2173 322196 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10026 c Elapsed CPU time: 14.3228 s Remaining CPU time: 165.677 s c =============================================================================== c | 11 | 1990 2174 324046 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10025 c Elapsed CPU time: 14.5098 s Remaining CPU time: 165.49 s c =============================================================================== c | 11 | 1990 2175 325896 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10024 c Elapsed CPU time: 14.6708 s Remaining CPU time: 165.329 s c =============================================================================== c | 11 | 1990 2176 327746 | 5000 11 1817 | 0.000 % | c =============================================================================== c New solution: 10023 c Elapsed CPU time: 14.8387 s Remaining CPU time: 165.161 s c =============================================================================== c | 12 | 1990 2177 329596 | 5000 12 1816 | 0.000 % | c =============================================================================== c New solution: 10021 c Elapsed CPU time: 15.0057 s Remaining CPU time: 164.994 s c =============================================================================== c | 12 | 1990 2178 331446 | 5000 12 1816 | 0.000 % | c =============================================================================== c New solution: 10020 c Elapsed CPU time: 15.1707 s Remaining CPU time: 164.829 s c =============================================================================== c | 13 | 1990 2179 333296 | 5000 13 1816 | 0.000 % | c =============================================================================== c New solution: 10019 c Elapsed CPU time: 15.3507 s Remaining CPU time: 164.649 s c =============================================================================== c | 13 | 1990 2180 335146 | 5000 13 1816 | 0.000 % | c =============================================================================== c New solution: 10017 c Elapsed CPU time: 15.5376 s Remaining CPU time: 164.462 s c =============================================================================== c | 14 | 1990 2181 336996 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10016 c Elapsed CPU time: 15.7116 s Remaining CPU time: 164.288 s c =============================================================================== c | 14 | 1990 2182 338846 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10014 c Elapsed CPU time: 15.8896 s Remaining CPU time: 164.11 s c =============================================================================== c | 14 | 1990 2183 340696 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10013 c Elapsed CPU time: 16.0626 s Remaining CPU time: 163.937 s c =============================================================================== c | 14 | 1990 2184 342546 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10012 c Elapsed CPU time: 16.2445 s Remaining CPU time: 163.755 s c =============================================================================== c | 14 | 1990 2185 344396 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10011 c Elapsed CPU time: 16.4285 s Remaining CPU time: 163.571 s c =============================================================================== c | 14 | 1990 2186 346246 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10010 c Elapsed CPU time: 16.6165 s Remaining CPU time: 163.384 s c =============================================================================== c | 14 | 1990 2187 348096 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10008 c Elapsed CPU time: 16.8004 s Remaining CPU time: 163.2 s c =============================================================================== c | 14 | 1990 2188 349946 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10007 c Elapsed CPU time: 16.9844 s Remaining CPU time: 163.016 s c =============================================================================== c | 14 | 1990 2189 351796 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10006 c Elapsed CPU time: 17.1614 s Remaining CPU time: 162.839 s c =============================================================================== c | 14 | 1990 2190 353646 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10004 c Elapsed CPU time: 17.3504 s Remaining CPU time: 162.65 s c =============================================================================== c | 14 | 1990 2191 355496 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10003 c Elapsed CPU time: 17.5273 s Remaining CPU time: 162.473 s c =============================================================================== c | 14 | 1990 2192 357346 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10001 c Elapsed CPU time: 17.7213 s Remaining CPU time: 162.279 s c =============================================================================== c | 14 | 1990 2193 359196 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 10000 c Elapsed CPU time: 17.9403 s Remaining CPU time: 162.06 s c =============================================================================== c | 14 | 1990 2194 361046 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 9999 c Elapsed CPU time: 18.1542 s Remaining CPU time: 161.846 s c =============================================================================== c | 14 | 1990 2195 362896 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 9998 c Elapsed CPU time: 18.3602 s Remaining CPU time: 161.64 s c =============================================================================== c | 14 | 1990 2196 364746 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 9996 c Elapsed CPU time: 18.5662 s Remaining CPU time: 161.434 s c =============================================================================== c | 14 | 1990 2197 366596 | 5000 14 1815 | 0.000 % | c =============================================================================== c New solution: 9995 c Elapsed CPU time: 18.7601 s Remaining CPU time: 161.24 s c =============================================================================== c | 15 | 1990 2198 368446 | 5000 15 1694 | 0.000 % | c =============================================================================== c New solution: 9994 c Elapsed CPU time: 18.9521 s Remaining CPU time: 161.048 s c =============================================================================== c | 15 | 1990 2199 370296 | 5000 15 1694 | 0.000 % | c =============================================================================== c New solution: 9993 c Elapsed CPU time: 19.1521 s Remaining CPU time: 160.848 s c =============================================================================== c | 16 | 1990 2200 372146 | 5000 16 1701 | 0.000 % | c =============================================================================== c New solution: 9992 c Elapsed CPU time: 19.3571 s Remaining CPU time: 160.643 s c =============================================================================== c | 17 | 1990 2201 373996 | 5000 17 1708 | 0.000 % | c =============================================================================== c New solution: 9991 c Elapsed CPU time: 19.547 s Remaining CPU time: 160.453 s c =============================================================================== c | 17 | 1990 2202 375846 | 5000 17 1708 | 0.000 % | c =============================================================================== c New solution: 9989 c Elapsed CPU time: 19.746 s Remaining CPU time: 160.254 s c =============================================================================== c | 17 | 1990 2203 377696 | 5000 17 1708 | 0.000 % | c =============================================================================== c New solution: 9988 c Elapsed CPU time: 19.94 s Remaining CPU time: 160.06 s c =============================================================================== c | 17 | 1990 2204 379546 | 5000 17 1708 | 0.000 % | c =============================================================================== c New solution: 9987 c Elapsed CPU time: 20.1339 s Remaining CPU time: 159.866 s c =============================================================================== c | 17 | 1990 2205 381396 | 5000 17 1708 | 0.000 % | c =============================================================================== c New solution: 9985 c Elapsed CPU time: 20.3329 s Remaining CPU time: 159.667 s c =============================================================================== c | 19 | 1990 2206 383246 | 5000 19 1718 | 0.000 % | c =============================================================================== c New solution: 9984 c Elapsed CPU time: 20.5349 s Remaining CPU time: 159.465 s c =============================================================================== c | 19 | 1990 2207 385096 | 5000 19 1718 | 0.000 % | c =============================================================================== c New solution: 9983 c Elapsed CPU time: 20.7548 s Remaining CPU time: 159.245 s c =============================================================================== c | 20 | 1990 2208 386946 | 5000 20 1722 | 0.000 % | c =============================================================================== c New solution: 9982 c Elapsed CPU time: 20.9598 s Remaining CPU time: 159.04 s c =============================================================================== c | 21 | 1990 2209 388796 | 5000 21 1726 | 0.000 % | c =============================================================================== c New solution: 9981 c Elapsed CPU time: 21.1608 s Remaining CPU time: 158.839 s c =============================================================================== c | 21 | 1990 2210 390646 | 5000 21 1726 | 0.000 % | c =============================================================================== c New solution: 9979 c Elapsed CPU time: 21.3837 s Remaining CPU time: 158.616 s c =============================================================================== c | 21 | 1990 2211 392496 | 5000 21 1726 | 0.000 % | c =============================================================================== c New solution: 9978 c Elapsed CPU time: 21.5907 s Remaining CPU time: 158.409 s c =============================================================================== c | 22 | 1990 2212 394346 | 5000 22 1730 | 0.000 % | c =============================================================================== c New solution: 9977 c Elapsed CPU time: 21.7947 s Remaining CPU time: 158.205 s c =============================================================================== c | 22 | 1990 2213 396196 | 5000 22 1730 | 0.000 % | c =============================================================================== c New solution: 9976 c Elapsed CPU time: 22.0346 s Remaining CPU time: 157.965 s c =============================================================================== c | 22 | 1990 2214 398046 | 5000 22 1730 | 0.000 % | c =============================================================================== c New solution: 9975 c Elapsed CPU time: 22.2566 s Remaining CPU time: 157.743 s c =============================================================================== c | 23 | 1990 2215 399896 | 5000 23 1733 | 0.000 % | c =============================================================================== c New solution: 9974 c Elapsed CPU time: 22.4586 s Remaining CPU time: 157.541 s c =============================================================================== c | 23 | 1990 2216 401746 | 5000 23 1733 | 0.000 % | c =============================================================================== c New solution: 9973 c Elapsed CPU time: 22.6606 s Remaining CPU time: 157.339 s c =============================================================================== c | 23 | 1990 2217 403596 | 5000 23 1733 | 0.000 % | c =============================================================================== c New solution: 9972 c Elapsed CPU time: 22.8725 s Remaining CPU time: 157.127 s c =============================================================================== c | 23 | 1990 2218 405446 | 5000 23 1733 | 0.000 % | c =============================================================================== c New solution: 9971 c Elapsed CPU time: 23.0915 s Remaining CPU time: 156.909 s c =============================================================================== c | 23 | 1990 2219 407296 | 5000 23 1733 | 0.000 % | c =============================================================================== c New solution: 9970 c Elapsed CPU time: 23.3125 s Remaining CPU time: 156.688 s c =============================================================================== c | 23 | 1990 2220 409146 | 5000 23 1733 | 0.000 % | c =============================================================================== c New solution: 9969 c Elapsed CPU time: 23.5294 s Remaining CPU time: 156.471 s c =============================================================================== c | 23 | 1990 2221 410996 | 5000 23 1733 | 0.000 % | c =============================================================================== c New solution: 9968 c Elapsed CPU time: 23.7454 s Remaining CPU time: 156.255 s c =============================================================================== c | 24 | 1990 2222 412846 | 5000 24 1736 | 0.000 % | c =============================================================================== c New solution: 9967 c Elapsed CPU time: 23.9514 s Remaining CPU time: 156.049 s c =============================================================================== c | 24 | 1990 2223 414696 | 5000 24 1736 | 0.000 % | c =============================================================================== c New solution: 9966 c Elapsed CPU time: 24.1673 s Remaining CPU time: 155.833 s c =============================================================================== c | 25 | 1990 2224 416546 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9965 c Elapsed CPU time: 24.3903 s Remaining CPU time: 155.61 s c =============================================================================== c | 25 | 1990 2225 418396 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9964 c Elapsed CPU time: 24.6233 s Remaining CPU time: 155.377 s c =============================================================================== c | 25 | 1990 2226 420246 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9963 c Elapsed CPU time: 24.8582 s Remaining CPU time: 155.142 s c =============================================================================== c | 25 | 1990 2227 422096 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9962 c Elapsed CPU time: 25.0962 s Remaining CPU time: 154.904 s c =============================================================================== c | 25 | 1990 2228 423946 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9961 c Elapsed CPU time: 25.3371 s Remaining CPU time: 154.663 s c =============================================================================== c | 25 | 1990 2229 425796 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9960 c Elapsed CPU time: 25.6081 s Remaining CPU time: 154.392 s c =============================================================================== c | 25 | 1990 2230 427646 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9959 c Elapsed CPU time: 25.8691 s Remaining CPU time: 154.131 s c =============================================================================== c | 25 | 1990 2231 429496 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9958 c Elapsed CPU time: 26.12 s Remaining CPU time: 153.88 s c =============================================================================== c | 25 | 1990 2232 431346 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9957 c Elapsed CPU time: 26.368 s Remaining CPU time: 153.632 s c =============================================================================== c | 25 | 1990 2233 433196 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9956 c Elapsed CPU time: 26.611 s Remaining CPU time: 153.389 s c =============================================================================== c | 25 | 1990 2234 435046 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9955 c Elapsed CPU time: 26.8449 s Remaining CPU time: 153.155 s c =============================================================================== c | 25 | 1990 2235 436896 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9954 c Elapsed CPU time: 27.0709 s Remaining CPU time: 152.929 s c =============================================================================== c | 25 | 1990 2236 438746 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9953 c Elapsed CPU time: 27.3088 s Remaining CPU time: 152.691 s c =============================================================================== c | 25 | 1990 2237 440596 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9952 c Elapsed CPU time: 27.5388 s Remaining CPU time: 152.461 s c =============================================================================== c | 25 | 1990 2238 442446 | 5000 25 1738 | 0.000 % | c =============================================================================== c New solution: 9951 c Elapsed CPU time: 27.7708 s Remaining CPU time: 152.229 s c =============================================================================== c | 26 | 1990 2239 444296 | 5000 26 1740 | 0.000 % | c =============================================================================== c New solution: 9950 c Elapsed CPU time: 28.0077 s Remaining CPU time: 151.992 s c =============================================================================== c | 26 | 1990 2240 446146 | 5000 26 1740 | 0.000 % | c =============================================================================== c New solution: 9949 c Elapsed CPU time: 28.2517 s Remaining CPU time: 151.748 s c =============================================================================== c | 26 | 1990 2241 447996 | 5000 26 1740 | 0.000 % | c =============================================================================== c New solution: 9948 c Elapsed CPU time: 28.4917 s Remaining CPU time: 151.508 s c =============================================================================== c | 26 | 1990 2242 449846 | 5000 26 1740 | 0.000 % | c =============================================================================== c New solution: 9947 c Elapsed CPU time: 28.7346 s Remaining CPU time: 151.265 s c =============================================================================== c | 27 | 1990 2243 451696 | 5000 27 1743 | 0.000 % | c =============================================================================== c New solution: 9946 c Elapsed CPU time: 28.9786 s Remaining CPU time: 151.021 s c =============================================================================== c | 27 | 1990 2244 453546 | 5000 27 1743 | 0.000 % | c =============================================================================== c New solution: 9945 c Elapsed CPU time: 29.2306 s Remaining CPU time: 150.769 s c =============================================================================== c | 28 | 1990 2245 455396 | 5000 28 1680 | 0.000 % | c =============================================================================== c New solution: 9944 c Elapsed CPU time: 29.4655 s Remaining CPU time: 150.534 s c =============================================================================== c | 28 | 1990 2246 457246 | 5000 28 1680 | 0.000 % | c =============================================================================== c New solution: 9943 c Elapsed CPU time: 29.7275 s Remaining CPU time: 150.273 s c =============================================================================== c | 28 | 1990 2247 459096 | 5000 28 1680 | 0.000 % | c =============================================================================== c New solution: 9942 c Elapsed CPU time: 29.9884 s Remaining CPU time: 150.012 s c =============================================================================== c | 28 | 1990 2248 460946 | 5000 28 1680 | 0.000 % | c =============================================================================== c New solution: 9941 c Elapsed CPU time: 30.2344 s Remaining CPU time: 149.766 s c =============================================================================== c | 28 | 1990 2249 462796 | 5000 28 1680 | 0.000 % | c =============================================================================== c New solution: 9940 c Elapsed CPU time: 30.4974 s Remaining CPU time: 149.503 s c =============================================================================== c | 29 | 1990 2250 464646 | 5000 29 1623 | 0.000 % | c =============================================================================== c New solution: 9939 c Elapsed CPU time: 30.7353 s Remaining CPU time: 149.265 s c =============================================================================== c | 29 | 1990 2251 466496 | 5000 29 1623 | 0.000 % | c =============================================================================== c New solution: 9938 c Elapsed CPU time: 30.9723 s Remaining CPU time: 149.028 s c =============================================================================== c | 29 | 1990 2252 468346 | 5000 29 1623 | 0.000 % | c =============================================================================== c New solution: 9937 c Elapsed CPU time: 31.2263 s Remaining CPU time: 148.774 s c =============================================================================== c | 29 | 1990 2253 470196 | 5000 29 1623 | 0.000 % | c =============================================================================== c New solution: 9936 c Elapsed CPU time: 31.4892 s Remaining CPU time: 148.511 s c =============================================================================== c | 32 | 1990 2254 472046 | 5000 32 1639 | 0.000 % | c =============================================================================== c New solution: 9935 c Elapsed CPU time: 31.7322 s Remaining CPU time: 148.268 s c =============================================================================== c | 32 | 1990 2255 473896 | 5000 32 1639 | 0.000 % | c =============================================================================== c New solution: 9934 c Elapsed CPU time: 31.9851 s Remaining CPU time: 148.015 s c =============================================================================== c | 32 | 1990 2256 475746 | 5000 32 1639 | 0.000 % | c =============================================================================== c New solution: 9933 c Elapsed CPU time: 32.2411 s Remaining CPU time: 147.759 s c =============================================================================== c | 33 | 1990 2257 477596 | 5000 33 1644 | 0.000 % | c =============================================================================== c New solution: 9932 c Elapsed CPU time: 32.4951 s Remaining CPU time: 147.505 s c =============================================================================== c | 33 | 1990 2258 479446 | 5000 33 1644 | 0.000 % | c =============================================================================== c New solution: 9931 c Elapsed CPU time: 32.746 s Remaining CPU time: 147.254 s c =============================================================================== c | 33 | 1990 2259 481296 | 5000 33 1644 | 0.000 % | c =============================================================================== c New solution: 9930 c Elapsed CPU time: 33.016 s Remaining CPU time: 146.984 s c =============================================================================== c | 35 | 1990 2260 483146 | 5000 35 1652 | 0.000 % | c =============================================================================== c New solution: 9929 c Elapsed CPU time: 33.2849 s Remaining CPU time: 146.715 s c =============================================================================== c | 37 | 1990 2261 484996 | 5000 37 1660 | 0.000 % | c =============================================================================== c New solution: 9928 c Elapsed CPU time: 33.5439 s Remaining CPU time: 146.456 s c =============================================================================== c | 37 | 1990 2262 486846 | 5000 37 1660 | 0.000 % | c =============================================================================== c New solution: 9927 c Elapsed CPU time: 33.8039 s Remaining CPU time: 146.196 s c =============================================================================== c | 37 | 1990 2263 488696 | 5000 37 1660 | 0.000 % | c =============================================================================== c New solution: 9926 c Elapsed CPU time: 34.0538 s Remaining CPU time: 145.946 s c =============================================================================== c | 37 | 1990 2264 490546 | 5000 37 1660 | 0.000 % | c =============================================================================== c New solution: 9925 c Elapsed CPU time: 34.2978 s Remaining CPU time: 145.702 s c =============================================================================== c | 37 | 1990 2265 492396 | 5000 37 1660 | 0.000 % | c =============================================================================== c New solution: 9924 c Elapsed CPU time: 34.5667 s Remaining CPU time: 145.433 s c =============================================================================== c | 37 | 1990 2266 494246 | 5000 37 1660 | 0.000 % | c =============================================================================== c New solution: 9923 c Elapsed CPU time: 34.8407 s Remaining CPU time: 145.159 s c =============================================================================== c | 37 | 1990 2267 496096 | 5000 37 1660 | 0.000 % | c =============================================================================== c New solution: 9922 c Elapsed CPU time: 35.1087 s Remaining CPU time: 144.891 s c =============================================================================== c | 37 | 1990 2268 497946 | 5000 37 1660 | 0.000 % | c =============================================================================== c New solution: 9921 c Elapsed CPU time: 35.3646 s Remaining CPU time: 144.635 s c =============================================================================== c | 38 | 1990 2269 499796 | 5000 38 1663 | 0.000 % | c =============================================================================== c New solution: 9920 c Elapsed CPU time: 35.6626 s Remaining CPU time: 144.337 s c =============================================================================== c | 38 | 1990 2270 501646 | 5000 38 1663 | 0.000 % | c =============================================================================== c New solution: 9919 c Elapsed CPU time: 35.9415 s Remaining CPU time: 144.058 s c =============================================================================== c | 38 | 1990 2271 503496 | 5000 38 1663 | 0.000 % | c =============================================================================== c New solution: 9918 c Elapsed CPU time: 36.2365 s Remaining CPU time: 143.764 s c =============================================================================== c | 38 | 1990 2272 505346 | 5000 38 1663 | 0.000 % | c =============================================================================== c New solution: 9917 c Elapsed CPU time: 36.5294 s Remaining CPU time: 143.471 s c =============================================================================== c | 38 | 1990 2273 507196 | 5000 38 1663 | 0.000 % | c =============================================================================== c New solution: 9916 c Elapsed CPU time: 36.8004 s Remaining CPU time: 143.2 s c =============================================================================== c | 38 | 1990 2274 509046 | 5000 38 1663 | 0.000 % | c =============================================================================== c New solution: 9915 c Elapsed CPU time: 37.0774 s Remaining CPU time: 142.923 s c =============================================================================== c | 38 | 1990 2275 510896 | 5000 38 1663 | 0.000 % | c =============================================================================== c New solution: 9914 c Elapsed CPU time: 37.3393 s Remaining CPU time: 142.661 s c =============================================================================== c | 38 | 1990 2276 512746 | 5000 38 1663 | 0.000 % | c =============================================================================== c New solution: 9913 c Elapsed CPU time: 37.6143 s Remaining CPU time: 142.386 s c =============================================================================== c | 44 | 1990 2277 514596 | 5000 44 1680 | 0.000 % | c =============================================================================== c New solution: 9912 c Elapsed CPU time: 37.8802 s Remaining CPU time: 142.12 s c =============================================================================== c | 44 | 1990 2278 516446 | 5000 44 1680 | 0.000 % | c =============================================================================== c New solution: 9911 c Elapsed CPU time: 38.1622 s Remaining CPU time: 141.838 s c =============================================================================== c | 44 | 1990 2279 518296 | 5000 44 1680 | 0.000 % | c =============================================================================== c New solution: 9910 c Elapsed CPU time: 38.4372 s Remaining CPU time: 141.563 s c =============================================================================== c | 44 | 1990 2280 520146 | 5000 44 1680 | 0.000 % | c =============================================================================== c New solution: 9909 c Elapsed CPU time: 38.6911 s Remaining CPU time: 141.309 s c =============================================================================== c | 44 | 1990 2281 521996 | 5000 44 1680 | 0.000 % | c =============================================================================== c New solution: 9908 c Elapsed CPU time: 38.9751 s Remaining CPU time: 141.025 s c =============================================================================== c | 44 | 1990 2282 523846 | 5000 44 1680 | 0.000 % | c =============================================================================== c New solution: 9907 c Elapsed CPU time: 39.246 s Remaining CPU time: 140.754 s c =============================================================================== c | 44 | 1990 2283 525696 | 5000 44 1680 | 0.000 % | c =============================================================================== c New solution: 9906 c Elapsed CPU time: 39.523 s Remaining CPU time: 140.477 s c =============================================================================== c | 44 | 1990 2284 527546 | 5000 44 1680 | 0.000 % | c =============================================================================== c New solution: 9905 c Elapsed CPU time: 39.8059 s Remaining CPU time: 140.194 s c =============================================================================== c | 45 | 1990 2285 529396 | 5000 45 1683 | 0.000 % | c =============================================================================== c New solution: 9904 c Elapsed CPU time: 40.0919 s Remaining CPU time: 139.908 s c =============================================================================== c | 45 | 1990 2286 531246 | 5000 45 1683 | 0.000 % | c =============================================================================== c New solution: 9903 c Elapsed CPU time: 40.3819 s Remaining CPU time: 139.618 s c =============================================================================== c | 45 | 1990 2287 533096 | 5000 45 1683 | 0.000 % | c =============================================================================== c New solution: 9902 c Elapsed CPU time: 40.6598 s Remaining CPU time: 139.34 s c =============================================================================== c | 45 | 1990 2288 534946 | 5000 45 1683 | 0.000 % | c =============================================================================== c New solution: 9901 c Elapsed CPU time: 40.9278 s Remaining CPU time: 139.072 s c =============================================================================== c | 46 | 1990 2289 536796 | 5000 46 1685 | 0.000 % | c =============================================================================== c New solution: 9900 c Elapsed CPU time: 41.2077 s Remaining CPU time: 138.792 s c =============================================================================== c | 47 | 1990 2290 538646 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9899 c Elapsed CPU time: 41.4927 s Remaining CPU time: 138.507 s c =============================================================================== c | 47 | 1990 2291 540496 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9898 c Elapsed CPU time: 41.7677 s Remaining CPU time: 138.232 s c =============================================================================== c | 47 | 1990 2292 542346 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9897 c Elapsed CPU time: 42.0556 s Remaining CPU time: 137.944 s c =============================================================================== c | 47 | 1990 2293 544196 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9896 c Elapsed CPU time: 42.3476 s Remaining CPU time: 137.652 s c =============================================================================== c | 47 | 1990 2294 546046 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9895 c Elapsed CPU time: 42.6245 s Remaining CPU time: 137.375 s c =============================================================================== c | 47 | 1990 2295 547896 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9894 c Elapsed CPU time: 42.9085 s Remaining CPU time: 137.092 s c =============================================================================== c | 47 | 1990 2296 549746 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9893 c Elapsed CPU time: 43.1754 s Remaining CPU time: 136.825 s c =============================================================================== c | 47 | 1990 2297 551596 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9892 c Elapsed CPU time: 43.4754 s Remaining CPU time: 136.525 s c =============================================================================== c | 47 | 1990 2298 553446 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9891 c Elapsed CPU time: 43.7693 s Remaining CPU time: 136.231 s c =============================================================================== c | 47 | 1990 2299 555296 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9890 c Elapsed CPU time: 44.0683 s Remaining CPU time: 135.932 s c =============================================================================== c | 47 | 1990 2300 557146 | 5000 47 1687 | 0.000 % | c =============================================================================== c New solution: 9889 c Elapsed CPU time: 44.3913 s Remaining CPU time: 135.609 s c =============================================================================== c | 48 | 1990 2301 558996 | 5000 48 1689 | 0.000 % | c =============================================================================== c New solution: 9888 c Elapsed CPU time: 44.7002 s Remaining CPU time: 135.3 s c =============================================================================== c | 50 | 1990 2302 560846 | 5000 50 1693 | 0.000 % | c =============================================================================== c New solution: 9887 c Elapsed CPU time: 45.0032 s Remaining CPU time: 134.997 s c =============================================================================== c | 52 | 1990 2303 562696 | 5000 52 1696 | 0.000 % | c =============================================================================== c New solution: 9886 c Elapsed CPU time: 45.2931 s Remaining CPU time: 134.707 s c =============================================================================== c | 52 | 1990 2304 564546 | 5000 52 1696 | 0.000 % | c =============================================================================== c New solution: 9885 c Elapsed CPU time: 45.5791 s Remaining CPU time: 134.421 s c =============================================================================== c | 52 | 1990 2305 566396 | 5000 52 1696 | 0.000 % | c =============================================================================== c New solution: 9884 c Elapsed CPU time: 45.883 s Remaining CPU time: 134.117 s c =============================================================================== c | 53 | 1990 2306 568246 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9883 c Elapsed CPU time: 46.173 s Remaining CPU time: 133.827 s c =============================================================================== c | 53 | 1990 2307 570096 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9882 c Elapsed CPU time: 46.4639 s Remaining CPU time: 133.536 s c =============================================================================== c | 53 | 1990 2308 571946 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9881 c Elapsed CPU time: 46.7529 s Remaining CPU time: 133.247 s c =============================================================================== c | 53 | 1990 2309 573796 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9880 c Elapsed CPU time: 47.0478 s Remaining CPU time: 132.952 s c =============================================================================== c | 53 | 1990 2310 575646 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9879 c Elapsed CPU time: 47.3658 s Remaining CPU time: 132.634 s c =============================================================================== c | 53 | 1990 2311 577496 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9878 c Elapsed CPU time: 47.6857 s Remaining CPU time: 132.314 s c =============================================================================== c | 53 | 1990 2312 579346 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9877 c Elapsed CPU time: 48.0047 s Remaining CPU time: 131.995 s c =============================================================================== c | 53 | 1990 2313 581196 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9876 c Elapsed CPU time: 48.3127 s Remaining CPU time: 131.687 s c =============================================================================== c | 53 | 1990 2314 583046 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9875 c Elapsed CPU time: 48.6216 s Remaining CPU time: 131.378 s c =============================================================================== c | 53 | 1990 2315 584896 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9874 c Elapsed CPU time: 48.9246 s Remaining CPU time: 131.075 s c =============================================================================== c | 53 | 1990 2316 586746 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9873 c Elapsed CPU time: 49.2425 s Remaining CPU time: 130.757 s c =============================================================================== c | 53 | 1990 2317 588596 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9872 c Elapsed CPU time: 49.6135 s Remaining CPU time: 130.387 s c =============================================================================== c | 53 | 1990 2318 590446 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9871 c Elapsed CPU time: 49.9614 s Remaining CPU time: 130.039 s c =============================================================================== c | 53 | 1990 2319 592296 | 5000 53 1698 | 0.000 % | c =============================================================================== c New solution: 9870 c Elapsed CPU time: 50.2584 s Remaining CPU time: 129.742 s c =============================================================================== c | 54 | 1990 2320 594146 | 5000 54 1700 | 0.000 % | c =============================================================================== c New solution: 9869 c Elapsed CPU time: 50.5813 s Remaining CPU time: 129.419 s c =============================================================================== c | 56 | 1990 2321 595996 | 5000 56 1703 | 0.000 % | c =============================================================================== c New solution: 9868 c Elapsed CPU time: 50.9023 s Remaining CPU time: 129.098 s c =============================================================================== c | 56 | 1990 2322 597846 | 5000 56 1703 | 0.000 % | c =============================================================================== c New solution: 9867 c Elapsed CPU time: 51.2362 s Remaining CPU time: 128.764 s c =============================================================================== c | 65 | 1990 2323 599696 | 5000 65 1714 | 0.000 % | c =============================================================================== c New solution: 9866 c Elapsed CPU time: 51.5862 s Remaining CPU time: 128.414 s c =============================================================================== c | 65 | 1990 2324 601546 | 5000 65 1714 | 0.000 % | c =============================================================================== c New solution: 9865 c Elapsed CPU time: 51.9101 s Remaining CPU time: 128.09 s c =============================================================================== c | 65 | 1990 2325 603396 | 5000 65 1714 | 0.000 % | c =============================================================================== c New solution: 9864 c Elapsed CPU time: 52.2451 s Remaining CPU time: 127.755 s c =============================================================================== c | 67 | 1990 2326 605246 | 5000 67 1716 | 0.000 % | c =============================================================================== c New solution: 9863 c Elapsed CPU time: 52.57 s Remaining CPU time: 127.43 s c =============================================================================== c | 67 | 1990 2327 607096 | 5000 67 1716 | 0.000 % | c =============================================================================== c New solution: 9862 c Elapsed CPU time: 52.906 s Remaining CPU time: 127.094 s c =============================================================================== c | 69 | 1990 2328 608946 | 5000 69 1692 | 0.000 % | c =============================================================================== c New solution: 9861 c Elapsed CPU time: 53.2479 s Remaining CPU time: 126.752 s c =============================================================================== c | 69 | 1990 2329 610796 | 5000 69 1692 | 0.000 % | c =============================================================================== c New solution: 9860 c Elapsed CPU time: 53.5859 s Remaining CPU time: 126.414 s c =============================================================================== c | 81 | 1990 2330 612646 | 5000 81 1705 | 0.000 % | c =============================================================================== c New solution: 9859 c Elapsed CPU time: 53.9058 s Remaining CPU time: 126.094 s c =============================================================================== c | 81 | 1990 2331 614496 | 5000 81 1705 | 0.000 % | c =============================================================================== c New solution: 9858 c Elapsed CPU time: 54.2358 s Remaining CPU time: 125.764 s c =============================================================================== c | 87 | 1990 2332 616346 | 5000 87 1710 | 0.000 % | c =============================================================================== c New solution: 9857 c Elapsed CPU time: 54.5827 s Remaining CPU time: 125.417 s c =============================================================================== c | 87 | 1990 2333 618196 | 5000 87 1710 | 0.000 % | c =============================================================================== c New solution: 9856 c Elapsed CPU time: 54.9306 s Remaining CPU time: 125.069 s c =============================================================================== c | 87 | 1990 2334 620046 | 5000 87 1710 | 0.000 % | c =============================================================================== c New solution: 9855 c Elapsed CPU time: 55.2886 s Remaining CPU time: 124.711 s c =============================================================================== c | 93 | 1990 2335 621896 | 5000 93 1715 | 0.000 % | c =============================================================================== c New solution: 9854 c Elapsed CPU time: 55.6455 s Remaining CPU time: 124.354 s c =============================================================================== c | 93 | 1990 2336 623746 | 5000 93 1715 | 0.000 % | c =============================================================================== c New solution: 9853 c Elapsed CPU time: 56.0015 s Remaining CPU time: 123.999 s c =============================================================================== c | 93 | 1990 2337 625596 | 5000 93 1715 | 0.000 % | c =============================================================================== c New solution: 9852 c Elapsed CPU time: 56.3464 s Remaining CPU time: 123.654 s c =============================================================================== c | 94 | 1990 2338 627446 | 5000 94 1715 | 0.000 % | c =============================================================================== c New solution: 9851 c Elapsed CPU time: 56.6924 s Remaining CPU time: 123.308 s c =============================================================================== c | 94 | 1990 2339 629296 | 5000 94 1715 | 0.000 % | c =============================================================================== c New solution: 9850 c Elapsed CPU time: 57.0513 s Remaining CPU time: 122.949 s c =============================================================================== c | 94 | 1990 2340 631146 | 5000 94 1715 | 0.000 % | c =============================================================================== c New solution: 9849 c Elapsed CPU time: 57.4063 s Remaining CPU time: 122.594 s c =============================================================================== c | 94 | 1990 2341 632996 | 5000 94 1715 | 0.000 % | c =============================================================================== c New solution: 9848 c Elapsed CPU time: 57.7472 s Remaining CPU time: 122.253 s c =============================================================================== c | 94 | 1990 2342 634846 | 5000 94 1715 | 0.000 % | c =============================================================================== c New solution: 9847 c Elapsed CPU time: 58.1142 s Remaining CPU time: 121.886 s c =============================================================================== c | 95 | 1990 2343 636696 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9846 c Elapsed CPU time: 58.4471 s Remaining CPU time: 121.553 s c =============================================================================== c | 95 | 1990 2344 638546 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9845 c Elapsed CPU time: 58.7841 s Remaining CPU time: 121.216 s c =============================================================================== c | 95 | 1990 2345 640396 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9844 c Elapsed CPU time: 59.133 s Remaining CPU time: 120.867 s c =============================================================================== c | 95 | 1990 2346 642246 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9843 c Elapsed CPU time: 59.476 s Remaining CPU time: 120.524 s c =============================================================================== c | 95 | 1990 2347 644096 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9842 c Elapsed CPU time: 59.8319 s Remaining CPU time: 120.168 s c =============================================================================== c | 95 | 1990 2348 645946 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9841 c Elapsed CPU time: 60.1809 s Remaining CPU time: 119.819 s c =============================================================================== c | 95 | 1990 2349 647796 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9840 c Elapsed CPU time: 60.5128 s Remaining CPU time: 119.487 s c =============================================================================== c | 95 | 1990 2350 649646 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9839 c Elapsed CPU time: 60.8438 s Remaining CPU time: 119.156 s c =============================================================================== c | 95 | 1990 2351 651496 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9838 c Elapsed CPU time: 61.2117 s Remaining CPU time: 118.788 s c =============================================================================== c | 95 | 1990 2352 653346 | 5000 95 1716 | 0.000 % | c =============================================================================== c New solution: 9837 c Elapsed CPU time: 61.5606 s Remaining CPU time: 118.439 s c =============================================================================== c | 96 | 1990 2353 655196 | 5000 96 1717 | 0.000 % | c =============================================================================== c New solution: 9836 c Elapsed CPU time: 61.9246 s Remaining CPU time: 118.075 s c =============================================================================== c | 99 | 1990 2354 657046 | 5000 99 1718 | 0.000 % | c =============================================================================== c New solution: 9835 c Elapsed CPU time: 62.2855 s Remaining CPU time: 117.714 s c =============================================================================== c | 99 | 1990 2355 658896 | 5000 99 1718 | 0.000 % | c =============================================================================== c New solution: 9834 c Elapsed CPU time: 62.6215 s Remaining CPU time: 117.379 s c =============================================================================== c | 99 | 1990 2356 660746 | 5000 99 1718 | 0.000 % | c =============================================================================== c New solution: 9833 c Elapsed CPU time: 62.9674 s Remaining CPU time: 117.033 s c =============================================================================== c | 99 | 1990 2357 662596 | 5000 99 1718 | 0.000 % | c =============================================================================== c New solution: 9832 c Elapsed CPU time: 63.3224 s Remaining CPU time: 116.678 s c =============================================================================== c | 99 | 1990 2358 664446 | 5000 99 1718 | 0.000 % | c =============================================================================== c New solution: 9831 c Elapsed CPU time: 63.6603 s Remaining CPU time: 116.34 s c =============================================================================== c | 99 | 1990 2359 666296 | 5000 99 1718 | 0.000 % | c =============================================================================== c New solution: 9830 c Elapsed CPU time: 64.0503 s Remaining CPU time: 115.95 s c =============================================================================== c | 99 | 1990 2360 668146 | 5000 99 1718 | 0.000 % | c =============================================================================== c New solution: 9829 c Elapsed CPU time: 64.4352 s Remaining CPU time: 115.565 s c =============================================================================== c | 99 | 1990 2361 669996 | 5000 99 1718 | 0.000 % | c =============================================================================== c New solution: 9828 c Elapsed CPU time: 64.8221 s Remaining CPU time: 115.178 s c =============================================================================== c | 99 | 1990 2362 671846 | 5000 99 1718 | 0.000 % | c =============================================================================== c New solution: 9827 c Elapsed CPU time: 65.1871 s Remaining CPU time: 114.813 s c =============================================================================== c | 100 | 1990 2363 673696 | 5000 100 1719 | 0.000 % | c =============================================================================== c New solution: 9826 c Elapsed CPU time: 65.528 s Remaining CPU time: 114.472 s c =============================================================================== c | 100 | 1990 2364 675546 | 5000 100 1719 | 0.000 % | c =============================================================================== c New solution: 9825 c Elapsed CPU time: 65.909 s Remaining CPU time: 114.091 s c =============================================================================== c | 100 | 1990 2365 677396 | 5000 100 1719 | 0.000 % | c =============================================================================== c New solution: 9824 c Elapsed CPU time: 66.2719 s Remaining CPU time: 113.728 s c =============================================================================== c | 100 | 1990 2366 679246 | 5000 100 1719 | 0.000 % | c =============================================================================== c New solution: 9823 c Elapsed CPU time: 66.6449 s Remaining CPU time: 113.355 s c =============================================================================== c | 100 | 1990 2367 681096 | 5000 100 1719 | 0.000 % | c =============================================================================== c New solution: 9822 c Elapsed CPU time: 67.0038 s Remaining CPU time: 112.996 s c =============================================================================== c | 100 | 1990 2368 682946 | 5000 100 1719 | 0.000 % | c =============================================================================== c New solution: 9821 c Elapsed CPU time: 67.3718 s Remaining CPU time: 112.628 s c =============================================================================== c | 100 | 1990 2369 684796 | 5000 100 1719 | 0.000 % | c =============================================================================== c New solution: 9820 c Elapsed CPU time: 67.7287 s Remaining CPU time: 112.271 s c =============================================================================== c | 100 | 1990 2370 686646 | 5000 100 1719 | 0.000 % | c =============================================================================== c New solution: 9819 c Elapsed CPU time: 68.1336 s Remaining CPU time: 111.866 s c =============================================================================== c | 116 | 1990 2371 688496 | 5000 116 1726 | 0.000 % | c =============================================================================== c New solution: 9818 c Elapsed CPU time: 68.5296 s Remaining CPU time: 111.47 s c =============================================================================== c | 116 | 1990 2372 690346 | 5000 116 1726 | 0.000 % | c =============================================================================== c New solution: 9817 c Elapsed CPU time: 68.8965 s Remaining CPU time: 111.103 s c =============================================================================== c | 116 | 1990 2373 692196 | 5000 116 1726 | 0.000 % | c =============================================================================== c New solution: 9816 c Elapsed CPU time: 69.2755 s Remaining CPU time: 110.725 s c =============================================================================== c | 117 | 1990 2374 694046 | 5000 117 1727 | 0.000 % | c =============================================================================== c New solution: 9815 c Elapsed CPU time: 69.6534 s Remaining CPU time: 110.347 s c =============================================================================== c | 117 | 1990 2375 695896 | 5000 117 1727 | 0.000 % | c =============================================================================== c New solution: 9814 c Elapsed CPU time: 70.0524 s Remaining CPU time: 109.948 s c =============================================================================== c | 118 | 1990 2376 697746 | 5000 118 1727 | 0.000 % | c =============================================================================== c New solution: 9813 c Elapsed CPU time: 70.4203 s Remaining CPU time: 109.58 s c =============================================================================== c | 118 | 1990 2377 699596 | 5000 118 1727 | 0.000 % | c =============================================================================== c New solution: 9812 c Elapsed CPU time: 70.8362 s Remaining CPU time: 109.164 s c =============================================================================== c | 124 | 1990 2378 701446 | 5000 124 1729 | 0.000 % | c =============================================================================== c New solution: 9811 c Elapsed CPU time: 71.2532 s Remaining CPU time: 108.747 s c =============================================================================== c | 128 | 1990 2379 703296 | 5000 128 1731 | 0.000 % | c =============================================================================== c New solution: 9810 c Elapsed CPU time: 71.6361 s Remaining CPU time: 108.364 s c =============================================================================== c | 128 | 1990 2380 705146 | 5000 128 1731 | 0.000 % | c =============================================================================== c New solution: 9809 c Elapsed CPU time: 72.0031 s Remaining CPU time: 107.997 s c =============================================================================== c | 128 | 1990 2381 706996 | 5000 128 1731 | 0.000 % | c =============================================================================== c New solution: 9808 c Elapsed CPU time: 72.394 s Remaining CPU time: 107.606 s c =============================================================================== c | 130 | 1990 2382 708846 | 5000 130 1731 | 0.000 % | c =============================================================================== c New solution: 9807 c Elapsed CPU time: 72.7969 s Remaining CPU time: 107.203 s c =============================================================================== c | 131 | 1990 2383 710696 | 5000 131 1731 | 0.000 % | c =============================================================================== c New solution: 9806 c Elapsed CPU time: 73.1699 s Remaining CPU time: 106.83 s c =============================================================================== c | 135 | 1990 2384 712546 | 5000 135 1733 | 0.000 % | c =============================================================================== c New solution: 9805 c Elapsed CPU time: 73.5528 s Remaining CPU time: 106.447 s c =============================================================================== c | 136 | 1990 2385 714396 | 5000 136 1733 | 0.000 % | c =============================================================================== c New solution: 9804 c Elapsed CPU time: 73.9188 s Remaining CPU time: 106.081 s c =============================================================================== c | 136 | 1990 2386 716246 | 5000 136 1733 | 0.000 % | c =============================================================================== c New solution: 9803 c Elapsed CPU time: 74.2937 s Remaining CPU time: 105.706 s c =============================================================================== c | 136 | 1990 2387 718096 | 5000 136 1733 | 0.000 % | c =============================================================================== c New solution: 9802 c Elapsed CPU time: 74.6636 s Remaining CPU time: 105.336 s c =============================================================================== c | 136 | 1990 2388 719946 | 5000 136 1733 | 0.000 % | c =============================================================================== c New solution: 9801 c Elapsed CPU time: 75.0286 s Remaining CPU time: 104.971 s c =============================================================================== c | 136 | 1990 2389 721796 | 5000 136 1733 | 0.000 % | c =============================================================================== c New solution: 9800 c Elapsed CPU time: 75.4135 s Remaining CPU time: 104.586 s c =============================================================================== c | 136 | 1990 2390 723646 | 5000 136 1733 | 0.000 % | c =============================================================================== c New solution: 9799 c Elapsed CPU time: 75.8375 s Remaining CPU time: 104.163 s c =============================================================================== c | 139 | 1990 2391 725496 | 5000 139 1733 | 0.000 % | c =============================================================================== c New solution: 9798 c Elapsed CPU time: 76.2324 s Remaining CPU time: 103.768 s c =============================================================================== c | 139 | 1990 2392 727346 | 5000 139 1733 | 0.000 % | c =============================================================================== c New solution: 9797 c Elapsed CPU time: 76.6194 s Remaining CPU time: 103.381 s c =============================================================================== c | 139 | 1990 2393 729196 | 5000 139 1733 | 0.000 % | c =============================================================================== c New solution: 9796 c Elapsed CPU time: 76.9983 s Remaining CPU time: 103.002 s c =============================================================================== c | 139 | 1990 2394 731046 | 5000 139 1733 | 0.000 % | c =============================================================================== c New solution: 9795 c Elapsed CPU time: 77.3992 s Remaining CPU time: 102.601 s c =============================================================================== c | 139 | 1990 2395 732896 | 5000 139 1733 | 0.000 % | c =============================================================================== c New solution: 9794 c Elapsed CPU time: 77.7872 s Remaining CPU time: 102.213 s c =============================================================================== c | 140 | 1990 2396 734746 | 5000 140 1734 | 0.000 % | c =============================================================================== c New solution: 9793 c Elapsed CPU time: 78.1651 s Remaining CPU time: 101.835 s c =============================================================================== c | 140 | 1990 2397 736596 | 5000 140 1734 | 0.000 % | c =============================================================================== c New solution: 9792 c Elapsed CPU time: 78.618 s Remaining CPU time: 101.382 s c =============================================================================== c | 154 | 1990 2398 738446 | 5000 154 1737 | 0.000 % | c =============================================================================== c New solution: 9791 c Elapsed CPU time: 78.986 s Remaining CPU time: 101.014 s c =============================================================================== c | 154 | 1990 2399 740296 | 5000 154 1737 | 0.000 % | c =============================================================================== c New solution: 9790 c Elapsed CPU time: 79.3669 s Remaining CPU time: 100.633 s c =============================================================================== c | 154 | 1990 2400 742146 | 5000 154 1737 | 0.000 % | c =============================================================================== c New solution: 9789 c Elapsed CPU time: 79.7599 s Remaining CPU time: 100.24 s c =============================================================================== c | 159 | 1990 2401 743996 | 5000 159 1738 | 0.000 % | c =============================================================================== c New solution: 9788 c Elapsed CPU time: 80.1678 s Remaining CPU time: 99.8322 s c =============================================================================== c | 159 | 1990 2402 745846 | 5000 159 1738 | 0.000 % | c =============================================================================== c New solution: 9787 c Elapsed CPU time: 80.6017 s Remaining CPU time: 99.3983 s c =============================================================================== c | 160 | 1990 2403 747696 | 5000 160 1727 | 0.000 % | c =============================================================================== c New solution: 9786 c Elapsed CPU time: 80.9907 s Remaining CPU time: 99.0093 s c =============================================================================== c | 160 | 1990 2404 749546 | 5000 160 1727 | 0.000 % | c =============================================================================== c New solution: 9785 c Elapsed CPU time: 81.3906 s Remaining CPU time: 98.6094 s c =============================================================================== c | 163 | 1990 2405 751396 | 5000 163 1728 | 0.000 % | c =============================================================================== c New solution: 9784 c Elapsed CPU time: 81.8036 s Remaining CPU time: 98.1964 s c =============================================================================== c | 163 | 1990 2406 753246 | 5000 163 1728 | 0.000 % | c =============================================================================== c New solution: 9783 c Elapsed CPU time: 82.2195 s Remaining CPU time: 97.7805 s c =============================================================================== c | 163 | 1990 2407 755096 | 5000 163 1728 | 0.000 % | c =============================================================================== c New solution: 9782 c Elapsed CPU time: 82.6264 s Remaining CPU time: 97.3736 s c =============================================================================== c | 163 | 1990 2408 756946 | 5000 163 1728 | 0.000 % | c =============================================================================== c New solution: 9781 c Elapsed CPU time: 83.1004 s Remaining CPU time: 96.8996 s c =============================================================================== c | 190 | 1990 2409 758796 | 5000 190 1733 | 0.000 % | c =============================================================================== c New solution: 9780 c Elapsed CPU time: 83.6313 s Remaining CPU time: 96.3687 s c =============================================================================== c | 214 | 1990 2410 760646 | 5000 214 1736 | 0.000 % | c =============================================================================== c New solution: 9779 c Elapsed CPU time: 84.0642 s Remaining CPU time: 95.9358 s c =============================================================================== c | 218 | 1990 2411 762496 | 5000 218 1737 | 0.000 % | c =============================================================================== c New solution: 9778 c Elapsed CPU time: 84.4882 s Remaining CPU time: 95.5118 s c =============================================================================== c | 223 | 1990 2412 764346 | 5000 223 1737 | 0.000 % | c =============================================================================== c New solution: 9777 c Elapsed CPU time: 84.9281 s Remaining CPU time: 95.0719 s c =============================================================================== c | 231 | 1990 2413 766196 | 5000 231 1738 | 0.000 % | c =============================================================================== c New solution: 9776 c Elapsed CPU time: 85.348 s Remaining CPU time: 94.652 s c =============================================================================== c | 235 | 1990 2414 768046 | 5000 235 1739 | 0.000 % | c =============================================================================== c New solution: 9775 c Elapsed CPU time: 85.76 s Remaining CPU time: 94.24 s c =============================================================================== c | 236 | 1990 2415 769896 | 5000 236 1739 | 0.000 % | c =============================================================================== c New solution: 9774 c Elapsed CPU time: 86.1729 s Remaining CPU time: 93.8271 s c =============================================================================== c | 236 | 1990 2416 771746 | 5000 236 1739 | 0.000 % | c =============================================================================== c New solution: 9773 c Elapsed CPU time: 86.6038 s Remaining CPU time: 93.3962 s c =============================================================================== c | 237 | 1990 2417 773596 | 5000 237 1739 | 0.000 % | c =============================================================================== c New solution: 9772 c Elapsed CPU time: 87.1168 s Remaining CPU time: 92.8832 s c =============================================================================== c | 260 | 1990 2418 775446 | 5000 260 1741 | 0.000 % | c =============================================================================== c New solution: 9771 c Elapsed CPU time: 87.6337 s Remaining CPU time: 92.3663 s c =============================================================================== c | 268 | 1990 2419 777296 | 5000 268 1742 | 0.000 % | c =============================================================================== c New solution: 9770 c Elapsed CPU time: 88.0686 s Remaining CPU time: 91.9314 s c =============================================================================== c | 269 | 1990 2420 779146 | 5000 269 1742 | 0.000 % | c =============================================================================== c New solution: 9769 c Elapsed CPU time: 88.5205 s Remaining CPU time: 91.4795 s c =============================================================================== c | 270 | 1990 2421 780996 | 5000 270 1742 | 0.000 % | c =============================================================================== c New solution: 9768 c Elapsed CPU time: 88.9625 s Remaining CPU time: 91.0375 s c =============================================================================== c | 271 | 1990 2422 782846 | 5000 271 1742 | 0.000 % | c =============================================================================== c New solution: 9767 c Elapsed CPU time: 89.3994 s Remaining CPU time: 90.6006 s c =============================================================================== c | 273 | 1990 2423 784696 | 5000 273 1742 | 0.000 % | c =============================================================================== c New solution: 9766 c Elapsed CPU time: 89.8373 s Remaining CPU time: 90.1627 s c =============================================================================== c | 273 | 1990 2424 786546 | 5000 273 1742 | 0.000 % | c =============================================================================== c New solution: 9765 c Elapsed CPU time: 90.4243 s Remaining CPU time: 89.5757 s c =============================================================================== c | 304 | 1990 2425 788396 | 5000 304 1744 | 0.000 % | c =============================================================================== c New solution: 9764 c Elapsed CPU time: 90.8702 s Remaining CPU time: 89.1298 s c =============================================================================== c | 312 | 1990 2426 790246 | 5000 312 1745 | 0.000 % | c =============================================================================== c New solution: 9763 c Elapsed CPU time: 91.3001 s Remaining CPU time: 88.6999 s c =============================================================================== c | 312 | 1990 2427 792096 | 5000 312 1745 | 0.000 % | c =============================================================================== c New solution: 9762 c Elapsed CPU time: 91.7621 s Remaining CPU time: 88.2379 s c =============================================================================== c | 316 | 1990 2428 793946 | 5000 316 1745 | 0.000 % | c =============================================================================== c New solution: 9761 c Elapsed CPU time: 92.173 s Remaining CPU time: 87.827 s c =============================================================================== c | 317 | 1990 2429 795796 | 5000 317 1745 | 0.000 % | c =============================================================================== c New solution: 9760 c Elapsed CPU time: 92.6809 s Remaining CPU time: 87.3191 s c =============================================================================== c | 335 | 1990 2430 797646 | 5000 335 1746 | 0.000 % | c =============================================================================== c New solution: 9759 c Elapsed CPU time: 93.1078 s Remaining CPU time: 86.8922 s c =============================================================================== c | 336 | 1990 2431 799496 | 5000 336 1746 | 0.000 % | c =============================================================================== c New solution: 9758 c Elapsed CPU time: 93.5398 s Remaining CPU time: 86.4602 s c =============================================================================== c | 337 | 1990 2432 801346 | 5000 337 1746 | 0.000 % | c =============================================================================== c New solution: 9757 c Elapsed CPU time: 94.0727 s Remaining CPU time: 85.9273 s c =============================================================================== c | 361 | 1990 2433 803196 | 5000 361 1747 | 0.000 % | c =============================================================================== c New solution: 9756 c Elapsed CPU time: 94.5436 s Remaining CPU time: 85.4564 s c =============================================================================== c | 368 | 1990 2434 805046 | 5000 368 1747 | 0.000 % | c =============================================================================== c New solution: 9755 c Elapsed CPU time: 95.0096 s Remaining CPU time: 84.9904 s c =============================================================================== c | 368 | 1990 2435 806896 | 5000 368 1747 | 0.000 % | c =============================================================================== c New solution: 9754 c Elapsed CPU time: 95.5365 s Remaining CPU time: 84.4635 s c =============================================================================== c | 406 | 1990 2436 808746 | 5000 406 1748 | 0.000 % | c =============================================================================== c New solution: 9753 c Elapsed CPU time: 96.0654 s Remaining CPU time: 83.9346 s c =============================================================================== c | 430 | 1990 2437 810596 | 5000 430 1748 | 0.000 % | c =============================================================================== c New solution: 9752 c Elapsed CPU time: 96.5513 s Remaining CPU time: 83.4487 s c =============================================================================== c | 446 | 1990 2438 812446 | 5000 446 1749 | 0.000 % | c =============================================================================== c New solution: 9751 c Elapsed CPU time: 97.0602 s Remaining CPU time: 82.9398 s c =============================================================================== c | 458 | 1990 2439 814296 | 5000 458 1749 | 0.000 % | c =============================================================================== c New solution: 9750 c Elapsed CPU time: 97.5252 s Remaining CPU time: 82.4748 s c =============================================================================== c | 462 | 1990 2440 816146 | 5000 462 1749 | 0.000 % | c =============================================================================== c New solution: 9749 c Elapsed CPU time: 97.9941 s Remaining CPU time: 82.0059 s c =============================================================================== c | 466 | 1990 2441 817996 | 5000 466 1749 | 0.000 % | c =============================================================================== c New solution: 9748 c Elapsed CPU time: 98.458 s Remaining CPU time: 81.542 s c =============================================================================== c | 468 | 1990 2442 819846 | 5000 468 1749 | 0.000 % | c =============================================================================== c New solution: 9747 c Elapsed CPU time: 98.957 s Remaining CPU time: 81.043 s c =============================================================================== c | 485 | 1990 2443 821696 | 5000 485 1749 | 0.000 % | c =============================================================================== c New solution: 9746 c Elapsed CPU time: 99.3899 s Remaining CPU time: 80.6101 s c =============================================================================== c | 485 | 1990 2444 823546 | 5000 485 1749 | 0.000 % | c =============================================================================== c New solution: 9745 c Elapsed CPU time: 99.8228 s Remaining CPU time: 80.1772 s c =============================================================================== c | 486 | 1990 2445 825396 | 5000 486 1746 | 0.000 % | c =============================================================================== c New solution: 9744 c Elapsed CPU time: 100.288 s Remaining CPU time: 79.7122 s c =============================================================================== c | 492 | 1990 2446 827246 | 5000 492 1746 | 0.000 % | c =============================================================================== c New solution: 9743 c Elapsed CPU time: 100.719 s Remaining CPU time: 79.2813 s c =============================================================================== c | 492 | 1990 2447 829096 | 5000 492 1746 | 0.000 % | c =============================================================================== c New solution: 9742 c Elapsed CPU time: 101.188 s Remaining CPU time: 78.8124 s c =============================================================================== c | 497 | 1990 2448 830946 | 5000 497 1746 | 0.000 % | c =============================================================================== c New solution: 9741 c Elapsed CPU time: 101.65 s Remaining CPU time: 78.3505 s c =============================================================================== c | 497 | 1990 2449 832796 | 5000 497 1746 | 0.000 % | c =============================================================================== c New solution: 9740 c Elapsed CPU time: 102.081 s Remaining CPU time: 77.9185 s c =============================================================================== c | 497 | 1990 2450 834646 | 5000 497 1746 | 0.000 % | c =============================================================================== c New solution: 9739 c Elapsed CPU time: 102.535 s Remaining CPU time: 77.4646 s c =============================================================================== c | 498 | 1990 2451 836496 | 5000 498 1746 | 0.000 % | c =============================================================================== c New solution: 9738 c Elapsed CPU time: 102.987 s Remaining CPU time: 77.0127 s c =============================================================================== c | 501 | 1990 2452 838346 | 5000 501 1746 | 0.000 % | c =============================================================================== c New solution: 9737 c Elapsed CPU time: 103.431 s Remaining CPU time: 76.5687 s c =============================================================================== c | 501 | 1990 2453 840196 | 5000 501 1746 | 0.000 % | c =============================================================================== c New solution: 9736 c Elapsed CPU time: 103.951 s Remaining CPU time: 76.0488 s c =============================================================================== c | 513 | 1990 2454 842046 | 5000 513 1746 | 0.000 % | c =============================================================================== c New solution: 9735 c Elapsed CPU time: 104.385 s Remaining CPU time: 75.6149 s c =============================================================================== c | 513 | 1990 2455 843896 | 5000 513 1746 | 0.000 % | c =============================================================================== c New solution: 9734 c Elapsed CPU time: 104.807 s Remaining CPU time: 75.1929 s c =============================================================================== c | 513 | 1990 2456 845746 | 5000 513 1746 | 0.000 % | c =============================================================================== c New solution: 9733 c Elapsed CPU time: 105.272 s Remaining CPU time: 74.728 s c =============================================================================== c | 514 | 1990 2457 847596 | 5000 514 1746 | 0.000 % | c =============================================================================== c New solution: 9732 c Elapsed CPU time: 105.732 s Remaining CPU time: 74.2681 s c =============================================================================== c | 516 | 1990 2458 849446 | 5000 516 1746 | 0.000 % | c =============================================================================== c New solution: 9731 c Elapsed CPU time: 106.243 s Remaining CPU time: 73.7572 s c =============================================================================== c | 527 | 1990 2459 851296 | 5000 527 1746 | 0.000 % | c =============================================================================== c New solution: 9730 c Elapsed CPU time: 106.713 s Remaining CPU time: 73.2872 s c =============================================================================== c | 532 | 1990 2460 853146 | 5000 532 1746 | 0.000 % | c =============================================================================== c New solution: 9729 c Elapsed CPU time: 107.174 s Remaining CPU time: 72.8263 s c =============================================================================== c | 533 | 1990 2461 854996 | 5000 533 1746 | 0.000 % | c =============================================================================== c New solution: 9728 c Elapsed CPU time: 107.641 s Remaining CPU time: 72.3594 s c =============================================================================== c | 535 | 1990 2462 856846 | 5000 535 1746 | 0.000 % | c =============================================================================== c New solution: 9727 c Elapsed CPU time: 108.124 s Remaining CPU time: 71.8764 s c =============================================================================== c | 535 | 1990 2463 858696 | 5000 535 1746 | 0.000 % | c =============================================================================== c New solution: 9726 c Elapsed CPU time: 108.588 s Remaining CPU time: 71.4115 s c =============================================================================== c | 535 | 1990 2464 860546 | 5000 535 1746 | 0.000 % | c =============================================================================== c New solution: 9725 c Elapsed CPU time: 109.047 s Remaining CPU time: 70.9526 s c =============================================================================== c | 537 | 1990 2465 862396 | 5000 537 1746 | 0.000 % | c =============================================================================== c New solution: 9724 c Elapsed CPU time: 109.499 s Remaining CPU time: 70.5006 s c =============================================================================== c | 537 | 1990 2466 864246 | 5000 537 1746 | 0.000 % | c =============================================================================== c New solution: 9723 c Elapsed CPU time: 109.952 s Remaining CPU time: 70.0477 s c =============================================================================== c | 537 | 1990 2467 866096 | 5000 537 1746 | 0.000 % | c =============================================================================== c New solution: 9722 c Elapsed CPU time: 110.459 s Remaining CPU time: 69.5408 s c =============================================================================== c | 540 | 1990 2468 867946 | 5000 540 1746 | 0.000 % | c =============================================================================== c New solution: 9721 c Elapsed CPU time: 110.938 s Remaining CPU time: 69.0619 s c =============================================================================== c | 540 | 1990 2469 869796 | 5000 540 1746 | 0.000 % | c =============================================================================== c New solution: 9720 c Elapsed CPU time: 111.428 s Remaining CPU time: 68.5719 s c =============================================================================== c | 540 | 1990 2470 871646 | 5000 540 1746 | 0.000 % | c =============================================================================== c New solution: 9719 c Elapsed CPU time: 111.907 s Remaining CPU time: 68.093 s c =============================================================================== c | 542 | 1990 2471 873496 | 5000 542 1746 | 0.000 % | c =============================================================================== c New solution: 9718 c Elapsed CPU time: 112.401 s Remaining CPU time: 67.5991 s c =============================================================================== c | 542 | 1990 2472 875346 | 5000 542 1746 | 0.000 % | c =============================================================================== c New solution: 9717 c Elapsed CPU time: 112.885 s Remaining CPU time: 67.1152 s c =============================================================================== c | 544 | 1990 2473 877196 | 5000 544 1746 | 0.000 % | c =============================================================================== c New solution: 9716 c Elapsed CPU time: 113.355 s Remaining CPU time: 66.6452 s c =============================================================================== c | 553 | 1990 2474 879046 | 5000 553 1746 | 0.000 % | c =============================================================================== c New solution: 9715 c Elapsed CPU time: 113.827 s Remaining CPU time: 66.1733 s c =============================================================================== c | 554 | 1990 2475 880896 | 5000 554 1746 | 0.000 % | c =============================================================================== c New solution: 9714 c Elapsed CPU time: 114.308 s Remaining CPU time: 65.6924 s c =============================================================================== c | 558 | 1990 2476 882746 | 5000 558 1747 | 0.000 % | c =============================================================================== c New solution: 9713 c Elapsed CPU time: 114.788 s Remaining CPU time: 65.2125 s c =============================================================================== c | 558 | 1990 2477 884596 | 5000 558 1747 | 0.000 % | c =============================================================================== c New solution: 9712 c Elapsed CPU time: 115.242 s Remaining CPU time: 64.7575 s c =============================================================================== c | 558 | 1990 2478 886446 | 5000 558 1747 | 0.000 % | c =============================================================================== c New solution: 9711 c Elapsed CPU time: 115.708 s Remaining CPU time: 64.2916 s c =============================================================================== c | 562 | 1990 2479 888296 | 5000 562 1747 | 0.000 % | c =============================================================================== c New solution: 9710 c Elapsed CPU time: 116.253 s Remaining CPU time: 63.7467 s c =============================================================================== c | 581 | 1990 2480 890146 | 5000 581 1747 | 0.000 % | c =============================================================================== c New solution: 9709 c Elapsed CPU time: 116.741 s Remaining CPU time: 63.2587 s c =============================================================================== c | 582 | 1990 2481 891996 | 5000 582 1747 | 0.000 % | c =============================================================================== c New solution: 9708 c Elapsed CPU time: 117.327 s Remaining CPU time: 62.6728 s c =============================================================================== c | 613 | 1990 2482 893846 | 5000 613 1747 | 0.000 % | c =============================================================================== c New solution: 9707 c Elapsed CPU time: 117.865 s Remaining CPU time: 62.1349 s c =============================================================================== c | 614 | 1990 2483 895696 | 5000 614 1747 | 0.000 % | c =============================================================================== c New solution: 9706 c Elapsed CPU time: 118.339 s Remaining CPU time: 61.661 s c =============================================================================== c | 620 | 1990 2484 897546 | 5000 620 1747 | 0.000 % | c =============================================================================== c New solution: 9705 c Elapsed CPU time: 118.818 s Remaining CPU time: 61.1821 s c =============================================================================== c | 628 | 1990 2485 899396 | 5000 628 1747 | 0.000 % | c =============================================================================== c New solution: 9704 c Elapsed CPU time: 119.335 s Remaining CPU time: 60.6651 s c =============================================================================== c | 631 | 1990 2486 901246 | 5000 631 1747 | 0.000 % | c =============================================================================== c New solution: 9703 c Elapsed CPU time: 119.907 s Remaining CPU time: 60.0932 s c =============================================================================== c | 633 | 1990 2487 903096 | 5000 633 1747 | 0.000 % | c =============================================================================== c New solution: 9702 c Elapsed CPU time: 120.461 s Remaining CPU time: 59.5393 s c =============================================================================== c | 635 | 1990 2488 904946 | 5000 635 1747 | 0.000 % | c =============================================================================== c New solution: 9701 c Elapsed CPU time: 121.003 s Remaining CPU time: 58.9974 s c =============================================================================== c | 648 | 1990 2489 906796 | 5000 648 1747 | 0.000 % | c =============================================================================== c New solution: 9700 c Elapsed CPU time: 121.523 s Remaining CPU time: 58.4775 s c =============================================================================== c | 648 | 1990 2490 908646 | 5000 648 1747 | 0.000 % | c =============================================================================== c New solution: 9699 c Elapsed CPU time: 122.088 s Remaining CPU time: 57.9116 s c =============================================================================== c | 670 | 1990 2491 910496 | 5000 670 1747 | 0.000 % | c =============================================================================== c New solution: 9698 c Elapsed CPU time: 122.671 s Remaining CPU time: 57.3286 s c =============================================================================== c | 684 | 1990 2492 912346 | 5000 684 1747 | 0.000 % | c =============================================================================== c New solution: 9697 c Elapsed CPU time: 123.202 s Remaining CPU time: 56.7977 s c =============================================================================== c | 687 | 1990 2493 914196 | 5000 687 1747 | 0.000 % | c =============================================================================== c New solution: 9696 c Elapsed CPU time: 123.728 s Remaining CPU time: 56.2718 s c =============================================================================== c | 689 | 1990 2494 916046 | 5000 689 1747 | 0.000 % | c =============================================================================== c New solution: 9695 c Elapsed CPU time: 124.366 s Remaining CPU time: 55.6339 s c =============================================================================== c | 700 | 1990 2495 917896 | 5000 700 1747 | 0.000 % | c =============================================================================== c New solution: 9694 c Elapsed CPU time: 124.926 s Remaining CPU time: 55.074 s c =============================================================================== c | 703 | 1990 2496 919746 | 5000 703 1747 | 0.000 % | c =============================================================================== c New solution: 9693 c Elapsed CPU time: 125.5 s Remaining CPU time: 54.5001 s c =============================================================================== c | 707 | 1990 2497 921596 | 5000 707 1747 | 0.000 % | c =============================================================================== c New solution: 9692 c Elapsed CPU time: 125.978 s Remaining CPU time: 54.0222 s c =============================================================================== c | 707 | 1990 2498 923446 | 5000 707 1747 | 0.000 % | c =============================================================================== c New solution: 9691 c Elapsed CPU time: 126.615 s Remaining CPU time: 53.3852 s c =============================================================================== c | 727 | 1990 2499 925296 | 5000 727 1747 | 0.000 % | c =============================================================================== c New solution: 9690 c Elapsed CPU time: 127.125 s Remaining CPU time: 52.8753 s c =============================================================================== c | 730 | 1990 2500 927146 | 5000 730 1747 | 0.000 % | c =============================================================================== c New solution: 9689 c Elapsed CPU time: 127.613 s Remaining CPU time: 52.3874 s c =============================================================================== c | 733 | 1990 2501 928996 | 5000 733 1747 | 0.000 % | c =============================================================================== c New solution: 9688 c Elapsed CPU time: 128.119 s Remaining CPU time: 51.8815 s c =============================================================================== c | 733 | 1990 2502 930846 | 5000 733 1747 | 0.000 % | c =============================================================================== c New solution: 9687 c Elapsed CPU time: 128.65 s Remaining CPU time: 51.3496 s c =============================================================================== c | 735 | 1990 2503 932696 | 5000 735 1745 | 0.000 % | c =============================================================================== c New solution: 9686 c Elapsed CPU time: 129.161 s Remaining CPU time: 50.8386 s c =============================================================================== c | 735 | 1990 2504 934546 | 5000 735 1745 | 0.000 % | c =============================================================================== c New solution: 9685 c Elapsed CPU time: 129.695 s Remaining CPU time: 50.3047 s c =============================================================================== c | 736 | 1990 2505 936396 | 5000 736 1745 | 0.000 % | c =============================================================================== c New solution: 9684 c Elapsed CPU time: 130.2 s Remaining CPU time: 49.7998 s c =============================================================================== c | 736 | 1990 2506 938246 | 5000 736 1745 | 0.000 % | c =============================================================================== c New solution: 9683 c Elapsed CPU time: 130.706 s Remaining CPU time: 49.2939 s c =============================================================================== c | 736 | 1990 2507 940096 | 5000 736 1745 | 0.000 % | c =============================================================================== c New solution: 9682 c Elapsed CPU time: 131.191 s Remaining CPU time: 48.8089 s c =============================================================================== c | 740 | 1990 2508 941946 | 5000 740 1745 | 0.000 % | c =============================================================================== c New solution: 9681 c Elapsed CPU time: 131.665 s Remaining CPU time: 48.335 s c =============================================================================== c | 741 | 1990 2509 943796 | 5000 741 1745 | 0.000 % | c =============================================================================== c New solution: 9680 c Elapsed CPU time: 132.136 s Remaining CPU time: 47.8641 s c =============================================================================== c | 741 | 1990 2510 945646 | 5000 741 1745 | 0.000 % | c =============================================================================== c New solution: 9679 c Elapsed CPU time: 132.679 s Remaining CPU time: 47.3212 s c =============================================================================== c | 745 | 1990 2511 947496 | 5000 745 1745 | 0.000 % | c =============================================================================== c New solution: 9678 c Elapsed CPU time: 133.189 s Remaining CPU time: 46.8112 s c =============================================================================== c | 745 | 1990 2512 949346 | 5000 745 1745 | 0.000 % | c =============================================================================== c New solution: 9677 c Elapsed CPU time: 133.752 s Remaining CPU time: 46.2483 s c =============================================================================== c | 750 | 1990 2513 951196 | 5000 750 1745 | 0.000 % | c =============================================================================== c New solution: 9676 c Elapsed CPU time: 134.299 s Remaining CPU time: 45.7014 s c =============================================================================== c | 750 | 1990 2514 953046 | 5000 750 1745 | 0.000 % | c =============================================================================== c New solution: 9675 c Elapsed CPU time: 134.821 s Remaining CPU time: 45.1795 s c =============================================================================== c | 750 | 1990 2515 954896 | 5000 750 1745 | 0.000 % | c =============================================================================== c New solution: 9674 c Elapsed CPU time: 135.341 s Remaining CPU time: 44.6586 s c =============================================================================== c | 751 | 1990 2516 956746 | 5000 751 1745 | 0.000 % | c =============================================================================== c New solution: 9673 c Elapsed CPU time: 135.818 s Remaining CPU time: 44.1816 s c =============================================================================== c | 752 | 1990 2517 958596 | 5000 752 1745 | 0.000 % | c =============================================================================== c New solution: 9672 c Elapsed CPU time: 136.316 s Remaining CPU time: 43.6837 s c =============================================================================== c | 752 | 1990 2518 960446 | 5000 752 1745 | 0.000 % | c =============================================================================== c New solution: 9671 c Elapsed CPU time: 136.814 s Remaining CPU time: 43.1858 s c =============================================================================== c | 753 | 1990 2519 962296 | 5000 753 1745 | 0.000 % | c =============================================================================== c New solution: 9670 c Elapsed CPU time: 137.336 s Remaining CPU time: 42.6639 s c =============================================================================== c | 753 | 1990 2520 964146 | 5000 753 1745 | 0.000 % | c =============================================================================== c New solution: 9669 c Elapsed CPU time: 137.856 s Remaining CPU time: 42.144 s c =============================================================================== c | 755 | 1990 2521 965996 | 5000 755 1745 | 0.000 % | c =============================================================================== c New solution: 9668 c Elapsed CPU time: 138.371 s Remaining CPU time: 41.629 s c =============================================================================== c | 755 | 1990 2522 967846 | 5000 755 1745 | 0.000 % | c =============================================================================== c New solution: 9667 c Elapsed CPU time: 138.908 s Remaining CPU time: 41.0921 s c =============================================================================== c | 756 | 1990 2523 969696 | 5000 756 1745 | 0.000 % | c =============================================================================== c New solution: 9666 c Elapsed CPU time: 139.441 s Remaining CPU time: 40.5592 s c =============================================================================== c | 756 | 1990 2524 971546 | 5000 756 1745 | 0.000 % | c =============================================================================== c New solution: 9665 c Elapsed CPU time: 139.953 s Remaining CPU time: 40.0473 s c =============================================================================== c | 756 | 1990 2525 973396 | 5000 756 1745 | 0.000 % | c =============================================================================== c New solution: 9664 c Elapsed CPU time: 140.503 s Remaining CPU time: 39.4974 s c =============================================================================== c | 793 | 1990 2526 975246 | 5000 793 1744 | 0.000 % | c =============================================================================== c New solution: 9663 c Elapsed CPU time: 141.075 s Remaining CPU time: 38.9254 s c =============================================================================== c | 820 | 1990 2527 977096 | 5000 820 1744 | 0.000 % | c =============================================================================== c New solution: 9662 c Elapsed CPU time: 141.608 s Remaining CPU time: 38.3915 s c =============================================================================== c | 820 | 1990 2528 978946 | 5000 820 1744 | 0.000 % | c =============================================================================== c New solution: 9661 c Elapsed CPU time: 142.134 s Remaining CPU time: 37.8656 s c =============================================================================== c | 820 | 1990 2529 980796 | 5000 820 1744 | 0.000 % | c =============================================================================== c New solution: 9660 c Elapsed CPU time: 142.66 s Remaining CPU time: 37.3397 s c =============================================================================== c | 820 | 1990 2530 982646 | 5000 820 1744 | 0.000 % | c =============================================================================== c New solution: 9659 c Elapsed CPU time: 143.236 s Remaining CPU time: 36.7638 s c =============================================================================== c | 822 | 1990 2531 984496 | 5000 822 1744 | 0.000 % | c =============================================================================== c New solution: 9658 c Elapsed CPU time: 143.747 s Remaining CPU time: 36.2529 s c =============================================================================== c | 823 | 1990 2532 986346 | 5000 823 1744 | 0.000 % | c =============================================================================== c New solution: 9657 c Elapsed CPU time: 144.297 s Remaining CPU time: 35.7029 s c =============================================================================== c | 823 | 1990 2533 988196 | 5000 823 1744 | 0.000 % | c =============================================================================== c New solution: 9656 c Elapsed CPU time: 144.831 s Remaining CPU time: 35.169 s c =============================================================================== c | 827 | 1990 2534 990046 | 5000 827 1744 | 0.000 % | c =============================================================================== c New solution: 9655 c Elapsed CPU time: 145.428 s Remaining CPU time: 34.5721 s c =============================================================================== c | 838 | 1990 2535 991896 | 5000 838 1744 | 0.000 % | c =============================================================================== c New solution: 9654 c Elapsed CPU time: 145.985 s Remaining CPU time: 34.0152 s c =============================================================================== c | 847 | 1990 2536 993746 | 5000 847 1744 | 0.000 % | c =============================================================================== c New solution: 9653 c Elapsed CPU time: 146.547 s Remaining CPU time: 33.4533 s c =============================================================================== c | 848 | 1990 2537 995596 | 5000 848 1744 | 0.000 % | c =============================================================================== c New solution: 9652 c Elapsed CPU time: 147.135 s Remaining CPU time: 32.8654 s c =============================================================================== c | 853 | 1990 2538 997446 | 5000 853 1744 | 0.000 % | c =============================================================================== c New solution: 9651 c Elapsed CPU time: 147.736 s Remaining CPU time: 32.2645 s c =============================================================================== c | 871 | 1990 2539 999296 | 5000 871 1744 | 0.000 % | c =============================================================================== c New solution: 9650 c Elapsed CPU time: 148.276 s Remaining CPU time: 31.7235 s c =============================================================================== c | 876 | 1990 2540 1001146 | 5000 876 1744 | 0.000 % | c =============================================================================== c New solution: 9649 c Elapsed CPU time: 148.834 s Remaining CPU time: 31.1656 s c =============================================================================== c | 876 | 1990 2541 1002996 | 5000 876 1744 | 0.000 % | c =============================================================================== c New solution: 9648 c Elapsed CPU time: 149.383 s Remaining CPU time: 30.6167 s c =============================================================================== c | 876 | 1990 2542 1004846 | 5000 876 1744 | 0.000 % | c =============================================================================== c New solution: 9647 c Elapsed CPU time: 150.006 s Remaining CPU time: 29.9938 s c =============================================================================== c | 880 | 1990 2543 1006696 | 5000 880 1744 | 0.000 % | c =============================================================================== c New solution: 9646 c Elapsed CPU time: 150.546 s Remaining CPU time: 29.4539 s c =============================================================================== c | 883 | 1990 2544 1008546 | 5000 883 1744 | 0.000 % | c =============================================================================== c New solution: 9645 c Elapsed CPU time: 151.097 s Remaining CPU time: 28.903 s c =============================================================================== c | 883 | 1990 2545 1010396 | 5000 883 1744 | 0.000 % | c =============================================================================== c New solution: 9644 c Elapsed CPU time: 151.71 s Remaining CPU time: 28.2901 s c =============================================================================== c | 883 | 1990 2546 1012246 | 5000 883 1744 | 0.000 % | c =============================================================================== c New solution: 9643 c Elapsed CPU time: 152.287 s Remaining CPU time: 27.7132 s c =============================================================================== c | 884 | 1990 2547 1014096 | 5000 884 1744 | 0.000 % | c =============================================================================== c New solution: 9642 c Elapsed CPU time: 152.822 s Remaining CPU time: 27.1782 s c =============================================================================== c | 889 | 1990 2548 1015946 | 5000 889 1744 | 0.000 % | c =============================================================================== c New solution: 9641 c Elapsed CPU time: 153.414 s Remaining CPU time: 26.5863 s c =============================================================================== c | 892 | 1990 2549 1017796 | 5000 892 1744 | 0.000 % | c =============================================================================== c New solution: 9640 c Elapsed CPU time: 153.97 s Remaining CPU time: 26.0304 s c =============================================================================== c | 898 | 1990 2550 1019646 | 5000 898 1744 | 0.000 % | c =============================================================================== c New solution: 9639 c Elapsed CPU time: 154.538 s Remaining CPU time: 25.4625 s c =============================================================================== c | 906 | 1990 2551 1021496 | 5000 906 1744 | 0.000 % | c =============================================================================== c New solution: 9638 c Elapsed CPU time: 155.113 s Remaining CPU time: 24.8866 s c =============================================================================== c | 907 | 1990 2552 1023346 | 5000 907 1744 | 0.000 % | c =============================================================================== c New solution: 9637 c Elapsed CPU time: 155.685 s Remaining CPU time: 24.3147 s c =============================================================================== c | 907 | 1990 2553 1025196 | 5000 907 1744 | 0.000 % | c =============================================================================== c New solution: 9636 c Elapsed CPU time: 156.266 s Remaining CPU time: 23.7338 s c =============================================================================== c | 907 | 1990 2554 1027046 | 5000 907 1744 | 0.000 % | c =============================================================================== c New solution: 9635 c Elapsed CPU time: 157.076 s Remaining CPU time: 22.9239 s c =============================================================================== c | 927 | 1990 2555 1028896 | 5000 927 1744 | 0.000 % | c =============================================================================== c New solution: 9634 c Elapsed CPU time: 157.693 s Remaining CPU time: 22.307 s c =============================================================================== c | 941 | 1990 2556 1030746 | 5000 941 1744 | 0.000 % | c =============================================================================== c New solution: 9633 c Elapsed CPU time: 158.259 s Remaining CPU time: 21.7411 s c =============================================================================== c | 941 | 1990 2557 1032596 | 5000 941 1744 | 0.000 % | c =============================================================================== c New solution: 9632 c Elapsed CPU time: 158.929 s Remaining CPU time: 21.0712 s c =============================================================================== c | 952 | 1990 2558 1034446 | 5000 952 1743 | 0.000 % | c =============================================================================== c New solution: 9631 c Elapsed CPU time: 159.485 s Remaining CPU time: 20.5152 s c =============================================================================== c | 952 | 1990 2559 1036296 | 5000 952 1743 | 0.000 % | c =============================================================================== c New solution: 9630 c Elapsed CPU time: 160.047 s Remaining CPU time: 19.9533 s c =============================================================================== c | 953 | 1990 2560 1038146 | 5000 953 1743 | 0.000 % | c =============================================================================== c New solution: 9629 c Elapsed CPU time: 160.597 s Remaining CPU time: 19.4034 s c =============================================================================== c | 954 | 1990 2561 1039996 | 5000 954 1743 | 0.000 % | c =============================================================================== c New solution: 9628 c Elapsed CPU time: 161.194 s Remaining CPU time: 18.8055 s c =============================================================================== c | 956 | 1990 2562 1041846 | 5000 956 1743 | 0.000 % | c =============================================================================== c New solution: 9627 c Elapsed CPU time: 161.761 s Remaining CPU time: 18.2386 s c =============================================================================== c | 957 | 1990 2563 1043696 | 5000 957 1743 | 0.000 % | c =============================================================================== c New solution: 9626 c Elapsed CPU time: 162.351 s Remaining CPU time: 17.6487 s c =============================================================================== c | 957 | 1990 2564 1045546 | 5000 957 1743 | 0.000 % | c =============================================================================== c New solution: 9625 c Elapsed CPU time: 162.946 s Remaining CPU time: 17.0538 s c =============================================================================== c | 957 | 1990 2565 1047396 | 5000 957 1743 | 0.000 % | c =============================================================================== c New solution: 9624 c Elapsed CPU time: 163.672 s Remaining CPU time: 16.3279 s c =============================================================================== c | 976 | 1990 2566 1049246 | 5000 976 1743 | 0.000 % | c =============================================================================== c New solution: 9623 c Elapsed CPU time: 164.367 s Remaining CPU time: 15.633 s c =============================================================================== c | 1000 | 1990 2567 1051096 | 5000 1000 1743 | 0.000 % | c =============================================================================== c New solution: 9622 c Elapsed CPU time: 164.933 s Remaining CPU time: 15.0671 s c =============================================================================== c | 1000 | 1990 2568 1052946 | 5000 1000 1743 | 0.000 % | c =============================================================================== c New solution: 9621 c Elapsed CPU time: 165.674 s Remaining CPU time: 14.3262 s c =============================================================================== c | 1028 | 1990 2569 1054796 | 5000 1028 1743 | 0.000 % | c =============================================================================== c New solution: 9620 c Elapsed CPU time: 166.281 s Remaining CPU time: 13.7193 s c =============================================================================== c | 1028 | 1990 2570 1056646 | 5000 1028 1743 | 0.000 % | c =============================================================================== c New solution: 9619 c Elapsed CPU time: 166.888 s Remaining CPU time: 13.1124 s c =============================================================================== c | 1028 | 1990 2571 1058496 | 5000 1028 1743 | 0.000 % | c =============================================================================== c New solution: 9618 c Elapsed CPU time: 167.6 s Remaining CPU time: 12.4005 s c =============================================================================== c | 1061 | 1990 2572 1060346 | 5000 1061 1743 | 0.000 % | c =============================================================================== c New solution: 9617 c Elapsed CPU time: 168.29 s Remaining CPU time: 11.7096 s c =============================================================================== c | 1092 | 1990 2573 1062196 | 5000 1092 1742 | 0.000 % | c =============================================================================== c New solution: 9616 c Elapsed CPU time: 168.892 s Remaining CPU time: 11.1077 s c =============================================================================== c | 1124 | 1990 2574 1064046 | 5000 1124 1742 | 0.000 % | c =============================================================================== c New solution: 9615 c Elapsed CPU time: 169.651 s Remaining CPU time: 10.3488 s c =============================================================================== c | 1152 | 1990 2575 1065896 | 5000 1152 1742 | 0.000 % | c =============================================================================== c New solution: 9614 c Elapsed CPU time: 170.28 s Remaining CPU time: 9.71989 s c =============================================================================== c | 1163 | 1990 2576 1067746 | 5000 1163 1742 | 0.000 % | c =============================================================================== c New solution: 9613 c Elapsed CPU time: 170.913 s Remaining CPU time: 9.08698 s c =============================================================================== c | 1164 | 1990 2577 1069596 | 5000 1164 1742 | 0.000 % | c =============================================================================== c New solution: 9612 c Elapsed CPU time: 171.619 s Remaining CPU time: 8.38109 s c =============================================================================== c | 1181 | 1990 2578 1071446 | 5000 1181 1742 | 0.000 % | c =============================================================================== c New solution: 9611 c Elapsed CPU time: 172.285 s Remaining CPU time: 7.71519 s c =============================================================================== c | 1197 | 1990 2579 1073296 | 5000 1197 1742 | 0.000 % | c =============================================================================== c New solution: 9610 c Elapsed CPU time: 172.869 s Remaining CPU time: 7.13128 s c =============================================================================== c | 1215 | 1990 2580 1075146 | 5000 1215 1742 | 0.000 % | c =============================================================================== c New solution: 9609 c Elapsed CPU time: 173.457 s Remaining CPU time: 6.54337 s c =============================================================================== c | 1215 | 1990 2581 1076996 | 5000 1215 1742 | 0.000 % | c | 1315 | 1990 2581 1076996 | 5500 1315 1741 | 0.500 % | c =============================================================================== c New solution: 9608 c Elapsed CPU time: 175.141 s Remaining CPU time: 4.85863 s c =============================================================================== c | 1336 | 1990 2582 1078846 | 5000 1336 1741 | 0.500 % | c =============================================================================== c New solution: 9607 c Elapsed CPU time: 175.855 s Remaining CPU time: 4.14473 s c =============================================================================== c | 1339 | 1990 2583 1080696 | 5000 1339 1741 | 0.500 % | c =============================================================================== c New solution: 9606 c Elapsed CPU time: 176.516 s Remaining CPU time: 3.48383 s c =============================================================================== c | 1350 | 1990 2584 1082546 | 5000 1350 1741 | 0.500 % | c =============================================================================== c New solution: 9605 c Elapsed CPU time: 177.111 s Remaining CPU time: 2.88893 s c =============================================================================== c | 1358 | 1990 2585 1084396 | 5000 1358 1741 | 0.500 % | c =============================================================================== c New solution: 9604 c Elapsed CPU time: 177.716 s Remaining CPU time: 2.28402 s c =============================================================================== c | 1361 | 1990 2586 1086246 | 5000 1361 1741 | 0.500 % | c =============================================================================== c New solution: 9603 c Elapsed CPU time: 178.298 s Remaining CPU time: 1.70211 s c =============================================================================== c | 1362 | 1990 2587 1088096 | 5000 1362 1741 | 0.500 % | c =============================================================================== c New solution: 9602 c Elapsed CPU time: 178.881 s Remaining CPU time: 1.11919 s c =============================================================================== c | 1362 | 1990 2588 1089946 | 5000 1362 1741 | 0.500 % | c =============================================================================== c New solution: 9601 c Elapsed CPU time: 179.478 s Remaining CPU time: 0.522285 s c =============================================================================== c | 1364 | 1990 2589 1091796 | 5000 1364 1741 | 0.500 % | c =============================================================================== c New solution: 9600 c Elapsed CPU time: 180.131 s Remaining CPU time: -0.130615 s c =============================================================================== c | 1378 | 1990 2590 1093646 | 5000 1378 1741 | 0.500 % | c There are 10 assigned variables. 0 in cost function.