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 | 1986 2002 5850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10337 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1986 2003 7700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10328 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1986 2004 9550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10319 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1986 2005 11400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10312 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1986 2006 13250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10306 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 1986 2007 15100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10302 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 1986 2008 16950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10301 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 1986 2009 18800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10300 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 1986 2010 20650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10296 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 1986 2011 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10294 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 0 | 1986 2012 24350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10292 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 1986 2013 26200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10291 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 0 | 1986 2014 28050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10290 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 1986 2015 29900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10288 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 0 | 1986 2016 31750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10287 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 0 | 1986 2017 33600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10286 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 0 | 1986 2018 35450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10285 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 0 | 1986 2019 37300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10284 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 0 | 1986 2020 39150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10283 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 0 | 1986 2021 41000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10282 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 0 | 1986 2022 42850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10281 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 0 | 1986 2023 44700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10280 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 0 | 1986 2024 46550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10279 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 0 | 1986 2025 48400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10277 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 0 | 1986 2026 50250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10275 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 0 | 1986 2027 52100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10274 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 0 | 1986 2028 53950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10272 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 0 | 1986 2029 55800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10270 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 0 | 1986 2030 57650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10269 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 0 | 1986 2031 59500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10268 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 0 | 1986 2032 61350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10267 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 0 | 1986 2033 63200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10266 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 0 | 1986 2034 65050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10265 c Elapsed CPU time: 0.672897 s Remaining CPU time: 179.327 s c =============================================================================== c | 0 | 1986 2035 66900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10264 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 0 | 1986 2036 68750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10263 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 0 | 1986 2037 70600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10261 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 0 | 1986 2038 72450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10256 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 0 | 1986 2039 74300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10255 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 0 | 1986 2040 76150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10249 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 0 | 1986 2041 78000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10246 c Elapsed CPU time: 0.895863 s Remaining CPU time: 179.104 s c =============================================================================== c | 0 | 1986 2042 79850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10242 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 0 | 1986 2043 81700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10241 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 0 | 1986 2044 83550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10238 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s c =============================================================================== c | 0 | 1986 2045 85400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10237 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 0 | 1986 2046 87250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10236 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 0 | 1986 2047 89100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10235 c Elapsed CPU time: 1.12283 s Remaining CPU time: 178.877 s c =============================================================================== c | 0 | 1986 2048 90950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10230 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s c =============================================================================== c | 0 | 1986 2049 92800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10228 c Elapsed CPU time: 1.20982 s Remaining CPU time: 178.79 s c =============================================================================== c | 0 | 1986 2050 94650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10227 c Elapsed CPU time: 1.24981 s Remaining CPU time: 178.75 s c =============================================================================== c | 0 | 1986 2051 96500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10221 c Elapsed CPU time: 1.2908 s Remaining CPU time: 178.709 s c =============================================================================== c | 0 | 1986 2052 98350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10219 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 0 | 1986 2053 100200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10216 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 0 | 1986 2054 102050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10211 c Elapsed CPU time: 1.42278 s Remaining CPU time: 178.577 s c =============================================================================== c | 0 | 1986 2055 103900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10205 c Elapsed CPU time: 1.47078 s Remaining CPU time: 178.529 s c =============================================================================== c | 0 | 1986 2056 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10204 c Elapsed CPU time: 1.52177 s Remaining CPU time: 178.478 s c =============================================================================== c | 0 | 1986 2057 107600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10203 c Elapsed CPU time: 1.57176 s Remaining CPU time: 178.428 s c =============================================================================== c | 0 | 1986 2058 109450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10202 c Elapsed CPU time: 1.62375 s Remaining CPU time: 178.376 s c =============================================================================== c | 0 | 1986 2059 111300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10201 c Elapsed CPU time: 1.67575 s Remaining CPU time: 178.324 s c =============================================================================== c | 0 | 1986 2060 113150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10200 c Elapsed CPU time: 1.72574 s Remaining CPU time: 178.274 s c =============================================================================== c | 0 | 1986 2061 115000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10199 c Elapsed CPU time: 1.77873 s Remaining CPU time: 178.221 s c =============================================================================== c | 0 | 1986 2062 116850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10198 c Elapsed CPU time: 1.83472 s Remaining CPU time: 178.165 s c =============================================================================== c | 0 | 1986 2063 118700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10196 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 0 | 1986 2064 120550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10195 c Elapsed CPU time: 1.9507 s Remaining CPU time: 178.049 s c =============================================================================== c | 0 | 1986 2065 122400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10193 c Elapsed CPU time: 2.01269 s Remaining CPU time: 177.987 s c =============================================================================== c | 0 | 1986 2066 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10189 c Elapsed CPU time: 2.06868 s Remaining CPU time: 177.931 s c =============================================================================== c | 0 | 1986 2067 126100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10188 c Elapsed CPU time: 2.12968 s Remaining CPU time: 177.87 s c =============================================================================== c | 0 | 1986 2068 127950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10187 c Elapsed CPU time: 2.19067 s Remaining CPU time: 177.809 s c =============================================================================== c | 0 | 1986 2069 129800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10183 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 0 | 1986 2070 131650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10182 c Elapsed CPU time: 2.31565 s Remaining CPU time: 177.684 s c =============================================================================== c | 0 | 1986 2071 133500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10180 c Elapsed CPU time: 2.38064 s Remaining CPU time: 177.619 s c =============================================================================== c | 0 | 1986 2072 135350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10175 c Elapsed CPU time: 2.44363 s Remaining CPU time: 177.556 s c =============================================================================== c | 0 | 1986 2073 137200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10173 c Elapsed CPU time: 2.51562 s Remaining CPU time: 177.484 s c =============================================================================== c | 0 | 1986 2074 139050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10172 c Elapsed CPU time: 2.58561 s Remaining CPU time: 177.414 s c =============================================================================== c | 0 | 1986 2075 140900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10171 c Elapsed CPU time: 2.6576 s Remaining CPU time: 177.342 s c =============================================================================== c | 0 | 1986 2076 142750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10170 c Elapsed CPU time: 2.72758 s Remaining CPU time: 177.272 s c =============================================================================== c | 0 | 1986 2077 144600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10169 c Elapsed CPU time: 2.80257 s Remaining CPU time: 177.197 s c =============================================================================== c | 0 | 1986 2078 146450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10167 c Elapsed CPU time: 2.87556 s Remaining CPU time: 177.124 s c =============================================================================== c | 0 | 1986 2079 148300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10166 c Elapsed CPU time: 2.95255 s Remaining CPU time: 177.047 s c =============================================================================== c | 0 | 1986 2080 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10165 c Elapsed CPU time: 3.03054 s Remaining CPU time: 176.969 s c =============================================================================== c | 0 | 1986 2081 152000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10164 c Elapsed CPU time: 3.11053 s Remaining CPU time: 176.889 s c =============================================================================== c | 0 | 1986 2082 153850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10163 c Elapsed CPU time: 3.19351 s Remaining CPU time: 176.806 s c =============================================================================== c | 0 | 1986 2083 155700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10162 c Elapsed CPU time: 3.2745 s Remaining CPU time: 176.725 s c =============================================================================== c | 0 | 1986 2084 157550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10161 c Elapsed CPU time: 3.35549 s Remaining CPU time: 176.645 s c =============================================================================== c | 0 | 1986 2085 159400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10160 c Elapsed CPU time: 3.43848 s Remaining CPU time: 176.562 s c =============================================================================== c | 0 | 1986 2086 161250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10159 c Elapsed CPU time: 3.52146 s Remaining CPU time: 176.479 s c =============================================================================== c | 0 | 1986 2087 163100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10158 c Elapsed CPU time: 3.60345 s Remaining CPU time: 176.397 s c =============================================================================== c | 0 | 1986 2088 164950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10157 c Elapsed CPU time: 3.68744 s Remaining CPU time: 176.313 s c =============================================================================== c | 0 | 1986 2089 166800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10155 c Elapsed CPU time: 3.77043 s Remaining CPU time: 176.23 s c =============================================================================== c | 0 | 1986 2090 168650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10154 c Elapsed CPU time: 3.85641 s Remaining CPU time: 176.144 s c =============================================================================== c | 0 | 1986 2091 170500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10153 c Elapsed CPU time: 3.9464 s Remaining CPU time: 176.054 s c =============================================================================== c | 0 | 1986 2092 172350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10152 c Elapsed CPU time: 4.03939 s Remaining CPU time: 175.961 s c =============================================================================== c | 0 | 1986 2093 174200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10151 c Elapsed CPU time: 4.13137 s Remaining CPU time: 175.869 s c =============================================================================== c | 0 | 1986 2094 176050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10150 c Elapsed CPU time: 4.22436 s Remaining CPU time: 175.776 s c =============================================================================== c | 0 | 1986 2095 177900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10148 c Elapsed CPU time: 4.32334 s Remaining CPU time: 175.677 s c =============================================================================== c | 0 | 1986 2096 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10146 c Elapsed CPU time: 4.41833 s Remaining CPU time: 175.582 s c =============================================================================== c | 0 | 1986 2097 181600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10145 c Elapsed CPU time: 4.51531 s Remaining CPU time: 175.485 s c =============================================================================== c | 0 | 1986 2098 183450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10144 c Elapsed CPU time: 4.6123 s Remaining CPU time: 175.388 s c =============================================================================== c | 0 | 1986 2099 185300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10143 c Elapsed CPU time: 4.71428 s Remaining CPU time: 175.286 s c =============================================================================== c | 0 | 1986 2100 187150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10141 c Elapsed CPU time: 4.81327 s Remaining CPU time: 175.187 s c =============================================================================== c | 0 | 1986 2101 189000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10140 c Elapsed CPU time: 4.91825 s Remaining CPU time: 175.082 s c =============================================================================== c | 0 | 1986 2102 190850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10139 c Elapsed CPU time: 5.02124 s Remaining CPU time: 174.979 s c =============================================================================== c | 0 | 1986 2103 192700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10138 c Elapsed CPU time: 5.12522 s Remaining CPU time: 174.875 s c =============================================================================== c | 0 | 1986 2104 194550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10137 c Elapsed CPU time: 5.2332 s Remaining CPU time: 174.767 s c =============================================================================== c | 0 | 1986 2105 196400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10134 c Elapsed CPU time: 5.33819 s Remaining CPU time: 174.662 s c =============================================================================== c | 0 | 1986 2106 198250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10132 c Elapsed CPU time: 5.44317 s Remaining CPU time: 174.557 s c =============================================================================== c | 0 | 1986 2107 200100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10131 c Elapsed CPU time: 5.55516 s Remaining CPU time: 174.445 s c =============================================================================== c | 0 | 1986 2108 201950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10129 c Elapsed CPU time: 5.66514 s Remaining CPU time: 174.335 s c =============================================================================== c | 0 | 1986 2109 203800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10128 c Elapsed CPU time: 5.77712 s Remaining CPU time: 174.223 s c =============================================================================== c | 0 | 1986 2110 205650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10127 c Elapsed CPU time: 5.8881 s Remaining CPU time: 174.112 s c =============================================================================== c | 0 | 1986 2111 207500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10126 c Elapsed CPU time: 6.00409 s Remaining CPU time: 173.996 s c =============================================================================== c | 0 | 1986 2112 209350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10124 c Elapsed CPU time: 6.11807 s Remaining CPU time: 173.882 s c =============================================================================== c | 0 | 1986 2113 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10123 c Elapsed CPU time: 6.23105 s Remaining CPU time: 173.769 s c =============================================================================== c | 0 | 1986 2114 213050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10122 c Elapsed CPU time: 6.34903 s Remaining CPU time: 173.651 s c =============================================================================== c | 0 | 1986 2115 214900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10121 c Elapsed CPU time: 6.46902 s Remaining CPU time: 173.531 s c =============================================================================== c | 0 | 1986 2116 216750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10120 c Elapsed CPU time: 6.589 s Remaining CPU time: 173.411 s c =============================================================================== c | 0 | 1986 2117 218600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10119 c Elapsed CPU time: 6.71098 s Remaining CPU time: 173.289 s c =============================================================================== c | 0 | 1986 2118 220450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10118 c Elapsed CPU time: 6.83496 s Remaining CPU time: 173.165 s c =============================================================================== c | 0 | 1986 2119 222300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10117 c Elapsed CPU time: 6.95994 s Remaining CPU time: 173.04 s c =============================================================================== c | 0 | 1986 2120 224150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10114 c Elapsed CPU time: 7.08192 s Remaining CPU time: 172.918 s c =============================================================================== c | 0 | 1986 2121 226000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10112 c Elapsed CPU time: 7.2109 s Remaining CPU time: 172.789 s c =============================================================================== c | 0 | 1986 2122 227850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10111 c Elapsed CPU time: 7.33688 s Remaining CPU time: 172.663 s c =============================================================================== c | 0 | 1986 2123 229700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10108 c Elapsed CPU time: 7.46286 s Remaining CPU time: 172.537 s c =============================================================================== c | 0 | 1986 2124 231550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10107 c Elapsed CPU time: 7.59384 s Remaining CPU time: 172.406 s c =============================================================================== c | 0 | 1986 2125 233400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10106 c Elapsed CPU time: 7.72882 s Remaining CPU time: 172.271 s c =============================================================================== c | 0 | 1986 2126 235250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10101 c Elapsed CPU time: 7.8618 s Remaining CPU time: 172.138 s c =============================================================================== c | 0 | 1986 2127 237100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10100 c Elapsed CPU time: 7.99578 s Remaining CPU time: 172.004 s c =============================================================================== c | 0 | 1986 2128 238950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10096 c Elapsed CPU time: 8.12776 s Remaining CPU time: 171.872 s c =============================================================================== c | 0 | 1986 2129 240800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10093 c Elapsed CPU time: 8.26974 s Remaining CPU time: 171.73 s c =============================================================================== c | 0 | 1986 2130 242650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10091 c Elapsed CPU time: 8.40772 s Remaining CPU time: 171.592 s c =============================================================================== c | 0 | 1986 2131 244500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10089 c Elapsed CPU time: 8.5487 s Remaining CPU time: 171.451 s c =============================================================================== c | 0 | 1986 2132 246350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10088 c Elapsed CPU time: 8.69568 s Remaining CPU time: 171.304 s c =============================================================================== c | 0 | 1986 2133 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10087 c Elapsed CPU time: 8.83866 s Remaining CPU time: 171.161 s c =============================================================================== c | 0 | 1986 2134 250050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10086 c Elapsed CPU time: 8.98163 s Remaining CPU time: 171.018 s c =============================================================================== c | 0 | 1986 2135 251900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10085 c Elapsed CPU time: 9.12461 s Remaining CPU time: 170.875 s c =============================================================================== c | 0 | 1986 2136 253750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10084 c Elapsed CPU time: 9.27459 s Remaining CPU time: 170.725 s c =============================================================================== c | 0 | 1986 2137 255600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10083 c Elapsed CPU time: 9.42457 s Remaining CPU time: 170.575 s c =============================================================================== c | 0 | 1986 2138 257450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10082 c Elapsed CPU time: 9.57354 s Remaining CPU time: 170.426 s c =============================================================================== c | 0 | 1986 2139 259300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10079 c Elapsed CPU time: 9.72252 s Remaining CPU time: 170.277 s c =============================================================================== c | 0 | 1986 2140 261150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10078 c Elapsed CPU time: 9.8805 s Remaining CPU time: 170.12 s c =============================================================================== c | 0 | 1986 2141 263000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10076 c Elapsed CPU time: 10.0345 s Remaining CPU time: 169.966 s c =============================================================================== c | 0 | 1986 2142 264850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10075 c Elapsed CPU time: 10.1925 s Remaining CPU time: 169.808 s c =============================================================================== c | 0 | 1986 2143 266700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10072 c Elapsed CPU time: 10.3484 s Remaining CPU time: 169.652 s c =============================================================================== c | 0 | 1986 2144 268550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10067 c Elapsed CPU time: 10.5084 s Remaining CPU time: 169.492 s c =============================================================================== c | 0 | 1986 2145 270400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10063 c Elapsed CPU time: 10.6654 s Remaining CPU time: 169.335 s c =============================================================================== c | 0 | 1986 2146 272250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10057 c Elapsed CPU time: 10.8234 s Remaining CPU time: 169.177 s c =============================================================================== c | 0 | 1986 2147 274100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10056 c Elapsed CPU time: 10.9923 s Remaining CPU time: 169.008 s c =============================================================================== c | 0 | 1986 2148 275950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10053 c Elapsed CPU time: 11.1593 s Remaining CPU time: 168.841 s c =============================================================================== c | 0 | 1986 2149 277800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10052 c Elapsed CPU time: 11.3253 s Remaining CPU time: 168.675 s c =============================================================================== c | 0 | 1986 2150 279650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10051 c Elapsed CPU time: 11.4883 s Remaining CPU time: 168.512 s c =============================================================================== c | 0 | 1986 2151 281500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10049 c Elapsed CPU time: 11.6662 s Remaining CPU time: 168.334 s c =============================================================================== c | 0 | 1986 2152 283350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10048 c Elapsed CPU time: 11.8442 s Remaining CPU time: 168.156 s c =============================================================================== c | 0 | 1986 2153 285200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10047 c Elapsed CPU time: 12.0152 s Remaining CPU time: 167.985 s c =============================================================================== c | 0 | 1986 2154 287050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10046 c Elapsed CPU time: 12.1871 s Remaining CPU time: 167.813 s c =============================================================================== c | 0 | 1986 2155 288900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10044 c Elapsed CPU time: 12.3591 s Remaining CPU time: 167.641 s c =============================================================================== c | 0 | 1986 2156 290750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10041 c Elapsed CPU time: 12.5361 s Remaining CPU time: 167.464 s c =============================================================================== c | 0 | 1986 2157 292600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10039 c Elapsed CPU time: 12.7081 s Remaining CPU time: 167.292 s c =============================================================================== c | 0 | 1986 2158 294450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10036 c Elapsed CPU time: 12.88 s Remaining CPU time: 167.12 s c =============================================================================== c | 0 | 1986 2159 296300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10034 c Elapsed CPU time: 13.056 s Remaining CPU time: 166.944 s c =============================================================================== c | 0 | 1986 2160 298150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10033 c Elapsed CPU time: 13.233 s Remaining CPU time: 166.767 s c =============================================================================== c | 0 | 1986 2161 300000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10031 c Elapsed CPU time: 13.413 s Remaining CPU time: 166.587 s c =============================================================================== c | 0 | 1986 2162 301850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10028 c Elapsed CPU time: 13.5939 s Remaining CPU time: 166.406 s c =============================================================================== c | 0 | 1986 2163 303700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10027 c Elapsed CPU time: 13.7749 s Remaining CPU time: 166.225 s c =============================================================================== c | 0 | 1986 2164 305550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10025 c Elapsed CPU time: 13.9559 s Remaining CPU time: 166.044 s c =============================================================================== c | 0 | 1986 2165 307400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10022 c Elapsed CPU time: 14.1388 s Remaining CPU time: 165.861 s c =============================================================================== c | 0 | 1986 2166 309250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10021 c Elapsed CPU time: 14.3208 s Remaining CPU time: 165.679 s c =============================================================================== c | 0 | 1986 2167 311100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10019 c Elapsed CPU time: 14.5068 s Remaining CPU time: 165.493 s c =============================================================================== c | 0 | 1986 2168 312950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10018 c Elapsed CPU time: 14.6958 s Remaining CPU time: 165.304 s c =============================================================================== c | 0 | 1986 2169 314800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10017 c Elapsed CPU time: 14.8877 s Remaining CPU time: 165.112 s c =============================================================================== c | 0 | 1986 2170 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10015 c Elapsed CPU time: 15.0767 s Remaining CPU time: 164.923 s c =============================================================================== c | 0 | 1986 2171 318500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10014 c Elapsed CPU time: 15.2627 s Remaining CPU time: 164.737 s c =============================================================================== c | 0 | 1986 2172 320350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10013 c Elapsed CPU time: 15.4576 s Remaining CPU time: 164.542 s c =============================================================================== c | 0 | 1986 2173 322200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10012 c Elapsed CPU time: 15.6536 s Remaining CPU time: 164.346 s c =============================================================================== c | 0 | 1986 2174 324050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10011 c Elapsed CPU time: 15.8506 s Remaining CPU time: 164.149 s c =============================================================================== c | 0 | 1986 2175 325900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10009 c Elapsed CPU time: 16.0476 s Remaining CPU time: 163.952 s c =============================================================================== c | 0 | 1986 2176 327750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10007 c Elapsed CPU time: 16.2465 s Remaining CPU time: 163.753 s c =============================================================================== c | 0 | 1986 2177 329600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10005 c Elapsed CPU time: 16.4445 s Remaining CPU time: 163.555 s c =============================================================================== c | 0 | 1986 2178 331450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10004 c Elapsed CPU time: 16.6415 s Remaining CPU time: 163.359 s c =============================================================================== c | 0 | 1986 2179 333300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10002 c Elapsed CPU time: 16.8364 s Remaining CPU time: 163.164 s c =============================================================================== c | 0 | 1986 2180 335150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10000 c Elapsed CPU time: 17.0384 s Remaining CPU time: 162.962 s c =============================================================================== c | 0 | 1986 2181 337000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9999 c Elapsed CPU time: 17.2374 s Remaining CPU time: 162.763 s c =============================================================================== c | 0 | 1986 2182 338850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9998 c Elapsed CPU time: 17.4423 s Remaining CPU time: 162.558 s c =============================================================================== c | 0 | 1986 2183 340700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9996 c Elapsed CPU time: 17.6453 s Remaining CPU time: 162.355 s c =============================================================================== c | 0 | 1986 2184 342550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9995 c Elapsed CPU time: 17.8563 s Remaining CPU time: 162.144 s c =============================================================================== c | 0 | 1986 2185 344400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9994 c Elapsed CPU time: 18.0653 s Remaining CPU time: 161.935 s c =============================================================================== c | 0 | 1986 2186 346250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9992 c Elapsed CPU time: 18.2762 s Remaining CPU time: 161.724 s c =============================================================================== c | 0 | 1986 2187 348100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9991 c Elapsed CPU time: 18.4872 s Remaining CPU time: 161.513 s c =============================================================================== c | 0 | 1986 2188 349950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9990 c Elapsed CPU time: 18.7082 s Remaining CPU time: 161.292 s c =============================================================================== c | 0 | 1986 2189 351800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9987 c Elapsed CPU time: 18.9331 s Remaining CPU time: 161.067 s c =============================================================================== c | 0 | 1986 2190 353650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9985 c Elapsed CPU time: 19.1631 s Remaining CPU time: 160.837 s c =============================================================================== c | 0 | 1986 2191 355500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9982 c Elapsed CPU time: 19.3891 s Remaining CPU time: 160.611 s c =============================================================================== c | 0 | 1986 2192 357350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9981 c Elapsed CPU time: 19.619 s Remaining CPU time: 160.381 s c =============================================================================== c | 0 | 1986 2193 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9980 c Elapsed CPU time: 19.845 s Remaining CPU time: 160.155 s c =============================================================================== c | 0 | 1986 2194 361050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9978 c Elapsed CPU time: 20.0779 s Remaining CPU time: 159.922 s c =============================================================================== c | 0 | 1986 2195 362900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9977 c Elapsed CPU time: 20.3149 s Remaining CPU time: 159.685 s c =============================================================================== c | 0 | 1986 2196 364750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9975 c Elapsed CPU time: 20.5529 s Remaining CPU time: 159.447 s c =============================================================================== c | 0 | 1986 2197 366600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9972 c Elapsed CPU time: 20.7898 s Remaining CPU time: 159.21 s c =============================================================================== c | 0 | 1986 2198 368450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9971 c Elapsed CPU time: 21.0268 s Remaining CPU time: 158.973 s c =============================================================================== c | 0 | 1986 2199 370300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9970 c Elapsed CPU time: 21.2638 s Remaining CPU time: 158.736 s c =============================================================================== c | 0 | 1986 2200 372150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9967 c Elapsed CPU time: 21.4997 s Remaining CPU time: 158.5 s c =============================================================================== c | 0 | 1986 2201 374000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9966 c Elapsed CPU time: 21.7377 s Remaining CPU time: 158.262 s c =============================================================================== c | 0 | 1986 2202 375850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9965 c Elapsed CPU time: 21.9687 s Remaining CPU time: 158.031 s c =============================================================================== c | 0 | 1986 2203 377700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9962 c Elapsed CPU time: 22.2056 s Remaining CPU time: 157.794 s c =============================================================================== c | 0 | 1986 2204 379550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9960 c Elapsed CPU time: 22.4386 s Remaining CPU time: 157.561 s c =============================================================================== c | 0 | 1986 2205 381400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9959 c Elapsed CPU time: 22.6706 s Remaining CPU time: 157.329 s c =============================================================================== c | 0 | 1986 2206 383250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9958 c Elapsed CPU time: 22.9095 s Remaining CPU time: 157.09 s c =============================================================================== c | 0 | 1986 2207 385100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9956 c Elapsed CPU time: 23.1505 s Remaining CPU time: 156.85 s c =============================================================================== c | 0 | 1986 2208 386950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9954 c Elapsed CPU time: 23.3944 s Remaining CPU time: 156.606 s c =============================================================================== c | 0 | 1986 2209 388800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9952 c Elapsed CPU time: 23.6414 s Remaining CPU time: 156.359 s c =============================================================================== c | 0 | 1986 2210 390650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9951 c Elapsed CPU time: 23.8864 s Remaining CPU time: 156.114 s c =============================================================================== c | 0 | 1986 2211 392500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9950 c Elapsed CPU time: 24.1343 s Remaining CPU time: 155.866 s c =============================================================================== c | 0 | 1986 2212 394350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9949 c Elapsed CPU time: 24.3833 s Remaining CPU time: 155.617 s c =============================================================================== c | 0 | 1986 2213 396200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9948 c Elapsed CPU time: 24.6363 s Remaining CPU time: 155.364 s c =============================================================================== c | 0 | 1986 2214 398050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9947 c Elapsed CPU time: 24.8832 s Remaining CPU time: 155.117 s c =============================================================================== c | 0 | 1986 2215 399900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9946 c Elapsed CPU time: 25.1292 s Remaining CPU time: 154.871 s c =============================================================================== c | 0 | 1986 2216 401750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9945 c Elapsed CPU time: 25.3781 s Remaining CPU time: 154.622 s c =============================================================================== c | 0 | 1986 2217 403600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9944 c Elapsed CPU time: 25.6271 s Remaining CPU time: 154.373 s c =============================================================================== c | 0 | 1986 2218 405450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9942 c Elapsed CPU time: 25.8811 s Remaining CPU time: 154.119 s c =============================================================================== c | 0 | 1986 2219 407300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9941 c Elapsed CPU time: 26.135 s Remaining CPU time: 153.865 s c =============================================================================== c | 0 | 1986 2220 409150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9940 c Elapsed CPU time: 26.389 s Remaining CPU time: 153.611 s c =============================================================================== c | 0 | 1986 2221 411000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9939 c Elapsed CPU time: 26.6449 s Remaining CPU time: 153.355 s c =============================================================================== c | 0 | 1986 2222 412850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9937 c Elapsed CPU time: 26.8969 s Remaining CPU time: 153.103 s c =============================================================================== c | 0 | 1986 2223 414700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9936 c Elapsed CPU time: 27.1589 s Remaining CPU time: 152.841 s c =============================================================================== c | 0 | 1986 2224 416550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9933 c Elapsed CPU time: 27.4248 s Remaining CPU time: 152.575 s c =============================================================================== c | 0 | 1986 2225 418400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9932 c Elapsed CPU time: 27.6898 s Remaining CPU time: 152.31 s c =============================================================================== c | 0 | 1986 2226 420250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9930 c Elapsed CPU time: 27.9488 s Remaining CPU time: 152.051 s c =============================================================================== c | 0 | 1986 2227 422100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9926 c Elapsed CPU time: 28.2097 s Remaining CPU time: 151.79 s c =============================================================================== c | 0 | 1986 2228 423950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9925 c Elapsed CPU time: 28.4717 s Remaining CPU time: 151.528 s c =============================================================================== c | 0 | 1986 2229 425800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9924 c Elapsed CPU time: 28.7266 s Remaining CPU time: 151.273 s c =============================================================================== c | 0 | 1986 2230 427650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9922 c Elapsed CPU time: 28.9976 s Remaining CPU time: 151.002 s c =============================================================================== c | 0 | 1986 2231 429500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9920 c Elapsed CPU time: 29.2675 s Remaining CPU time: 150.732 s c =============================================================================== c | 0 | 1986 2232 431350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9919 c Elapsed CPU time: 29.5345 s Remaining CPU time: 150.465 s c =============================================================================== c | 0 | 1986 2233 433200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9918 c Elapsed CPU time: 29.8035 s Remaining CPU time: 150.197 s c =============================================================================== c | 0 | 1986 2234 435050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9916 c Elapsed CPU time: 30.0754 s Remaining CPU time: 149.925 s c =============================================================================== c | 0 | 1986 2235 436900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9915 c Elapsed CPU time: 30.3434 s Remaining CPU time: 149.657 s c =============================================================================== c | 0 | 1986 2236 438750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9913 c Elapsed CPU time: 30.6133 s Remaining CPU time: 149.387 s c =============================================================================== c | 0 | 1986 2237 440600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9912 c Elapsed CPU time: 30.8813 s Remaining CPU time: 149.119 s c =============================================================================== c | 0 | 1986 2238 442450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9909 c Elapsed CPU time: 31.1573 s Remaining CPU time: 148.843 s c =============================================================================== c | 0 | 1986 2239 444300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9907 c Elapsed CPU time: 31.4272 s Remaining CPU time: 148.573 s c =============================================================================== c | 0 | 1986 2240 446150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9904 c Elapsed CPU time: 31.6992 s Remaining CPU time: 148.301 s c =============================================================================== c | 0 | 1986 2241 448000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9901 c Elapsed CPU time: 31.9691 s Remaining CPU time: 148.031 s c =============================================================================== c | 0 | 1986 2242 449850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9900 c Elapsed CPU time: 32.2511 s Remaining CPU time: 147.749 s c =============================================================================== c | 0 | 1986 2243 451700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9899 c Elapsed CPU time: 32.5261 s Remaining CPU time: 147.474 s c =============================================================================== c | 0 | 1986 2244 453550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9897 c Elapsed CPU time: 32.804 s Remaining CPU time: 147.196 s c =============================================================================== c | 0 | 1986 2245 455400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9896 c Elapsed CPU time: 33.081 s Remaining CPU time: 146.919 s c =============================================================================== c | 0 | 1986 2246 457250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9893 c Elapsed CPU time: 33.3559 s Remaining CPU time: 146.644 s c =============================================================================== c | 0 | 1986 2247 459100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9892 c Elapsed CPU time: 33.6389 s Remaining CPU time: 146.361 s c =============================================================================== c | 0 | 1986 2248 460950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9890 c Elapsed CPU time: 33.9178 s Remaining CPU time: 146.082 s c =============================================================================== c | 0 | 1986 2249 462800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9889 c Elapsed CPU time: 34.2018 s Remaining CPU time: 145.798 s c =============================================================================== c | 0 | 1986 2250 464650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9887 c Elapsed CPU time: 34.4928 s Remaining CPU time: 145.507 s c =============================================================================== c | 0 | 1986 2251 466500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9886 c Elapsed CPU time: 34.7887 s Remaining CPU time: 145.211 s c =============================================================================== c | 0 | 1986 2252 468350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9885 c Elapsed CPU time: 35.0787 s Remaining CPU time: 144.921 s c =============================================================================== c | 0 | 1986 2253 470200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9883 c Elapsed CPU time: 35.3666 s Remaining CPU time: 144.633 s c =============================================================================== c | 0 | 1986 2254 472050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9882 c Elapsed CPU time: 35.6596 s Remaining CPU time: 144.34 s c =============================================================================== c | 0 | 1986 2255 473900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9881 c Elapsed CPU time: 35.9575 s Remaining CPU time: 144.042 s c =============================================================================== c | 0 | 1986 2256 475750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9880 c Elapsed CPU time: 36.2555 s Remaining CPU time: 143.745 s c =============================================================================== c | 0 | 1986 2257 477600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9879 c Elapsed CPU time: 36.5544 s Remaining CPU time: 143.446 s c =============================================================================== c | 0 | 1986 2258 479450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9876 c Elapsed CPU time: 36.8444 s Remaining CPU time: 143.156 s c =============================================================================== c | 0 | 1986 2259 481300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9875 c Elapsed CPU time: 37.1534 s Remaining CPU time: 142.847 s c =============================================================================== c | 0 | 1986 2260 483150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9874 c Elapsed CPU time: 37.4543 s Remaining CPU time: 142.546 s c =============================================================================== c | 0 | 1986 2261 485000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9872 c Elapsed CPU time: 37.7563 s Remaining CPU time: 142.244 s c =============================================================================== c | 0 | 1986 2262 486850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9871 c Elapsed CPU time: 38.0632 s Remaining CPU time: 141.937 s c =============================================================================== c | 0 | 1986 2263 488700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9868 c Elapsed CPU time: 38.3582 s Remaining CPU time: 141.642 s c =============================================================================== c | 0 | 1986 2264 490550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9867 c Elapsed CPU time: 38.6681 s Remaining CPU time: 141.332 s c =============================================================================== c | 0 | 1986 2265 492400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9865 c Elapsed CPU time: 38.9641 s Remaining CPU time: 141.036 s c =============================================================================== c | 0 | 1986 2266 494250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9861 c Elapsed CPU time: 39.266 s Remaining CPU time: 140.734 s c =============================================================================== c | 0 | 1986 2267 496100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9860 c Elapsed CPU time: 39.575 s Remaining CPU time: 140.425 s c =============================================================================== c | 0 | 1986 2268 497950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9856 c Elapsed CPU time: 39.8729 s Remaining CPU time: 140.127 s c =============================================================================== c | 0 | 1986 2269 499800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9855 c Elapsed CPU time: 40.1859 s Remaining CPU time: 139.814 s c =============================================================================== c | 0 | 1986 2270 501650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9853 c Elapsed CPU time: 40.4928 s Remaining CPU time: 139.507 s c =============================================================================== c | 0 | 1986 2271 503500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9851 c Elapsed CPU time: 40.8088 s Remaining CPU time: 139.191 s c =============================================================================== c | 0 | 1986 2272 505350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9848 c Elapsed CPU time: 41.1237 s Remaining CPU time: 138.876 s c =============================================================================== c | 0 | 1986 2273 507200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9847 c Elapsed CPU time: 41.4457 s Remaining CPU time: 138.554 s c =============================================================================== c | 0 | 1986 2274 509050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9846 c Elapsed CPU time: 41.7746 s Remaining CPU time: 138.225 s c =============================================================================== c | 0 | 1986 2275 510900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9845 c Elapsed CPU time: 42.1036 s Remaining CPU time: 137.896 s c =============================================================================== c | 0 | 1986 2276 512750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9843 c Elapsed CPU time: 42.4186 s Remaining CPU time: 137.581 s c =============================================================================== c | 0 | 1986 2277 514600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9841 c Elapsed CPU time: 42.7415 s Remaining CPU time: 137.258 s c =============================================================================== c | 0 | 1986 2278 516450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9840 c Elapsed CPU time: 43.0715 s Remaining CPU time: 136.929 s c =============================================================================== c | 0 | 1986 2279 518300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9839 c Elapsed CPU time: 43.4034 s Remaining CPU time: 136.597 s c =============================================================================== c | 0 | 1986 2280 520150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9838 c Elapsed CPU time: 43.7224 s Remaining CPU time: 136.278 s c =============================================================================== c | 0 | 1986 2281 522000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9836 c Elapsed CPU time: 44.0483 s Remaining CPU time: 135.952 s c =============================================================================== c | 0 | 1986 2282 523850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9835 c Elapsed CPU time: 44.3713 s Remaining CPU time: 135.629 s c =============================================================================== c | 0 | 1986 2283 525700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9834 c Elapsed CPU time: 44.6902 s Remaining CPU time: 135.31 s c =============================================================================== c | 0 | 1986 2284 527550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9833 c Elapsed CPU time: 45.0162 s Remaining CPU time: 134.984 s c =============================================================================== c | 0 | 1986 2285 529400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9832 c Elapsed CPU time: 45.3491 s Remaining CPU time: 134.651 s c =============================================================================== c | 0 | 1986 2286 531250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9830 c Elapsed CPU time: 45.6831 s Remaining CPU time: 134.317 s c =============================================================================== c | 0 | 1986 2287 533100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9829 c Elapsed CPU time: 46.018 s Remaining CPU time: 133.982 s c =============================================================================== c | 0 | 1986 2288 534950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9828 c Elapsed CPU time: 46.351 s Remaining CPU time: 133.649 s c =============================================================================== c | 0 | 1986 2289 536800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9827 c Elapsed CPU time: 46.6829 s Remaining CPU time: 133.317 s c =============================================================================== c | 0 | 1986 2290 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9826 c Elapsed CPU time: 47.0149 s Remaining CPU time: 132.985 s c =============================================================================== c | 0 | 1986 2291 540500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9824 c Elapsed CPU time: 47.3498 s Remaining CPU time: 132.65 s c =============================================================================== c | 0 | 1986 2292 542350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9823 c Elapsed CPU time: 47.6848 s Remaining CPU time: 132.315 s c =============================================================================== c | 0 | 1986 2293 544200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9822 c Elapsed CPU time: 48.0187 s Remaining CPU time: 131.981 s c =============================================================================== c | 0 | 1986 2294 546050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9821 c Elapsed CPU time: 48.3556 s Remaining CPU time: 131.644 s c =============================================================================== c | 0 | 1986 2295 547900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9818 c Elapsed CPU time: 48.6956 s Remaining CPU time: 131.304 s c =============================================================================== c | 0 | 1986 2296 549750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9817 c Elapsed CPU time: 49.0445 s Remaining CPU time: 130.955 s c =============================================================================== c | 0 | 1986 2297 551600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9816 c Elapsed CPU time: 49.3795 s Remaining CPU time: 130.621 s c =============================================================================== c | 0 | 1986 2298 553450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9815 c Elapsed CPU time: 49.7284 s Remaining CPU time: 130.272 s c =============================================================================== c | 0 | 1986 2299 555300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9813 c Elapsed CPU time: 50.0694 s Remaining CPU time: 129.931 s c =============================================================================== c | 0 | 1986 2300 557150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9812 c Elapsed CPU time: 50.4153 s Remaining CPU time: 129.585 s c =============================================================================== c | 0 | 1986 2301 559000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9811 c Elapsed CPU time: 50.7673 s Remaining CPU time: 129.233 s c =============================================================================== c | 0 | 1986 2302 560850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9809 c Elapsed CPU time: 51.1122 s Remaining CPU time: 128.888 s c =============================================================================== c | 0 | 1986 2303 562700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9808 c Elapsed CPU time: 51.4652 s Remaining CPU time: 128.535 s c =============================================================================== c | 1 | 1986 2304 564550 | 5000 1 1773 | 0.000 % | c =============================================================================== c New solution: 9807 c Elapsed CPU time: 51.8171 s Remaining CPU time: 128.183 s c =============================================================================== c | 1 | 1986 2305 566400 | 5000 1 1773 | 0.000 % | c =============================================================================== c New solution: 9806 c Elapsed CPU time: 52.1781 s Remaining CPU time: 127.822 s c =============================================================================== c | 1 | 1986 2306 568250 | 5000 1 1773 | 0.000 % | c =============================================================================== c New solution: 9805 c Elapsed CPU time: 52.554 s Remaining CPU time: 127.446 s c =============================================================================== c | 2 | 1986 2307 570100 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9804 c Elapsed CPU time: 52.931 s Remaining CPU time: 127.069 s c =============================================================================== c | 2 | 1986 2308 571950 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9803 c Elapsed CPU time: 53.2959 s Remaining CPU time: 126.704 s c =============================================================================== c | 2 | 1986 2309 573800 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9802 c Elapsed CPU time: 53.6648 s Remaining CPU time: 126.335 s c =============================================================================== c | 2 | 1986 2310 575650 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9801 c Elapsed CPU time: 54.0258 s Remaining CPU time: 125.974 s c =============================================================================== c | 2 | 1986 2311 577500 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9800 c Elapsed CPU time: 54.3977 s Remaining CPU time: 125.602 s c =============================================================================== c | 2 | 1986 2312 579350 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9799 c Elapsed CPU time: 54.7597 s Remaining CPU time: 125.24 s c =============================================================================== c | 2 | 1986 2313 581200 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9797 c Elapsed CPU time: 55.1216 s Remaining CPU time: 124.878 s c =============================================================================== c | 2 | 1986 2314 583050 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9796 c Elapsed CPU time: 55.5006 s Remaining CPU time: 124.499 s c =============================================================================== c | 2 | 1986 2315 584900 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9794 c Elapsed CPU time: 55.8715 s Remaining CPU time: 124.128 s c =============================================================================== c | 2 | 1986 2316 586750 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9792 c Elapsed CPU time: 56.2634 s Remaining CPU time: 123.737 s c =============================================================================== c | 2 | 1986 2317 588600 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9791 c Elapsed CPU time: 56.6474 s Remaining CPU time: 123.353 s c =============================================================================== c | 2 | 1986 2318 590450 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9789 c Elapsed CPU time: 57.0253 s Remaining CPU time: 122.975 s c =============================================================================== c | 2 | 1986 2319 592300 | 5000 2 1772 | 0.000 % | c =============================================================================== c New solution: 9788 c Elapsed CPU time: 57.4073 s Remaining CPU time: 122.593 s c =============================================================================== c | 5 | 1986 2320 594150 | 5000 5 1770 | 0.000 % | c =============================================================================== c New solution: 9787 c Elapsed CPU time: 57.7822 s Remaining CPU time: 122.218 s c =============================================================================== c | 5 | 1986 2321 596000 | 5000 5 1770 | 0.000 % | c =============================================================================== c New solution: 9786 c Elapsed CPU time: 58.1612 s Remaining CPU time: 121.839 s c =============================================================================== c | 8 | 1986 2322 597850 | 5000 8 1770 | 0.000 % | c =============================================================================== c New solution: 9785 c Elapsed CPU time: 58.5361 s Remaining CPU time: 121.464 s c =============================================================================== c | 9 | 1986 2323 599700 | 5000 9 1770 | 0.000 % | c =============================================================================== c New solution: 9784 c Elapsed CPU time: 58.913 s Remaining CPU time: 121.087 s c =============================================================================== c | 9 | 1986 2324 601550 | 5000 9 1770 | 0.000 % | c =============================================================================== c New solution: 9783 c Elapsed CPU time: 59.332 s Remaining CPU time: 120.668 s c =============================================================================== c | 16 | 1986 2325 603400 | 5000 16 1770 | 0.000 % | c =============================================================================== c New solution: 9782 c Elapsed CPU time: 59.7089 s Remaining CPU time: 120.291 s c =============================================================================== c | 16 | 1986 2326 605250 | 5000 16 1770 | 0.000 % | c =============================================================================== c New solution: 9781 c Elapsed CPU time: 60.1089 s Remaining CPU time: 119.891 s c =============================================================================== c | 18 | 1986 2327 607100 | 5000 18 1769 | 0.000 % | c =============================================================================== c New solution: 9780 c Elapsed CPU time: 60.5028 s Remaining CPU time: 119.497 s c =============================================================================== c | 18 | 1986 2328 608950 | 5000 18 1769 | 0.000 % | c =============================================================================== c New solution: 9779 c Elapsed CPU time: 60.9067 s Remaining CPU time: 119.093 s c =============================================================================== c | 19 | 1986 2329 610800 | 5000 19 1769 | 0.000 % | c =============================================================================== c New solution: 9778 c Elapsed CPU time: 61.3247 s Remaining CPU time: 118.675 s c =============================================================================== c | 21 | 1986 2330 612650 | 5000 21 1769 | 0.000 % | c =============================================================================== c New solution: 9777 c Elapsed CPU time: 61.7176 s Remaining CPU time: 118.282 s c =============================================================================== c | 21 | 1986 2331 614500 | 5000 21 1769 | 0.000 % | c =============================================================================== c New solution: 9776 c Elapsed CPU time: 62.1216 s Remaining CPU time: 117.878 s c =============================================================================== c | 22 | 1986 2332 616350 | 5000 22 1769 | 0.000 % | c =============================================================================== c New solution: 9775 c Elapsed CPU time: 62.5175 s Remaining CPU time: 117.483 s c =============================================================================== c | 22 | 1986 2333 618200 | 5000 22 1769 | 0.000 % | c =============================================================================== c New solution: 9774 c Elapsed CPU time: 62.9204 s Remaining CPU time: 117.08 s c =============================================================================== c | 23 | 1986 2334 620050 | 5000 23 1769 | 0.000 % | c =============================================================================== c New solution: 9773 c Elapsed CPU time: 63.3294 s Remaining CPU time: 116.671 s c =============================================================================== c | 23 | 1986 2335 621900 | 5000 23 1769 | 0.000 % | c =============================================================================== c New solution: 9771 c Elapsed CPU time: 63.7323 s Remaining CPU time: 116.268 s c =============================================================================== c | 24 | 1986 2336 623750 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9770 c Elapsed CPU time: 64.1273 s Remaining CPU time: 115.873 s c =============================================================================== c | 24 | 1986 2337 625600 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9768 c Elapsed CPU time: 64.5302 s Remaining CPU time: 115.47 s c =============================================================================== c | 24 | 1986 2338 627450 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9767 c Elapsed CPU time: 64.9311 s Remaining CPU time: 115.069 s c =============================================================================== c | 24 | 1986 2339 629300 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9766 c Elapsed CPU time: 65.3351 s Remaining CPU time: 114.665 s c =============================================================================== c | 24 | 1986 2340 631150 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9765 c Elapsed CPU time: 65.733 s Remaining CPU time: 114.267 s c =============================================================================== c | 24 | 1986 2341 633000 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9763 c Elapsed CPU time: 66.1389 s Remaining CPU time: 113.861 s c =============================================================================== c | 24 | 1986 2342 634850 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9762 c Elapsed CPU time: 66.5529 s Remaining CPU time: 113.447 s c =============================================================================== c | 24 | 1986 2343 636700 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9761 c Elapsed CPU time: 66.9628 s Remaining CPU time: 113.037 s c =============================================================================== c | 24 | 1986 2344 638550 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9760 c Elapsed CPU time: 67.3758 s Remaining CPU time: 112.624 s c =============================================================================== c | 24 | 1986 2345 640400 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9758 c Elapsed CPU time: 67.7957 s Remaining CPU time: 112.204 s c =============================================================================== c | 24 | 1986 2346 642250 | 5000 24 1769 | 0.000 % | c =============================================================================== c New solution: 9756 c Elapsed CPU time: 68.2586 s Remaining CPU time: 111.741 s c =============================================================================== c | 28 | 1986 2347 644100 | 5000 28 1768 | 0.000 % | c =============================================================================== c New solution: 9755 c Elapsed CPU time: 68.6806 s Remaining CPU time: 111.319 s c =============================================================================== c | 28 | 1986 2348 645950 | 5000 28 1768 | 0.000 % | c =============================================================================== c New solution: 9753 c Elapsed CPU time: 69.1455 s Remaining CPU time: 110.855 s c =============================================================================== c | 37 | 1986 2349 647800 | 5000 37 1767 | 0.000 % | c =============================================================================== c New solution: 9751 c Elapsed CPU time: 69.5614 s Remaining CPU time: 110.439 s c =============================================================================== c | 37 | 1986 2350 649650 | 5000 37 1767 | 0.000 % | c =============================================================================== c New solution: 9750 c Elapsed CPU time: 69.9854 s Remaining CPU time: 110.015 s c =============================================================================== c | 37 | 1986 2351 651500 | 5000 37 1767 | 0.000 % | c =============================================================================== c New solution: 9749 c Elapsed CPU time: 70.4413 s Remaining CPU time: 109.559 s c =============================================================================== c | 39 | 1986 2352 653350 | 5000 39 1767 | 0.000 % | c =============================================================================== c New solution: 9748 c Elapsed CPU time: 70.8672 s Remaining CPU time: 109.133 s c =============================================================================== c | 39 | 1986 2353 655200 | 5000 39 1767 | 0.000 % | c =============================================================================== c New solution: 9747 c Elapsed CPU time: 71.2822 s Remaining CPU time: 108.718 s c =============================================================================== c | 39 | 1986 2354 657050 | 5000 39 1767 | 0.000 % | c =============================================================================== c New solution: 9746 c Elapsed CPU time: 71.7131 s Remaining CPU time: 108.287 s c =============================================================================== c | 39 | 1986 2355 658900 | 5000 39 1767 | 0.000 % | c =============================================================================== c New solution: 9745 c Elapsed CPU time: 72.135 s Remaining CPU time: 107.865 s c =============================================================================== c | 39 | 1986 2356 660750 | 5000 39 1767 | 0.000 % | c =============================================================================== c New solution: 9744 c Elapsed CPU time: 72.545 s Remaining CPU time: 107.455 s c =============================================================================== c | 39 | 1986 2357 662600 | 5000 39 1767 | 0.000 % | c =============================================================================== c New solution: 9743 c Elapsed CPU time: 72.9839 s Remaining CPU time: 107.016 s c =============================================================================== c | 39 | 1986 2358 664450 | 5000 39 1767 | 0.000 % | c =============================================================================== c New solution: 9742 c Elapsed CPU time: 73.4538 s Remaining CPU time: 106.546 s c =============================================================================== c | 43 | 1986 2359 666300 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9741 c Elapsed CPU time: 73.8718 s Remaining CPU time: 106.128 s c =============================================================================== c | 43 | 1986 2360 668150 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9740 c Elapsed CPU time: 74.3087 s Remaining CPU time: 105.691 s c =============================================================================== c | 43 | 1986 2361 670000 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9739 c Elapsed CPU time: 74.7226 s Remaining CPU time: 105.277 s c =============================================================================== c | 43 | 1986 2362 671850 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9738 c Elapsed CPU time: 75.1636 s Remaining CPU time: 104.836 s c =============================================================================== c | 43 | 1986 2363 673700 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9737 c Elapsed CPU time: 75.5935 s Remaining CPU time: 104.406 s c =============================================================================== c | 43 | 1986 2364 675550 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9736 c Elapsed CPU time: 76.0354 s Remaining CPU time: 103.965 s c =============================================================================== c | 43 | 1986 2365 677400 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9735 c Elapsed CPU time: 76.4784 s Remaining CPU time: 103.522 s c =============================================================================== c | 43 | 1986 2366 679250 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9734 c Elapsed CPU time: 76.9303 s Remaining CPU time: 103.07 s c =============================================================================== c | 43 | 1986 2367 681100 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9733 c Elapsed CPU time: 77.3822 s Remaining CPU time: 102.618 s c =============================================================================== c | 43 | 1986 2368 682950 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9732 c Elapsed CPU time: 77.8222 s Remaining CPU time: 102.178 s c =============================================================================== c | 43 | 1986 2369 684800 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9731 c Elapsed CPU time: 78.2541 s Remaining CPU time: 101.746 s c =============================================================================== c | 43 | 1986 2370 686650 | 5000 43 1767 | 0.000 % | c =============================================================================== c New solution: 9730 c Elapsed CPU time: 78.697 s Remaining CPU time: 101.303 s c =============================================================================== c | 44 | 1986 2371 688500 | 5000 44 1766 | 0.000 % | c =============================================================================== c New solution: 9728 c Elapsed CPU time: 79.155 s Remaining CPU time: 100.845 s c =============================================================================== c | 45 | 1986 2372 690350 | 5000 45 1766 | 0.000 % | c =============================================================================== c New solution: 9727 c Elapsed CPU time: 79.6039 s Remaining CPU time: 100.396 s c =============================================================================== c | 45 | 1986 2373 692200 | 5000 45 1766 | 0.000 % | c =============================================================================== c New solution: 9726 c Elapsed CPU time: 80.0528 s Remaining CPU time: 99.9472 s c =============================================================================== c | 45 | 1986 2374 694050 | 5000 45 1766 | 0.000 % | c =============================================================================== c New solution: 9725 c Elapsed CPU time: 80.5747 s Remaining CPU time: 99.4253 s c =============================================================================== c | 53 | 1986 2375 695900 | 5000 53 1765 | 0.000 % | c =============================================================================== c New solution: 9724 c Elapsed CPU time: 81.0287 s Remaining CPU time: 98.9713 s c =============================================================================== c | 59 | 1986 2376 697750 | 5000 59 1764 | 0.000 % | c =============================================================================== c New solution: 9723 c Elapsed CPU time: 81.4816 s Remaining CPU time: 98.5184 s c =============================================================================== c | 59 | 1986 2377 699600 | 5000 59 1764 | 0.000 % | c =============================================================================== c New solution: 9722 c Elapsed CPU time: 81.9415 s Remaining CPU time: 98.0585 s c =============================================================================== c | 59 | 1986 2378 701450 | 5000 59 1764 | 0.000 % | c =============================================================================== c New solution: 9721 c Elapsed CPU time: 82.4075 s Remaining CPU time: 97.5925 s c =============================================================================== c | 60 | 1986 2379 703300 | 5000 60 1764 | 0.000 % | c =============================================================================== c New solution: 9720 c Elapsed CPU time: 82.8554 s Remaining CPU time: 97.1446 s c =============================================================================== c | 60 | 1986 2380 705150 | 5000 60 1764 | 0.000 % | c =============================================================================== c New solution: 9719 c Elapsed CPU time: 83.3353 s Remaining CPU time: 96.6647 s c =============================================================================== c | 60 | 1986 2381 707000 | 5000 60 1764 | 0.000 % | c =============================================================================== c New solution: 9718 c Elapsed CPU time: 83.8023 s Remaining CPU time: 96.1977 s c =============================================================================== c | 61 | 1986 2382 708850 | 5000 61 1764 | 0.000 % | c =============================================================================== c New solution: 9717 c Elapsed CPU time: 84.2702 s Remaining CPU time: 95.7298 s c =============================================================================== c | 61 | 1986 2383 710700 | 5000 61 1764 | 0.000 % | c =============================================================================== c New solution: 9716 c Elapsed CPU time: 84.7331 s Remaining CPU time: 95.2669 s c =============================================================================== c | 61 | 1986 2384 712550 | 5000 61 1764 | 0.000 % | c =============================================================================== c New solution: 9715 c Elapsed CPU time: 85.216 s Remaining CPU time: 94.784 s c =============================================================================== c | 61 | 1986 2385 714400 | 5000 61 1764 | 0.000 % | c =============================================================================== c New solution: 9714 c Elapsed CPU time: 85.687 s Remaining CPU time: 94.313 s c =============================================================================== c | 61 | 1986 2386 716250 | 5000 61 1764 | 0.000 % | c =============================================================================== c New solution: 9713 c Elapsed CPU time: 86.1769 s Remaining CPU time: 93.8231 s c =============================================================================== c | 63 | 1986 2387 718100 | 5000 63 1764 | 0.000 % | c =============================================================================== c New solution: 9712 c Elapsed CPU time: 86.6458 s Remaining CPU time: 93.3542 s c =============================================================================== c | 64 | 1986 2388 719950 | 5000 64 1764 | 0.000 % | c =============================================================================== c New solution: 9711 c Elapsed CPU time: 87.1288 s Remaining CPU time: 92.8712 s c =============================================================================== c | 68 | 1986 2389 721800 | 5000 68 1763 | 0.000 % | c =============================================================================== c New solution: 9710 c Elapsed CPU time: 87.5837 s Remaining CPU time: 92.4163 s c =============================================================================== c | 69 | 1986 2390 723650 | 5000 69 1738 | 0.000 % | c =============================================================================== c New solution: 9709 c Elapsed CPU time: 88.0736 s Remaining CPU time: 91.9264 s c =============================================================================== c | 70 | 1986 2391 725500 | 5000 70 1738 | 0.000 % | c =============================================================================== c New solution: 9708 c Elapsed CPU time: 88.5515 s Remaining CPU time: 91.4485 s c =============================================================================== c | 74 | 1986 2392 727350 | 5000 74 1739 | 0.000 % | c =============================================================================== c New solution: 9707 c Elapsed CPU time: 89.0295 s Remaining CPU time: 90.9705 s c =============================================================================== c | 74 | 1986 2393 729200 | 5000 74 1739 | 0.000 % | c =============================================================================== c New solution: 9706 c Elapsed CPU time: 89.4984 s Remaining CPU time: 90.5016 s c =============================================================================== c | 74 | 1986 2394 731050 | 5000 74 1739 | 0.000 % | c =============================================================================== c New solution: 9705 c Elapsed CPU time: 89.9513 s Remaining CPU time: 90.0487 s c =============================================================================== c | 76 | 1986 2395 732900 | 5000 76 1740 | 0.000 % | c =============================================================================== c New solution: 9704 c Elapsed CPU time: 90.4133 s Remaining CPU time: 89.5867 s c =============================================================================== c | 77 | 1986 2396 734750 | 5000 77 1717 | 0.000 % | c =============================================================================== c New solution: 9703 c Elapsed CPU time: 90.9032 s Remaining CPU time: 89.0968 s c =============================================================================== c | 77 | 1986 2397 736600 | 5000 77 1717 | 0.000 % | c =============================================================================== c New solution: 9702 c Elapsed CPU time: 91.3841 s Remaining CPU time: 88.6159 s c =============================================================================== c | 77 | 1986 2398 738450 | 5000 77 1717 | 0.000 % | c =============================================================================== c New solution: 9701 c Elapsed CPU time: 91.879 s Remaining CPU time: 88.121 s c =============================================================================== c | 77 | 1986 2399 740300 | 5000 77 1717 | 0.000 % | c =============================================================================== c New solution: 9700 c Elapsed CPU time: 92.372 s Remaining CPU time: 87.628 s c =============================================================================== c | 78 | 1986 2400 742150 | 5000 78 1717 | 0.000 % | c =============================================================================== c New solution: 9699 c Elapsed CPU time: 92.8649 s Remaining CPU time: 87.1351 s c =============================================================================== c | 78 | 1986 2401 744000 | 5000 78 1717 | 0.000 % | c =============================================================================== c New solution: 9698 c Elapsed CPU time: 93.3548 s Remaining CPU time: 86.6452 s c =============================================================================== c | 78 | 1986 2402 745850 | 5000 78 1717 | 0.000 % | c =============================================================================== c New solution: 9697 c Elapsed CPU time: 93.8457 s Remaining CPU time: 86.1543 s c =============================================================================== c | 78 | 1986 2403 747700 | 5000 78 1717 | 0.000 % | c =============================================================================== c New solution: 9696 c Elapsed CPU time: 94.3377 s Remaining CPU time: 85.6623 s c =============================================================================== c | 78 | 1986 2404 749550 | 5000 78 1717 | 0.000 % | c =============================================================================== c New solution: 9695 c Elapsed CPU time: 94.8086 s Remaining CPU time: 85.1914 s c =============================================================================== c | 78 | 1986 2405 751400 | 5000 78 1717 | 0.000 % | c =============================================================================== c New solution: 9694 c Elapsed CPU time: 95.2935 s Remaining CPU time: 84.7065 s c =============================================================================== c | 78 | 1986 2406 753250 | 5000 78 1717 | 0.000 % | c =============================================================================== c New solution: 9693 c Elapsed CPU time: 95.9014 s Remaining CPU time: 84.0986 s c =============================================================================== c | 103 | 1986 2407 755100 | 5000 103 1725 | 0.000 % | c =============================================================================== c New solution: 9692 c Elapsed CPU time: 96.4263 s Remaining CPU time: 83.5737 s c =============================================================================== c | 106 | 1986 2408 756950 | 5000 106 1726 | 0.000 % | c =============================================================================== c New solution: 9691 c Elapsed CPU time: 96.9123 s Remaining CPU time: 83.0877 s c =============================================================================== c | 107 | 1986 2409 758800 | 5000 107 1726 | 0.000 % | c =============================================================================== c New solution: 9690 c Elapsed CPU time: 97.3942 s Remaining CPU time: 82.6058 s c =============================================================================== c | 107 | 1986 2410 760650 | 5000 107 1726 | 0.000 % | c =============================================================================== c New solution: 9689 c Elapsed CPU time: 97.8781 s Remaining CPU time: 82.1219 s c =============================================================================== c | 107 | 1986 2411 762500 | 5000 107 1726 | 0.000 % | c =============================================================================== c New solution: 9688 c Elapsed CPU time: 98.392 s Remaining CPU time: 81.608 s c =============================================================================== c | 110 | 1986 2412 764350 | 5000 110 1727 | 0.000 % | c =============================================================================== c New solution: 9687 c Elapsed CPU time: 98.898 s Remaining CPU time: 81.102 s c =============================================================================== c | 110 | 1986 2413 766200 | 5000 110 1727 | 0.000 % | c =============================================================================== c New solution: 9686 c Elapsed CPU time: 99.3869 s Remaining CPU time: 80.6131 s c =============================================================================== c | 119 | 1986 2414 768050 | 5000 119 1728 | 0.000 % | c =============================================================================== c New solution: 9685 c Elapsed CPU time: 99.9148 s Remaining CPU time: 80.0852 s c =============================================================================== c | 119 | 1986 2415 769900 | 5000 119 1728 | 0.000 % | c =============================================================================== c New solution: 9684 c Elapsed CPU time: 100.478 s Remaining CPU time: 79.5223 s c =============================================================================== c | 122 | 1986 2416 771750 | 5000 122 1729 | 0.000 % | c =============================================================================== c New solution: 9683 c Elapsed CPU time: 100.974 s Remaining CPU time: 79.0264 s c =============================================================================== c | 122 | 1986 2417 773600 | 5000 122 1729 | 0.000 % | c =============================================================================== c New solution: 9682 c Elapsed CPU time: 101.506 s Remaining CPU time: 78.4944 s c =============================================================================== c | 123 | 1986 2418 775450 | 5000 123 1729 | 0.000 % | c =============================================================================== c New solution: 9681 c Elapsed CPU time: 102.026 s Remaining CPU time: 77.9735 s c =============================================================================== c | 125 | 1986 2419 777300 | 5000 125 1729 | 0.000 % | c =============================================================================== c New solution: 9680 c Elapsed CPU time: 102.55 s Remaining CPU time: 77.4496 s c =============================================================================== c | 127 | 1986 2420 779150 | 5000 127 1730 | 0.000 % | c =============================================================================== c New solution: 9679 c Elapsed CPU time: 103.076 s Remaining CPU time: 76.9237 s c =============================================================================== c | 128 | 1986 2421 781000 | 5000 128 1730 | 0.000 % | c =============================================================================== c New solution: 9678 c Elapsed CPU time: 103.573 s Remaining CPU time: 76.4267 s c =============================================================================== c | 128 | 1986 2422 782850 | 5000 128 1730 | 0.000 % | c =============================================================================== c New solution: 9677 c Elapsed CPU time: 104.093 s Remaining CPU time: 75.9068 s c =============================================================================== c | 128 | 1986 2423 784700 | 5000 128 1730 | 0.000 % | c =============================================================================== c New solution: 9676 c Elapsed CPU time: 104.654 s Remaining CPU time: 75.3459 s c =============================================================================== c | 130 | 1986 2424 786550 | 5000 130 1730 | 0.000 % | c =============================================================================== c New solution: 9675 c Elapsed CPU time: 105.176 s Remaining CPU time: 74.824 s c =============================================================================== c | 131 | 1986 2425 788400 | 5000 131 1730 | 0.000 % | c =============================================================================== c New solution: 9674 c Elapsed CPU time: 105.69 s Remaining CPU time: 74.3101 s c =============================================================================== c | 131 | 1986 2426 790250 | 5000 131 1730 | 0.000 % | c =============================================================================== c New solution: 9673 c Elapsed CPU time: 106.225 s Remaining CPU time: 73.7751 s c =============================================================================== c | 131 | 1986 2427 792100 | 5000 131 1730 | 0.000 % | c =============================================================================== c New solution: 9672 c Elapsed CPU time: 106.79 s Remaining CPU time: 73.2102 s c =============================================================================== c | 133 | 1986 2428 793950 | 5000 133 1704 | 0.000 % | c =============================================================================== c New solution: 9671 c Elapsed CPU time: 107.301 s Remaining CPU time: 72.6993 s c =============================================================================== c | 133 | 1986 2429 795800 | 5000 133 1704 | 0.000 % | c =============================================================================== c New solution: 9670 c Elapsed CPU time: 107.846 s Remaining CPU time: 72.1544 s c =============================================================================== c | 133 | 1986 2430 797650 | 5000 133 1704 | 0.000 % | c =============================================================================== c New solution: 9669 c Elapsed CPU time: 108.378 s Remaining CPU time: 71.6225 s c =============================================================================== c | 133 | 1986 2431 799500 | 5000 133 1704 | 0.000 % | c =============================================================================== c New solution: 9668 c Elapsed CPU time: 109.12 s Remaining CPU time: 70.8796 s c =============================================================================== c | 144 | 1986 2432 801350 | 5000 144 1695 | 0.000 % | c =============================================================================== c New solution: 9667 c Elapsed CPU time: 109.674 s Remaining CPU time: 70.3257 s c =============================================================================== c | 156 | 1986 2433 803200 | 5000 156 1699 | 0.000 % | c =============================================================================== c New solution: 9666 c Elapsed CPU time: 110.178 s Remaining CPU time: 69.8217 s c =============================================================================== c | 156 | 1986 2434 805050 | 5000 156 1699 | 0.000 % | c =============================================================================== c New solution: 9665 c Elapsed CPU time: 110.699 s Remaining CPU time: 69.3008 s c =============================================================================== c | 159 | 1986 2435 806900 | 5000 159 1700 | 0.000 % | c =============================================================================== c New solution: 9664 c Elapsed CPU time: 111.208 s Remaining CPU time: 68.7919 s c =============================================================================== c | 159 | 1986 2436 808750 | 5000 159 1700 | 0.000 % | c =============================================================================== c New solution: 9663 c Elapsed CPU time: 111.775 s Remaining CPU time: 68.225 s c =============================================================================== c | 160 | 1986 2437 810600 | 5000 160 1690 | 0.000 % | c =============================================================================== c New solution: 9662 c Elapsed CPU time: 112.44 s Remaining CPU time: 67.5601 s c =============================================================================== c | 171 | 1986 2438 812450 | 5000 171 1693 | 0.000 % | c =============================================================================== c New solution: 9661 c Elapsed CPU time: 112.956 s Remaining CPU time: 67.0442 s c =============================================================================== c | 171 | 1986 2439 814300 | 5000 171 1693 | 0.000 % | c =============================================================================== c New solution: 9660 c Elapsed CPU time: 113.502 s Remaining CPU time: 66.4983 s c =============================================================================== c | 171 | 1986 2440 816150 | 5000 171 1693 | 0.000 % | c =============================================================================== c New solution: 9659 c Elapsed CPU time: 114.021 s Remaining CPU time: 65.9793 s c =============================================================================== c | 173 | 1986 2441 818000 | 5000 173 1694 | 0.000 % | c =============================================================================== c New solution: 9658 c Elapsed CPU time: 114.535 s Remaining CPU time: 65.4654 s c =============================================================================== c | 173 | 1986 2442 819850 | 5000 173 1694 | 0.000 % | c =============================================================================== c New solution: 9657 c Elapsed CPU time: 115.054 s Remaining CPU time: 64.9465 s c =============================================================================== c | 173 | 1986 2443 821700 | 5000 173 1694 | 0.000 % | c =============================================================================== c New solution: 9656 c Elapsed CPU time: 115.56 s Remaining CPU time: 64.4396 s c =============================================================================== c | 173 | 1986 2444 823550 | 5000 173 1694 | 0.000 % | c =============================================================================== c New solution: 9655 c Elapsed CPU time: 116.096 s Remaining CPU time: 63.9036 s c =============================================================================== c | 173 | 1986 2445 825400 | 5000 173 1694 | 0.000 % | c =============================================================================== c New solution: 9654 c Elapsed CPU time: 116.644 s Remaining CPU time: 63.3557 s c =============================================================================== c | 178 | 1986 2446 827250 | 5000 178 1695 | 0.000 % | c =============================================================================== c New solution: 9653 c Elapsed CPU time: 117.34 s Remaining CPU time: 62.6598 s c =============================================================================== c | 188 | 1986 2447 829100 | 5000 188 1698 | 0.000 % | c =============================================================================== c New solution: 9652 c Elapsed CPU time: 117.879 s Remaining CPU time: 62.1209 s c =============================================================================== c | 188 | 1986 2448 830950 | 5000 188 1698 | 0.000 % | c =============================================================================== c New solution: 9651 c Elapsed CPU time: 118.433 s Remaining CPU time: 61.567 s c =============================================================================== c | 192 | 1986 2449 832800 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9650 c Elapsed CPU time: 118.972 s Remaining CPU time: 61.0281 s c =============================================================================== c | 192 | 1986 2450 834650 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9649 c Elapsed CPU time: 119.529 s Remaining CPU time: 60.4712 s c =============================================================================== c | 192 | 1986 2451 836500 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9648 c Elapsed CPU time: 120.051 s Remaining CPU time: 59.9493 s c =============================================================================== c | 192 | 1986 2452 838350 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9647 c Elapsed CPU time: 120.606 s Remaining CPU time: 59.3943 s c =============================================================================== c | 192 | 1986 2453 840200 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9646 c Elapsed CPU time: 121.144 s Remaining CPU time: 58.8564 s c =============================================================================== c | 192 | 1986 2454 842050 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9645 c Elapsed CPU time: 121.682 s Remaining CPU time: 58.3185 s c =============================================================================== c | 192 | 1986 2455 843900 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9644 c Elapsed CPU time: 122.24 s Remaining CPU time: 57.7596 s c =============================================================================== c | 192 | 1986 2456 845750 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9643 c Elapsed CPU time: 122.799 s Remaining CPU time: 57.2007 s c =============================================================================== c | 192 | 1986 2457 847600 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9642 c Elapsed CPU time: 123.329 s Remaining CPU time: 56.6707 s c =============================================================================== c | 192 | 1986 2458 849450 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9641 c Elapsed CPU time: 123.859 s Remaining CPU time: 56.1408 s c =============================================================================== c | 192 | 1986 2459 851300 | 5000 192 1699 | 0.000 % | c =============================================================================== c New solution: 9640 c Elapsed CPU time: 124.424 s Remaining CPU time: 55.5759 s c =============================================================================== c | 194 | 1986 2460 853150 | 5000 194 1699 | 0.000 % | c =============================================================================== c New solution: 9639 c Elapsed CPU time: 125.17 s Remaining CPU time: 54.83 s c =============================================================================== c | 208 | 1986 2461 855000 | 5000 208 1702 | 0.000 % | c =============================================================================== c New solution: 9638 c Elapsed CPU time: 125.749 s Remaining CPU time: 54.2511 s c =============================================================================== c | 208 | 1986 2462 856850 | 5000 208 1702 | 0.000 % | c =============================================================================== c New solution: 9637 c Elapsed CPU time: 126.302 s Remaining CPU time: 53.6982 s c =============================================================================== c | 208 | 1986 2463 858700 | 5000 208 1702 | 0.000 % | c =============================================================================== c New solution: 9636 c Elapsed CPU time: 126.863 s Remaining CPU time: 53.1373 s c =============================================================================== c | 208 | 1986 2464 860550 | 5000 208 1702 | 0.000 % | c =============================================================================== c New solution: 9635 c Elapsed CPU time: 127.422 s Remaining CPU time: 52.5784 s c =============================================================================== c | 208 | 1986 2465 862400 | 5000 208 1702 | 0.000 % | c =============================================================================== c New solution: 9634 c Elapsed CPU time: 128.053 s Remaining CPU time: 51.9475 s c =============================================================================== c | 209 | 1986 2466 864250 | 5000 209 1703 | 0.000 % | c =============================================================================== c New solution: 9633 c Elapsed CPU time: 128.648 s Remaining CPU time: 51.3516 s c =============================================================================== c | 210 | 1986 2467 866100 | 5000 210 1703 | 0.000 % | c =============================================================================== c New solution: 9632 c Elapsed CPU time: 129.239 s Remaining CPU time: 50.7606 s c =============================================================================== c | 213 | 1986 2468 867950 | 5000 213 1703 | 0.000 % | c =============================================================================== c New solution: 9631 c Elapsed CPU time: 129.799 s Remaining CPU time: 50.2007 s c =============================================================================== c | 213 | 1986 2469 869800 | 5000 213 1703 | 0.000 % | c =============================================================================== c New solution: 9630 c Elapsed CPU time: 130.361 s Remaining CPU time: 49.6388 s c =============================================================================== c | 213 | 1986 2470 871650 | 5000 213 1703 | 0.000 % | c =============================================================================== c New solution: 9629 c Elapsed CPU time: 130.953 s Remaining CPU time: 49.0469 s c =============================================================================== c | 213 | 1986 2471 873500 | 5000 213 1703 | 0.000 % | c =============================================================================== c New solution: 9628 c Elapsed CPU time: 131.535 s Remaining CPU time: 48.465 s c =============================================================================== c | 213 | 1986 2472 875350 | 5000 213 1703 | 0.000 % | c =============================================================================== c New solution: 9627 c Elapsed CPU time: 132.11 s Remaining CPU time: 47.8901 s c =============================================================================== c | 224 | 1986 2473 877200 | 5000 224 1705 | 0.000 % | c =============================================================================== c New solution: 9626 c Elapsed CPU time: 132.679 s Remaining CPU time: 47.3212 s c =============================================================================== c | 224 | 1986 2474 879050 | 5000 224 1705 | 0.000 % | c =============================================================================== c New solution: 9625 c Elapsed CPU time: 133.27 s Remaining CPU time: 46.7303 s c =============================================================================== c | 224 | 1986 2475 880900 | 5000 224 1705 | 0.000 % | c =============================================================================== c New solution: 9624 c Elapsed CPU time: 133.854 s Remaining CPU time: 46.1463 s c =============================================================================== c | 224 | 1986 2476 882750 | 5000 224 1705 | 0.000 % | c =============================================================================== c New solution: 9623 c Elapsed CPU time: 134.454 s Remaining CPU time: 45.5464 s c =============================================================================== c | 224 | 1986 2477 884600 | 5000 224 1705 | 0.000 % | c =============================================================================== c New solution: 9622 c Elapsed CPU time: 135.056 s Remaining CPU time: 44.9435 s c =============================================================================== c | 224 | 1986 2478 886450 | 5000 224 1705 | 0.000 % | c =============================================================================== c New solution: 9621 c Elapsed CPU time: 135.621 s Remaining CPU time: 44.3786 s c =============================================================================== c | 224 | 1986 2479 888300 | 5000 224 1705 | 0.000 % | c =============================================================================== c New solution: 9620 c Elapsed CPU time: 136.199 s Remaining CPU time: 43.8007 s c =============================================================================== c | 224 | 1986 2480 890150 | 5000 224 1705 | 0.000 % | c =============================================================================== c New solution: 9619 c Elapsed CPU time: 136.97 s Remaining CPU time: 43.0298 s c =============================================================================== c | 251 | 1986 2481 892000 | 5000 251 1708 | 0.000 % | c =============================================================================== c New solution: 9618 c Elapsed CPU time: 137.566 s Remaining CPU time: 42.4339 s c =============================================================================== c | 251 | 1986 2482 893850 | 5000 251 1708 | 0.000 % | c =============================================================================== c New solution: 9617 c Elapsed CPU time: 138.128 s Remaining CPU time: 41.872 s c =============================================================================== c | 251 | 1986 2483 895700 | 5000 251 1708 | 0.000 % | c =============================================================================== c New solution: 9616 c Elapsed CPU time: 138.708 s Remaining CPU time: 41.2921 s c =============================================================================== c | 252 | 1986 2484 897550 | 5000 252 1709 | 0.000 % | c =============================================================================== c New solution: 9615 c Elapsed CPU time: 139.374 s Remaining CPU time: 40.6262 s c =============================================================================== c | 256 | 1986 2485 899400 | 5000 256 1709 | 0.000 % | c =============================================================================== c New solution: 9614 c Elapsed CPU time: 140.129 s Remaining CPU time: 39.8713 s c =============================================================================== c | 274 | 1986 2486 901250 | 5000 274 1711 | 0.000 % | c =============================================================================== c New solution: 9613 c Elapsed CPU time: 140.739 s Remaining CPU time: 39.2614 s c =============================================================================== c | 274 | 1986 2487 903100 | 5000 274 1711 | 0.000 % | c =============================================================================== c New solution: 9612 c Elapsed CPU time: 141.342 s Remaining CPU time: 38.6585 s c =============================================================================== c | 279 | 1986 2488 904950 | 5000 279 1711 | 0.000 % | c =============================================================================== c New solution: 9611 c Elapsed CPU time: 141.972 s Remaining CPU time: 38.0276 s c =============================================================================== c | 284 | 1986 2489 906800 | 5000 284 1712 | 0.000 % | c =============================================================================== c New solution: 9610 c Elapsed CPU time: 142.588 s Remaining CPU time: 37.4117 s c =============================================================================== c | 284 | 1986 2490 908650 | 5000 284 1712 | 0.000 % | c =============================================================================== c New solution: 9609 c Elapsed CPU time: 143.272 s Remaining CPU time: 36.7278 s c =============================================================================== c | 289 | 1986 2491 910500 | 5000 289 1712 | 0.000 % | c =============================================================================== c New solution: 9608 c Elapsed CPU time: 143.902 s Remaining CPU time: 36.0979 s c =============================================================================== c | 289 | 1986 2492 912350 | 5000 289 1712 | 0.000 % | c =============================================================================== c New solution: 9607 c Elapsed CPU time: 144.488 s Remaining CPU time: 35.512 s c =============================================================================== c | 289 | 1986 2493 914200 | 5000 289 1712 | 0.000 % | c =============================================================================== c New solution: 9606 c Elapsed CPU time: 145.125 s Remaining CPU time: 34.8751 s c =============================================================================== c | 290 | 1986 2494 916050 | 5000 290 1712 | 0.000 % | c =============================================================================== c New solution: 9605 c Elapsed CPU time: 145.739 s Remaining CPU time: 34.2612 s c =============================================================================== c | 292 | 1986 2495 917900 | 5000 292 1712 | 0.000 % | c =============================================================================== c New solution: 9604 c Elapsed CPU time: 146.316 s Remaining CPU time: 33.6842 s c =============================================================================== c | 292 | 1986 2496 919750 | 5000 292 1712 | 0.000 % | c =============================================================================== c New solution: 9603 c Elapsed CPU time: 146.927 s Remaining CPU time: 33.0733 s c =============================================================================== c | 293 | 1986 2497 921600 | 5000 293 1712 | 0.000 % | c =============================================================================== c New solution: 9602 c Elapsed CPU time: 147.686 s Remaining CPU time: 32.3145 s c =============================================================================== c | 340 | 1986 2498 923450 | 5000 340 1715 | 0.000 % | c =============================================================================== c New solution: 9601 c Elapsed CPU time: 148.294 s Remaining CPU time: 31.7055 s c =============================================================================== c | 341 | 1986 2499 925300 | 5000 341 1715 | 0.000 % | c =============================================================================== c New solution: 9600 c Elapsed CPU time: 148.881 s Remaining CPU time: 31.1186 s c =============================================================================== c | 341 | 1986 2500 927150 | 5000 341 1715 | 0.000 % | c =============================================================================== c New solution: 9599 c Elapsed CPU time: 149.724 s Remaining CPU time: 30.2758 s c =============================================================================== c | 368 | 1986 2501 929000 | 5000 368 1716 | 0.000 % | c =============================================================================== c New solution: 9598 c Elapsed CPU time: 150.363 s Remaining CPU time: 29.6369 s c =============================================================================== c | 371 | 1986 2502 930850 | 5000 371 1716 | 0.000 % | c =============================================================================== c New solution: 9597 c Elapsed CPU time: 151.024 s Remaining CPU time: 28.976 s c =============================================================================== c | 374 | 1986 2503 932700 | 5000 374 1716 | 0.000 % | c =============================================================================== c New solution: 9596 c Elapsed CPU time: 151.686 s Remaining CPU time: 28.3141 s c =============================================================================== c | 381 | 1986 2504 934550 | 5000 381 1717 | 0.000 % | c =============================================================================== c New solution: 9595 c Elapsed CPU time: 152.338 s Remaining CPU time: 27.6622 s c =============================================================================== c | 383 | 1986 2505 936400 | 5000 383 1717 | 0.000 % | c =============================================================================== c New solution: 9594 c Elapsed CPU time: 152.961 s Remaining CPU time: 27.0393 s c =============================================================================== c | 384 | 1986 2506 938250 | 5000 384 1717 | 0.000 % | c =============================================================================== c New solution: 9593 c Elapsed CPU time: 153.639 s Remaining CPU time: 26.3614 s c =============================================================================== c | 390 | 1986 2507 940100 | 5000 390 1717 | 0.000 % | c =============================================================================== c New solution: 9592 c Elapsed CPU time: 154.238 s Remaining CPU time: 25.7624 s c =============================================================================== c | 391 | 1986 2508 941950 | 5000 391 1717 | 0.000 % | c =============================================================================== c New solution: 9591 c Elapsed CPU time: 154.867 s Remaining CPU time: 25.1325 s c =============================================================================== c | 391 | 1986 2509 943800 | 5000 391 1717 | 0.000 % | c =============================================================================== c New solution: 9590 c Elapsed CPU time: 155.481 s Remaining CPU time: 24.5186 s c =============================================================================== c | 393 | 1986 2510 945650 | 5000 393 1717 | 0.000 % | c =============================================================================== c New solution: 9589 c Elapsed CPU time: 156.101 s Remaining CPU time: 23.8987 s c =============================================================================== c | 394 | 1986 2511 947500 | 5000 394 1717 | 0.000 % | c =============================================================================== c New solution: 9588 c Elapsed CPU time: 156.738 s Remaining CPU time: 23.2618 s c =============================================================================== c | 394 | 1986 2512 949350 | 5000 394 1717 | 0.000 % | c =============================================================================== c New solution: 9587 c Elapsed CPU time: 157.375 s Remaining CPU time: 22.6249 s c =============================================================================== c | 394 | 1986 2513 951200 | 5000 394 1717 | 0.000 % | c =============================================================================== c New solution: 9586 c Elapsed CPU time: 157.985 s Remaining CPU time: 22.015 s c =============================================================================== c | 394 | 1986 2514 953050 | 5000 394 1717 | 0.000 % | c =============================================================================== c New solution: 9585 c Elapsed CPU time: 158.577 s Remaining CPU time: 21.4231 s c =============================================================================== c | 394 | 1986 2515 954900 | 5000 394 1717 | 0.000 % | c =============================================================================== c New solution: 9584 c Elapsed CPU time: 159.196 s Remaining CPU time: 20.8042 s c =============================================================================== c | 394 | 1986 2516 956750 | 5000 394 1717 | 0.000 % | c =============================================================================== c New solution: 9583 c Elapsed CPU time: 159.824 s Remaining CPU time: 20.1763 s c =============================================================================== c | 396 | 1986 2517 958600 | 5000 396 1717 | 0.000 % | c =============================================================================== c New solution: 9582 c Elapsed CPU time: 160.468 s Remaining CPU time: 19.5324 s c =============================================================================== c | 397 | 1986 2518 960450 | 5000 397 1717 | 0.000 % | c =============================================================================== c New solution: 9581 c Elapsed CPU time: 161.08 s Remaining CPU time: 18.9205 s c =============================================================================== c | 397 | 1986 2519 962300 | 5000 397 1717 | 0.000 % | c =============================================================================== c New solution: 9580 c Elapsed CPU time: 161.775 s Remaining CPU time: 18.2246 s c =============================================================================== c | 403 | 1986 2520 964150 | 5000 403 1717 | 0.000 % | c =============================================================================== c New solution: 9579 c Elapsed CPU time: 162.544 s Remaining CPU time: 17.4557 s c =============================================================================== c | 413 | 1986 2521 966000 | 5000 413 1718 | 0.000 % | c =============================================================================== c New solution: 9578 c Elapsed CPU time: 163.147 s Remaining CPU time: 16.8528 s c =============================================================================== c | 413 | 1986 2522 967850 | 5000 413 1718 | 0.000 % | c =============================================================================== c New solution: 9577 c Elapsed CPU time: 163.784 s Remaining CPU time: 16.2159 s c =============================================================================== c | 413 | 1986 2523 969700 | 5000 413 1718 | 0.000 % | c =============================================================================== c New solution: 9576 c Elapsed CPU time: 164.416 s Remaining CPU time: 15.584 s c =============================================================================== c | 413 | 1986 2524 971550 | 5000 413 1718 | 0.000 % | c =============================================================================== c New solution: 9575 c Elapsed CPU time: 165.034 s Remaining CPU time: 14.9661 s c =============================================================================== c | 413 | 1986 2525 973400 | 5000 413 1718 | 0.000 % | c =============================================================================== c New solution: 9574 c Elapsed CPU time: 165.79 s Remaining CPU time: 14.2102 s c =============================================================================== c | 422 | 1986 2526 975250 | 5000 422 1718 | 0.000 % | c =============================================================================== c New solution: 9573 c Elapsed CPU time: 166.442 s Remaining CPU time: 13.5583 s c =============================================================================== c | 422 | 1986 2527 977100 | 5000 422 1718 | 0.000 % | c =============================================================================== c New solution: 9572 c Elapsed CPU time: 167.086 s Remaining CPU time: 12.9144 s c =============================================================================== c | 422 | 1986 2528 978950 | 5000 422 1718 | 0.000 % | c =============================================================================== c New solution: 9571 c Elapsed CPU time: 167.767 s Remaining CPU time: 12.2325 s c =============================================================================== c | 425 | 1986 2529 980800 | 5000 425 1718 | 0.000 % | c =============================================================================== c New solution: 9570 c Elapsed CPU time: 168.42 s Remaining CPU time: 11.5796 s c =============================================================================== c | 425 | 1986 2530 982650 | 5000 425 1718 | 0.000 % | c =============================================================================== c New solution: 9569 c Elapsed CPU time: 169.152 s Remaining CPU time: 10.8477 s c =============================================================================== c | 436 | 1986 2531 984500 | 5000 436 1718 | 0.000 % | c =============================================================================== c New solution: 9568 c Elapsed CPU time: 169.786 s Remaining CPU time: 10.2138 s c =============================================================================== c | 444 | 1986 2532 986350 | 5000 444 1719 | 0.000 % | c =============================================================================== c New solution: 9567 c Elapsed CPU time: 170.433 s Remaining CPU time: 9.56691 s c =============================================================================== c | 444 | 1986 2533 988200 | 5000 444 1719 | 0.000 % | c =============================================================================== c New solution: 9566 c Elapsed CPU time: 171.102 s Remaining CPU time: 8.89801 s c =============================================================================== c | 444 | 1986 2534 990050 | 5000 444 1719 | 0.000 % | c =============================================================================== c New solution: 9565 c Elapsed CPU time: 171.797 s Remaining CPU time: 8.20312 s c =============================================================================== c | 445 | 1986 2535 991900 | 5000 445 1719 | 0.000 % | c =============================================================================== c New solution: 9564 c Elapsed CPU time: 172.58 s Remaining CPU time: 7.42024 s c =============================================================================== c | 453 | 1986 2536 993750 | 5000 453 1719 | 0.000 % | c =============================================================================== c New solution: 9563 c Elapsed CPU time: 173.292 s Remaining CPU time: 6.70835 s c =============================================================================== c | 459 | 1986 2537 995600 | 5000 459 1719 | 0.000 % | c =============================================================================== c New solution: 9562 c Elapsed CPU time: 173.928 s Remaining CPU time: 6.07244 s c =============================================================================== c | 460 | 1986 2538 997450 | 5000 460 1719 | 0.000 % | c =============================================================================== c New solution: 9561 c Elapsed CPU time: 174.592 s Remaining CPU time: 5.40754 s c =============================================================================== c | 461 | 1986 2539 999300 | 5000 461 1719 | 0.000 % | c =============================================================================== c New solution: 9560 c Elapsed CPU time: 175.26 s Remaining CPU time: 4.73964 s c =============================================================================== c | 461 | 1986 2540 1001150 | 5000 461 1719 | 0.000 % | c =============================================================================== c New solution: 9559 c Elapsed CPU time: 176.121 s Remaining CPU time: 3.87877 s c =============================================================================== c | 470 | 1986 2541 1003000 | 5000 470 1719 | 0.000 % | c =============================================================================== c New solution: 9558 c Elapsed CPU time: 176.828 s Remaining CPU time: 3.17188 s c =============================================================================== c | 480 | 1986 2542 1004850 | 5000 480 1719 | 0.000 % | c =============================================================================== c New solution: 9557 c Elapsed CPU time: 177.819 s Remaining CPU time: 2.18103 s c =============================================================================== c | 496 | 1986 2543 1006700 | 5000 496 1720 | 0.000 % | c =============================================================================== c New solution: 9556 c Elapsed CPU time: 178.474 s Remaining CPU time: 1.52613 s c =============================================================================== c | 496 | 1986 2544 1008550 | 5000 496 1720 | 0.000 % | c =============================================================================== c New solution: 9555 c Elapsed CPU time: 179.209 s Remaining CPU time: 0.791244 s c =============================================================================== c | 497 | 1986 2545 1010400 | 5000 497 1716 | 0.000 % | c =============================================================================== c New solution: 9554 c Elapsed CPU time: 179.904 s Remaining CPU time: 0.09635 s c =============================================================================== c | 500 | 1986 2546 1012250 | 5000 500 1716 | 0.000 % | c There are 14 assigned variables. 3 in cost function.