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 | 1999 2001 5850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10319 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1999 2002 7700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10315 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1999 2003 9550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10311 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1999 2004 11400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10310 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1999 2005 13250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10306 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1999 2006 15100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10303 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 1999 2007 16950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10302 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 0 | 1999 2008 18800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10298 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 1999 2009 20650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10297 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 1999 2010 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10294 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 1999 2011 24350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10292 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 1999 2012 26200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10288 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 1999 2013 28050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10287 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 0 | 1999 2014 29900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10284 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 1999 2015 31750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10283 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 0 | 1999 2016 33600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10282 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 0 | 1999 2017 35450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10281 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 1999 2018 37300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10280 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 1999 2019 39150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10279 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 0 | 1999 2020 41000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10278 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 1999 2021 42850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10277 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 0 | 1999 2022 44700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10276 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 0 | 1999 2023 46550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10273 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 0 | 1999 2024 48400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10270 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 0 | 1999 2025 50250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10268 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 1999 2026 52100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10267 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 0 | 1999 2027 53950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10266 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 0 | 1999 2028 55800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10265 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 0 | 1999 2029 57650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10263 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 0 | 1999 2030 59500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10260 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 0 | 1999 2031 61350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10259 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 0 | 1999 2032 63200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10255 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 0 | 1999 2033 65050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10251 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 0 | 1999 2034 66900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10249 c Elapsed CPU time: 0.711891 s Remaining CPU time: 179.288 s c =============================================================================== c | 0 | 1999 2035 68750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10248 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 0 | 1999 2036 70600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10247 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 0 | 1999 2037 72450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10243 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 0 | 1999 2038 74300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10241 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 0 | 1999 2039 76150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10240 c Elapsed CPU time: 0.873867 s Remaining CPU time: 179.126 s c =============================================================================== c | 0 | 1999 2040 78000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10237 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 0 | 1999 2041 79850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10236 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 0 | 1999 2042 81700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10235 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 0 | 1999 2043 83550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10233 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s c =============================================================================== c | 0 | 1999 2044 85400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10231 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 0 | 1999 2045 87250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10229 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 0 | 1999 2046 89100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10228 c Elapsed CPU time: 1.14383 s Remaining CPU time: 178.856 s c =============================================================================== c | 0 | 1999 2047 90950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10227 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 0 | 1999 2048 92800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10226 c Elapsed CPU time: 1.22681 s Remaining CPU time: 178.773 s c =============================================================================== c | 0 | 1999 2049 94650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10224 c Elapsed CPU time: 1.27181 s Remaining CPU time: 178.728 s c =============================================================================== c | 0 | 1999 2050 96500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10223 c Elapsed CPU time: 1.3168 s Remaining CPU time: 178.683 s c =============================================================================== c | 0 | 1999 2051 98350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10222 c Elapsed CPU time: 1.36079 s Remaining CPU time: 178.639 s c =============================================================================== c | 0 | 1999 2052 100200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10220 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 0 | 1999 2053 102050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10218 c Elapsed CPU time: 1.45778 s Remaining CPU time: 178.542 s c =============================================================================== c | 0 | 1999 2054 103900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10215 c Elapsed CPU time: 1.50577 s Remaining CPU time: 178.494 s c =============================================================================== c | 0 | 1999 2055 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10213 c Elapsed CPU time: 1.55676 s Remaining CPU time: 178.443 s c =============================================================================== c | 0 | 1999 2056 107600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10210 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 0 | 1999 2057 109450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10209 c Elapsed CPU time: 1.65375 s Remaining CPU time: 178.346 s c =============================================================================== c | 0 | 1999 2058 111300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10208 c Elapsed CPU time: 1.70574 s Remaining CPU time: 178.294 s c =============================================================================== c | 0 | 1999 2059 113150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10207 c Elapsed CPU time: 1.75873 s Remaining CPU time: 178.241 s c =============================================================================== c | 0 | 1999 2060 115000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10206 c Elapsed CPU time: 1.81272 s Remaining CPU time: 178.187 s c =============================================================================== c | 0 | 1999 2061 116850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10202 c Elapsed CPU time: 1.86972 s Remaining CPU time: 178.13 s c =============================================================================== c | 0 | 1999 2062 118700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10199 c Elapsed CPU time: 1.93071 s Remaining CPU time: 178.069 s c =============================================================================== c | 0 | 1999 2063 120550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10197 c Elapsed CPU time: 1.9917 s Remaining CPU time: 178.008 s c =============================================================================== c | 0 | 1999 2064 122400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10195 c Elapsed CPU time: 2.05169 s Remaining CPU time: 177.948 s c =============================================================================== c | 0 | 1999 2065 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10191 c Elapsed CPU time: 2.11268 s Remaining CPU time: 177.887 s c =============================================================================== c | 0 | 1999 2066 126100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10189 c Elapsed CPU time: 2.17467 s Remaining CPU time: 177.825 s c =============================================================================== c | 0 | 1999 2067 127950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10186 c Elapsed CPU time: 2.23666 s Remaining CPU time: 177.763 s c =============================================================================== c | 0 | 1999 2068 129800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10185 c Elapsed CPU time: 2.30165 s Remaining CPU time: 177.698 s c =============================================================================== c | 0 | 1999 2069 131650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10184 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 0 | 1999 2070 133500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10180 c Elapsed CPU time: 2.43163 s Remaining CPU time: 177.568 s c =============================================================================== c | 0 | 1999 2071 135350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10178 c Elapsed CPU time: 2.49962 s Remaining CPU time: 177.5 s c =============================================================================== c | 0 | 1999 2072 137200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10177 c Elapsed CPU time: 2.57161 s Remaining CPU time: 177.428 s c =============================================================================== c | 0 | 1999 2073 139050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10176 c Elapsed CPU time: 2.6426 s Remaining CPU time: 177.357 s c =============================================================================== c | 0 | 1999 2074 140900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10173 c Elapsed CPU time: 2.71359 s Remaining CPU time: 177.286 s c =============================================================================== c | 0 | 1999 2075 142750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10172 c Elapsed CPU time: 2.78758 s Remaining CPU time: 177.212 s c =============================================================================== c | 0 | 1999 2076 144600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10168 c Elapsed CPU time: 2.85956 s Remaining CPU time: 177.14 s c =============================================================================== c | 0 | 1999 2077 146450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10164 c Elapsed CPU time: 2.93255 s Remaining CPU time: 177.067 s c =============================================================================== c | 0 | 1999 2078 148300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10160 c Elapsed CPU time: 3.00554 s Remaining CPU time: 176.994 s c =============================================================================== c | 0 | 1999 2079 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10158 c Elapsed CPU time: 3.08553 s Remaining CPU time: 176.914 s c =============================================================================== c | 0 | 1999 2080 152000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10156 c Elapsed CPU time: 3.16352 s Remaining CPU time: 176.836 s c =============================================================================== c | 0 | 1999 2081 153850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10153 c Elapsed CPU time: 3.24651 s Remaining CPU time: 176.753 s c =============================================================================== c | 0 | 1999 2082 155700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10151 c Elapsed CPU time: 3.32549 s Remaining CPU time: 176.675 s c =============================================================================== c | 0 | 1999 2083 157550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10148 c Elapsed CPU time: 3.40748 s Remaining CPU time: 176.593 s c =============================================================================== c | 0 | 1999 2084 159400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10144 c Elapsed CPU time: 3.49147 s Remaining CPU time: 176.509 s c =============================================================================== c | 0 | 1999 2085 161250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10141 c Elapsed CPU time: 3.57746 s Remaining CPU time: 176.423 s c =============================================================================== c | 0 | 1999 2086 163100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10139 c Elapsed CPU time: 3.66744 s Remaining CPU time: 176.333 s c =============================================================================== c | 0 | 1999 2087 164950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10138 c Elapsed CPU time: 3.75643 s Remaining CPU time: 176.244 s c =============================================================================== c | 0 | 1999 2088 166800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10137 c Elapsed CPU time: 3.84841 s Remaining CPU time: 176.152 s c =============================================================================== c | 0 | 1999 2089 168650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10136 c Elapsed CPU time: 3.9414 s Remaining CPU time: 176.059 s c =============================================================================== c | 0 | 1999 2090 170500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10135 c Elapsed CPU time: 4.03339 s Remaining CPU time: 175.967 s c =============================================================================== c | 0 | 1999 2091 172350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10134 c Elapsed CPU time: 4.12537 s Remaining CPU time: 175.875 s c =============================================================================== c | 0 | 1999 2092 174200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10133 c Elapsed CPU time: 4.22136 s Remaining CPU time: 175.779 s c =============================================================================== c | 0 | 1999 2093 176050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10132 c Elapsed CPU time: 4.31434 s Remaining CPU time: 175.686 s c =============================================================================== c | 0 | 1999 2094 177900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10128 c Elapsed CPU time: 4.40933 s Remaining CPU time: 175.591 s c =============================================================================== c | 0 | 1999 2095 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10126 c Elapsed CPU time: 4.50232 s Remaining CPU time: 175.498 s c =============================================================================== c | 0 | 1999 2096 181600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10122 c Elapsed CPU time: 4.6033 s Remaining CPU time: 175.397 s c =============================================================================== c | 0 | 1999 2097 183450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10121 c Elapsed CPU time: 4.71028 s Remaining CPU time: 175.29 s c =============================================================================== c | 0 | 1999 2098 185300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10120 c Elapsed CPU time: 4.81527 s Remaining CPU time: 175.185 s c =============================================================================== c | 0 | 1999 2099 187150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10119 c Elapsed CPU time: 4.92425 s Remaining CPU time: 175.076 s c =============================================================================== c | 0 | 1999 2100 189000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10117 c Elapsed CPU time: 5.03823 s Remaining CPU time: 174.962 s c =============================================================================== c | 0 | 1999 2101 190850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10115 c Elapsed CPU time: 5.15022 s Remaining CPU time: 174.85 s c =============================================================================== c | 0 | 1999 2102 192700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10112 c Elapsed CPU time: 5.2692 s Remaining CPU time: 174.731 s c =============================================================================== c | 0 | 1999 2103 194550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10111 c Elapsed CPU time: 5.38418 s Remaining CPU time: 174.616 s c =============================================================================== c | 0 | 1999 2104 196400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10110 c Elapsed CPU time: 5.50216 s Remaining CPU time: 174.498 s c =============================================================================== c | 0 | 1999 2105 198250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10107 c Elapsed CPU time: 5.61515 s Remaining CPU time: 174.385 s c =============================================================================== c | 0 | 1999 2106 200100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10106 c Elapsed CPU time: 5.73313 s Remaining CPU time: 174.267 s c =============================================================================== c | 0 | 1999 2107 201950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10102 c Elapsed CPU time: 5.85211 s Remaining CPU time: 174.148 s c =============================================================================== c | 0 | 1999 2108 203800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10097 c Elapsed CPU time: 5.97309 s Remaining CPU time: 174.027 s c =============================================================================== c | 0 | 1999 2109 205650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10095 c Elapsed CPU time: 6.10007 s Remaining CPU time: 173.9 s c =============================================================================== c | 0 | 1999 2110 207500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10092 c Elapsed CPU time: 6.22005 s Remaining CPU time: 173.78 s c =============================================================================== c | 0 | 1999 2111 209350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10091 c Elapsed CPU time: 6.34504 s Remaining CPU time: 173.655 s c =============================================================================== c | 0 | 1999 2112 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10088 c Elapsed CPU time: 6.47102 s Remaining CPU time: 173.529 s c =============================================================================== c | 0 | 1999 2113 213050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10087 c Elapsed CPU time: 6.6 s Remaining CPU time: 173.4 s c =============================================================================== c | 0 | 1999 2114 214900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10086 c Elapsed CPU time: 6.72798 s Remaining CPU time: 173.272 s c =============================================================================== c | 0 | 1999 2115 216750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10082 c Elapsed CPU time: 6.85496 s Remaining CPU time: 173.145 s c =============================================================================== c | 0 | 1999 2116 218600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10081 c Elapsed CPU time: 6.98794 s Remaining CPU time: 173.012 s c =============================================================================== c | 0 | 1999 2117 220450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10080 c Elapsed CPU time: 7.12592 s Remaining CPU time: 172.874 s c =============================================================================== c | 0 | 1999 2118 222300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10079 c Elapsed CPU time: 7.26389 s Remaining CPU time: 172.736 s c =============================================================================== c | 0 | 1999 2119 224150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10078 c Elapsed CPU time: 7.39787 s Remaining CPU time: 172.602 s c =============================================================================== c | 0 | 1999 2120 226000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10077 c Elapsed CPU time: 7.53385 s Remaining CPU time: 172.466 s c =============================================================================== c | 0 | 1999 2121 227850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10076 c Elapsed CPU time: 7.67783 s Remaining CPU time: 172.322 s c =============================================================================== c | 0 | 1999 2122 229700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10074 c Elapsed CPU time: 7.82381 s Remaining CPU time: 172.176 s c =============================================================================== c | 0 | 1999 2123 231550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10073 c Elapsed CPU time: 7.96979 s Remaining CPU time: 172.03 s c =============================================================================== c | 0 | 1999 2124 233400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10070 c Elapsed CPU time: 8.11876 s Remaining CPU time: 171.881 s c =============================================================================== c | 0 | 1999 2125 235250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10069 c Elapsed CPU time: 8.26874 s Remaining CPU time: 171.731 s c =============================================================================== c | 0 | 1999 2126 237100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10068 c Elapsed CPU time: 8.41772 s Remaining CPU time: 171.582 s c =============================================================================== c | 0 | 1999 2127 238950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10065 c Elapsed CPU time: 8.5707 s Remaining CPU time: 171.429 s c =============================================================================== c | 0 | 1999 2128 240800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10064 c Elapsed CPU time: 8.72667 s Remaining CPU time: 171.273 s c =============================================================================== c | 0 | 1999 2129 242650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10062 c Elapsed CPU time: 8.88165 s Remaining CPU time: 171.118 s c =============================================================================== c | 0 | 1999 2130 244500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10061 c Elapsed CPU time: 9.03263 s Remaining CPU time: 170.967 s c =============================================================================== c | 0 | 1999 2131 246350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10060 c Elapsed CPU time: 9.1906 s Remaining CPU time: 170.809 s c =============================================================================== c | 0 | 1999 2132 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10058 c Elapsed CPU time: 9.34558 s Remaining CPU time: 170.654 s c =============================================================================== c | 0 | 1999 2133 250050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10056 c Elapsed CPU time: 9.50356 s Remaining CPU time: 170.496 s c =============================================================================== c | 0 | 1999 2134 251900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10055 c Elapsed CPU time: 9.65453 s Remaining CPU time: 170.345 s c =============================================================================== c | 0 | 1999 2135 253750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10054 c Elapsed CPU time: 9.80151 s Remaining CPU time: 170.198 s c =============================================================================== c | 0 | 1999 2136 255600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10053 c Elapsed CPU time: 9.95649 s Remaining CPU time: 170.044 s c =============================================================================== c | 0 | 1999 2137 257450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10051 c Elapsed CPU time: 10.1145 s Remaining CPU time: 169.886 s c =============================================================================== c | 0 | 1999 2138 259300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10050 c Elapsed CPU time: 10.2654 s Remaining CPU time: 169.735 s c =============================================================================== c | 0 | 1999 2139 261150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10049 c Elapsed CPU time: 10.4194 s Remaining CPU time: 169.581 s c =============================================================================== c | 0 | 1999 2140 263000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10046 c Elapsed CPU time: 10.5764 s Remaining CPU time: 169.424 s c =============================================================================== c | 0 | 1999 2141 264850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10045 c Elapsed CPU time: 10.7414 s Remaining CPU time: 169.259 s c =============================================================================== c | 0 | 1999 2142 266700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10042 c Elapsed CPU time: 10.9043 s Remaining CPU time: 169.096 s c =============================================================================== c | 0 | 1999 2143 268550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10038 c Elapsed CPU time: 11.0693 s Remaining CPU time: 168.931 s c =============================================================================== c | 0 | 1999 2144 270400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10036 c Elapsed CPU time: 11.2323 s Remaining CPU time: 168.768 s c =============================================================================== c | 0 | 1999 2145 272250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10035 c Elapsed CPU time: 11.4013 s Remaining CPU time: 168.599 s c =============================================================================== c | 0 | 1999 2146 274100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10032 c Elapsed CPU time: 11.5622 s Remaining CPU time: 168.438 s c =============================================================================== c | 0 | 1999 2147 275950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10029 c Elapsed CPU time: 11.7352 s Remaining CPU time: 168.265 s c =============================================================================== c | 0 | 1999 2148 277800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10028 c Elapsed CPU time: 11.9092 s Remaining CPU time: 168.091 s c =============================================================================== c | 0 | 1999 2149 279650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10026 c Elapsed CPU time: 12.0742 s Remaining CPU time: 167.926 s c =============================================================================== c | 0 | 1999 2150 281500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10025 c Elapsed CPU time: 12.2441 s Remaining CPU time: 167.756 s c =============================================================================== c | 0 | 1999 2151 283350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10024 c Elapsed CPU time: 12.4151 s Remaining CPU time: 167.585 s c =============================================================================== c | 0 | 1999 2152 285200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10023 c Elapsed CPU time: 12.5841 s Remaining CPU time: 167.416 s c =============================================================================== c | 0 | 1999 2153 287050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10022 c Elapsed CPU time: 12.7581 s Remaining CPU time: 167.242 s c =============================================================================== c | 0 | 1999 2154 288900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10019 c Elapsed CPU time: 12.93 s Remaining CPU time: 167.07 s c =============================================================================== c | 0 | 1999 2155 290750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10018 c Elapsed CPU time: 13.103 s Remaining CPU time: 166.897 s c =============================================================================== c | 0 | 1999 2156 292600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10016 c Elapsed CPU time: 13.281 s Remaining CPU time: 166.719 s c =============================================================================== c | 0 | 1999 2157 294450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10015 c Elapsed CPU time: 13.464 s Remaining CPU time: 166.536 s c =============================================================================== c | 0 | 1999 2158 296300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10011 c Elapsed CPU time: 13.6439 s Remaining CPU time: 166.356 s c =============================================================================== c | 0 | 1999 2159 298150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10010 c Elapsed CPU time: 13.8279 s Remaining CPU time: 166.172 s c =============================================================================== c | 0 | 1999 2160 300000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10008 c Elapsed CPU time: 14.0129 s Remaining CPU time: 165.987 s c =============================================================================== c | 0 | 1999 2161 301850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10007 c Elapsed CPU time: 14.1968 s Remaining CPU time: 165.803 s c =============================================================================== c | 0 | 1999 2162 303700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10006 c Elapsed CPU time: 14.3808 s Remaining CPU time: 165.619 s c =============================================================================== c | 0 | 1999 2163 305550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10005 c Elapsed CPU time: 14.5658 s Remaining CPU time: 165.434 s c =============================================================================== c | 0 | 1999 2164 307400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10004 c Elapsed CPU time: 14.7498 s Remaining CPU time: 165.25 s c =============================================================================== c | 0 | 1999 2165 309250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10002 c Elapsed CPU time: 14.9367 s Remaining CPU time: 165.063 s c =============================================================================== c | 0 | 1999 2166 311100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10001 c Elapsed CPU time: 15.1257 s Remaining CPU time: 164.874 s c =============================================================================== c | 0 | 1999 2167 312950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9999 c Elapsed CPU time: 15.3137 s Remaining CPU time: 164.686 s c =============================================================================== c | 0 | 1999 2168 314800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9998 c Elapsed CPU time: 15.5026 s Remaining CPU time: 164.497 s c =============================================================================== c | 0 | 1999 2169 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9997 c Elapsed CPU time: 15.6946 s Remaining CPU time: 164.305 s c =============================================================================== c | 0 | 1999 2170 318500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9996 c Elapsed CPU time: 15.8836 s Remaining CPU time: 164.116 s c =============================================================================== c | 0 | 1999 2171 320350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9995 c Elapsed CPU time: 16.0796 s Remaining CPU time: 163.92 s c =============================================================================== c | 0 | 1999 2172 322200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9993 c Elapsed CPU time: 16.2755 s Remaining CPU time: 163.724 s c =============================================================================== c | 0 | 1999 2173 324050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9991 c Elapsed CPU time: 16.4735 s Remaining CPU time: 163.527 s c =============================================================================== c | 0 | 1999 2174 325900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9990 c Elapsed CPU time: 16.6755 s Remaining CPU time: 163.325 s c =============================================================================== c | 0 | 1999 2175 327750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9989 c Elapsed CPU time: 16.8804 s Remaining CPU time: 163.12 s c =============================================================================== c | 0 | 1999 2176 329600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9988 c Elapsed CPU time: 17.0874 s Remaining CPU time: 162.913 s c =============================================================================== c | 0 | 1999 2177 331450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9987 c Elapsed CPU time: 17.2924 s Remaining CPU time: 162.708 s c =============================================================================== c | 0 | 1999 2178 333300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9985 c Elapsed CPU time: 17.4953 s Remaining CPU time: 162.505 s c =============================================================================== c | 0 | 1999 2179 335150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9981 c Elapsed CPU time: 17.6943 s Remaining CPU time: 162.306 s c =============================================================================== c | 0 | 1999 2180 337000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9978 c Elapsed CPU time: 17.8963 s Remaining CPU time: 162.104 s c =============================================================================== c | 0 | 1999 2181 338850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9976 c Elapsed CPU time: 18.0992 s Remaining CPU time: 161.901 s c =============================================================================== c | 0 | 1999 2182 340700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9975 c Elapsed CPU time: 18.3082 s Remaining CPU time: 161.692 s c =============================================================================== c | 0 | 1999 2183 342550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9973 c Elapsed CPU time: 18.5192 s Remaining CPU time: 161.481 s c =============================================================================== c | 0 | 1999 2184 344400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9971 c Elapsed CPU time: 18.7262 s Remaining CPU time: 161.274 s c =============================================================================== c | 0 | 1999 2185 346250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9970 c Elapsed CPU time: 18.9421 s Remaining CPU time: 161.058 s c =============================================================================== c | 0 | 1999 2186 348100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9969 c Elapsed CPU time: 19.1541 s Remaining CPU time: 160.846 s c =============================================================================== c | 0 | 1999 2187 349950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9967 c Elapsed CPU time: 19.3701 s Remaining CPU time: 160.63 s c =============================================================================== c | 0 | 1999 2188 351800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9966 c Elapsed CPU time: 19.584 s Remaining CPU time: 160.416 s c =============================================================================== c | 0 | 1999 2189 353650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9965 c Elapsed CPU time: 19.8 s Remaining CPU time: 160.2 s c =============================================================================== c | 0 | 1999 2190 355500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9963 c Elapsed CPU time: 20.02 s Remaining CPU time: 159.98 s c =============================================================================== c | 0 | 1999 2191 357350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9962 c Elapsed CPU time: 20.2439 s Remaining CPU time: 159.756 s c =============================================================================== c | 0 | 1999 2192 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9960 c Elapsed CPU time: 20.4709 s Remaining CPU time: 159.529 s c =============================================================================== c | 0 | 1999 2193 361050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9957 c Elapsed CPU time: 20.6959 s Remaining CPU time: 159.304 s c =============================================================================== c | 0 | 1999 2194 362900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9956 c Elapsed CPU time: 20.9278 s Remaining CPU time: 159.072 s c =============================================================================== c | 1 | 1999 2195 364750 | 5000 1 1800 | 0.000 % | c =============================================================================== c New solution: 9955 c Elapsed CPU time: 21.1548 s Remaining CPU time: 158.845 s c =============================================================================== c | 1 | 1999 2196 366600 | 5000 1 1800 | 0.000 % | c =============================================================================== c New solution: 9954 c Elapsed CPU time: 21.3917 s Remaining CPU time: 158.608 s c =============================================================================== c | 1 | 1999 2197 368450 | 5000 1 1800 | 0.000 % | c =============================================================================== c New solution: 9953 c Elapsed CPU time: 21.6357 s Remaining CPU time: 158.364 s c =============================================================================== c | 1 | 1999 2198 370300 | 5000 1 1800 | 0.000 % | c =============================================================================== c New solution: 9952 c Elapsed CPU time: 21.8577 s Remaining CPU time: 158.142 s c =============================================================================== c | 1 | 1999 2199 372150 | 5000 1 1800 | 0.000 % | c =============================================================================== c New solution: 9951 c Elapsed CPU time: 22.0876 s Remaining CPU time: 157.912 s c =============================================================================== c | 1 | 1999 2200 374000 | 5000 1 1800 | 0.000 % | c =============================================================================== c New solution: 9950 c Elapsed CPU time: 22.3196 s Remaining CPU time: 157.68 s c =============================================================================== c | 1 | 1999 2201 375850 | 5000 1 1800 | 0.000 % | c =============================================================================== c New solution: 9949 c Elapsed CPU time: 22.5506 s Remaining CPU time: 157.449 s c =============================================================================== c | 2 | 1999 2202 377700 | 5000 2 1798 | 0.000 % | c =============================================================================== c New solution: 9948 c Elapsed CPU time: 22.7825 s Remaining CPU time: 157.217 s c =============================================================================== c | 2 | 1999 2203 379550 | 5000 2 1798 | 0.000 % | c =============================================================================== c New solution: 9947 c Elapsed CPU time: 23.0275 s Remaining CPU time: 156.973 s c =============================================================================== c | 2 | 1999 2204 381400 | 5000 2 1798 | 0.000 % | c =============================================================================== c New solution: 9946 c Elapsed CPU time: 23.2715 s Remaining CPU time: 156.729 s c =============================================================================== c | 2 | 1999 2205 383250 | 5000 2 1798 | 0.000 % | c =============================================================================== c New solution: 9945 c Elapsed CPU time: 23.5284 s Remaining CPU time: 156.472 s c =============================================================================== c | 3 | 1999 2206 385100 | 5000 3 1798 | 0.000 % | c =============================================================================== c New solution: 9944 c Elapsed CPU time: 23.7834 s Remaining CPU time: 156.217 s c =============================================================================== c | 4 | 1999 2207 386950 | 5000 4 1349 | 0.000 % | c =============================================================================== c New solution: 9943 c Elapsed CPU time: 24.0293 s Remaining CPU time: 155.971 s c =============================================================================== c | 4 | 1999 2208 388800 | 5000 4 1349 | 0.000 % | c =============================================================================== c New solution: 9942 c Elapsed CPU time: 24.2833 s Remaining CPU time: 155.717 s c =============================================================================== c | 4 | 1999 2209 390650 | 5000 4 1349 | 0.000 % | c =============================================================================== c New solution: 9941 c Elapsed CPU time: 24.5503 s Remaining CPU time: 155.45 s c =============================================================================== c | 17 | 1999 2210 392500 | 5000 17 1690 | 0.000 % | c =============================================================================== c New solution: 9940 c Elapsed CPU time: 24.7962 s Remaining CPU time: 155.204 s c =============================================================================== c | 17 | 1999 2211 394350 | 5000 17 1690 | 0.000 % | c =============================================================================== c New solution: 9939 c Elapsed CPU time: 25.0582 s Remaining CPU time: 154.942 s c =============================================================================== c | 17 | 1999 2212 396200 | 5000 17 1690 | 0.000 % | c =============================================================================== c New solution: 9938 c Elapsed CPU time: 25.3112 s Remaining CPU time: 154.689 s c =============================================================================== c | 17 | 1999 2213 398050 | 5000 17 1690 | 0.000 % | c =============================================================================== c New solution: 9937 c Elapsed CPU time: 25.5631 s Remaining CPU time: 154.437 s c =============================================================================== c | 17 | 1999 2214 399900 | 5000 17 1690 | 0.000 % | c =============================================================================== c New solution: 9936 c Elapsed CPU time: 25.8171 s Remaining CPU time: 154.183 s c =============================================================================== c | 17 | 1999 2215 401750 | 5000 17 1690 | 0.000 % | c =============================================================================== c New solution: 9935 c Elapsed CPU time: 26.094 s Remaining CPU time: 153.906 s c =============================================================================== c | 19 | 1999 2216 403600 | 5000 19 1701 | 0.000 % | c =============================================================================== c New solution: 9934 c Elapsed CPU time: 26.359 s Remaining CPU time: 153.641 s c =============================================================================== c | 19 | 1999 2217 405450 | 5000 19 1701 | 0.000 % | c =============================================================================== c New solution: 9933 c Elapsed CPU time: 26.617 s Remaining CPU time: 153.383 s c =============================================================================== c | 20 | 1999 2218 407300 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9932 c Elapsed CPU time: 26.8729 s Remaining CPU time: 153.127 s c =============================================================================== c | 20 | 1999 2219 409150 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9931 c Elapsed CPU time: 27.1339 s Remaining CPU time: 152.866 s c =============================================================================== c | 20 | 1999 2220 411000 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9930 c Elapsed CPU time: 27.3888 s Remaining CPU time: 152.611 s c =============================================================================== c | 20 | 1999 2221 412850 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9929 c Elapsed CPU time: 27.6538 s Remaining CPU time: 152.346 s c =============================================================================== c | 20 | 1999 2222 414700 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9928 c Elapsed CPU time: 27.9158 s Remaining CPU time: 152.084 s c =============================================================================== c | 20 | 1999 2223 416550 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9927 c Elapsed CPU time: 28.1737 s Remaining CPU time: 151.826 s c =============================================================================== c | 20 | 1999 2224 418400 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9926 c Elapsed CPU time: 28.4377 s Remaining CPU time: 151.562 s c =============================================================================== c | 20 | 1999 2225 420250 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9925 c Elapsed CPU time: 28.6896 s Remaining CPU time: 151.31 s c =============================================================================== c | 20 | 1999 2226 422100 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9924 c Elapsed CPU time: 28.9576 s Remaining CPU time: 151.042 s c =============================================================================== c | 20 | 1999 2227 423950 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9923 c Elapsed CPU time: 29.2316 s Remaining CPU time: 150.768 s c =============================================================================== c | 20 | 1999 2228 425800 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9922 c Elapsed CPU time: 29.5155 s Remaining CPU time: 150.484 s c =============================================================================== c | 20 | 1999 2229 427650 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9921 c Elapsed CPU time: 29.7835 s Remaining CPU time: 150.217 s c =============================================================================== c | 20 | 1999 2230 429500 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9920 c Elapsed CPU time: 30.0464 s Remaining CPU time: 149.954 s c =============================================================================== c | 20 | 1999 2231 431350 | 5000 20 1616 | 0.000 % | c =============================================================================== c New solution: 9919 c Elapsed CPU time: 30.3224 s Remaining CPU time: 149.678 s c =============================================================================== c | 21 | 1999 2232 433200 | 5000 21 1624 | 0.000 % | c =============================================================================== c New solution: 9918 c Elapsed CPU time: 30.6123 s Remaining CPU time: 149.388 s c =============================================================================== c | 21 | 1999 2233 435050 | 5000 21 1624 | 0.000 % | c =============================================================================== c New solution: 9917 c Elapsed CPU time: 30.8923 s Remaining CPU time: 149.108 s c =============================================================================== c | 21 | 1999 2234 436900 | 5000 21 1624 | 0.000 % | c =============================================================================== c New solution: 9916 c Elapsed CPU time: 31.1723 s Remaining CPU time: 148.828 s c =============================================================================== c | 21 | 1999 2235 438750 | 5000 21 1624 | 0.000 % | c =============================================================================== c New solution: 9915 c Elapsed CPU time: 31.4542 s Remaining CPU time: 148.546 s c =============================================================================== c | 21 | 1999 2236 440600 | 5000 21 1624 | 0.000 % | c =============================================================================== c New solution: 9914 c Elapsed CPU time: 31.7342 s Remaining CPU time: 148.266 s c =============================================================================== c | 21 | 1999 2237 442450 | 5000 21 1624 | 0.000 % | c =============================================================================== c New solution: 9913 c Elapsed CPU time: 32.0061 s Remaining CPU time: 147.994 s c =============================================================================== c | 21 | 1999 2238 444300 | 5000 21 1624 | 0.000 % | c =============================================================================== c New solution: 9912 c Elapsed CPU time: 32.2941 s Remaining CPU time: 147.706 s c =============================================================================== c | 21 | 1999 2239 446150 | 5000 21 1624 | 0.000 % | c =============================================================================== c New solution: 9911 c Elapsed CPU time: 32.588 s Remaining CPU time: 147.412 s c =============================================================================== c | 23 | 1999 2240 448000 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9910 c Elapsed CPU time: 32.87 s Remaining CPU time: 147.13 s c =============================================================================== c | 23 | 1999 2241 449850 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9909 c Elapsed CPU time: 33.163 s Remaining CPU time: 146.837 s c =============================================================================== c | 23 | 1999 2242 451700 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9908 c Elapsed CPU time: 33.4559 s Remaining CPU time: 146.544 s c =============================================================================== c | 23 | 1999 2243 453550 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9907 c Elapsed CPU time: 33.7489 s Remaining CPU time: 146.251 s c =============================================================================== c | 23 | 1999 2244 455400 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9906 c Elapsed CPU time: 34.0418 s Remaining CPU time: 145.958 s c =============================================================================== c | 23 | 1999 2245 457250 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9905 c Elapsed CPU time: 34.3298 s Remaining CPU time: 145.67 s c =============================================================================== c | 23 | 1999 2246 459100 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9904 c Elapsed CPU time: 34.6227 s Remaining CPU time: 145.377 s c =============================================================================== c | 23 | 1999 2247 460950 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9903 c Elapsed CPU time: 34.9217 s Remaining CPU time: 145.078 s c =============================================================================== c | 23 | 1999 2248 462800 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9902 c Elapsed CPU time: 35.2246 s Remaining CPU time: 144.775 s c =============================================================================== c | 23 | 1999 2249 464650 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9901 c Elapsed CPU time: 35.5316 s Remaining CPU time: 144.468 s c =============================================================================== c | 23 | 1999 2250 466500 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9900 c Elapsed CPU time: 35.8276 s Remaining CPU time: 144.172 s c =============================================================================== c | 23 | 1999 2251 468350 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9899 c Elapsed CPU time: 36.1245 s Remaining CPU time: 143.875 s c =============================================================================== c | 23 | 1999 2252 470200 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9898 c Elapsed CPU time: 36.4195 s Remaining CPU time: 143.581 s c =============================================================================== c | 23 | 1999 2253 472050 | 5000 23 1561 | 0.000 % | c =============================================================================== c New solution: 9897 c Elapsed CPU time: 36.7444 s Remaining CPU time: 143.256 s c =============================================================================== c | 26 | 1999 2254 473900 | 5000 26 1519 | 0.000 % | c =============================================================================== c New solution: 9896 c Elapsed CPU time: 37.0514 s Remaining CPU time: 142.949 s c =============================================================================== c | 26 | 1999 2255 475750 | 5000 26 1519 | 0.000 % | c =============================================================================== c New solution: 9895 c Elapsed CPU time: 37.3833 s Remaining CPU time: 142.617 s c =============================================================================== c | 30 | 1999 2256 477600 | 5000 30 1554 | 0.000 % | c =============================================================================== c New solution: 9894 c Elapsed CPU time: 37.6863 s Remaining CPU time: 142.314 s c =============================================================================== c | 30 | 1999 2257 479450 | 5000 30 1554 | 0.000 % | c =============================================================================== c New solution: 9893 c Elapsed CPU time: 37.9832 s Remaining CPU time: 142.017 s c =============================================================================== c | 30 | 1999 2258 481300 | 5000 30 1554 | 0.000 % | c =============================================================================== c New solution: 9892 c Elapsed CPU time: 38.2952 s Remaining CPU time: 141.705 s c =============================================================================== c | 35 | 1999 2259 483150 | 5000 35 1587 | 0.000 % | c =============================================================================== c New solution: 9891 c Elapsed CPU time: 38.5991 s Remaining CPU time: 141.401 s c =============================================================================== c | 38 | 1999 2260 485000 | 5000 38 1603 | 0.000 % | c =============================================================================== c New solution: 9890 c Elapsed CPU time: 38.9131 s Remaining CPU time: 141.087 s c =============================================================================== c | 38 | 1999 2261 486850 | 5000 38 1603 | 0.000 % | c =============================================================================== c New solution: 9889 c Elapsed CPU time: 39.217 s Remaining CPU time: 140.783 s c =============================================================================== c | 39 | 1999 2262 488700 | 5000 39 1607 | 0.000 % | c =============================================================================== c New solution: 9888 c Elapsed CPU time: 39.537 s Remaining CPU time: 140.463 s c =============================================================================== c | 49 | 1999 2263 490550 | 5000 49 1643 | 0.000 % | c =============================================================================== c New solution: 9887 c Elapsed CPU time: 39.8489 s Remaining CPU time: 140.151 s c =============================================================================== c | 49 | 1999 2264 492400 | 5000 49 1643 | 0.000 % | c =============================================================================== c New solution: 9886 c Elapsed CPU time: 40.1719 s Remaining CPU time: 139.828 s c =============================================================================== c | 50 | 1999 2265 494250 | 5000 50 1646 | 0.000 % | c =============================================================================== c New solution: 9885 c Elapsed CPU time: 40.4868 s Remaining CPU time: 139.513 s c =============================================================================== c | 52 | 1999 2266 496100 | 5000 52 1651 | 0.000 % | c =============================================================================== c New solution: 9884 c Elapsed CPU time: 40.8088 s Remaining CPU time: 139.191 s c =============================================================================== c | 52 | 1999 2267 497950 | 5000 52 1651 | 0.000 % | c =============================================================================== c New solution: 9883 c Elapsed CPU time: 41.1207 s Remaining CPU time: 138.879 s c =============================================================================== c | 55 | 1999 2268 499800 | 5000 55 1658 | 0.000 % | c =============================================================================== c New solution: 9882 c Elapsed CPU time: 41.4267 s Remaining CPU time: 138.573 s c =============================================================================== c | 55 | 1999 2269 501650 | 5000 55 1658 | 0.000 % | c =============================================================================== c New solution: 9881 c Elapsed CPU time: 41.7427 s Remaining CPU time: 138.257 s c =============================================================================== c | 55 | 1999 2270 503500 | 5000 55 1658 | 0.000 % | c =============================================================================== c New solution: 9880 c Elapsed CPU time: 42.0606 s Remaining CPU time: 137.939 s c =============================================================================== c | 55 | 1999 2271 505350 | 5000 55 1658 | 0.000 % | c =============================================================================== c New solution: 9879 c Elapsed CPU time: 42.3936 s Remaining CPU time: 137.606 s c =============================================================================== c | 55 | 1999 2272 507200 | 5000 55 1658 | 0.000 % | c =============================================================================== c New solution: 9878 c Elapsed CPU time: 42.7245 s Remaining CPU time: 137.275 s c =============================================================================== c | 55 | 1999 2273 509050 | 5000 55 1658 | 0.000 % | c =============================================================================== c New solution: 9877 c Elapsed CPU time: 43.0525 s Remaining CPU time: 136.948 s c =============================================================================== c | 55 | 1999 2274 510900 | 5000 55 1658 | 0.000 % | c =============================================================================== c New solution: 9876 c Elapsed CPU time: 43.3834 s Remaining CPU time: 136.617 s c =============================================================================== c | 60 | 1999 2275 512750 | 5000 60 1668 | 0.000 % | c =============================================================================== c New solution: 9875 c Elapsed CPU time: 43.7154 s Remaining CPU time: 136.285 s c =============================================================================== c | 60 | 1999 2276 514600 | 5000 60 1668 | 0.000 % | c =============================================================================== c New solution: 9874 c Elapsed CPU time: 44.0563 s Remaining CPU time: 135.944 s c =============================================================================== c | 60 | 1999 2277 516450 | 5000 60 1668 | 0.000 % | c =============================================================================== c New solution: 9873 c Elapsed CPU time: 44.3883 s Remaining CPU time: 135.612 s c =============================================================================== c | 60 | 1999 2278 518300 | 5000 60 1668 | 0.000 % | c =============================================================================== c New solution: 9872 c Elapsed CPU time: 44.7292 s Remaining CPU time: 135.271 s c =============================================================================== c | 60 | 1999 2279 520150 | 5000 60 1668 | 0.000 % | c =============================================================================== c New solution: 9871 c Elapsed CPU time: 45.0721 s Remaining CPU time: 134.928 s c =============================================================================== c | 62 | 1999 2280 522000 | 5000 62 1672 | 0.000 % | c =============================================================================== c New solution: 9870 c Elapsed CPU time: 45.4231 s Remaining CPU time: 134.577 s c =============================================================================== c | 64 | 1999 2281 523850 | 5000 64 1675 | 0.000 % | c =============================================================================== c New solution: 9869 c Elapsed CPU time: 45.765 s Remaining CPU time: 134.235 s c =============================================================================== c | 64 | 1999 2282 525700 | 5000 64 1675 | 0.000 % | c =============================================================================== c New solution: 9868 c Elapsed CPU time: 46.095 s Remaining CPU time: 133.905 s c =============================================================================== c | 64 | 1999 2283 527550 | 5000 64 1675 | 0.000 % | c =============================================================================== c New solution: 9867 c Elapsed CPU time: 46.4389 s Remaining CPU time: 133.561 s c =============================================================================== c | 64 | 1999 2284 529400 | 5000 64 1675 | 0.000 % | c =============================================================================== c New solution: 9866 c Elapsed CPU time: 46.7899 s Remaining CPU time: 133.21 s c =============================================================================== c | 64 | 1999 2285 531250 | 5000 64 1675 | 0.000 % | c =============================================================================== c New solution: 9865 c Elapsed CPU time: 47.1308 s Remaining CPU time: 132.869 s c =============================================================================== c | 64 | 1999 2286 533100 | 5000 64 1675 | 0.000 % | c =============================================================================== c New solution: 9864 c Elapsed CPU time: 47.4858 s Remaining CPU time: 132.514 s c =============================================================================== c | 64 | 1999 2287 534950 | 5000 64 1675 | 0.000 % | c =============================================================================== c New solution: 9863 c Elapsed CPU time: 47.8287 s Remaining CPU time: 132.171 s c =============================================================================== c | 64 | 1999 2288 536800 | 5000 64 1675 | 0.000 % | c =============================================================================== c New solution: 9862 c Elapsed CPU time: 48.1917 s Remaining CPU time: 131.808 s c =============================================================================== c | 71 | 1999 2289 538650 | 5000 71 1685 | 0.000 % | c =============================================================================== c New solution: 9861 c Elapsed CPU time: 48.5386 s Remaining CPU time: 131.461 s c =============================================================================== c | 76 | 1999 2290 540500 | 5000 76 1691 | 0.000 % | c =============================================================================== c New solution: 9860 c Elapsed CPU time: 48.8736 s Remaining CPU time: 131.126 s c =============================================================================== c | 76 | 1999 2291 542350 | 5000 76 1691 | 0.000 % | c =============================================================================== c New solution: 9859 c Elapsed CPU time: 49.2055 s Remaining CPU time: 130.794 s c =============================================================================== c | 76 | 1999 2292 544200 | 5000 76 1691 | 0.000 % | c =============================================================================== c New solution: 9858 c Elapsed CPU time: 49.5575 s Remaining CPU time: 130.443 s c =============================================================================== c | 76 | 1999 2293 546050 | 5000 76 1691 | 0.000 % | c =============================================================================== c New solution: 9857 c Elapsed CPU time: 49.9164 s Remaining CPU time: 130.084 s c =============================================================================== c | 76 | 1999 2294 547900 | 5000 76 1691 | 0.000 % | c =============================================================================== c New solution: 9856 c Elapsed CPU time: 50.3044 s Remaining CPU time: 129.696 s c =============================================================================== c | 77 | 1999 2295 549750 | 5000 77 1669 | 0.000 % | c =============================================================================== c New solution: 9855 c Elapsed CPU time: 50.6693 s Remaining CPU time: 129.331 s c =============================================================================== c | 77 | 1999 2296 551600 | 5000 77 1669 | 0.000 % | c =============================================================================== c New solution: 9854 c Elapsed CPU time: 51.0242 s Remaining CPU time: 128.976 s c =============================================================================== c | 77 | 1999 2297 553450 | 5000 77 1669 | 0.000 % | c =============================================================================== c New solution: 9853 c Elapsed CPU time: 51.3902 s Remaining CPU time: 128.61 s c =============================================================================== c | 77 | 1999 2298 555300 | 5000 77 1669 | 0.000 % | c =============================================================================== c New solution: 9852 c Elapsed CPU time: 51.7611 s Remaining CPU time: 128.239 s c =============================================================================== c | 77 | 1999 2299 557150 | 5000 77 1669 | 0.000 % | c =============================================================================== c New solution: 9851 c Elapsed CPU time: 52.1181 s Remaining CPU time: 127.882 s c =============================================================================== c | 77 | 1999 2300 559000 | 5000 77 1669 | 0.000 % | c =============================================================================== c New solution: 9850 c Elapsed CPU time: 52.492 s Remaining CPU time: 127.508 s c =============================================================================== c | 77 | 1999 2301 560850 | 5000 77 1669 | 0.000 % | c =============================================================================== c New solution: 9849 c Elapsed CPU time: 52.848 s Remaining CPU time: 127.152 s c =============================================================================== c | 77 | 1999 2302 562700 | 5000 77 1669 | 0.000 % | c =============================================================================== c New solution: 9848 c Elapsed CPU time: 53.2839 s Remaining CPU time: 126.716 s c =============================================================================== c | 83 | 1999 2303 564550 | 5000 83 1677 | 0.000 % | c =============================================================================== c New solution: 9847 c Elapsed CPU time: 53.6658 s Remaining CPU time: 126.334 s c =============================================================================== c | 83 | 1999 2304 566400 | 5000 83 1677 | 0.000 % | c =============================================================================== c New solution: 9846 c Elapsed CPU time: 54.0298 s Remaining CPU time: 125.97 s c =============================================================================== c | 84 | 1999 2305 568250 | 5000 84 1678 | 0.000 % | c =============================================================================== c New solution: 9845 c Elapsed CPU time: 54.3907 s Remaining CPU time: 125.609 s c =============================================================================== c | 85 | 1999 2306 570100 | 5000 85 1679 | 0.000 % | c =============================================================================== c New solution: 9844 c Elapsed CPU time: 54.7877 s Remaining CPU time: 125.212 s c =============================================================================== c | 86 | 1999 2307 571950 | 5000 86 1680 | 0.000 % | c =============================================================================== c New solution: 9843 c Elapsed CPU time: 55.1596 s Remaining CPU time: 124.84 s c =============================================================================== c | 87 | 1999 2308 573800 | 5000 87 1682 | 0.000 % | c =============================================================================== c New solution: 9842 c Elapsed CPU time: 55.5306 s Remaining CPU time: 124.469 s c =============================================================================== c | 87 | 1999 2309 575650 | 5000 87 1682 | 0.000 % | c =============================================================================== c New solution: 9841 c Elapsed CPU time: 55.9165 s Remaining CPU time: 124.084 s c =============================================================================== c | 87 | 1999 2310 577500 | 5000 87 1682 | 0.000 % | c =============================================================================== c New solution: 9840 c Elapsed CPU time: 56.3044 s Remaining CPU time: 123.696 s c =============================================================================== c | 87 | 1999 2311 579350 | 5000 87 1682 | 0.000 % | c =============================================================================== c New solution: 9839 c Elapsed CPU time: 56.6644 s Remaining CPU time: 123.336 s c =============================================================================== c | 88 | 1999 2312 581200 | 5000 88 1683 | 0.000 % | c =============================================================================== c New solution: 9838 c Elapsed CPU time: 57.0533 s Remaining CPU time: 122.947 s c =============================================================================== c | 88 | 1999 2313 583050 | 5000 88 1683 | 0.000 % | c =============================================================================== c New solution: 9837 c Elapsed CPU time: 57.4553 s Remaining CPU time: 122.545 s c =============================================================================== c | 88 | 1999 2314 584900 | 5000 88 1683 | 0.000 % | c =============================================================================== c New solution: 9836 c Elapsed CPU time: 57.8412 s Remaining CPU time: 122.159 s c =============================================================================== c | 88 | 1999 2315 586750 | 5000 88 1683 | 0.000 % | c =============================================================================== c New solution: 9835 c Elapsed CPU time: 58.2122 s Remaining CPU time: 121.788 s c =============================================================================== c | 88 | 1999 2316 588600 | 5000 88 1683 | 0.000 % | c =============================================================================== c New solution: 9834 c Elapsed CPU time: 58.6171 s Remaining CPU time: 121.383 s c =============================================================================== c | 88 | 1999 2317 590450 | 5000 88 1683 | 0.000 % | c =============================================================================== c New solution: 9833 c Elapsed CPU time: 59.019 s Remaining CPU time: 120.981 s c =============================================================================== c | 91 | 1999 2318 592300 | 5000 91 1686 | 0.000 % | c =============================================================================== c New solution: 9832 c Elapsed CPU time: 59.421 s Remaining CPU time: 120.579 s c =============================================================================== c | 91 | 1999 2319 594150 | 5000 91 1686 | 0.000 % | c =============================================================================== c New solution: 9831 c Elapsed CPU time: 59.8239 s Remaining CPU time: 120.176 s c =============================================================================== c | 97 | 1999 2320 596000 | 5000 97 1691 | 0.000 % | c =============================================================================== c New solution: 9830 c Elapsed CPU time: 60.2128 s Remaining CPU time: 119.787 s c =============================================================================== c | 97 | 1999 2321 597850 | 5000 97 1691 | 0.000 % | c =============================================================================== c New solution: 9829 c Elapsed CPU time: 60.6158 s Remaining CPU time: 119.384 s c =============================================================================== c | 98 | 1999 2322 599700 | 5000 98 1692 | 0.000 % | c =============================================================================== c New solution: 9828 c Elapsed CPU time: 61.0367 s Remaining CPU time: 118.963 s c =============================================================================== c | 124 | 1999 2323 601550 | 5000 124 1708 | 0.000 % | c =============================================================================== c New solution: 9827 c Elapsed CPU time: 61.4417 s Remaining CPU time: 118.558 s c =============================================================================== c | 132 | 1999 2324 603400 | 5000 132 1712 | 0.000 % | c =============================================================================== c New solution: 9826 c Elapsed CPU time: 61.8406 s Remaining CPU time: 118.159 s c =============================================================================== c | 132 | 1999 2325 605250 | 5000 132 1712 | 0.000 % | c =============================================================================== c New solution: 9825 c Elapsed CPU time: 62.2525 s Remaining CPU time: 117.747 s c =============================================================================== c | 132 | 1999 2326 607100 | 5000 132 1712 | 0.000 % | c =============================================================================== c New solution: 9824 c Elapsed CPU time: 62.6485 s Remaining CPU time: 117.352 s c =============================================================================== c | 132 | 1999 2327 608950 | 5000 132 1712 | 0.000 % | c =============================================================================== c New solution: 9823 c Elapsed CPU time: 63.0394 s Remaining CPU time: 116.961 s c =============================================================================== c | 132 | 1999 2328 610800 | 5000 132 1712 | 0.000 % | c =============================================================================== c New solution: 9822 c Elapsed CPU time: 63.4624 s Remaining CPU time: 116.538 s c =============================================================================== c | 132 | 1999 2329 612650 | 5000 132 1712 | 0.000 % | c =============================================================================== c New solution: 9821 c Elapsed CPU time: 63.8753 s Remaining CPU time: 116.125 s c =============================================================================== c | 132 | 1999 2330 614500 | 5000 132 1712 | 0.000 % | c =============================================================================== c New solution: 9820 c Elapsed CPU time: 64.3322 s Remaining CPU time: 115.668 s c =============================================================================== c | 141 | 1999 2331 616350 | 5000 141 1716 | 0.000 % | c =============================================================================== c New solution: 9819 c Elapsed CPU time: 64.7512 s Remaining CPU time: 115.249 s c =============================================================================== c | 142 | 1999 2332 618200 | 5000 142 1716 | 0.000 % | c =============================================================================== c New solution: 9818 c Elapsed CPU time: 65.1811 s Remaining CPU time: 114.819 s c =============================================================================== c | 143 | 1999 2333 620050 | 5000 143 1716 | 0.000 % | c =============================================================================== c New solution: 9817 c Elapsed CPU time: 65.6 s Remaining CPU time: 114.4 s c =============================================================================== c | 145 | 1999 2334 621900 | 5000 145 1717 | 0.000 % | c =============================================================================== c New solution: 9816 c Elapsed CPU time: 66.043 s Remaining CPU time: 113.957 s c =============================================================================== c | 161 | 1999 2335 623750 | 5000 161 1722 | 0.000 % | c =============================================================================== c New solution: 9815 c Elapsed CPU time: 66.4659 s Remaining CPU time: 113.534 s c =============================================================================== c | 161 | 1999 2336 625600 | 5000 161 1722 | 0.000 % | c =============================================================================== c New solution: 9814 c Elapsed CPU time: 66.8778 s Remaining CPU time: 113.122 s c =============================================================================== c | 161 | 1999 2337 627450 | 5000 161 1722 | 0.000 % | c =============================================================================== c New solution: 9813 c Elapsed CPU time: 67.3048 s Remaining CPU time: 112.695 s c =============================================================================== c | 162 | 1999 2338 629300 | 5000 162 1722 | 0.000 % | c =============================================================================== c New solution: 9812 c Elapsed CPU time: 67.7147 s Remaining CPU time: 112.285 s c =============================================================================== c | 162 | 1999 2339 631150 | 5000 162 1722 | 0.000 % | c =============================================================================== c New solution: 9811 c Elapsed CPU time: 68.1426 s Remaining CPU time: 111.857 s c =============================================================================== c | 168 | 1999 2340 633000 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9810 c Elapsed CPU time: 68.5386 s Remaining CPU time: 111.461 s c =============================================================================== c | 168 | 1999 2341 634850 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9809 c Elapsed CPU time: 68.9425 s Remaining CPU time: 111.057 s c =============================================================================== c | 168 | 1999 2342 636700 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9808 c Elapsed CPU time: 69.3605 s Remaining CPU time: 110.64 s c =============================================================================== c | 168 | 1999 2343 638550 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9807 c Elapsed CPU time: 69.7804 s Remaining CPU time: 110.22 s c =============================================================================== c | 168 | 1999 2344 640400 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9806 c Elapsed CPU time: 70.1903 s Remaining CPU time: 109.81 s c =============================================================================== c | 168 | 1999 2345 642250 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9805 c Elapsed CPU time: 70.6193 s Remaining CPU time: 109.381 s c =============================================================================== c | 168 | 1999 2346 644100 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9804 c Elapsed CPU time: 71.0392 s Remaining CPU time: 108.961 s c =============================================================================== c | 168 | 1999 2347 645950 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9803 c Elapsed CPU time: 71.4451 s Remaining CPU time: 108.555 s c =============================================================================== c | 168 | 1999 2348 647800 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9802 c Elapsed CPU time: 71.8701 s Remaining CPU time: 108.13 s c =============================================================================== c | 168 | 1999 2349 649650 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9801 c Elapsed CPU time: 72.305 s Remaining CPU time: 107.695 s c =============================================================================== c | 168 | 1999 2350 651500 | 5000 168 1724 | 0.000 % | c =============================================================================== c New solution: 9800 c Elapsed CPU time: 72.7349 s Remaining CPU time: 107.265 s c =============================================================================== c | 172 | 1999 2351 653350 | 5000 172 1725 | 0.000 % | c =============================================================================== c New solution: 9799 c Elapsed CPU time: 73.1589 s Remaining CPU time: 106.841 s c =============================================================================== c | 172 | 1999 2352 655200 | 5000 172 1725 | 0.000 % | c =============================================================================== c New solution: 9798 c Elapsed CPU time: 73.5798 s Remaining CPU time: 106.42 s c =============================================================================== c | 172 | 1999 2353 657050 | 5000 172 1725 | 0.000 % | c =============================================================================== c New solution: 9797 c Elapsed CPU time: 74.0057 s Remaining CPU time: 105.994 s c =============================================================================== c | 175 | 1999 2354 658900 | 5000 175 1726 | 0.000 % | c =============================================================================== c New solution: 9796 c Elapsed CPU time: 74.4367 s Remaining CPU time: 105.563 s c =============================================================================== c | 175 | 1999 2355 660750 | 5000 175 1726 | 0.000 % | c =============================================================================== c New solution: 9795 c Elapsed CPU time: 74.8916 s Remaining CPU time: 105.108 s c =============================================================================== c | 179 | 1999 2356 662600 | 5000 179 1727 | 0.000 % | c =============================================================================== c New solution: 9794 c Elapsed CPU time: 75.3106 s Remaining CPU time: 104.689 s c =============================================================================== c | 179 | 1999 2357 664450 | 5000 179 1727 | 0.000 % | c =============================================================================== c New solution: 9793 c Elapsed CPU time: 75.7495 s Remaining CPU time: 104.251 s c =============================================================================== c | 187 | 1999 2358 666300 | 5000 187 1728 | 0.000 % | c =============================================================================== c New solution: 9792 c Elapsed CPU time: 76.1804 s Remaining CPU time: 103.82 s c =============================================================================== c | 187 | 1999 2359 668150 | 5000 187 1728 | 0.000 % | c =============================================================================== c New solution: 9791 c Elapsed CPU time: 76.6114 s Remaining CPU time: 103.389 s c =============================================================================== c | 187 | 1999 2360 670000 | 5000 187 1728 | 0.000 % | c =============================================================================== c New solution: 9790 c Elapsed CPU time: 77.0683 s Remaining CPU time: 102.932 s c =============================================================================== c | 194 | 1999 2361 671850 | 5000 194 1730 | 0.000 % | c =============================================================================== c New solution: 9789 c Elapsed CPU time: 77.4952 s Remaining CPU time: 102.505 s c =============================================================================== c | 194 | 1999 2362 673700 | 5000 194 1730 | 0.000 % | c =============================================================================== c New solution: 9788 c Elapsed CPU time: 77.9312 s Remaining CPU time: 102.069 s c =============================================================================== c | 194 | 1999 2363 675550 | 5000 194 1730 | 0.000 % | c =============================================================================== c New solution: 9787 c Elapsed CPU time: 78.3511 s Remaining CPU time: 101.649 s c =============================================================================== c | 194 | 1999 2364 677400 | 5000 194 1730 | 0.000 % | c =============================================================================== c New solution: 9786 c Elapsed CPU time: 78.807 s Remaining CPU time: 101.193 s c =============================================================================== c | 194 | 1999 2365 679250 | 5000 194 1730 | 0.000 % | c =============================================================================== c New solution: 9785 c Elapsed CPU time: 79.249 s Remaining CPU time: 100.751 s c =============================================================================== c | 194 | 1999 2366 681100 | 5000 194 1730 | 0.000 % | c =============================================================================== c New solution: 9784 c Elapsed CPU time: 79.8009 s Remaining CPU time: 100.199 s c =============================================================================== c | 245 | 1999 2367 682950 | 5000 245 1736 | 0.000 % | c =============================================================================== c New solution: 9783 c Elapsed CPU time: 80.3208 s Remaining CPU time: 99.6792 s c =============================================================================== c | 254 | 1999 2368 684800 | 5000 254 1737 | 0.000 % | c =============================================================================== c New solution: 9782 c Elapsed CPU time: 80.7827 s Remaining CPU time: 99.2173 s c =============================================================================== c | 258 | 1999 2369 686650 | 5000 258 1737 | 0.000 % | c =============================================================================== c New solution: 9781 c Elapsed CPU time: 81.2416 s Remaining CPU time: 98.7584 s c =============================================================================== c | 258 | 1999 2370 688500 | 5000 258 1737 | 0.000 % | c =============================================================================== c New solution: 9780 c Elapsed CPU time: 81.7146 s Remaining CPU time: 98.2854 s c =============================================================================== c | 260 | 1999 2371 690350 | 5000 260 1738 | 0.000 % | c =============================================================================== c New solution: 9779 c Elapsed CPU time: 82.1725 s Remaining CPU time: 97.8275 s c =============================================================================== c | 262 | 1999 2372 692200 | 5000 262 1738 | 0.000 % | c =============================================================================== c New solution: 9778 c Elapsed CPU time: 82.6294 s Remaining CPU time: 97.3706 s c =============================================================================== c | 264 | 1999 2373 694050 | 5000 264 1725 | 0.000 % | c =============================================================================== c New solution: 9777 c Elapsed CPU time: 83.0924 s Remaining CPU time: 96.9076 s c =============================================================================== c | 268 | 1999 2374 695900 | 5000 268 1725 | 0.000 % | c =============================================================================== c New solution: 9776 c Elapsed CPU time: 83.5363 s Remaining CPU time: 96.4637 s c =============================================================================== c | 268 | 1999 2375 697750 | 5000 268 1725 | 0.000 % | c =============================================================================== c New solution: 9775 c Elapsed CPU time: 83.9942 s Remaining CPU time: 96.0058 s c =============================================================================== c | 268 | 1999 2376 699600 | 5000 268 1725 | 0.000 % | c =============================================================================== c New solution: 9774 c Elapsed CPU time: 84.4752 s Remaining CPU time: 95.5248 s c =============================================================================== c | 269 | 1999 2377 701450 | 5000 269 1725 | 0.000 % | c =============================================================================== c New solution: 9773 c Elapsed CPU time: 84.9301 s Remaining CPU time: 95.0699 s c =============================================================================== c | 269 | 1999 2378 703300 | 5000 269 1725 | 0.000 % | c =============================================================================== c New solution: 9772 c Elapsed CPU time: 85.404 s Remaining CPU time: 94.596 s c =============================================================================== c | 270 | 1999 2379 705150 | 5000 270 1725 | 0.000 % | c =============================================================================== c New solution: 9771 c Elapsed CPU time: 85.8599 s Remaining CPU time: 94.1401 s c =============================================================================== c | 270 | 1999 2380 707000 | 5000 270 1725 | 0.000 % | c =============================================================================== c New solution: 9770 c Elapsed CPU time: 86.3179 s Remaining CPU time: 93.6821 s c =============================================================================== c | 270 | 1999 2381 708850 | 5000 270 1725 | 0.000 % | c =============================================================================== c New solution: 9769 c Elapsed CPU time: 86.7918 s Remaining CPU time: 93.2082 s c =============================================================================== c | 272 | 1999 2382 710700 | 5000 272 1726 | 0.000 % | c =============================================================================== c New solution: 9768 c Elapsed CPU time: 87.2787 s Remaining CPU time: 92.7213 s c =============================================================================== c | 282 | 1999 2383 712550 | 5000 282 1727 | 0.000 % | c =============================================================================== c New solution: 9767 c Elapsed CPU time: 87.7497 s Remaining CPU time: 92.2503 s c =============================================================================== c | 283 | 1999 2384 714400 | 5000 283 1727 | 0.000 % | c =============================================================================== c New solution: 9766 c Elapsed CPU time: 88.2776 s Remaining CPU time: 91.7224 s c =============================================================================== c | 289 | 1999 2385 716250 | 5000 289 1728 | 0.000 % | c =============================================================================== c New solution: 9765 c Elapsed CPU time: 88.7365 s Remaining CPU time: 91.2635 s c =============================================================================== c | 289 | 1999 2386 718100 | 5000 289 1728 | 0.000 % | c =============================================================================== c New solution: 9764 c Elapsed CPU time: 89.1914 s Remaining CPU time: 90.8086 s c =============================================================================== c | 289 | 1999 2387 719950 | 5000 289 1728 | 0.000 % | c =============================================================================== c New solution: 9763 c Elapsed CPU time: 89.7414 s Remaining CPU time: 90.2586 s c =============================================================================== c | 292 | 1999 2388 721800 | 5000 292 1728 | 0.000 % | c =============================================================================== c New solution: 9762 c Elapsed CPU time: 90.2353 s Remaining CPU time: 89.7647 s c =============================================================================== c | 294 | 1999 2389 723650 | 5000 294 1728 | 0.000 % | c =============================================================================== c New solution: 9761 c Elapsed CPU time: 90.7572 s Remaining CPU time: 89.2428 s c =============================================================================== c | 307 | 1999 2390 725500 | 5000 307 1729 | 0.000 % | c =============================================================================== c New solution: 9760 c Elapsed CPU time: 91.3381 s Remaining CPU time: 88.6619 s c =============================================================================== c | 338 | 1999 2391 727350 | 5000 338 1732 | 0.000 % | c =============================================================================== c New solution: 9759 c Elapsed CPU time: 91.818 s Remaining CPU time: 88.182 s c =============================================================================== c | 340 | 1999 2392 729200 | 5000 340 1732 | 0.000 % | c =============================================================================== c New solution: 9758 c Elapsed CPU time: 92.306 s Remaining CPU time: 87.694 s c =============================================================================== c | 342 | 1999 2393 731050 | 5000 342 1732 | 0.000 % | c =============================================================================== c New solution: 9757 c Elapsed CPU time: 92.7749 s Remaining CPU time: 87.2251 s c =============================================================================== c | 353 | 1999 2394 732900 | 5000 353 1733 | 0.000 % | c =============================================================================== c New solution: 9756 c Elapsed CPU time: 93.2648 s Remaining CPU time: 86.7352 s c =============================================================================== c | 356 | 1999 2395 734750 | 5000 356 1733 | 0.000 % | c =============================================================================== c New solution: 9755 c Elapsed CPU time: 93.7727 s Remaining CPU time: 86.2273 s c =============================================================================== c | 364 | 1999 2396 736600 | 5000 364 1734 | 0.000 % | c =============================================================================== c New solution: 9754 c Elapsed CPU time: 94.2427 s Remaining CPU time: 85.7573 s c =============================================================================== c | 366 | 1999 2397 738450 | 5000 366 1734 | 0.000 % | c =============================================================================== c New solution: 9753 c Elapsed CPU time: 94.7496 s Remaining CPU time: 85.2504 s c =============================================================================== c | 373 | 1999 2398 740300 | 5000 373 1734 | 0.000 % | c =============================================================================== c New solution: 9752 c Elapsed CPU time: 95.2685 s Remaining CPU time: 84.7315 s c =============================================================================== c | 407 | 1999 2399 742150 | 5000 407 1736 | 0.000 % | c =============================================================================== c New solution: 9751 c Elapsed CPU time: 95.7504 s Remaining CPU time: 84.2496 s c =============================================================================== c | 409 | 1999 2400 744000 | 5000 409 1736 | 0.000 % | c =============================================================================== c New solution: 9750 c Elapsed CPU time: 96.2454 s Remaining CPU time: 83.7546 s c =============================================================================== c | 411 | 1999 2401 745850 | 5000 411 1736 | 0.000 % | c =============================================================================== c New solution: 9749 c Elapsed CPU time: 96.7423 s Remaining CPU time: 83.2577 s c =============================================================================== c | 411 | 1999 2402 747700 | 5000 411 1736 | 0.000 % | c =============================================================================== c New solution: 9748 c Elapsed CPU time: 97.2382 s Remaining CPU time: 82.7618 s c =============================================================================== c | 412 | 1999 2403 749550 | 5000 412 1736 | 0.000 % | c =============================================================================== c New solution: 9747 c Elapsed CPU time: 97.7361 s Remaining CPU time: 82.2639 s c =============================================================================== c | 412 | 1999 2404 751400 | 5000 412 1736 | 0.000 % | c =============================================================================== c New solution: 9746 c Elapsed CPU time: 98.2121 s Remaining CPU time: 81.7879 s c =============================================================================== c | 413 | 1999 2405 753250 | 5000 413 1736 | 0.000 % | c =============================================================================== c New solution: 9745 c Elapsed CPU time: 98.723 s Remaining CPU time: 81.277 s c =============================================================================== c | 414 | 1999 2406 755100 | 5000 414 1736 | 0.000 % | c =============================================================================== c New solution: 9744 c Elapsed CPU time: 99.2369 s Remaining CPU time: 80.7631 s c =============================================================================== c | 416 | 1999 2407 756950 | 5000 416 1736 | 0.000 % | c =============================================================================== c New solution: 9743 c Elapsed CPU time: 99.7608 s Remaining CPU time: 80.2392 s c =============================================================================== c | 416 | 1999 2408 758800 | 5000 416 1736 | 0.000 % | c =============================================================================== c New solution: 9742 c Elapsed CPU time: 100.289 s Remaining CPU time: 79.7112 s c =============================================================================== c | 417 | 1999 2409 760650 | 5000 417 1736 | 0.000 % | c =============================================================================== c New solution: 9741 c Elapsed CPU time: 100.804 s Remaining CPU time: 79.1963 s c =============================================================================== c | 417 | 1999 2410 762500 | 5000 417 1736 | 0.000 % | c =============================================================================== c New solution: 9740 c Elapsed CPU time: 101.329 s Remaining CPU time: 78.6714 s c =============================================================================== c | 421 | 1999 2411 764350 | 5000 421 1736 | 0.000 % | c =============================================================================== c New solution: 9739 c Elapsed CPU time: 101.858 s Remaining CPU time: 78.1425 s c =============================================================================== c | 426 | 1999 2412 766200 | 5000 426 1737 | 0.000 % | c =============================================================================== c New solution: 9738 c Elapsed CPU time: 102.384 s Remaining CPU time: 77.6156 s c =============================================================================== c | 429 | 1999 2413 768050 | 5000 429 1737 | 0.000 % | c =============================================================================== c New solution: 9737 c Elapsed CPU time: 102.897 s Remaining CPU time: 77.1026 s c =============================================================================== c | 432 | 1999 2414 769900 | 5000 432 1737 | 0.000 % | c =============================================================================== c New solution: 9736 c Elapsed CPU time: 103.426 s Remaining CPU time: 76.5737 s c =============================================================================== c | 435 | 1999 2415 771750 | 5000 435 1737 | 0.000 % | c =============================================================================== c New solution: 9735 c Elapsed CPU time: 103.923 s Remaining CPU time: 76.0768 s c =============================================================================== c | 435 | 1999 2416 773600 | 5000 435 1737 | 0.000 % | c =============================================================================== c New solution: 9734 c Elapsed CPU time: 104.426 s Remaining CPU time: 75.5739 s c =============================================================================== c | 435 | 1999 2417 775450 | 5000 435 1737 | 0.000 % | c =============================================================================== c New solution: 9733 c Elapsed CPU time: 104.938 s Remaining CPU time: 75.062 s c =============================================================================== c | 435 | 1999 2418 777300 | 5000 435 1737 | 0.000 % | c =============================================================================== c New solution: 9732 c Elapsed CPU time: 105.465 s Remaining CPU time: 74.535 s c =============================================================================== c | 437 | 1999 2419 779150 | 5000 437 1737 | 0.000 % | c =============================================================================== c New solution: 9731 c Elapsed CPU time: 106.061 s Remaining CPU time: 73.9391 s c =============================================================================== c | 476 | 1999 2420 781000 | 5000 476 1738 | 0.000 % | c =============================================================================== c New solution: 9730 c Elapsed CPU time: 106.612 s Remaining CPU time: 73.3882 s c =============================================================================== c | 483 | 1999 2421 782850 | 5000 483 1738 | 0.000 % | c =============================================================================== c New solution: 9729 c Elapsed CPU time: 107.133 s Remaining CPU time: 72.8673 s c =============================================================================== c | 483 | 1999 2422 784700 | 5000 483 1738 | 0.000 % | c =============================================================================== c New solution: 9728 c Elapsed CPU time: 107.679 s Remaining CPU time: 72.3214 s c =============================================================================== c | 488 | 1999 2423 786550 | 5000 488 1739 | 0.000 % | c =============================================================================== c New solution: 9727 c Elapsed CPU time: 108.183 s Remaining CPU time: 71.8174 s c =============================================================================== c | 489 | 1999 2424 788400 | 5000 489 1739 | 0.000 % | c =============================================================================== c New solution: 9726 c Elapsed CPU time: 108.735 s Remaining CPU time: 71.2645 s c =============================================================================== c | 495 | 1999 2425 790250 | 5000 495 1739 | 0.000 % | c =============================================================================== c New solution: 9725 c Elapsed CPU time: 109.241 s Remaining CPU time: 70.7586 s c =============================================================================== c | 495 | 1999 2426 792100 | 5000 495 1739 | 0.000 % | c =============================================================================== c New solution: 9724 c Elapsed CPU time: 109.794 s Remaining CPU time: 70.2057 s c =============================================================================== c | 498 | 1999 2427 793950 | 5000 498 1739 | 0.000 % | c =============================================================================== c New solution: 9723 c Elapsed CPU time: 110.343 s Remaining CPU time: 69.6568 s c =============================================================================== c | 498 | 1999 2428 795800 | 5000 498 1739 | 0.000 % | c =============================================================================== c New solution: 9722 c Elapsed CPU time: 110.88 s Remaining CPU time: 69.1199 s c =============================================================================== c | 498 | 1999 2429 797650 | 5000 498 1739 | 0.000 % | c =============================================================================== c New solution: 9721 c Elapsed CPU time: 111.417 s Remaining CPU time: 68.5829 s c =============================================================================== c | 498 | 1999 2430 799500 | 5000 498 1739 | 0.000 % | c =============================================================================== c New solution: 9720 c Elapsed CPU time: 111.971 s Remaining CPU time: 68.029 s c =============================================================================== c | 510 | 1999 2431 801350 | 5000 510 1739 | 0.000 % | c =============================================================================== c New solution: 9719 c Elapsed CPU time: 112.487 s Remaining CPU time: 67.5131 s c =============================================================================== c | 510 | 1999 2432 803200 | 5000 510 1739 | 0.000 % | c =============================================================================== c New solution: 9718 c Elapsed CPU time: 113.008 s Remaining CPU time: 66.9922 s c =============================================================================== c | 510 | 1999 2433 805050 | 5000 510 1739 | 0.000 % | c =============================================================================== c New solution: 9717 c Elapsed CPU time: 113.553 s Remaining CPU time: 66.4473 s c =============================================================================== c | 510 | 1999 2434 806900 | 5000 510 1739 | 0.000 % | c =============================================================================== c New solution: 9716 c Elapsed CPU time: 114.095 s Remaining CPU time: 65.9053 s c =============================================================================== c | 510 | 1999 2435 808750 | 5000 510 1739 | 0.000 % | c =============================================================================== c New solution: 9715 c Elapsed CPU time: 114.796 s Remaining CPU time: 65.2045 s c =============================================================================== c | 535 | 1999 2436 810600 | 5000 535 1740 | 0.000 % | c =============================================================================== c New solution: 9714 c Elapsed CPU time: 115.317 s Remaining CPU time: 64.6825 s c =============================================================================== c | 536 | 1999 2437 812450 | 5000 536 1740 | 0.000 % | c =============================================================================== c New solution: 9713 c Elapsed CPU time: 115.868 s Remaining CPU time: 64.1316 s c =============================================================================== c | 538 | 1999 2438 814300 | 5000 538 1740 | 0.000 % | c =============================================================================== c New solution: 9712 c Elapsed CPU time: 116.456 s Remaining CPU time: 63.5437 s c =============================================================================== c | 554 | 1999 2439 816150 | 5000 554 1740 | 0.000 % | c =============================================================================== c New solution: 9711 c Elapsed CPU time: 117.011 s Remaining CPU time: 62.9888 s c =============================================================================== c | 564 | 1999 2440 818000 | 5000 564 1740 | 0.000 % | c =============================================================================== c New solution: 9710 c Elapsed CPU time: 117.562 s Remaining CPU time: 62.4379 s c =============================================================================== c | 565 | 1999 2441 819850 | 5000 565 1740 | 0.000 % | c =============================================================================== c New solution: 9709 c Elapsed CPU time: 118.107 s Remaining CPU time: 61.893 s c =============================================================================== c | 567 | 1999 2442 821700 | 5000 567 1740 | 0.000 % | c =============================================================================== c New solution: 9708 c Elapsed CPU time: 118.761 s Remaining CPU time: 61.2391 s c =============================================================================== c | 572 | 1999 2443 823550 | 5000 572 1740 | 0.000 % | c =============================================================================== c New solution: 9707 c Elapsed CPU time: 119.329 s Remaining CPU time: 60.6711 s c =============================================================================== c | 573 | 1999 2444 825400 | 5000 573 1740 | 0.000 % | c =============================================================================== c New solution: 9706 c Elapsed CPU time: 120.064 s Remaining CPU time: 59.9363 s c =============================================================================== c | 595 | 1999 2445 827250 | 5000 595 1740 | 0.000 % | c =============================================================================== c New solution: 9705 c Elapsed CPU time: 120.627 s Remaining CPU time: 59.3733 s c =============================================================================== c | 599 | 1999 2446 829100 | 5000 599 1740 | 0.000 % | c =============================================================================== c New solution: 9704 c Elapsed CPU time: 121.243 s Remaining CPU time: 58.7574 s c =============================================================================== c | 604 | 1999 2447 830950 | 5000 604 1741 | 0.000 % | c =============================================================================== c New solution: 9703 c Elapsed CPU time: 121.794 s Remaining CPU time: 58.2055 s c =============================================================================== c | 605 | 1999 2448 832800 | 5000 605 1741 | 0.000 % | c =============================================================================== c New solution: 9702 c Elapsed CPU time: 122.352 s Remaining CPU time: 57.6476 s c =============================================================================== c | 607 | 1999 2449 834650 | 5000 607 1741 | 0.000 % | c =============================================================================== c New solution: 9701 c Elapsed CPU time: 122.914 s Remaining CPU time: 57.0857 s c =============================================================================== c | 615 | 1999 2450 836500 | 5000 615 1741 | 0.000 % | c =============================================================================== c New solution: 9700 c Elapsed CPU time: 123.512 s Remaining CPU time: 56.4878 s c =============================================================================== c | 627 | 1999 2451 838350 | 5000 627 1741 | 0.000 % | c =============================================================================== c New solution: 9699 c Elapsed CPU time: 124.05 s Remaining CPU time: 55.9499 s c =============================================================================== c | 627 | 1999 2452 840200 | 5000 627 1741 | 0.000 % | c =============================================================================== c New solution: 9698 c Elapsed CPU time: 124.669 s Remaining CPU time: 55.331 s c =============================================================================== c | 640 | 1999 2453 842050 | 5000 640 1741 | 0.000 % | c =============================================================================== c New solution: 9697 c Elapsed CPU time: 125.243 s Remaining CPU time: 54.757 s c =============================================================================== c | 647 | 1999 2454 843900 | 5000 647 1741 | 0.000 % | c =============================================================================== c New solution: 9696 c Elapsed CPU time: 125.818 s Remaining CPU time: 54.1821 s c =============================================================================== c | 656 | 1999 2455 845750 | 5000 656 1741 | 0.000 % | c =============================================================================== c New solution: 9695 c Elapsed CPU time: 126.392 s Remaining CPU time: 53.6082 s c =============================================================================== c | 656 | 1999 2456 847600 | 5000 656 1741 | 0.000 % | c =============================================================================== c New solution: 9694 c Elapsed CPU time: 126.98 s Remaining CPU time: 53.0203 s c =============================================================================== c | 659 | 1999 2457 849450 | 5000 659 1741 | 0.000 % | c =============================================================================== c New solution: 9693 c Elapsed CPU time: 127.712 s Remaining CPU time: 52.2884 s c =============================================================================== c | 686 | 1999 2458 851300 | 5000 686 1741 | 0.000 % | c =============================================================================== c New solution: 9692 c Elapsed CPU time: 128.278 s Remaining CPU time: 51.7215 s c =============================================================================== c | 688 | 1999 2459 853150 | 5000 688 1741 | 0.000 % | c =============================================================================== c New solution: 9691 c Elapsed CPU time: 128.833 s Remaining CPU time: 51.1666 s c =============================================================================== c | 689 | 1999 2460 855000 | 5000 689 1741 | 0.000 % | c =============================================================================== c New solution: 9690 c Elapsed CPU time: 129.557 s Remaining CPU time: 50.4427 s c =============================================================================== c | 699 | 1999 2461 856850 | 5000 699 1741 | 0.000 % | c =============================================================================== c New solution: 9689 c Elapsed CPU time: 130.119 s Remaining CPU time: 49.8808 s c =============================================================================== c | 699 | 1999 2462 858700 | 5000 699 1741 | 0.000 % | c =============================================================================== c New solution: 9688 c Elapsed CPU time: 130.67 s Remaining CPU time: 49.3299 s c =============================================================================== c | 699 | 1999 2463 860550 | 5000 699 1741 | 0.000 % | c =============================================================================== c New solution: 9687 c Elapsed CPU time: 131.229 s Remaining CPU time: 48.7709 s c =============================================================================== c | 699 | 1999 2464 862400 | 5000 699 1741 | 0.000 % | c =============================================================================== c New solution: 9686 c Elapsed CPU time: 131.792 s Remaining CPU time: 48.208 s c =============================================================================== c | 699 | 1999 2465 864250 | 5000 699 1741 | 0.000 % | c =============================================================================== c New solution: 9685 c Elapsed CPU time: 132.354 s Remaining CPU time: 47.6461 s c =============================================================================== c | 699 | 1999 2466 866100 | 5000 699 1741 | 0.000 % | c =============================================================================== c New solution: 9684 c Elapsed CPU time: 132.92 s Remaining CPU time: 47.0802 s c =============================================================================== c | 701 | 1999 2467 867950 | 5000 701 1741 | 0.000 % | c =============================================================================== c New solution: 9683 c Elapsed CPU time: 133.507 s Remaining CPU time: 46.4933 s c =============================================================================== c | 719 | 1999 2468 869800 | 5000 719 1742 | 0.000 % | c =============================================================================== c New solution: 9682 c Elapsed CPU time: 134.081 s Remaining CPU time: 45.9194 s c =============================================================================== c | 719 | 1999 2469 871650 | 5000 719 1742 | 0.000 % | c =============================================================================== c New solution: 9681 c Elapsed CPU time: 134.653 s Remaining CPU time: 45.3475 s c =============================================================================== c | 719 | 1999 2470 873500 | 5000 719 1742 | 0.000 % | c =============================================================================== c New solution: 9680 c Elapsed CPU time: 135.28 s Remaining CPU time: 44.7196 s c =============================================================================== c | 759 | 1999 2471 875350 | 5000 759 1742 | 0.000 % | c =============================================================================== c New solution: 9679 c Elapsed CPU time: 136.021 s Remaining CPU time: 43.9787 s c =============================================================================== c | 792 | 1999 2472 877200 | 5000 792 1742 | 0.000 % | c =============================================================================== c New solution: 9678 c Elapsed CPU time: 136.702 s Remaining CPU time: 43.2978 s c =============================================================================== c | 823 | 1999 2473 879050 | 5000 823 1742 | 0.000 % | c =============================================================================== c New solution: 9677 c Elapsed CPU time: 137.432 s Remaining CPU time: 42.5679 s c =============================================================================== c | 857 | 1999 2474 880900 | 5000 857 1742 | 0.000 % | c =============================================================================== c New solution: 9676 c Elapsed CPU time: 138.111 s Remaining CPU time: 41.889 s c =============================================================================== c | 870 | 1999 2475 882750 | 5000 870 1742 | 0.000 % | c =============================================================================== c New solution: 9675 c Elapsed CPU time: 138.735 s Remaining CPU time: 41.2651 s c =============================================================================== c | 872 | 1999 2476 884600 | 5000 872 1742 | 0.000 % | c =============================================================================== c New solution: 9674 c Elapsed CPU time: 139.375 s Remaining CPU time: 40.6252 s c =============================================================================== c | 880 | 1999 2477 886450 | 5000 880 1742 | 0.000 % | c =============================================================================== c New solution: 9673 c Elapsed CPU time: 139.968 s Remaining CPU time: 40.0323 s c =============================================================================== c | 888 | 1999 2478 888300 | 5000 888 1742 | 0.000 % | c =============================================================================== c New solution: 9672 c Elapsed CPU time: 140.572 s Remaining CPU time: 39.4284 s c =============================================================================== c | 892 | 1999 2479 890150 | 5000 892 1742 | 0.000 % | c =============================================================================== c New solution: 9671 c Elapsed CPU time: 141.18 s Remaining CPU time: 38.8205 s c =============================================================================== c | 894 | 1999 2480 892000 | 5000 894 1742 | 0.000 % | c =============================================================================== c New solution: 9670 c Elapsed CPU time: 141.77 s Remaining CPU time: 38.2296 s c =============================================================================== c | 896 | 1999 2481 893850 | 5000 896 1742 | 0.000 % | c =============================================================================== c New solution: 9669 c Elapsed CPU time: 142.361 s Remaining CPU time: 37.6386 s c =============================================================================== c | 897 | 1999 2482 895700 | 5000 897 1742 | 0.000 % | c =============================================================================== c New solution: 9668 c Elapsed CPU time: 142.973 s Remaining CPU time: 37.0267 s c =============================================================================== c | 898 | 1999 2483 897550 | 5000 898 1742 | 0.000 % | c =============================================================================== c New solution: 9667 c Elapsed CPU time: 143.568 s Remaining CPU time: 36.4318 s c =============================================================================== c | 898 | 1999 2484 899400 | 5000 898 1742 | 0.000 % | c =============================================================================== c New solution: 9666 c Elapsed CPU time: 144.16 s Remaining CPU time: 35.8399 s c =============================================================================== c | 898 | 1999 2485 901250 | 5000 898 1742 | 0.000 % | c =============================================================================== c New solution: 9665 c Elapsed CPU time: 144.779 s Remaining CPU time: 35.221 s c =============================================================================== c | 902 | 1999 2486 903100 | 5000 902 1742 | 0.000 % | c =============================================================================== c New solution: 9664 c Elapsed CPU time: 145.39 s Remaining CPU time: 34.6101 s c =============================================================================== c | 903 | 1999 2487 904950 | 5000 903 1742 | 0.000 % | c =============================================================================== c New solution: 9663 c Elapsed CPU time: 146.078 s Remaining CPU time: 33.9222 s c =============================================================================== c | 922 | 1999 2488 906800 | 5000 922 1742 | 0.000 % | c =============================================================================== c New solution: 9662 c Elapsed CPU time: 146.795 s Remaining CPU time: 33.2053 s c =============================================================================== c | 969 | 1999 2489 908650 | 5000 969 1742 | 0.000 % | c =============================================================================== c New solution: 9661 c Elapsed CPU time: 147.561 s Remaining CPU time: 32.4394 s c =============================================================================== c | 995 | 1999 2490 910500 | 5000 995 1742 | 0.000 % | c =============================================================================== c New solution: 9660 c Elapsed CPU time: 148.154 s Remaining CPU time: 31.8455 s c =============================================================================== c | 995 | 1999 2491 912350 | 5000 995 1742 | 0.000 % | c =============================================================================== c New solution: 9659 c Elapsed CPU time: 148.884 s Remaining CPU time: 31.1156 s c =============================================================================== c | 1001 | 1999 2492 914200 | 5000 1001 1742 | 0.000 % | c =============================================================================== c New solution: 9658 c Elapsed CPU time: 149.498 s Remaining CPU time: 30.5017 s c =============================================================================== c | 1002 | 1999 2493 916050 | 5000 1002 1742 | 0.000 % | c =============================================================================== c New solution: 9657 c Elapsed CPU time: 150.153 s Remaining CPU time: 29.8468 s c =============================================================================== c | 1027 | 1999 2494 917900 | 5000 1027 1742 | 0.000 % | c =============================================================================== c New solution: 9656 c Elapsed CPU time: 150.932 s Remaining CPU time: 29.0679 s c =============================================================================== c | 1070 | 1999 2495 919750 | 5000 1070 1742 | 0.000 % | c =============================================================================== c New solution: 9655 c Elapsed CPU time: 151.581 s Remaining CPU time: 28.419 s c =============================================================================== c | 1077 | 1999 2496 921600 | 5000 1077 1742 | 0.000 % | c =============================================================================== c New solution: 9654 c Elapsed CPU time: 152.197 s Remaining CPU time: 27.8031 s c =============================================================================== c | 1082 | 1999 2497 923450 | 5000 1082 1742 | 0.000 % | c =============================================================================== c New solution: 9653 c Elapsed CPU time: 152.852 s Remaining CPU time: 27.1482 s c =============================================================================== c | 1091 | 1999 2498 925300 | 5000 1091 1742 | 0.000 % | c =============================================================================== c New solution: 9652 c Elapsed CPU time: 153.514 s Remaining CPU time: 26.4863 s c =============================================================================== c | 1117 | 1999 2499 927150 | 5000 1117 1742 | 0.000 % | c =============================================================================== c New solution: 9651 c Elapsed CPU time: 154.312 s Remaining CPU time: 25.6885 s c =============================================================================== c | 1138 | 1999 2500 929000 | 5000 1138 1742 | 0.000 % | c =============================================================================== c New solution: 9650 c Elapsed CPU time: 154.92 s Remaining CPU time: 25.0796 s c =============================================================================== c | 1141 | 1999 2501 930850 | 5000 1141 1742 | 0.000 % | c =============================================================================== c New solution: 9649 c Elapsed CPU time: 155.569 s Remaining CPU time: 24.4307 s c =============================================================================== c | 1143 | 1999 2502 932700 | 5000 1143 1742 | 0.000 % | c =============================================================================== c New solution: 9648 c Elapsed CPU time: 156.214 s Remaining CPU time: 23.7857 s c =============================================================================== c | 1147 | 1999 2503 934550 | 5000 1147 1742 | 0.000 % | c =============================================================================== c New solution: 9647 c Elapsed CPU time: 156.883 s Remaining CPU time: 23.1168 s c =============================================================================== c | 1151 | 1999 2504 936400 | 5000 1151 1742 | 0.000 % | c =============================================================================== c New solution: 9646 c Elapsed CPU time: 157.485 s Remaining CPU time: 22.5149 s c =============================================================================== c | 1151 | 1999 2505 938250 | 5000 1151 1742 | 0.000 % | c =============================================================================== c New solution: 9645 c Elapsed CPU time: 158.12 s Remaining CPU time: 21.88 s c =============================================================================== c | 1152 | 1999 2506 940100 | 5000 1152 1742 | 0.000 % | c =============================================================================== c New solution: 9644 c Elapsed CPU time: 159.082 s Remaining CPU time: 20.9182 s c =============================================================================== c | 1200 | 1999 2507 941950 | 5000 1200 1742 | 0.000 % | c =============================================================================== c New solution: 9643 c Elapsed CPU time: 159.745 s Remaining CPU time: 20.2553 s c =============================================================================== c | 1224 | 1999 2508 943800 | 5000 1224 1742 | 0.000 % | c =============================================================================== c New solution: 9642 c Elapsed CPU time: 160.355 s Remaining CPU time: 19.6454 s c =============================================================================== c | 1227 | 1999 2509 945650 | 5000 1227 1742 | 0.000 % | c =============================================================================== c New solution: 9641 c Elapsed CPU time: 160.999 s Remaining CPU time: 19.0015 s c =============================================================================== c | 1231 | 1999 2510 947500 | 5000 1231 1742 | 0.000 % | c =============================================================================== c New solution: 9640 c Elapsed CPU time: 161.768 s Remaining CPU time: 18.2316 s c =============================================================================== c | 1271 | 1999 2511 949350 | 5000 1271 1741 | 0.000 % | c =============================================================================== c New solution: 9639 c Elapsed CPU time: 162.542 s Remaining CPU time: 17.4577 s c =============================================================================== c | 1291 | 1999 2512 951200 | 5000 1291 1741 | 0.000 % | c =============================================================================== c New solution: 9638 c Elapsed CPU time: 163.161 s Remaining CPU time: 16.8388 s c =============================================================================== c | 1298 | 1999 2513 953050 | 5000 1298 1741 | 0.000 % | c =============================================================================== c New solution: 9637 c Elapsed CPU time: 163.839 s Remaining CPU time: 16.1609 s c =============================================================================== c | 1305 | 1999 2514 954900 | 5000 1305 1741 | 0.000 % | c =============================================================================== c New solution: 9636 c Elapsed CPU time: 164.58 s Remaining CPU time: 15.42 s c =============================================================================== c | 1319 | 1999 2515 956750 | 5000 1319 1741 | 0.000 % | c =============================================================================== c New solution: 9635 c Elapsed CPU time: 165.312 s Remaining CPU time: 14.6881 s c =============================================================================== c | 1335 | 1999 2516 958600 | 5000 1335 1741 | 0.000 % | c =============================================================================== c New solution: 9634 c Elapsed CPU time: 165.979 s Remaining CPU time: 14.0212 s c =============================================================================== c | 1338 | 1999 2517 960450 | 5000 1338 1741 | 0.000 % | c =============================================================================== c New solution: 9633 c Elapsed CPU time: 166.955 s Remaining CPU time: 13.0454 s c =============================================================================== c | 1419 | 1999 2518 962300 | 5000 1419 1741 | 0.000 % | c =============================================================================== c New solution: 9632 c Elapsed CPU time: 167.596 s Remaining CPU time: 12.4045 s c =============================================================================== c | 1419 | 1999 2519 964150 | 5000 1419 1741 | 0.000 % | c =============================================================================== c New solution: 9631 c Elapsed CPU time: 168.801 s Remaining CPU time: 11.1987 s c =============================================================================== c | 1503 | 1999 2520 966000 | 5000 1503 1741 | 0.000 % | c =============================================================================== c New solution: 9630 c Elapsed CPU time: 169.47 s Remaining CPU time: 10.5298 s c =============================================================================== c | 1513 | 1999 2521 967850 | 5000 1513 1741 | 0.000 % | c =============================================================================== c New solution: 9629 c Elapsed CPU time: 170.14 s Remaining CPU time: 9.85987 s c =============================================================================== c | 1514 | 1999 2522 969700 | 5000 1514 1741 | 0.000 % | c =============================================================================== c New solution: 9628 c Elapsed CPU time: 170.936 s Remaining CPU time: 9.06399 s c =============================================================================== c | 1542 | 1999 2523 971550 | 5000 1542 1741 | 0.000 % | c =============================================================================== c New solution: 9627 c Elapsed CPU time: 171.747 s Remaining CPU time: 8.25311 s c =============================================================================== c | 1569 | 1999 2524 973400 | 5000 1569 1739 | 0.000 % | c =============================================================================== c New solution: 9626 c Elapsed CPU time: 172.397 s Remaining CPU time: 7.60321 s c =============================================================================== c | 1575 | 1999 2525 975250 | 5000 1575 1739 | 0.000 % | c =============================================================================== c New solution: 9625 c Elapsed CPU time: 173.061 s Remaining CPU time: 6.93931 s c =============================================================================== c | 1586 | 1999 2526 977100 | 5000 1586 1739 | 0.000 % | c =============================================================================== c New solution: 9624 c Elapsed CPU time: 173.747 s Remaining CPU time: 6.25341 s c =============================================================================== c | 1599 | 1999 2527 978950 | 5000 1599 1739 | 0.000 % | c =============================================================================== c New solution: 9623 c Elapsed CPU time: 174.382 s Remaining CPU time: 5.61751 s c =============================================================================== c | 1599 | 1999 2528 980800 | 5000 1599 1739 | 0.000 % | c =============================================================================== c New solution: 9622 c Elapsed CPU time: 175.036 s Remaining CPU time: 4.96361 s c =============================================================================== c | 1599 | 1999 2529 982650 | 5000 1599 1739 | 0.000 % | c =============================================================================== c New solution: 9621 c Elapsed CPU time: 175.686 s Remaining CPU time: 4.31371 s c =============================================================================== c | 1599 | 1999 2530 984500 | 5000 1599 1739 | 0.000 % | c =============================================================================== c New solution: 9620 c Elapsed CPU time: 176.401 s Remaining CPU time: 3.59882 s c =============================================================================== c | 1609 | 1999 2531 986350 | 5000 1609 1739 | 0.000 % | c =============================================================================== c New solution: 9619 c Elapsed CPU time: 177.064 s Remaining CPU time: 2.93592 s c =============================================================================== c | 1609 | 1999 2532 988200 | 5000 1609 1739 | 0.000 % | c =============================================================================== c New solution: 9618 c Elapsed CPU time: 177.725 s Remaining CPU time: 2.27502 s c =============================================================================== c | 1609 | 1999 2533 990050 | 5000 1609 1739 | 0.000 % | c =============================================================================== c New solution: 9617 c Elapsed CPU time: 178.42 s Remaining CPU time: 1.58012 s c =============================================================================== c | 1619 | 1999 2534 991900 | 5000 1619 1739 | 0.000 % | c | 1720 | 1999 2534 991900 | 5500 1720 1739 | 0.050 % | c There are 1 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 387 4550 6153 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 402 4560 6181 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 407 4565 6190 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 414 4571 6198 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 421 4577 6212 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 428 4583 6226 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 435 4589 6234 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 443 4596 6243 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 449 4601 6256 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 455 4606 6265 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 463 4613 6280 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 471 4620 6295 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 477 4625 6308 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 484 4629 6333 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 492 4636 6346 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 502 4643 6360 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 512 4650 6376 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 521 4658 6390 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 531 4665 6402 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 540 4673 6414 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 551 4679 6444 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 558 4685 6452 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 566 4692 6463 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 574 4699 6472 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 582 4706 6497 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 592 4713 6511 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 602 4720 6523 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 612 4727 6541 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 624 4732 6579 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 635 4740 6604 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 643 4747 6629 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 652 4753 6646 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 660 4760 6655 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 666 4765 6662 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 670 4769 6672 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 677 4774 6694 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 684 4780 6710 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 693 4786 6739 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 700 4792 6747 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 707 4798 6755 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 715 4803 6769 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 725 4808 6790 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 732 4814 6808 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 741 4820 6829 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 752 4830 6846 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 757 4835 6855 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 763 4840 6862 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 769 4845 6869 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 775 4850 6878 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 782 4856 6894 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 790 4861 6908 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 796 4866 6917 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 803 4872 6933 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 810 4878 6941 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 817 4884 6953 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 825 4891 6962 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 831 4897 6972 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 838 4903 6982 | 5000 0 nan | 0.000 % | c ===============================================================================