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 | 1938 2016 5791 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10296 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1938 2017 7641 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10295 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1938 2018 9491 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10294 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1938 2019 11341 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10291 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1938 2020 13191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10290 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 1938 2021 15041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10289 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 1938 2022 16891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10288 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 1938 2023 18741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10287 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 1938 2024 20591 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10286 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 1938 2025 22441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10285 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 1938 2026 24291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10284 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 1938 2027 26141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10283 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 0 | 1938 2028 27991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10282 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 1938 2029 29841 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10281 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 0 | 1938 2030 31691 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10280 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 0 | 1938 2031 33541 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10279 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 0 | 1938 2032 35391 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10278 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 0 | 1938 2033 37241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10277 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 1938 2034 39091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10276 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 0 | 1938 2035 40941 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10275 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 1938 2036 42791 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10271 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 0 | 1938 2037 44641 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10269 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 0 | 1938 2038 46491 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10265 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s c =============================================================================== c | 0 | 1938 2039 48341 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10261 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 0 | 1938 2040 50191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10260 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 0 | 1938 2041 52041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10258 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 0 | 1938 2042 53891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10257 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 0 | 1938 2043 55741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10253 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 0 | 1938 2044 57591 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10252 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 0 | 1938 2045 59441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10251 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 0 | 1938 2046 61291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10250 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 0 | 1938 2047 63141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10246 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 0 | 1938 2048 64991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10244 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 0 | 1938 2049 66841 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10243 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 0 | 1938 2050 68691 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10242 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s c =============================================================================== c | 0 | 1938 2051 70541 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10240 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s c =============================================================================== c | 0 | 1938 2052 72391 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10237 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 0 | 1938 2053 74241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10236 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 0 | 1938 2054 76091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10235 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 0 | 1938 2055 77941 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10232 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s c =============================================================================== c | 0 | 1938 2056 79791 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10231 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 0 | 1938 2057 81641 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10230 c Elapsed CPU time: 1.01984 s Remaining CPU time: 178.98 s c =============================================================================== c | 0 | 1938 2058 83491 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10227 c Elapsed CPU time: 1.05884 s Remaining CPU time: 178.941 s c =============================================================================== c | 0 | 1938 2059 85341 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10225 c Elapsed CPU time: 1.09983 s Remaining CPU time: 178.9 s c =============================================================================== c | 0 | 1938 2060 87191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10224 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 0 | 1938 2061 89041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10222 c Elapsed CPU time: 1.18282 s Remaining CPU time: 178.817 s c =============================================================================== c | 0 | 1938 2062 90891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10221 c Elapsed CPU time: 1.22481 s Remaining CPU time: 178.775 s c =============================================================================== c | 0 | 1938 2063 92741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10220 c Elapsed CPU time: 1.26681 s Remaining CPU time: 178.733 s c =============================================================================== c | 0 | 1938 2064 94591 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10219 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s c =============================================================================== c | 0 | 1938 2065 96441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10217 c Elapsed CPU time: 1.35779 s Remaining CPU time: 178.642 s c =============================================================================== c | 0 | 1938 2066 98291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10216 c Elapsed CPU time: 1.40379 s Remaining CPU time: 178.596 s c =============================================================================== c | 0 | 1938 2067 100141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10214 c Elapsed CPU time: 1.45178 s Remaining CPU time: 178.548 s c =============================================================================== c | 0 | 1938 2068 101991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10212 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s c =============================================================================== c | 0 | 1938 2069 103841 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10211 c Elapsed CPU time: 1.55276 s Remaining CPU time: 178.447 s c =============================================================================== c | 0 | 1938 2070 105691 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10207 c Elapsed CPU time: 1.60276 s Remaining CPU time: 178.397 s c =============================================================================== c | 0 | 1938 2071 107541 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10206 c Elapsed CPU time: 1.65675 s Remaining CPU time: 178.343 s c =============================================================================== c | 0 | 1938 2072 109391 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10205 c Elapsed CPU time: 1.70574 s Remaining CPU time: 178.294 s c =============================================================================== c | 0 | 1938 2073 111241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10204 c Elapsed CPU time: 1.75873 s Remaining CPU time: 178.241 s c =============================================================================== c | 0 | 1938 2074 113091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10198 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 0 | 1938 2075 114941 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10197 c Elapsed CPU time: 1.86871 s Remaining CPU time: 178.131 s c =============================================================================== c | 0 | 1938 2076 116791 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10196 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 0 | 1938 2077 118641 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10194 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 0 | 1938 2078 120491 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10193 c Elapsed CPU time: 2.03969 s Remaining CPU time: 177.96 s c =============================================================================== c | 0 | 1938 2079 122341 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10192 c Elapsed CPU time: 2.10168 s Remaining CPU time: 177.898 s c =============================================================================== c | 0 | 1938 2080 124191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10191 c Elapsed CPU time: 2.16267 s Remaining CPU time: 177.837 s c =============================================================================== c | 0 | 1938 2081 126041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10190 c Elapsed CPU time: 2.22266 s Remaining CPU time: 177.777 s c =============================================================================== c | 0 | 1938 2082 127891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10189 c Elapsed CPU time: 2.28665 s Remaining CPU time: 177.713 s c =============================================================================== c | 0 | 1938 2083 129741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10188 c Elapsed CPU time: 2.35264 s Remaining CPU time: 177.647 s c =============================================================================== c | 0 | 1938 2084 131591 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10183 c Elapsed CPU time: 2.41963 s Remaining CPU time: 177.58 s c =============================================================================== c | 0 | 1938 2085 133441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10182 c Elapsed CPU time: 2.48962 s Remaining CPU time: 177.51 s c =============================================================================== c | 0 | 1938 2086 135291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10181 c Elapsed CPU time: 2.55961 s Remaining CPU time: 177.44 s c =============================================================================== c | 0 | 1938 2087 137141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10180 c Elapsed CPU time: 2.6316 s Remaining CPU time: 177.368 s c =============================================================================== c | 0 | 1938 2088 138991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10179 c Elapsed CPU time: 2.70459 s Remaining CPU time: 177.295 s c =============================================================================== c | 0 | 1938 2089 140841 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10178 c Elapsed CPU time: 2.77858 s Remaining CPU time: 177.221 s c =============================================================================== c | 0 | 1938 2090 142691 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10177 c Elapsed CPU time: 2.85057 s Remaining CPU time: 177.149 s c =============================================================================== c | 0 | 1938 2091 144541 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10176 c Elapsed CPU time: 2.92855 s Remaining CPU time: 177.071 s c =============================================================================== c | 0 | 1938 2092 146391 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10175 c Elapsed CPU time: 3.00554 s Remaining CPU time: 176.994 s c =============================================================================== c | 0 | 1938 2093 148241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10173 c Elapsed CPU time: 3.08253 s Remaining CPU time: 176.917 s c =============================================================================== c | 0 | 1938 2094 150091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10172 c Elapsed CPU time: 3.16152 s Remaining CPU time: 176.838 s c =============================================================================== c | 0 | 1938 2095 151941 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10169 c Elapsed CPU time: 3.24251 s Remaining CPU time: 176.757 s c =============================================================================== c | 0 | 1938 2096 153791 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10167 c Elapsed CPU time: 3.32649 s Remaining CPU time: 176.674 s c =============================================================================== c | 0 | 1938 2097 155641 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10165 c Elapsed CPU time: 3.40848 s Remaining CPU time: 176.592 s c =============================================================================== c | 0 | 1938 2098 157491 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10160 c Elapsed CPU time: 3.49147 s Remaining CPU time: 176.509 s c =============================================================================== c | 0 | 1938 2099 159341 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10159 c Elapsed CPU time: 3.57446 s Remaining CPU time: 176.426 s c =============================================================================== c | 0 | 1938 2100 161191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10158 c Elapsed CPU time: 3.65944 s Remaining CPU time: 176.341 s c =============================================================================== c | 0 | 1938 2101 163041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10154 c Elapsed CPU time: 3.74343 s Remaining CPU time: 176.257 s c =============================================================================== c | 0 | 1938 2102 164891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10153 c Elapsed CPU time: 3.82942 s Remaining CPU time: 176.171 s c =============================================================================== c | 0 | 1938 2103 166741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10149 c Elapsed CPU time: 3.9184 s Remaining CPU time: 176.082 s c =============================================================================== c | 0 | 1938 2104 168591 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10145 c Elapsed CPU time: 4.01039 s Remaining CPU time: 175.99 s c =============================================================================== c | 0 | 1938 2105 170441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10143 c Elapsed CPU time: 4.11137 s Remaining CPU time: 175.889 s c =============================================================================== c | 0 | 1938 2106 172291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10139 c Elapsed CPU time: 4.29135 s Remaining CPU time: 175.709 s c =============================================================================== c | 1 | 1938 2107 174141 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 10138 c Elapsed CPU time: 4.40033 s Remaining CPU time: 175.6 s c =============================================================================== c | 1 | 1938 2108 175991 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 10137 c Elapsed CPU time: 4.51031 s Remaining CPU time: 175.49 s c =============================================================================== c | 1 | 1938 2109 177841 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 10136 c Elapsed CPU time: 4.6223 s Remaining CPU time: 175.378 s c =============================================================================== c | 1 | 1938 2110 179691 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 10135 c Elapsed CPU time: 4.74028 s Remaining CPU time: 175.26 s c =============================================================================== c | 1 | 1938 2111 181541 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 10134 c Elapsed CPU time: 4.85426 s Remaining CPU time: 175.146 s c =============================================================================== c | 1 | 1938 2112 183391 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 10133 c Elapsed CPU time: 5.06023 s Remaining CPU time: 174.94 s c =============================================================================== c | 2 | 1938 2113 185241 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 10132 c Elapsed CPU time: 5.17821 s Remaining CPU time: 174.822 s c =============================================================================== c | 2 | 1938 2114 187091 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 10131 c Elapsed CPU time: 5.29719 s Remaining CPU time: 174.703 s c =============================================================================== c | 2 | 1938 2115 188941 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 10130 c Elapsed CPU time: 5.42018 s Remaining CPU time: 174.58 s c =============================================================================== c | 2 | 1938 2116 190791 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 10129 c Elapsed CPU time: 5.62514 s Remaining CPU time: 174.375 s c =============================================================================== c | 3 | 1938 2117 192641 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 10128 c Elapsed CPU time: 5.75012 s Remaining CPU time: 174.25 s c =============================================================================== c | 3 | 1938 2118 194491 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 10127 c Elapsed CPU time: 5.87411 s Remaining CPU time: 174.126 s c =============================================================================== c | 3 | 1938 2119 196341 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 10126 c Elapsed CPU time: 5.99409 s Remaining CPU time: 174.006 s c =============================================================================== c | 3 | 1938 2120 198191 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 10125 c Elapsed CPU time: 6.21406 s Remaining CPU time: 173.786 s c =============================================================================== c | 4 | 1937 2121 200041 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 10124 c Elapsed CPU time: 6.42502 s Remaining CPU time: 173.575 s c =============================================================================== c | 5 | 1937 2122 201891 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10123 c Elapsed CPU time: 6.547 s Remaining CPU time: 173.453 s c =============================================================================== c | 5 | 1937 2123 203741 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10122 c Elapsed CPU time: 6.67098 s Remaining CPU time: 173.329 s c =============================================================================== c | 5 | 1937 2124 205591 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10121 c Elapsed CPU time: 6.79597 s Remaining CPU time: 173.204 s c =============================================================================== c | 5 | 1937 2125 207441 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10120 c Elapsed CPU time: 6.91995 s Remaining CPU time: 173.08 s c =============================================================================== c | 5 | 1937 2126 209291 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10119 c Elapsed CPU time: 7.04693 s Remaining CPU time: 172.953 s c =============================================================================== c | 5 | 1937 2127 211141 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10118 c Elapsed CPU time: 7.17391 s Remaining CPU time: 172.826 s c =============================================================================== c | 5 | 1937 2128 212991 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10117 c Elapsed CPU time: 7.30389 s Remaining CPU time: 172.696 s c =============================================================================== c | 5 | 1937 2129 214841 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10116 c Elapsed CPU time: 7.43787 s Remaining CPU time: 172.562 s c =============================================================================== c | 5 | 1937 2130 216691 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10115 c Elapsed CPU time: 7.57385 s Remaining CPU time: 172.426 s c =============================================================================== c | 5 | 1937 2131 218541 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10114 c Elapsed CPU time: 7.71383 s Remaining CPU time: 172.286 s c =============================================================================== c | 5 | 1937 2132 220391 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10113 c Elapsed CPU time: 7.84781 s Remaining CPU time: 172.152 s c =============================================================================== c | 5 | 1937 2133 222241 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10112 c Elapsed CPU time: 7.98179 s Remaining CPU time: 172.018 s c =============================================================================== c | 5 | 1937 2134 224091 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 10111 c Elapsed CPU time: 8.31374 s Remaining CPU time: 171.686 s c =============================================================================== c | 7 | 1936 2135 225941 | 5000 6 3 | 0.000 % | c =============================================================================== c New solution: 10110 c Elapsed CPU time: 8.45571 s Remaining CPU time: 171.544 s c =============================================================================== c | 7 | 1936 2136 227791 | 5000 6 3 | 0.000 % | c =============================================================================== c New solution: 10109 c Elapsed CPU time: 8.58969 s Remaining CPU time: 171.41 s c =============================================================================== c | 7 | 1936 2137 229641 | 5000 6 3 | 0.000 % | c =============================================================================== c New solution: 10108 c Elapsed CPU time: 8.72367 s Remaining CPU time: 171.276 s c =============================================================================== c | 7 | 1936 2138 231491 | 5000 6 3 | 0.000 % | c =============================================================================== c New solution: 10107 c Elapsed CPU time: 8.95464 s Remaining CPU time: 171.045 s c =============================================================================== c | 8 | 1936 2139 233341 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 10106 c Elapsed CPU time: 9.09662 s Remaining CPU time: 170.903 s c =============================================================================== c | 8 | 1936 2140 235191 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 10105 c Elapsed CPU time: 9.33458 s Remaining CPU time: 170.665 s c =============================================================================== c | 9 | 1936 2141 237041 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 10104 c Elapsed CPU time: 9.47256 s Remaining CPU time: 170.527 s c =============================================================================== c | 9 | 1936 2142 238891 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 10103 c Elapsed CPU time: 9.61854 s Remaining CPU time: 170.381 s c =============================================================================== c | 9 | 1936 2143 240741 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 10102 c Elapsed CPU time: 9.76152 s Remaining CPU time: 170.238 s c =============================================================================== c | 9 | 1936 2144 242591 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 10101 c Elapsed CPU time: 10.0195 s Remaining CPU time: 169.981 s c =============================================================================== c | 10 | 1936 2145 244441 | 5000 9 3 | 0.000 % | c =============================================================================== c New solution: 10100 c Elapsed CPU time: 10.1635 s Remaining CPU time: 169.837 s c =============================================================================== c | 10 | 1936 2146 246291 | 5000 9 3 | 0.000 % | c =============================================================================== c New solution: 10099 c Elapsed CPU time: 10.3944 s Remaining CPU time: 169.606 s c =============================================================================== c | 11 | 1936 2147 248141 | 5000 10 3 | 0.000 % | c =============================================================================== c New solution: 10098 c Elapsed CPU time: 10.7874 s Remaining CPU time: 169.213 s c =============================================================================== c | 13 | 1935 2148 249991 | 5000 12 3 | 0.000 % | c =============================================================================== c New solution: 10097 c Elapsed CPU time: 10.9403 s Remaining CPU time: 169.06 s c =============================================================================== c | 13 | 1935 2149 251841 | 5000 12 3 | 0.000 % | c =============================================================================== c New solution: 10096 c Elapsed CPU time: 11.0913 s Remaining CPU time: 168.909 s c =============================================================================== c | 13 | 1935 2150 253691 | 5000 12 3 | 0.000 % | c =============================================================================== c New solution: 10095 c Elapsed CPU time: 11.2433 s Remaining CPU time: 168.757 s c =============================================================================== c | 13 | 1935 2151 255541 | 5000 12 3 | 0.000 % | c =============================================================================== c New solution: 10094 c Elapsed CPU time: 11.5162 s Remaining CPU time: 168.484 s c =============================================================================== c | 14 | 1935 2152 257391 | 5000 13 3 | 0.000 % | c =============================================================================== c New solution: 10093 c Elapsed CPU time: 11.6702 s Remaining CPU time: 168.33 s c =============================================================================== c | 14 | 1935 2153 259241 | 5000 13 3 | 0.000 % | c =============================================================================== c New solution: 10091 c Elapsed CPU time: 11.9542 s Remaining CPU time: 168.046 s c =============================================================================== c | 15 | 1934 2154 261091 | 5000 14 3 | 0.000 % | c =============================================================================== c New solution: 10090 c Elapsed CPU time: 12.1032 s Remaining CPU time: 167.897 s c =============================================================================== c | 15 | 1934 2155 262941 | 5000 14 3 | 0.000 % | c =============================================================================== c New solution: 10089 c Elapsed CPU time: 12.2621 s Remaining CPU time: 167.738 s c =============================================================================== c | 15 | 1934 2156 264791 | 5000 14 3 | 0.000 % | c =============================================================================== c New solution: 10088 c Elapsed CPU time: 12.5351 s Remaining CPU time: 167.465 s c =============================================================================== c | 16 | 1934 2157 266641 | 5000 15 3 | 0.000 % | c =============================================================================== c New solution: 10087 c Elapsed CPU time: 12.8131 s Remaining CPU time: 167.187 s c =============================================================================== c | 18 | 1934 2158 268491 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10086 c Elapsed CPU time: 12.98 s Remaining CPU time: 167.02 s c =============================================================================== c | 18 | 1934 2159 270341 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10085 c Elapsed CPU time: 13.155 s Remaining CPU time: 166.845 s c =============================================================================== c | 18 | 1934 2160 272191 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10084 c Elapsed CPU time: 13.326 s Remaining CPU time: 166.674 s c =============================================================================== c | 18 | 1934 2161 274041 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10083 c Elapsed CPU time: 13.5039 s Remaining CPU time: 166.496 s c =============================================================================== c | 18 | 1934 2162 275891 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10082 c Elapsed CPU time: 13.6809 s Remaining CPU time: 166.319 s c =============================================================================== c | 18 | 1934 2163 277741 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10081 c Elapsed CPU time: 13.8579 s Remaining CPU time: 166.142 s c =============================================================================== c | 18 | 1934 2164 279591 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10080 c Elapsed CPU time: 14.0309 s Remaining CPU time: 165.969 s c =============================================================================== c | 18 | 1934 2165 281441 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10079 c Elapsed CPU time: 14.2078 s Remaining CPU time: 165.792 s c =============================================================================== c | 18 | 1934 2166 283291 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10078 c Elapsed CPU time: 14.3868 s Remaining CPU time: 165.613 s c =============================================================================== c | 18 | 1934 2167 285141 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10077 c Elapsed CPU time: 14.5648 s Remaining CPU time: 165.435 s c =============================================================================== c | 18 | 1934 2168 286991 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10076 c Elapsed CPU time: 14.7358 s Remaining CPU time: 165.264 s c =============================================================================== c | 18 | 1934 2169 288841 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10075 c Elapsed CPU time: 14.9077 s Remaining CPU time: 165.092 s c =============================================================================== c | 18 | 1934 2170 290691 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10074 c Elapsed CPU time: 15.0857 s Remaining CPU time: 164.914 s c =============================================================================== c | 18 | 1934 2171 292541 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 10073 c Elapsed CPU time: 15.4337 s Remaining CPU time: 164.566 s c =============================================================================== c | 20 | 1933 2172 294391 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10072 c Elapsed CPU time: 15.6186 s Remaining CPU time: 164.381 s c =============================================================================== c | 20 | 1933 2173 296241 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10071 c Elapsed CPU time: 15.8066 s Remaining CPU time: 164.193 s c =============================================================================== c | 20 | 1933 2174 298091 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10070 c Elapsed CPU time: 16.0006 s Remaining CPU time: 163.999 s c =============================================================================== c | 20 | 1933 2175 299941 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10069 c Elapsed CPU time: 16.1935 s Remaining CPU time: 163.806 s c =============================================================================== c | 20 | 1933 2176 301791 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10068 c Elapsed CPU time: 16.3935 s Remaining CPU time: 163.606 s c =============================================================================== c | 20 | 1933 2177 303641 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10067 c Elapsed CPU time: 16.5765 s Remaining CPU time: 163.424 s c =============================================================================== c | 20 | 1933 2178 305491 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10066 c Elapsed CPU time: 16.7764 s Remaining CPU time: 163.224 s c =============================================================================== c | 20 | 1933 2179 307341 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10065 c Elapsed CPU time: 16.9704 s Remaining CPU time: 163.03 s c =============================================================================== c | 20 | 1933 2180 309191 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10064 c Elapsed CPU time: 17.1624 s Remaining CPU time: 162.838 s c =============================================================================== c | 20 | 1933 2181 311041 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10063 c Elapsed CPU time: 17.3514 s Remaining CPU time: 162.649 s c =============================================================================== c | 20 | 1933 2182 312891 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10062 c Elapsed CPU time: 17.5403 s Remaining CPU time: 162.46 s c =============================================================================== c | 20 | 1933 2183 314741 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10061 c Elapsed CPU time: 17.7373 s Remaining CPU time: 162.263 s c =============================================================================== c | 20 | 1933 2184 316591 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10060 c Elapsed CPU time: 17.9393 s Remaining CPU time: 162.061 s c =============================================================================== c | 20 | 1933 2185 318441 | 5000 19 193 | 0.000 % | c =============================================================================== c New solution: 10059 c Elapsed CPU time: 18.3112 s Remaining CPU time: 161.689 s c =============================================================================== c | 21 | 1932 2186 320291 | 5000 20 184 | 0.000 % | c =============================================================================== c New solution: 10058 c Elapsed CPU time: 18.5152 s Remaining CPU time: 161.485 s c =============================================================================== c | 21 | 1932 2187 322141 | 5000 20 184 | 0.000 % | c =============================================================================== c New solution: 10057 c Elapsed CPU time: 18.7162 s Remaining CPU time: 161.284 s c =============================================================================== c | 21 | 1932 2188 323991 | 5000 20 184 | 0.000 % | c =============================================================================== c New solution: 10056 c Elapsed CPU time: 18.9551 s Remaining CPU time: 161.045 s c =============================================================================== c | 22 | 1932 2189 325841 | 5000 21 175 | 0.000 % | c =============================================================================== c New solution: 10055 c Elapsed CPU time: 19.1471 s Remaining CPU time: 160.853 s c =============================================================================== c | 22 | 1932 2190 327691 | 5000 21 175 | 0.000 % | c =============================================================================== c New solution: 10054 c Elapsed CPU time: 19.3501 s Remaining CPU time: 160.65 s c =============================================================================== c | 22 | 1932 2191 329541 | 5000 21 175 | 0.000 % | c =============================================================================== c New solution: 10053 c Elapsed CPU time: 19.562 s Remaining CPU time: 160.438 s c =============================================================================== c | 22 | 1932 2192 331391 | 5000 21 175 | 0.000 % | c =============================================================================== c New solution: 10052 c Elapsed CPU time: 19.767 s Remaining CPU time: 160.233 s c =============================================================================== c | 22 | 1932 2193 333241 | 5000 21 175 | 0.000 % | c =============================================================================== c New solution: 10051 c Elapsed CPU time: 19.987 s Remaining CPU time: 160.013 s c =============================================================================== c | 22 | 1932 2194 335091 | 5000 21 175 | 0.000 % | c =============================================================================== c New solution: 10050 c Elapsed CPU time: 20.2099 s Remaining CPU time: 159.79 s c =============================================================================== c | 22 | 1932 2195 336941 | 5000 21 175 | 0.000 % | c =============================================================================== c New solution: 10049 c Elapsed CPU time: 20.4099 s Remaining CPU time: 159.59 s c =============================================================================== c | 23 | 1932 2196 338791 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10048 c Elapsed CPU time: 20.6249 s Remaining CPU time: 159.375 s c =============================================================================== c | 23 | 1932 2197 340641 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10047 c Elapsed CPU time: 20.8378 s Remaining CPU time: 159.162 s c =============================================================================== c | 23 | 1932 2198 342491 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10046 c Elapsed CPU time: 21.0508 s Remaining CPU time: 158.949 s c =============================================================================== c | 23 | 1932 2199 344341 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10045 c Elapsed CPU time: 21.2688 s Remaining CPU time: 158.731 s c =============================================================================== c | 23 | 1932 2200 346191 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10044 c Elapsed CPU time: 21.4977 s Remaining CPU time: 158.502 s c =============================================================================== c | 23 | 1932 2201 348041 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10043 c Elapsed CPU time: 21.7177 s Remaining CPU time: 158.282 s c =============================================================================== c | 23 | 1932 2202 349891 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10042 c Elapsed CPU time: 21.9327 s Remaining CPU time: 158.067 s c =============================================================================== c | 23 | 1932 2203 351741 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10041 c Elapsed CPU time: 22.1396 s Remaining CPU time: 157.86 s c =============================================================================== c | 23 | 1932 2204 353591 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10040 c Elapsed CPU time: 22.3736 s Remaining CPU time: 157.626 s c =============================================================================== c | 23 | 1932 2205 355441 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10039 c Elapsed CPU time: 22.6186 s Remaining CPU time: 157.381 s c =============================================================================== c | 23 | 1932 2206 357291 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10038 c Elapsed CPU time: 22.8485 s Remaining CPU time: 157.151 s c =============================================================================== c | 23 | 1932 2207 359141 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10037 c Elapsed CPU time: 23.0895 s Remaining CPU time: 156.911 s c =============================================================================== c | 23 | 1932 2208 360991 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10036 c Elapsed CPU time: 23.3185 s Remaining CPU time: 156.682 s c =============================================================================== c | 23 | 1932 2209 362841 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10035 c Elapsed CPU time: 23.5634 s Remaining CPU time: 156.437 s c =============================================================================== c | 23 | 1932 2210 364691 | 5000 22 168 | 0.000 % | c =============================================================================== c New solution: 10034 c Elapsed CPU time: 23.8034 s Remaining CPU time: 156.197 s c =============================================================================== c | 23 | 1932 2211 366541 | 5000 17 216 | 0.000 % | c =============================================================================== c New solution: 10033 c Elapsed CPU time: 24.0473 s Remaining CPU time: 155.953 s c =============================================================================== c | 23 | 1932 2212 368391 | 5000 17 216 | 0.000 % | c =============================================================================== c New solution: 10032 c Elapsed CPU time: 24.2813 s Remaining CPU time: 155.719 s c =============================================================================== c | 23 | 1932 2213 370241 | 5000 17 216 | 0.000 % | c =============================================================================== c New solution: 10031 c Elapsed CPU time: 24.5193 s Remaining CPU time: 155.481 s c =============================================================================== c | 23 | 1932 2214 372091 | 5000 17 216 | 0.000 % | c =============================================================================== c New solution: 10030 c Elapsed CPU time: 24.9612 s Remaining CPU time: 155.039 s c =============================================================================== c | 24 | 1931 2215 373941 | 5000 18 204 | 0.000 % | c =============================================================================== c New solution: 10029 c Elapsed CPU time: 25.2172 s Remaining CPU time: 154.783 s c =============================================================================== c | 27 | 1931 2216 375791 | 5000 21 347 | 0.000 % | c =============================================================================== c New solution: 10028 c Elapsed CPU time: 25.4631 s Remaining CPU time: 154.537 s c =============================================================================== c | 27 | 1931 2217 377641 | 5000 21 347 | 0.000 % | c =============================================================================== c New solution: 10027 c Elapsed CPU time: 25.7061 s Remaining CPU time: 154.294 s c =============================================================================== c | 28 | 1931 2218 379491 | 5000 22 413 | 0.000 % | c =============================================================================== c New solution: 10026 c Elapsed CPU time: 25.9621 s Remaining CPU time: 154.038 s c =============================================================================== c | 29 | 1931 2219 381341 | 5000 23 473 | 0.000 % | c =============================================================================== c New solution: 10025 c Elapsed CPU time: 26.231 s Remaining CPU time: 153.769 s c =============================================================================== c | 29 | 1931 2220 383191 | 5000 23 473 | 0.000 % | c =============================================================================== c New solution: 10024 c Elapsed CPU time: 26.507 s Remaining CPU time: 153.493 s c =============================================================================== c | 29 | 1931 2221 385041 | 5000 23 473 | 0.000 % | c =============================================================================== c New solution: 10023 c Elapsed CPU time: 26.7729 s Remaining CPU time: 153.227 s c =============================================================================== c | 29 | 1931 2222 386891 | 5000 23 473 | 0.000 % | c =============================================================================== c New solution: 10022 c Elapsed CPU time: 27.0299 s Remaining CPU time: 152.97 s c =============================================================================== c | 30 | 1931 2223 388741 | 5000 24 529 | 0.000 % | c =============================================================================== c New solution: 10021 c Elapsed CPU time: 27.2909 s Remaining CPU time: 152.709 s c =============================================================================== c | 31 | 1931 2224 390591 | 5000 25 580 | 0.000 % | c =============================================================================== c New solution: 10020 c Elapsed CPU time: 27.5558 s Remaining CPU time: 152.444 s c =============================================================================== c | 33 | 1931 2225 392441 | 5000 27 670 | 0.000 % | c =============================================================================== c New solution: 10019 c Elapsed CPU time: 27.8038 s Remaining CPU time: 152.196 s c =============================================================================== c | 33 | 1931 2226 394291 | 5000 27 670 | 0.000 % | c =============================================================================== c New solution: 10018 c Elapsed CPU time: 28.0517 s Remaining CPU time: 151.948 s c =============================================================================== c | 33 | 1931 2227 396141 | 5000 27 670 | 0.000 % | c =============================================================================== c New solution: 10017 c Elapsed CPU time: 28.2807 s Remaining CPU time: 151.719 s c =============================================================================== c | 33 | 1931 2228 397991 | 5000 27 670 | 0.000 % | c =============================================================================== c New solution: 10016 c Elapsed CPU time: 28.5227 s Remaining CPU time: 151.477 s c =============================================================================== c | 33 | 1931 2229 399841 | 5000 27 670 | 0.000 % | c =============================================================================== c New solution: 10015 c Elapsed CPU time: 28.7676 s Remaining CPU time: 151.232 s c =============================================================================== c | 38 | 1931 2230 401691 | 5000 32 847 | 0.000 % | c =============================================================================== c New solution: 10014 c Elapsed CPU time: 29.0296 s Remaining CPU time: 150.97 s c =============================================================================== c | 38 | 1931 2231 403541 | 5000 32 847 | 0.000 % | c =============================================================================== c New solution: 10013 c Elapsed CPU time: 29.2835 s Remaining CPU time: 150.716 s c =============================================================================== c | 38 | 1931 2232 405391 | 5000 32 847 | 0.000 % | c =============================================================================== c New solution: 10012 c Elapsed CPU time: 29.5195 s Remaining CPU time: 150.48 s c =============================================================================== c | 38 | 1931 2233 407241 | 5000 32 847 | 0.000 % | c =============================================================================== c New solution: 10011 c Elapsed CPU time: 29.7735 s Remaining CPU time: 150.227 s c =============================================================================== c | 39 | 1931 2234 409091 | 5000 33 875 | 0.000 % | c =============================================================================== c New solution: 10010 c Elapsed CPU time: 30.0654 s Remaining CPU time: 149.935 s c =============================================================================== c | 47 | 1931 2235 410941 | 5000 41 1012 | 0.000 % | c =============================================================================== c New solution: 10009 c Elapsed CPU time: 30.3314 s Remaining CPU time: 149.669 s c =============================================================================== c | 48 | 1931 2236 412791 | 5000 42 1031 | 0.000 % | c =============================================================================== c New solution: 10008 c Elapsed CPU time: 30.5833 s Remaining CPU time: 149.417 s c =============================================================================== c | 48 | 1931 2237 414641 | 5000 42 1031 | 0.000 % | c =============================================================================== c New solution: 10007 c Elapsed CPU time: 30.8623 s Remaining CPU time: 149.138 s c =============================================================================== c | 50 | 1931 2238 416491 | 5000 44 1066 | 0.000 % | c =============================================================================== c New solution: 10006 c Elapsed CPU time: 31.1403 s Remaining CPU time: 148.86 s c =============================================================================== c | 51 | 1931 2239 418341 | 5000 45 1082 | 0.000 % | c =============================================================================== c New solution: 10005 c Elapsed CPU time: 31.4552 s Remaining CPU time: 148.545 s c =============================================================================== c | 53 | 1931 2240 420191 | 5000 47 1113 | 0.000 % | c =============================================================================== c New solution: 10004 c Elapsed CPU time: 31.7372 s Remaining CPU time: 148.263 s c =============================================================================== c | 53 | 1931 2241 422041 | 5000 47 1113 | 0.000 % | c =============================================================================== c New solution: 10003 c Elapsed CPU time: 32.0271 s Remaining CPU time: 147.973 s c =============================================================================== c | 53 | 1931 2242 423891 | 5000 47 1113 | 0.000 % | c =============================================================================== c New solution: 10002 c Elapsed CPU time: 32.3181 s Remaining CPU time: 147.682 s c =============================================================================== c | 53 | 1931 2243 425741 | 5000 47 1113 | 0.000 % | c =============================================================================== c New solution: 10001 c Elapsed CPU time: 32.607 s Remaining CPU time: 147.393 s c =============================================================================== c | 54 | 1931 2244 427591 | 5000 48 1127 | 0.000 % | c =============================================================================== c New solution: 10000 c Elapsed CPU time: 32.877 s Remaining CPU time: 147.123 s c =============================================================================== c | 54 | 1931 2245 429441 | 5000 48 1127 | 0.000 % | c =============================================================================== c New solution: 9999 c Elapsed CPU time: 33.142 s Remaining CPU time: 146.858 s c =============================================================================== c | 54 | 1931 2246 431291 | 5000 48 1127 | 0.000 % | c =============================================================================== c New solution: 9998 c Elapsed CPU time: 33.4379 s Remaining CPU time: 146.562 s c =============================================================================== c | 56 | 1931 2247 433141 | 5000 50 1154 | 0.000 % | c =============================================================================== c New solution: 9997 c Elapsed CPU time: 33.7379 s Remaining CPU time: 146.262 s c =============================================================================== c | 57 | 1931 2248 434991 | 5000 51 1166 | 0.000 % | c =============================================================================== c New solution: 9996 c Elapsed CPU time: 34.0478 s Remaining CPU time: 145.952 s c =============================================================================== c | 58 | 1931 2249 436841 | 5000 52 1178 | 0.000 % | c =============================================================================== c New solution: 9995 c Elapsed CPU time: 34.3398 s Remaining CPU time: 145.66 s c =============================================================================== c | 59 | 1931 2250 438691 | 5000 53 1190 | 0.000 % | c =============================================================================== c New solution: 9994 c Elapsed CPU time: 34.6497 s Remaining CPU time: 145.35 s c =============================================================================== c | 59 | 1931 2251 440541 | 5000 53 1190 | 0.000 % | c =============================================================================== c New solution: 9993 c Elapsed CPU time: 34.9527 s Remaining CPU time: 145.047 s c =============================================================================== c | 60 | 1931 2252 442391 | 5000 54 1201 | 0.000 % | c =============================================================================== c New solution: 9992 c Elapsed CPU time: 35.2476 s Remaining CPU time: 144.752 s c =============================================================================== c | 60 | 1931 2253 444241 | 5000 54 1201 | 0.000 % | c =============================================================================== c New solution: 9991 c Elapsed CPU time: 35.5416 s Remaining CPU time: 144.458 s c =============================================================================== c | 60 | 1931 2254 446091 | 5000 54 1201 | 0.000 % | c =============================================================================== c New solution: 9990 c Elapsed CPU time: 35.8595 s Remaining CPU time: 144.14 s c =============================================================================== c | 67 | 1931 2255 447941 | 5000 61 1270 | 0.000 % | c =============================================================================== c New solution: 9989 c Elapsed CPU time: 36.1645 s Remaining CPU time: 143.835 s c =============================================================================== c | 69 | 1931 2256 449791 | 5000 63 1286 | 0.000 % | c =============================================================================== c New solution: 9988 c Elapsed CPU time: 36.4555 s Remaining CPU time: 143.545 s c =============================================================================== c | 69 | 1931 2257 451641 | 5000 63 1286 | 0.000 % | c =============================================================================== c New solution: 9987 c Elapsed CPU time: 36.7334 s Remaining CPU time: 143.267 s c =============================================================================== c | 69 | 1931 2258 453491 | 5000 63 1286 | 0.000 % | c =============================================================================== c New solution: 9986 c Elapsed CPU time: 37.0244 s Remaining CPU time: 142.976 s c =============================================================================== c | 69 | 1931 2259 455341 | 5000 63 1286 | 0.000 % | c =============================================================================== c New solution: 9985 c Elapsed CPU time: 37.3043 s Remaining CPU time: 142.696 s c =============================================================================== c | 69 | 1931 2260 457191 | 5000 63 1286 | 0.000 % | c =============================================================================== c New solution: 9984 c Elapsed CPU time: 37.5883 s Remaining CPU time: 142.412 s c =============================================================================== c | 69 | 1931 2261 459041 | 5000 63 1286 | 0.000 % | c =============================================================================== c New solution: 9983 c Elapsed CPU time: 37.8832 s Remaining CPU time: 142.117 s c =============================================================================== c | 70 | 1931 2262 460891 | 5000 64 1294 | 0.000 % | c =============================================================================== c New solution: 9982 c Elapsed CPU time: 38.1882 s Remaining CPU time: 141.812 s c =============================================================================== c | 71 | 1931 2263 462741 | 5000 65 1302 | 0.000 % | c =============================================================================== c New solution: 9981 c Elapsed CPU time: 38.4861 s Remaining CPU time: 141.514 s c =============================================================================== c | 71 | 1931 2264 464591 | 5000 65 1302 | 0.000 % | c =============================================================================== c New solution: 9980 c Elapsed CPU time: 38.7861 s Remaining CPU time: 141.214 s c =============================================================================== c | 71 | 1931 2265 466441 | 5000 65 1302 | 0.000 % | c =============================================================================== c New solution: 9979 c Elapsed CPU time: 39.0911 s Remaining CPU time: 140.909 s c =============================================================================== c | 71 | 1931 2266 468291 | 5000 65 1302 | 0.000 % | c =============================================================================== c New solution: 9978 c Elapsed CPU time: 39.398 s Remaining CPU time: 140.602 s c =============================================================================== c | 72 | 1931 2267 470141 | 5000 66 1309 | 0.000 % | c =============================================================================== c New solution: 9977 c Elapsed CPU time: 39.712 s Remaining CPU time: 140.288 s c =============================================================================== c | 73 | 1931 2268 471991 | 5000 67 1317 | 0.000 % | c =============================================================================== c New solution: 9976 c Elapsed CPU time: 40.0129 s Remaining CPU time: 139.987 s c =============================================================================== c | 75 | 1931 2269 473841 | 5000 69 1331 | 0.000 % | c =============================================================================== c New solution: 9975 c Elapsed CPU time: 40.3129 s Remaining CPU time: 139.687 s c =============================================================================== c | 75 | 1931 2270 475691 | 5000 69 1331 | 0.000 % | c =============================================================================== c New solution: 9974 c Elapsed CPU time: 40.6108 s Remaining CPU time: 139.389 s c =============================================================================== c | 75 | 1931 2271 477541 | 5000 69 1331 | 0.000 % | c =============================================================================== c New solution: 9973 c Elapsed CPU time: 40.9408 s Remaining CPU time: 139.059 s c =============================================================================== c | 75 | 1931 2272 479391 | 5000 69 1331 | 0.000 % | c =============================================================================== c New solution: 9972 c Elapsed CPU time: 41.2527 s Remaining CPU time: 138.747 s c =============================================================================== c | 75 | 1931 2273 481241 | 5000 69 1331 | 0.000 % | c =============================================================================== c New solution: 9971 c Elapsed CPU time: 41.5667 s Remaining CPU time: 138.433 s c =============================================================================== c | 75 | 1931 2274 483091 | 5000 69 1331 | 0.000 % | c =============================================================================== c New solution: 9970 c Elapsed CPU time: 41.9276 s Remaining CPU time: 138.072 s c =============================================================================== c | 79 | 1931 2275 484941 | 5000 73 1356 | 0.000 % | c =============================================================================== c New solution: 9969 c Elapsed CPU time: 42.2546 s Remaining CPU time: 137.745 s c =============================================================================== c | 80 | 1931 2276 486791 | 5000 74 1362 | 0.000 % | c =============================================================================== c New solution: 9968 c Elapsed CPU time: 42.5715 s Remaining CPU time: 137.428 s c =============================================================================== c | 80 | 1931 2277 488641 | 5000 74 1362 | 0.000 % | c =============================================================================== c New solution: 9967 c Elapsed CPU time: 42.8895 s Remaining CPU time: 137.111 s c =============================================================================== c | 81 | 1931 2278 490491 | 5000 75 1367 | 0.000 % | c =============================================================================== c New solution: 9966 c Elapsed CPU time: 43.2064 s Remaining CPU time: 136.794 s c =============================================================================== c | 81 | 1931 2279 492341 | 5000 75 1367 | 0.000 % | c =============================================================================== c New solution: 9965 c Elapsed CPU time: 43.5254 s Remaining CPU time: 136.475 s c =============================================================================== c | 82 | 1931 2280 494191 | 5000 76 1373 | 0.000 % | c =============================================================================== c New solution: 9964 c Elapsed CPU time: 43.8473 s Remaining CPU time: 136.153 s c =============================================================================== c | 82 | 1931 2281 496041 | 5000 76 1373 | 0.000 % | c =============================================================================== c New solution: 9963 c Elapsed CPU time: 44.1783 s Remaining CPU time: 135.822 s c =============================================================================== c | 82 | 1931 2282 497891 | 5000 76 1373 | 0.000 % | c =============================================================================== c New solution: 9962 c Elapsed CPU time: 44.5182 s Remaining CPU time: 135.482 s c =============================================================================== c | 82 | 1931 2283 499741 | 5000 76 1373 | 0.000 % | c =============================================================================== c New solution: 9961 c Elapsed CPU time: 44.8582 s Remaining CPU time: 135.142 s c =============================================================================== c | 82 | 1931 2284 501591 | 5000 76 1373 | 0.000 % | c =============================================================================== c New solution: 9960 c Elapsed CPU time: 45.1841 s Remaining CPU time: 134.816 s c =============================================================================== c | 82 | 1931 2285 503441 | 5000 76 1373 | 0.000 % | c =============================================================================== c New solution: 9959 c Elapsed CPU time: 45.5301 s Remaining CPU time: 134.47 s c =============================================================================== c | 83 | 1931 2286 505291 | 5000 77 1378 | 0.000 % | c =============================================================================== c New solution: 9958 c Elapsed CPU time: 45.879 s Remaining CPU time: 134.121 s c =============================================================================== c | 85 | 1931 2287 507141 | 5000 79 1389 | 0.000 % | c =============================================================================== c New solution: 9957 c Elapsed CPU time: 46.211 s Remaining CPU time: 133.789 s c =============================================================================== c | 86 | 1931 2288 508991 | 5000 80 1394 | 0.000 % | c =============================================================================== c New solution: 9956 c Elapsed CPU time: 46.5419 s Remaining CPU time: 133.458 s c =============================================================================== c | 89 | 1931 2289 510841 | 5000 83 1408 | 0.000 % | c =============================================================================== c New solution: 9955 c Elapsed CPU time: 46.8669 s Remaining CPU time: 133.133 s c =============================================================================== c | 90 | 1931 2290 512691 | 5000 84 1413 | 0.000 % | c =============================================================================== c New solution: 9954 c Elapsed CPU time: 47.1948 s Remaining CPU time: 132.805 s c =============================================================================== c | 90 | 1931 2291 514541 | 5000 84 1413 | 0.000 % | c =============================================================================== c New solution: 9953 c Elapsed CPU time: 47.5458 s Remaining CPU time: 132.454 s c =============================================================================== c | 92 | 1931 2292 516391 | 5000 86 1422 | 0.000 % | c =============================================================================== c New solution: 9952 c Elapsed CPU time: 47.8777 s Remaining CPU time: 132.122 s c =============================================================================== c | 92 | 1931 2293 518241 | 5000 86 1422 | 0.000 % | c =============================================================================== c New solution: 9951 c Elapsed CPU time: 48.2387 s Remaining CPU time: 131.761 s c =============================================================================== c | 93 | 1931 2294 520091 | 5000 87 1426 | 0.000 % | c =============================================================================== c New solution: 9950 c Elapsed CPU time: 48.5806 s Remaining CPU time: 131.419 s c =============================================================================== c | 93 | 1931 2295 521941 | 5000 87 1426 | 0.000 % | c =============================================================================== c New solution: 9949 c Elapsed CPU time: 48.9236 s Remaining CPU time: 131.076 s c =============================================================================== c | 93 | 1931 2296 523791 | 5000 87 1426 | 0.000 % | c =============================================================================== c New solution: 9948 c Elapsed CPU time: 49.2725 s Remaining CPU time: 130.727 s c =============================================================================== c | 93 | 1931 2297 525641 | 5000 87 1426 | 0.000 % | c =============================================================================== c New solution: 9947 c Elapsed CPU time: 49.6085 s Remaining CPU time: 130.392 s c =============================================================================== c | 93 | 1931 2298 527491 | 5000 87 1426 | 0.000 % | c =============================================================================== c New solution: 9946 c Elapsed CPU time: 49.9434 s Remaining CPU time: 130.057 s c =============================================================================== c | 94 | 1931 2299 529341 | 5000 88 1430 | 0.000 % | c =============================================================================== c New solution: 9945 c Elapsed CPU time: 50.2924 s Remaining CPU time: 129.708 s c =============================================================================== c | 94 | 1931 2300 531191 | 5000 88 1430 | 0.000 % | c =============================================================================== c New solution: 9944 c Elapsed CPU time: 50.6773 s Remaining CPU time: 129.323 s c =============================================================================== c | 96 | 1931 2301 533041 | 5000 90 1438 | 0.000 % | c =============================================================================== c New solution: 9943 c Elapsed CPU time: 51.0412 s Remaining CPU time: 128.959 s c =============================================================================== c | 98 | 1931 2302 534891 | 5000 92 1445 | 0.000 % | c =============================================================================== c New solution: 9942 c Elapsed CPU time: 51.4042 s Remaining CPU time: 128.596 s c =============================================================================== c | 99 | 1931 2303 536741 | 5000 93 1449 | 0.000 % | c =============================================================================== c New solution: 9941 c Elapsed CPU time: 51.7551 s Remaining CPU time: 128.245 s c =============================================================================== c | 100 | 1931 2304 538591 | 5000 94 1453 | 0.000 % | c =============================================================================== c New solution: 9940 c Elapsed CPU time: 52.0951 s Remaining CPU time: 127.905 s c =============================================================================== c | 101 | 1931 2305 540441 | 5000 95 1456 | 0.000 % | c =============================================================================== c New solution: 9939 c Elapsed CPU time: 52.446 s Remaining CPU time: 127.554 s c =============================================================================== c | 101 | 1931 2306 542291 | 5000 95 1456 | 0.000 % | c =============================================================================== c New solution: 9938 c Elapsed CPU time: 52.812 s Remaining CPU time: 127.188 s c =============================================================================== c | 102 | 1931 2307 544141 | 5000 96 1460 | 0.000 % | c =============================================================================== c New solution: 9937 c Elapsed CPU time: 53.1969 s Remaining CPU time: 126.803 s c =============================================================================== c | 104 | 1931 2308 545991 | 5000 98 1466 | 0.000 % | c =============================================================================== c New solution: 9936 c Elapsed CPU time: 53.5639 s Remaining CPU time: 126.436 s c =============================================================================== c | 105 | 1931 2309 547841 | 5000 99 1470 | 0.000 % | c =============================================================================== c New solution: 9935 c Elapsed CPU time: 53.9148 s Remaining CPU time: 126.085 s c =============================================================================== c | 105 | 1931 2310 549691 | 5000 99 1470 | 0.000 % | c =============================================================================== c New solution: 9934 c Elapsed CPU time: 54.2987 s Remaining CPU time: 125.701 s c =============================================================================== c | 107 | 1931 2311 551541 | 5000 101 1476 | 0.000 % | c =============================================================================== c New solution: 9933 c Elapsed CPU time: 54.6797 s Remaining CPU time: 125.32 s c =============================================================================== c | 115 | 1931 2312 553391 | 5000 109 1499 | 0.000 % | c =============================================================================== c New solution: 9932 c Elapsed CPU time: 55.0436 s Remaining CPU time: 124.956 s c =============================================================================== c | 115 | 1931 2313 555241 | 5000 109 1499 | 0.000 % | c =============================================================================== c New solution: 9931 c Elapsed CPU time: 55.4136 s Remaining CPU time: 124.586 s c =============================================================================== c | 115 | 1931 2314 557091 | 5000 109 1499 | 0.000 % | c =============================================================================== c New solution: 9930 c Elapsed CPU time: 55.7815 s Remaining CPU time: 124.218 s c =============================================================================== c | 116 | 1931 2315 558941 | 5000 110 1501 | 0.000 % | c =============================================================================== c New solution: 9929 c Elapsed CPU time: 56.1715 s Remaining CPU time: 123.829 s c =============================================================================== c | 119 | 1931 2316 560791 | 5000 113 1509 | 0.000 % | c =============================================================================== c New solution: 9928 c Elapsed CPU time: 56.5634 s Remaining CPU time: 123.437 s c =============================================================================== c | 121 | 1931 2317 562641 | 5000 115 1514 | 0.000 % | c =============================================================================== c New solution: 9927 c Elapsed CPU time: 56.9753 s Remaining CPU time: 123.025 s c =============================================================================== c | 124 | 1931 2318 564491 | 5000 118 1521 | 0.000 % | c =============================================================================== c New solution: 9926 c Elapsed CPU time: 57.3453 s Remaining CPU time: 122.655 s c =============================================================================== c | 124 | 1931 2319 566341 | 5000 118 1521 | 0.000 % | c =============================================================================== c New solution: 9925 c Elapsed CPU time: 57.7322 s Remaining CPU time: 122.268 s c =============================================================================== c | 124 | 1931 2320 568191 | 5000 118 1521 | 0.000 % | c =============================================================================== c New solution: 9924 c Elapsed CPU time: 58.1242 s Remaining CPU time: 121.876 s c =============================================================================== c | 130 | 1931 2321 570041 | 5000 124 1534 | 0.000 % | c =============================================================================== c New solution: 9923 c Elapsed CPU time: 58.5001 s Remaining CPU time: 121.5 s c =============================================================================== c | 130 | 1931 2322 571891 | 5000 124 1534 | 0.000 % | c =============================================================================== c New solution: 9922 c Elapsed CPU time: 58.884 s Remaining CPU time: 121.116 s c =============================================================================== c | 131 | 1931 2323 573741 | 5000 125 1536 | 0.000 % | c =============================================================================== c New solution: 9921 c Elapsed CPU time: 59.33 s Remaining CPU time: 120.67 s c =============================================================================== c | 140 | 1931 2324 575591 | 5000 134 1552 | 0.000 % | c =============================================================================== c New solution: 9920 c Elapsed CPU time: 59.7389 s Remaining CPU time: 120.261 s c =============================================================================== c | 143 | 1931 2325 577441 | 5000 137 1557 | 0.000 % | c =============================================================================== c New solution: 9919 c Elapsed CPU time: 60.1239 s Remaining CPU time: 119.876 s c =============================================================================== c | 143 | 1931 2326 579291 | 5000 137 1557 | 0.000 % | c =============================================================================== c New solution: 9918 c Elapsed CPU time: 60.5028 s Remaining CPU time: 119.497 s c =============================================================================== c | 143 | 1931 2327 581141 | 5000 137 1557 | 0.000 % | c =============================================================================== c New solution: 9917 c Elapsed CPU time: 60.9047 s Remaining CPU time: 119.095 s c =============================================================================== c | 145 | 1931 2328 582991 | 5000 139 1561 | 0.000 % | c =============================================================================== c New solution: 9916 c Elapsed CPU time: 61.3107 s Remaining CPU time: 118.689 s c =============================================================================== c | 146 | 1931 2329 584841 | 5000 140 1562 | 0.000 % | c =============================================================================== c New solution: 9915 c Elapsed CPU time: 61.7056 s Remaining CPU time: 118.294 s c =============================================================================== c | 147 | 1931 2330 586691 | 5000 141 1564 | 0.000 % | c =============================================================================== c New solution: 9914 c Elapsed CPU time: 62.1026 s Remaining CPU time: 117.897 s c =============================================================================== c | 147 | 1931 2331 588541 | 5000 141 1564 | 0.000 % | c =============================================================================== c New solution: 9913 c Elapsed CPU time: 62.4825 s Remaining CPU time: 117.517 s c =============================================================================== c | 147 | 1931 2332 590391 | 5000 141 1564 | 0.000 % | c =============================================================================== c New solution: 9912 c Elapsed CPU time: 62.8754 s Remaining CPU time: 117.125 s c =============================================================================== c | 148 | 1931 2333 592241 | 5000 142 1565 | 0.000 % | c =============================================================================== c New solution: 9911 c Elapsed CPU time: 63.2734 s Remaining CPU time: 116.727 s c =============================================================================== c | 150 | 1931 2334 594091 | 5000 144 1568 | 0.000 % | c =============================================================================== c New solution: 9910 c Elapsed CPU time: 63.6773 s Remaining CPU time: 116.323 s c =============================================================================== c | 151 | 1931 2335 595941 | 5000 145 1570 | 0.000 % | c =============================================================================== c New solution: 9909 c Elapsed CPU time: 64.0783 s Remaining CPU time: 115.922 s c =============================================================================== c | 152 | 1931 2336 597791 | 5000 146 1571 | 0.000 % | c =============================================================================== c New solution: 9908 c Elapsed CPU time: 64.4712 s Remaining CPU time: 115.529 s c =============================================================================== c | 153 | 1931 2337 599641 | 5000 147 1573 | 0.000 % | c =============================================================================== c New solution: 9907 c Elapsed CPU time: 64.9371 s Remaining CPU time: 115.063 s c =============================================================================== c | 156 | 1931 2338 601491 | 5000 150 1577 | 0.000 % | c =============================================================================== c New solution: 9906 c Elapsed CPU time: 65.3661 s Remaining CPU time: 114.634 s c =============================================================================== c | 158 | 1931 2339 603341 | 5000 152 1568 | 0.000 % | c =============================================================================== c New solution: 9905 c Elapsed CPU time: 65.789 s Remaining CPU time: 114.211 s c =============================================================================== c | 159 | 1931 2340 605191 | 5000 153 1569 | 0.000 % | c =============================================================================== c New solution: 9904 c Elapsed CPU time: 66.1959 s Remaining CPU time: 113.804 s c =============================================================================== c | 162 | 1931 2341 607041 | 5000 156 1573 | 0.000 % | c =============================================================================== c New solution: 9903 c Elapsed CPU time: 66.6329 s Remaining CPU time: 113.367 s c =============================================================================== c | 166 | 1931 2342 608891 | 5000 160 1579 | 0.000 % | c =============================================================================== c New solution: 9902 c Elapsed CPU time: 67.0358 s Remaining CPU time: 112.964 s c =============================================================================== c | 166 | 1931 2343 610741 | 5000 160 1579 | 0.000 % | c =============================================================================== c New solution: 9901 c Elapsed CPU time: 67.4527 s Remaining CPU time: 112.547 s c =============================================================================== c | 166 | 1931 2344 612591 | 5000 160 1579 | 0.000 % | c =============================================================================== c New solution: 9900 c Elapsed CPU time: 67.8607 s Remaining CPU time: 112.139 s c =============================================================================== c | 167 | 1931 2345 614441 | 5000 161 1580 | 0.000 % | c =============================================================================== c New solution: 9899 c Elapsed CPU time: 68.2656 s Remaining CPU time: 111.734 s c =============================================================================== c | 167 | 1931 2346 616291 | 5000 161 1580 | 0.000 % | c =============================================================================== c New solution: 9898 c Elapsed CPU time: 68.6706 s Remaining CPU time: 111.329 s c =============================================================================== c | 167 | 1931 2347 618141 | 5000 161 1580 | 0.000 % | c =============================================================================== c New solution: 9897 c Elapsed CPU time: 69.1815 s Remaining CPU time: 110.819 s c =============================================================================== c | 179 | 1931 2348 619991 | 5000 173 1594 | 0.000 % | c =============================================================================== c New solution: 9896 c Elapsed CPU time: 69.6394 s Remaining CPU time: 110.361 s c =============================================================================== c | 183 | 1931 2349 621841 | 5000 177 1598 | 0.000 % | c =============================================================================== c New solution: 9895 c Elapsed CPU time: 70.0693 s Remaining CPU time: 109.931 s c =============================================================================== c | 184 | 1931 2350 623691 | 5000 178 1599 | 0.000 % | c =============================================================================== c New solution: 9894 c Elapsed CPU time: 70.4893 s Remaining CPU time: 109.511 s c =============================================================================== c | 186 | 1931 2351 625541 | 5000 180 1601 | 0.000 % | c =============================================================================== c New solution: 9893 c Elapsed CPU time: 70.8972 s Remaining CPU time: 109.103 s c =============================================================================== c | 186 | 1931 2352 627391 | 5000 180 1601 | 0.000 % | c =============================================================================== c New solution: 9892 c Elapsed CPU time: 71.3342 s Remaining CPU time: 108.666 s c =============================================================================== c | 189 | 1931 2353 629241 | 5000 183 1604 | 0.000 % | c =============================================================================== c New solution: 9891 c Elapsed CPU time: 71.7821 s Remaining CPU time: 108.218 s c =============================================================================== c | 192 | 1931 2354 631091 | 5000 186 1607 | 0.000 % | c =============================================================================== c New solution: 9890 c Elapsed CPU time: 72.21 s Remaining CPU time: 107.79 s c =============================================================================== c | 196 | 1931 2355 632941 | 5000 190 1610 | 0.000 % | c =============================================================================== c New solution: 9889 c Elapsed CPU time: 72.628 s Remaining CPU time: 107.372 s c =============================================================================== c | 196 | 1931 2356 634791 | 5000 190 1610 | 0.000 % | c =============================================================================== c New solution: 9888 c Elapsed CPU time: 73.0619 s Remaining CPU time: 106.938 s c =============================================================================== c | 197 | 1931 2357 636641 | 5000 191 1611 | 0.000 % | c =============================================================================== c New solution: 9887 c Elapsed CPU time: 73.4818 s Remaining CPU time: 106.518 s c =============================================================================== c | 206 | 1931 2358 638491 | 5000 200 1619 | 0.000 % | c =============================================================================== c New solution: 9886 c Elapsed CPU time: 73.8938 s Remaining CPU time: 106.106 s c =============================================================================== c | 206 | 1931 2359 640341 | 5000 200 1619 | 0.000 % | c =============================================================================== c New solution: 9885 c Elapsed CPU time: 74.3327 s Remaining CPU time: 105.667 s c =============================================================================== c | 206 | 1931 2360 642191 | 5000 200 1619 | 0.000 % | c =============================================================================== c New solution: 9884 c Elapsed CPU time: 74.7716 s Remaining CPU time: 105.228 s c =============================================================================== c | 206 | 1931 2361 644041 | 5000 200 1619 | 0.000 % | c =============================================================================== c New solution: 9883 c Elapsed CPU time: 75.1946 s Remaining CPU time: 104.805 s c =============================================================================== c | 206 | 1931 2362 645891 | 5000 200 1619 | 0.000 % | c =============================================================================== c New solution: 9882 c Elapsed CPU time: 75.6315 s Remaining CPU time: 104.368 s c =============================================================================== c | 208 | 1931 2363 647741 | 5000 202 1620 | 0.000 % | c =============================================================================== c New solution: 9881 c Elapsed CPU time: 76.0954 s Remaining CPU time: 103.905 s c =============================================================================== c | 211 | 1931 2364 649591 | 5000 205 1623 | 0.000 % | c =============================================================================== c New solution: 9880 c Elapsed CPU time: 76.5344 s Remaining CPU time: 103.466 s c =============================================================================== c | 216 | 1931 2365 651441 | 5000 210 1626 | 0.000 % | c =============================================================================== c New solution: 9879 c Elapsed CPU time: 77.0053 s Remaining CPU time: 102.995 s c =============================================================================== c | 219 | 1931 2366 653291 | 5000 213 1628 | 0.000 % | c =============================================================================== c New solution: 9878 c Elapsed CPU time: 77.4622 s Remaining CPU time: 102.538 s c =============================================================================== c | 221 | 1931 2367 655141 | 5000 215 1630 | 0.000 % | c =============================================================================== c New solution: 9877 c Elapsed CPU time: 77.9142 s Remaining CPU time: 102.086 s c =============================================================================== c | 221 | 1931 2368 656991 | 5000 215 1630 | 0.000 % | c =============================================================================== c New solution: 9876 c Elapsed CPU time: 78.3551 s Remaining CPU time: 101.645 s c =============================================================================== c | 221 | 1931 2369 658841 | 5000 215 1630 | 0.000 % | c =============================================================================== c New solution: 9875 c Elapsed CPU time: 78.778 s Remaining CPU time: 101.222 s c =============================================================================== c | 221 | 1931 2370 660691 | 5000 215 1630 | 0.000 % | c =============================================================================== c New solution: 9874 c Elapsed CPU time: 79.227 s Remaining CPU time: 100.773 s c =============================================================================== c | 222 | 1931 2371 662541 | 5000 216 1630 | 0.000 % | c =============================================================================== c New solution: 9873 c Elapsed CPU time: 79.6759 s Remaining CPU time: 100.324 s c =============================================================================== c | 222 | 1931 2372 664391 | 5000 216 1630 | 0.000 % | c =============================================================================== c New solution: 9872 c Elapsed CPU time: 80.0888 s Remaining CPU time: 99.9112 s c =============================================================================== c | 222 | 1931 2373 666241 | 5000 216 1630 | 0.000 % | c =============================================================================== c New solution: 9871 c Elapsed CPU time: 80.5048 s Remaining CPU time: 99.4952 s c =============================================================================== c | 222 | 1931 2374 668091 | 5000 216 1630 | 0.000 % | c =============================================================================== c New solution: 9870 c Elapsed CPU time: 80.9377 s Remaining CPU time: 99.0623 s c =============================================================================== c | 222 | 1931 2375 669941 | 5000 216 1630 | 0.000 % | c =============================================================================== c New solution: 9869 c Elapsed CPU time: 81.3606 s Remaining CPU time: 98.6394 s c =============================================================================== c | 223 | 1931 2376 671791 | 5000 217 1631 | 0.000 % | c =============================================================================== c New solution: 9868 c Elapsed CPU time: 81.8456 s Remaining CPU time: 98.1544 s c =============================================================================== c | 236 | 1931 2377 673641 | 5000 230 1639 | 0.000 % | c =============================================================================== c New solution: 9867 c Elapsed CPU time: 82.2715 s Remaining CPU time: 97.7285 s c =============================================================================== c | 236 | 1931 2378 675491 | 5000 230 1639 | 0.000 % | c =============================================================================== c New solution: 9866 c Elapsed CPU time: 82.7264 s Remaining CPU time: 97.2736 s c =============================================================================== c | 237 | 1931 2379 677341 | 5000 231 1640 | 0.000 % | c =============================================================================== c New solution: 9865 c Elapsed CPU time: 83.1764 s Remaining CPU time: 96.8236 s c =============================================================================== c | 239 | 1931 2380 679191 | 5000 233 1641 | 0.000 % | c =============================================================================== c New solution: 9864 c Elapsed CPU time: 83.5923 s Remaining CPU time: 96.4077 s c =============================================================================== c | 239 | 1931 2381 681041 | 5000 233 1641 | 0.000 % | c =============================================================================== c New solution: 9863 c Elapsed CPU time: 84.0572 s Remaining CPU time: 95.9428 s c =============================================================================== c | 240 | 1931 2382 682891 | 5000 234 1641 | 0.000 % | c =============================================================================== c New solution: 9862 c Elapsed CPU time: 84.5251 s Remaining CPU time: 95.4749 s c =============================================================================== c | 253 | 1931 2383 684741 | 5000 247 1648 | 0.000 % | c =============================================================================== c New solution: 9861 c Elapsed CPU time: 84.9561 s Remaining CPU time: 95.0439 s c =============================================================================== c | 258 | 1931 2384 686591 | 5000 252 1651 | 0.000 % | c =============================================================================== c New solution: 9860 c Elapsed CPU time: 85.414 s Remaining CPU time: 94.586 s c =============================================================================== c | 259 | 1931 2385 688441 | 5000 253 1651 | 0.000 % | c =============================================================================== c New solution: 9859 c Elapsed CPU time: 85.8559 s Remaining CPU time: 94.1441 s c =============================================================================== c | 259 | 1931 2386 690291 | 5000 253 1651 | 0.000 % | c =============================================================================== c New solution: 9858 c Elapsed CPU time: 86.3299 s Remaining CPU time: 93.6701 s c =============================================================================== c | 259 | 1931 2387 692141 | 5000 253 1651 | 0.000 % | c =============================================================================== c New solution: 9857 c Elapsed CPU time: 86.8048 s Remaining CPU time: 93.1952 s c =============================================================================== c | 260 | 1931 2388 693991 | 5000 254 1652 | 0.000 % | c =============================================================================== c New solution: 9856 c Elapsed CPU time: 87.2697 s Remaining CPU time: 92.7303 s c =============================================================================== c | 260 | 1931 2389 695841 | 5000 254 1652 | 0.000 % | c =============================================================================== c New solution: 9855 c Elapsed CPU time: 87.7397 s Remaining CPU time: 92.2603 s c =============================================================================== c | 262 | 1931 2390 697691 | 5000 256 1653 | 0.000 % | c =============================================================================== c New solution: 9854 c Elapsed CPU time: 88.2176 s Remaining CPU time: 91.7824 s c =============================================================================== c | 262 | 1931 2391 699541 | 5000 256 1653 | 0.000 % | c =============================================================================== c New solution: 9853 c Elapsed CPU time: 88.6995 s Remaining CPU time: 91.3005 s c =============================================================================== c | 262 | 1931 2392 701391 | 5000 256 1653 | 0.000 % | c =============================================================================== c New solution: 9852 c Elapsed CPU time: 89.1954 s Remaining CPU time: 90.8046 s c =============================================================================== c | 266 | 1931 2393 703241 | 5000 260 1655 | 0.000 % | c =============================================================================== c New solution: 9851 c Elapsed CPU time: 89.6784 s Remaining CPU time: 90.3216 s c =============================================================================== c | 267 | 1931 2394 705091 | 5000 261 1655 | 0.000 % | c =============================================================================== c New solution: 9850 c Elapsed CPU time: 90.2013 s Remaining CPU time: 89.7987 s c =============================================================================== c | 271 | 1931 2395 706941 | 5000 265 1657 | 0.000 % | c =============================================================================== c New solution: 9849 c Elapsed CPU time: 90.6752 s Remaining CPU time: 89.3248 s c =============================================================================== c | 271 | 1931 2396 708791 | 5000 264 1663 | 0.000 % | c =============================================================================== c New solution: 9848 c Elapsed CPU time: 91.1431 s Remaining CPU time: 88.8569 s c =============================================================================== c | 271 | 1931 2397 710641 | 5000 264 1663 | 0.000 % | c =============================================================================== c New solution: 9847 c Elapsed CPU time: 91.6381 s Remaining CPU time: 88.3619 s c =============================================================================== c | 283 | 1931 2398 712491 | 5000 276 1668 | 0.000 % | c =============================================================================== c New solution: 9846 c Elapsed CPU time: 92.136 s Remaining CPU time: 87.864 s c =============================================================================== c | 286 | 1931 2399 714341 | 5000 279 1669 | 0.000 % | c =============================================================================== c New solution: 9845 c Elapsed CPU time: 92.5909 s Remaining CPU time: 87.4091 s c =============================================================================== c | 286 | 1931 2400 716191 | 5000 279 1669 | 0.000 % | c =============================================================================== c New solution: 9844 c Elapsed CPU time: 93.0718 s Remaining CPU time: 86.9282 s c =============================================================================== c | 286 | 1931 2401 718041 | 5000 279 1669 | 0.000 % | c =============================================================================== c New solution: 9843 c Elapsed CPU time: 93.5768 s Remaining CPU time: 86.4232 s c =============================================================================== c | 294 | 1931 2402 719891 | 5000 287 1672 | 0.000 % | c =============================================================================== c New solution: 9842 c Elapsed CPU time: 94.0607 s Remaining CPU time: 85.9393 s c =============================================================================== c | 294 | 1931 2403 721741 | 5000 287 1672 | 0.000 % | c =============================================================================== c New solution: 9841 c Elapsed CPU time: 94.5436 s Remaining CPU time: 85.4564 s c =============================================================================== c | 294 | 1931 2404 723591 | 5000 287 1672 | 0.000 % | c =============================================================================== c New solution: 9840 c Elapsed CPU time: 95.0575 s Remaining CPU time: 84.9425 s c =============================================================================== c | 295 | 1931 2405 725441 | 5000 288 1672 | 0.000 % | c =============================================================================== c New solution: 9839 c Elapsed CPU time: 95.5445 s Remaining CPU time: 84.4555 s c =============================================================================== c | 300 | 1931 2406 727291 | 5000 293 1674 | 0.000 % | c =============================================================================== c New solution: 9838 c Elapsed CPU time: 96.0444 s Remaining CPU time: 83.9556 s c =============================================================================== c | 301 | 1931 2407 729141 | 5000 294 1674 | 0.000 % | c =============================================================================== c New solution: 9837 c Elapsed CPU time: 96.5323 s Remaining CPU time: 83.4677 s c =============================================================================== c | 301 | 1931 2408 730991 | 5000 294 1674 | 0.000 % | c =============================================================================== c New solution: 9836 c Elapsed CPU time: 97.0822 s Remaining CPU time: 82.9178 s c =============================================================================== c | 316 | 1931 2409 732841 | 5000 309 1679 | 0.000 % | c =============================================================================== c New solution: 9835 c Elapsed CPU time: 97.5782 s Remaining CPU time: 82.4218 s c =============================================================================== c | 317 | 1931 2410 734691 | 5000 310 1679 | 0.000 % | c =============================================================================== c New solution: 9834 c Elapsed CPU time: 98.0871 s Remaining CPU time: 81.9129 s c =============================================================================== c | 317 | 1931 2411 736541 | 5000 310 1679 | 0.000 % | c =============================================================================== c New solution: 9833 c Elapsed CPU time: 98.605 s Remaining CPU time: 81.395 s c =============================================================================== c | 318 | 1931 2412 738391 | 5000 311 1679 | 0.000 % | c =============================================================================== c New solution: 9832 c Elapsed CPU time: 99.1069 s Remaining CPU time: 80.8931 s c =============================================================================== c | 319 | 1931 2413 740241 | 5000 312 1680 | 0.000 % | c =============================================================================== c New solution: 9831 c Elapsed CPU time: 99.6518 s Remaining CPU time: 80.3482 s c =============================================================================== c | 340 | 1931 2414 742091 | 5000 333 1685 | 0.000 % | c =============================================================================== c New solution: 9830 c Elapsed CPU time: 100.211 s Remaining CPU time: 79.7892 s c =============================================================================== c | 351 | 1931 2415 743941 | 5000 344 1688 | 0.000 % | c =============================================================================== c New solution: 9829 c Elapsed CPU time: 100.797 s Remaining CPU time: 79.2033 s c =============================================================================== c | 364 | 1931 2416 745791 | 5000 357 1691 | 0.000 % | c =============================================================================== c New solution: 9828 c Elapsed CPU time: 101.31 s Remaining CPU time: 78.6904 s c =============================================================================== c | 366 | 1931 2417 747641 | 5000 359 1691 | 0.000 % | c =============================================================================== c New solution: 9827 c Elapsed CPU time: 101.824 s Remaining CPU time: 78.1765 s c =============================================================================== c | 366 | 1931 2418 749491 | 5000 359 1691 | 0.000 % | c =============================================================================== c New solution: 9826 c Elapsed CPU time: 102.383 s Remaining CPU time: 77.6166 s c =============================================================================== c | 369 | 1931 2419 751341 | 5000 362 1692 | 0.000 % | c =============================================================================== c New solution: 9825 c Elapsed CPU time: 102.93 s Remaining CPU time: 77.0696 s c =============================================================================== c | 374 | 1931 2420 753191 | 5000 367 1693 | 0.000 % | c =============================================================================== c New solution: 9824 c Elapsed CPU time: 103.466 s Remaining CPU time: 76.5337 s c =============================================================================== c | 378 | 1931 2421 755041 | 5000 371 1694 | 0.000 % | c =============================================================================== c New solution: 9823 c Elapsed CPU time: 103.991 s Remaining CPU time: 76.0088 s c =============================================================================== c | 378 | 1931 2422 756891 | 5000 371 1694 | 0.000 % | c =============================================================================== c New solution: 9822 c Elapsed CPU time: 104.506 s Remaining CPU time: 75.4939 s c =============================================================================== c | 380 | 1931 2423 758741 | 5000 373 1694 | 0.000 % | c =============================================================================== c New solution: 9821 c Elapsed CPU time: 105.005 s Remaining CPU time: 74.995 s c =============================================================================== c | 384 | 1931 2424 760591 | 5000 377 1695 | 0.000 % | c =============================================================================== c New solution: 9820 c Elapsed CPU time: 105.503 s Remaining CPU time: 74.497 s c =============================================================================== c | 385 | 1931 2425 762441 | 5000 378 1695 | 0.000 % | c =============================================================================== c New solution: 9819 c Elapsed CPU time: 106.01 s Remaining CPU time: 73.9901 s c =============================================================================== c | 387 | 1931 2426 764291 | 5000 380 1696 | 0.000 % | c =============================================================================== c New solution: 9818 c Elapsed CPU time: 106.512 s Remaining CPU time: 73.4882 s c =============================================================================== c | 387 | 1931 2427 766141 | 5000 380 1696 | 0.000 % | c =============================================================================== c New solution: 9817 c Elapsed CPU time: 107.064 s Remaining CPU time: 72.9363 s c =============================================================================== c | 394 | 1931 2428 767991 | 5000 387 1697 | 0.000 % | c =============================================================================== c New solution: 9816 c Elapsed CPU time: 107.564 s Remaining CPU time: 72.4364 s c =============================================================================== c | 395 | 1931 2429 769841 | 5000 388 1697 | 0.000 % | c =============================================================================== c New solution: 9815 c Elapsed CPU time: 108.103 s Remaining CPU time: 71.8974 s c =============================================================================== c | 397 | 1931 2430 771691 | 5000 390 1697 | 0.000 % | c =============================================================================== c New solution: 9814 c Elapsed CPU time: 108.643 s Remaining CPU time: 71.3565 s c =============================================================================== c | 399 | 1931 2431 773541 | 5000 392 1698 | 0.000 % | c =============================================================================== c New solution: 9813 c Elapsed CPU time: 109.19 s Remaining CPU time: 70.8096 s c =============================================================================== c | 400 | 1931 2432 775391 | 5000 393 1698 | 0.000 % | c =============================================================================== c New solution: 9812 c Elapsed CPU time: 109.725 s Remaining CPU time: 70.2747 s c =============================================================================== c | 400 | 1931 2433 777241 | 5000 393 1698 | 0.000 % | c =============================================================================== c New solution: 9811 c Elapsed CPU time: 110.287 s Remaining CPU time: 69.7128 s c =============================================================================== c | 402 | 1931 2434 779091 | 5000 395 1698 | 0.000 % | c =============================================================================== c New solution: 9810 c Elapsed CPU time: 110.847 s Remaining CPU time: 69.1529 s c =============================================================================== c | 402 | 1931 2435 780941 | 5000 395 1698 | 0.000 % | c =============================================================================== c New solution: 9809 c Elapsed CPU time: 111.448 s Remaining CPU time: 68.5519 s c =============================================================================== c | 411 | 1931 2436 782791 | 5000 404 1700 | 0.000 % | c =============================================================================== c New solution: 9808 c Elapsed CPU time: 112.037 s Remaining CPU time: 67.963 s c =============================================================================== c | 416 | 1931 2437 784641 | 5000 409 1701 | 0.000 % | c =============================================================================== c New solution: 9807 c Elapsed CPU time: 112.564 s Remaining CPU time: 67.4361 s c =============================================================================== c | 417 | 1931 2438 786491 | 5000 410 1701 | 0.000 % | c =============================================================================== c New solution: 9806 c Elapsed CPU time: 113.072 s Remaining CPU time: 66.9282 s c =============================================================================== c | 421 | 1931 2439 788341 | 5000 414 1701 | 0.000 % | c =============================================================================== c New solution: 9805 c Elapsed CPU time: 113.657 s Remaining CPU time: 66.3433 s c =============================================================================== c | 431 | 1931 2440 790191 | 5000 424 1703 | 0.000 % | c =============================================================================== c New solution: 9804 c Elapsed CPU time: 114.206 s Remaining CPU time: 65.7944 s c =============================================================================== c | 434 | 1931 2441 792041 | 5000 427 1703 | 0.000 % | c =============================================================================== c New solution: 9803 c Elapsed CPU time: 114.767 s Remaining CPU time: 65.2334 s c =============================================================================== c | 436 | 1931 2442 793891 | 5000 429 1704 | 0.000 % | c =============================================================================== c New solution: 9802 c Elapsed CPU time: 115.274 s Remaining CPU time: 64.7255 s c =============================================================================== c | 436 | 1931 2443 795741 | 5000 429 1704 | 0.000 % | c =============================================================================== c New solution: 9801 c Elapsed CPU time: 115.793 s Remaining CPU time: 64.2066 s c =============================================================================== c | 438 | 1931 2444 797591 | 5000 431 1704 | 0.000 % | c =============================================================================== c New solution: 9800 c Elapsed CPU time: 116.337 s Remaining CPU time: 63.6627 s c =============================================================================== c | 440 | 1931 2445 799441 | 5000 433 1704 | 0.000 % | c =============================================================================== c New solution: 9799 c Elapsed CPU time: 116.844 s Remaining CPU time: 63.1558 s c =============================================================================== c | 440 | 1931 2446 801291 | 5000 433 1704 | 0.000 % | c =============================================================================== c New solution: 9798 c Elapsed CPU time: 117.384 s Remaining CPU time: 62.6158 s c =============================================================================== c | 440 | 1931 2447 803141 | 5000 433 1704 | 0.000 % | c =============================================================================== c New solution: 9797 c Elapsed CPU time: 117.927 s Remaining CPU time: 62.0729 s c =============================================================================== c | 440 | 1931 2448 804991 | 5000 433 1704 | 0.000 % | c =============================================================================== c New solution: 9796 c Elapsed CPU time: 118.466 s Remaining CPU time: 61.534 s c =============================================================================== c | 440 | 1931 2449 806841 | 5000 433 1704 | 0.000 % | c =============================================================================== c New solution: 9795 c Elapsed CPU time: 119.039 s Remaining CPU time: 60.9611 s c =============================================================================== c | 443 | 1931 2450 808691 | 5000 436 1704 | 0.000 % | c =============================================================================== c New solution: 9794 c Elapsed CPU time: 119.591 s Remaining CPU time: 60.4092 s c =============================================================================== c | 448 | 1931 2451 810541 | 5000 441 1705 | 0.000 % | c =============================================================================== c New solution: 9793 c Elapsed CPU time: 120.125 s Remaining CPU time: 59.8753 s c =============================================================================== c | 449 | 1931 2452 812391 | 5000 442 1705 | 0.000 % | c =============================================================================== c New solution: 9792 c Elapsed CPU time: 120.689 s Remaining CPU time: 59.3113 s c =============================================================================== c | 452 | 1931 2453 814241 | 5000 445 1706 | 0.000 % | c =============================================================================== c New solution: 9791 c Elapsed CPU time: 121.24 s Remaining CPU time: 58.7604 s c =============================================================================== c | 453 | 1931 2454 816091 | 5000 446 1706 | 0.000 % | c =============================================================================== c New solution: 9790 c Elapsed CPU time: 121.807 s Remaining CPU time: 58.1925 s c =============================================================================== c | 461 | 1931 2455 817941 | 5000 454 1707 | 0.000 % | c =============================================================================== c New solution: 9789 c Elapsed CPU time: 122.34 s Remaining CPU time: 57.6596 s c =============================================================================== c | 461 | 1931 2456 819791 | 5000 454 1707 | 0.000 % | c =============================================================================== c New solution: 9788 c Elapsed CPU time: 122.942 s Remaining CPU time: 57.0577 s c =============================================================================== c | 467 | 1931 2457 821641 | 5000 460 1707 | 0.000 % | c =============================================================================== c New solution: 9787 c Elapsed CPU time: 123.533 s Remaining CPU time: 56.4668 s c =============================================================================== c | 469 | 1931 2458 823491 | 5000 462 1708 | 0.000 % | c =============================================================================== c New solution: 9786 c Elapsed CPU time: 124.106 s Remaining CPU time: 55.8939 s c =============================================================================== c | 476 | 1931 2459 825341 | 5000 469 1708 | 0.000 % | c =============================================================================== c New solution: 9785 c Elapsed CPU time: 124.666 s Remaining CPU time: 55.334 s c =============================================================================== c | 477 | 1931 2460 827191 | 5000 470 1709 | 0.000 % | c =============================================================================== c New solution: 9784 c Elapsed CPU time: 125.26 s Remaining CPU time: 54.74 s c =============================================================================== c | 483 | 1931 2461 829041 | 5000 476 1709 | 0.000 % | c =============================================================================== c New solution: 9783 c Elapsed CPU time: 125.814 s Remaining CPU time: 54.1861 s c =============================================================================== c | 485 | 1931 2462 830891 | 5000 478 1709 | 0.000 % | c =============================================================================== c New solution: 9782 c Elapsed CPU time: 126.412 s Remaining CPU time: 53.5882 s c =============================================================================== c | 489 | 1931 2463 832741 | 5000 482 1710 | 0.000 % | c =============================================================================== c New solution: 9781 c Elapsed CPU time: 126.982 s Remaining CPU time: 53.0183 s c =============================================================================== c | 489 | 1931 2464 834591 | 5000 482 1710 | 0.000 % | c =============================================================================== c New solution: 9780 c Elapsed CPU time: 127.571 s Remaining CPU time: 52.4294 s c =============================================================================== c | 500 | 1931 2465 836441 | 5000 493 1711 | 0.000 % | c =============================================================================== c New solution: 9779 c Elapsed CPU time: 128.156 s Remaining CPU time: 51.8445 s c =============================================================================== c | 502 | 1931 2466 838291 | 5000 495 1711 | 0.000 % | c =============================================================================== c New solution: 9778 c Elapsed CPU time: 128.879 s Remaining CPU time: 51.1206 s c =============================================================================== c | 508 | 1931 2467 840141 | 5000 501 1712 | 0.000 % | c =============================================================================== c New solution: 9777 c Elapsed CPU time: 129.531 s Remaining CPU time: 50.4687 s c =============================================================================== c | 531 | 1931 2468 841991 | 5000 524 1714 | 0.000 % | c =============================================================================== c New solution: 9776 c Elapsed CPU time: 130.184 s Remaining CPU time: 49.8158 s c =============================================================================== c | 539 | 1931 2469 843841 | 5000 532 1715 | 0.000 % | c =============================================================================== c New solution: 9775 c Elapsed CPU time: 130.871 s Remaining CPU time: 49.1289 s c =============================================================================== c | 544 | 1931 2470 845691 | 5000 537 1715 | 0.000 % | c =============================================================================== c New solution: 9774 c Elapsed CPU time: 131.499 s Remaining CPU time: 48.501 s c =============================================================================== c | 551 | 1931 2471 847541 | 5000 544 1716 | 0.000 % | c =============================================================================== c New solution: 9773 c Elapsed CPU time: 132.126 s Remaining CPU time: 47.8741 s c =============================================================================== c | 553 | 1931 2472 849391 | 5000 546 1716 | 0.000 % | c =============================================================================== c New solution: 9772 c Elapsed CPU time: 132.744 s Remaining CPU time: 47.2562 s c =============================================================================== c | 560 | 1931 2473 851241 | 5000 553 1717 | 0.000 % | c =============================================================================== c New solution: 9771 c Elapsed CPU time: 133.41 s Remaining CPU time: 46.5903 s c =============================================================================== c | 562 | 1931 2474 853091 | 5000 555 1717 | 0.000 % | c =============================================================================== c New solution: 9770 c Elapsed CPU time: 134.255 s Remaining CPU time: 45.7454 s c =============================================================================== c | 580 | 1931 2475 854941 | 5000 573 1718 | 0.000 % | c =============================================================================== c New solution: 9769 c Elapsed CPU time: 134.847 s Remaining CPU time: 45.1525 s c =============================================================================== c | 581 | 1931 2476 856791 | 5000 574 1718 | 0.000 % | c =============================================================================== c New solution: 9768 c Elapsed CPU time: 135.49 s Remaining CPU time: 44.5096 s c =============================================================================== c | 583 | 1931 2477 858641 | 5000 576 1715 | 0.000 % | c =============================================================================== c New solution: 9767 c Elapsed CPU time: 136.073 s Remaining CPU time: 43.9267 s c =============================================================================== c | 585 | 1931 2478 860491 | 5000 578 1716 | 0.000 % | c =============================================================================== c New solution: 9766 c Elapsed CPU time: 136.646 s Remaining CPU time: 43.3538 s c =============================================================================== c | 585 | 1931 2479 862341 | 5000 578 1716 | 0.000 % | c =============================================================================== c New solution: 9765 c Elapsed CPU time: 137.321 s Remaining CPU time: 42.6789 s c =============================================================================== c | 598 | 1931 2480 864191 | 5000 591 1716 | 0.000 % | c =============================================================================== c New solution: 9764 c Elapsed CPU time: 137.886 s Remaining CPU time: 42.114 s c =============================================================================== c | 598 | 1931 2481 866041 | 5000 591 1716 | 0.000 % | c =============================================================================== c New solution: 9763 c Elapsed CPU time: 138.603 s Remaining CPU time: 41.3971 s c =============================================================================== c | 632 | 1931 2482 867891 | 5000 625 1716 | 0.000 % | c =============================================================================== c New solution: 9762 c Elapsed CPU time: 139.176 s Remaining CPU time: 40.8242 s c =============================================================================== c | 637 | 1931 2483 869741 | 5000 630 1716 | 0.000 % | c =============================================================================== c New solution: 9761 c Elapsed CPU time: 139.875 s Remaining CPU time: 40.1253 s c =============================================================================== c | 647 | 1931 2484 871591 | 5000 640 1717 | 0.000 % | c =============================================================================== c New solution: 9760 c Elapsed CPU time: 140.478 s Remaining CPU time: 39.5224 s c =============================================================================== c | 647 | 1931 2485 873441 | 5000 640 1717 | 0.000 % | c =============================================================================== c New solution: 9759 c Elapsed CPU time: 141.087 s Remaining CPU time: 38.9134 s c =============================================================================== c | 648 | 1931 2486 875291 | 5000 641 1717 | 0.000 % | c =============================================================================== c New solution: 9758 c Elapsed CPU time: 141.713 s Remaining CPU time: 38.2865 s c =============================================================================== c | 653 | 1931 2487 877141 | 5000 646 1717 | 0.000 % | c =============================================================================== c New solution: 9757 c Elapsed CPU time: 142.287 s Remaining CPU time: 37.7126 s c =============================================================================== c | 653 | 1931 2488 878991 | 5000 646 1717 | 0.000 % | c =============================================================================== c New solution: 9756 c Elapsed CPU time: 142.846 s Remaining CPU time: 37.1537 s c =============================================================================== c | 653 | 1931 2489 880841 | 5000 646 1717 | 0.000 % | c =============================================================================== c New solution: 9755 c Elapsed CPU time: 143.535 s Remaining CPU time: 36.4648 s c =============================================================================== c | 679 | 1931 2490 882691 | 5000 672 1719 | 0.000 % | c =============================================================================== c New solution: 9754 c Elapsed CPU time: 144.313 s Remaining CPU time: 35.6869 s c =============================================================================== c | 699 | 1931 2491 884541 | 5000 692 1720 | 0.000 % | c =============================================================================== c New solution: 9753 c Elapsed CPU time: 144.9 s Remaining CPU time: 35.1 s c =============================================================================== c | 699 | 1931 2492 886391 | 5000 692 1720 | 0.000 % | c =============================================================================== c New solution: 9752 c Elapsed CPU time: 145.797 s Remaining CPU time: 34.2032 s c =============================================================================== c | 725 | 1931 2493 888241 | 5000 718 1721 | 0.000 % | c =============================================================================== c New solution: 9751 c Elapsed CPU time: 146.422 s Remaining CPU time: 33.5783 s c =============================================================================== c | 729 | 1931 2494 890091 | 5000 722 1722 | 0.000 % | c =============================================================================== c New solution: 9750 c Elapsed CPU time: 147.031 s Remaining CPU time: 32.9694 s c =============================================================================== c | 736 | 1931 2495 891941 | 5000 729 1722 | 0.000 % | c =============================================================================== c New solution: 9749 c Elapsed CPU time: 147.803 s Remaining CPU time: 32.1975 s c =============================================================================== c | 757 | 1931 2496 893791 | 5000 750 1723 | 0.000 % | c =============================================================================== c New solution: 9748 c Elapsed CPU time: 148.459 s Remaining CPU time: 31.5406 s c =============================================================================== c | 779 | 1931 2497 895641 | 5000 772 1724 | 0.000 % | c =============================================================================== c New solution: 9747 c Elapsed CPU time: 149.094 s Remaining CPU time: 30.9057 s c =============================================================================== c | 792 | 1931 2498 897491 | 5000 785 1724 | 0.000 % | c =============================================================================== c New solution: 9746 c Elapsed CPU time: 149.706 s Remaining CPU time: 30.2938 s c =============================================================================== c | 795 | 1931 2499 899341 | 5000 788 1724 | 0.000 % | c =============================================================================== c New solution: 9745 c Elapsed CPU time: 150.347 s Remaining CPU time: 29.6529 s c =============================================================================== c | 802 | 1931 2500 901191 | 5000 795 1725 | 0.000 % | c =============================================================================== c New solution: 9744 c Elapsed CPU time: 150.955 s Remaining CPU time: 29.0449 s c =============================================================================== c | 806 | 1931 2501 903041 | 5000 799 1725 | 0.000 % | c =============================================================================== c New solution: 9743 c Elapsed CPU time: 151.616 s Remaining CPU time: 28.3841 s c =============================================================================== c | 815 | 1931 2502 904891 | 5000 808 1725 | 0.000 % | c =============================================================================== c New solution: 9742 c Elapsed CPU time: 152.367 s Remaining CPU time: 27.6332 s c =============================================================================== c | 862 | 1931 2503 906741 | 5000 855 1727 | 0.000 % | c =============================================================================== c New solution: 9741 c Elapsed CPU time: 153.271 s Remaining CPU time: 26.7293 s c =============================================================================== c | 939 | 1931 2504 908591 | 5000 932 1729 | 0.000 % | c =============================================================================== c New solution: 9740 c Elapsed CPU time: 153.967 s Remaining CPU time: 26.0334 s c =============================================================================== c | 955 | 1931 2505 910441 | 5000 948 1729 | 0.000 % | c =============================================================================== c New solution: 9739 c Elapsed CPU time: 154.621 s Remaining CPU time: 25.3785 s c =============================================================================== c | 956 | 1931 2506 912291 | 5000 949 1729 | 0.000 % | c =============================================================================== c New solution: 9738 c Elapsed CPU time: 155.228 s Remaining CPU time: 24.7716 s c =============================================================================== c | 957 | 1931 2507 914141 | 5000 950 1729 | 0.000 % | c =============================================================================== c New solution: 9737 c Elapsed CPU time: 155.85 s Remaining CPU time: 24.1497 s c =============================================================================== c | 957 | 1931 2508 915991 | 5000 950 1729 | 0.000 % | c =============================================================================== c New solution: 9736 c Elapsed CPU time: 156.49 s Remaining CPU time: 23.5098 s c =============================================================================== c | 961 | 1931 2509 917841 | 5000 954 1730 | 0.000 % | c =============================================================================== c New solution: 9735 c Elapsed CPU time: 157.104 s Remaining CPU time: 22.8959 s c =============================================================================== c | 961 | 1931 2510 919691 | 5000 954 1730 | 0.000 % | c =============================================================================== c New solution: 9734 c Elapsed CPU time: 157.721 s Remaining CPU time: 22.279 s c =============================================================================== c | 962 | 1931 2511 921541 | 5000 955 1730 | 0.000 % | c =============================================================================== c New solution: 9733 c Elapsed CPU time: 158.337 s Remaining CPU time: 21.6631 s c =============================================================================== c | 963 | 1931 2512 923391 | 5000 956 1730 | 0.000 % | c =============================================================================== c New solution: 9732 c Elapsed CPU time: 158.982 s Remaining CPU time: 21.0182 s c =============================================================================== c | 963 | 1931 2513 925241 | 5000 956 1730 | 0.000 % | c =============================================================================== c New solution: 9731 c Elapsed CPU time: 159.621 s Remaining CPU time: 20.3793 s c =============================================================================== c | 981 | 1931 2514 927091 | 5000 974 1730 | 0.000 % | c =============================================================================== c New solution: 9730 c Elapsed CPU time: 160.481 s Remaining CPU time: 19.5194 s c =============================================================================== c | 1006 | 1931 2515 928941 | 5000 999 1731 | 0.000 % | c =============================================================================== c New solution: 9729 c Elapsed CPU time: 161.105 s Remaining CPU time: 18.8955 s c =============================================================================== c | 1013 | 1931 2516 930791 | 5000 1006 1731 | 0.000 % | c =============================================================================== c New solution: 9728 c Elapsed CPU time: 162.467 s Remaining CPU time: 17.5327 s c =============================================================================== c | 1073 | 1931 2517 932641 | 5000 1066 1732 | 0.000 % | c =============================================================================== c New solution: 9727 c Elapsed CPU time: 163.115 s Remaining CPU time: 16.8848 s c =============================================================================== c | 1078 | 1931 2518 934491 | 5000 1071 1732 | 0.000 % | c =============================================================================== c New solution: 9726 c Elapsed CPU time: 163.763 s Remaining CPU time: 16.2369 s c =============================================================================== c | 1085 | 1931 2519 936341 | 5000 1078 1732 | 0.000 % | c =============================================================================== c New solution: 9725 c Elapsed CPU time: 164.404 s Remaining CPU time: 15.596 s c =============================================================================== c | 1086 | 1931 2520 938191 | 5000 1079 1732 | 0.000 % | c =============================================================================== c New solution: 9724 c Elapsed CPU time: 165.067 s Remaining CPU time: 14.9331 s c =============================================================================== c | 1086 | 1931 2521 940041 | 5000 1079 1732 | 0.000 % | c =============================================================================== c New solution: 9723 c Elapsed CPU time: 165.931 s Remaining CPU time: 14.0692 s c =============================================================================== c | 1138 | 1931 2522 941891 | 5000 1131 1733 | 0.000 % | c =============================================================================== c New solution: 9722 c Elapsed CPU time: 166.75 s Remaining CPU time: 13.2503 s c =============================================================================== c | 1160 | 1931 2523 943741 | 5000 1153 1733 | 0.000 % | c =============================================================================== c New solution: 9721 c Elapsed CPU time: 167.473 s Remaining CPU time: 12.5275 s c =============================================================================== c | 1184 | 1931 2524 945591 | 5000 1177 1734 | 0.000 % | c =============================================================================== c New solution: 9720 c Elapsed CPU time: 168.115 s Remaining CPU time: 11.8846 s c =============================================================================== c | 1189 | 1931 2525 947441 | 5000 1182 1734 | 0.000 % | c =============================================================================== c New solution: 9719 c Elapsed CPU time: 168.779 s Remaining CPU time: 11.2207 s c =============================================================================== c | 1194 | 1931 2526 949291 | 5000 1187 1734 | 0.000 % | c | 1295 | 1931 2526 949291 | 5500 1288 1735 | 3.450 % | c =============================================================================== c New solution: 9718 c Elapsed CPU time: 170.686 s Remaining CPU time: 9.31395 s c =============================================================================== c | 1325 | 1931 2527 951141 | 5000 1318 1736 | 3.450 % | c =============================================================================== c New solution: 9717 c Elapsed CPU time: 171.67 s Remaining CPU time: 8.3301 s c =============================================================================== c | 1405 | 1931 2528 952991 | 5000 1398 1736 | 3.450 % | c =============================================================================== c New solution: 9716 c Elapsed CPU time: 172.484 s Remaining CPU time: 7.51622 s c =============================================================================== c | 1448 | 1931 2529 954841 | 5000 1441 1737 | 3.450 % | c =============================================================================== c New solution: 9715 c Elapsed CPU time: 173.268 s Remaining CPU time: 6.73234 s c =============================================================================== c | 1488 | 1931 2530 956691 | 5000 1481 1737 | 3.450 % | c | 1588 | 1931 2530 956691 | 5500 1581 1738 | 3.450 % | c =============================================================================== c New solution: 9714 c Elapsed CPU time: 175.427 s Remaining CPU time: 4.57267 s c =============================================================================== c | 1646 | 1931 2531 958541 | 5000 1639 1738 | 3.450 % | c =============================================================================== c New solution: 9713 c Elapsed CPU time: 176.424 s Remaining CPU time: 3.57582 s c =============================================================================== c | 1723 | 1931 2532 960391 | 5000 1716 1739 | 3.450 % | c =============================================================================== c New solution: 9712 c Elapsed CPU time: 177.248 s Remaining CPU time: 2.75195 s c =============================================================================== c | 1776 | 1931 2533 962241 | 5000 1769 1739 | 3.450 % | c =============================================================================== c New solution: 9711 c Elapsed CPU time: 177.941 s Remaining CPU time: 2.05905 s c =============================================================================== c | 1784 | 1931 2534 964091 | 5000 1777 1739 | 3.450 % | c =============================================================================== c New solution: 9710 c Elapsed CPU time: 178.606 s Remaining CPU time: 1.39415 s c =============================================================================== c | 1792 | 1931 2535 965941 | 5000 1785 1739 | 3.450 % | c =============================================================================== c New solution: 9709 c Elapsed CPU time: 179.288 s Remaining CPU time: 0.712256 s c =============================================================================== c | 1798 | 1931 2536 967791 | 5000 1791 1739 | 3.450 % | c =============================================================================== c New solution: 9708 c Elapsed CPU time: 179.987 s Remaining CPU time: 0.013363 s c =============================================================================== c | 1800 | 1931 2537 969641 | 5000 1793 1739 | 3.450 % | c There are 69 assigned variables. 31 in cost function.