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 | 1992 2002 5843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10178 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1992 2003 7693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10177 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1992 2004 9543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10171 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1992 2005 11393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10168 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1992 2006 13243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10161 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1992 2007 15093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10157 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 1992 2008 16943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10156 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 1992 2009 18793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10153 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 1992 2010 20643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10152 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 1992 2011 22493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10149 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 1992 2012 24343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10148 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 1992 2013 26193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10147 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 1992 2014 28043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10146 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 1992 2015 29893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10145 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 0 | 1992 2016 31743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10144 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 0 | 1992 2017 33593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10143 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 0 | 1992 2018 35443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10142 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 1992 2019 37293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10141 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 1992 2020 39143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10140 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 1992 2021 40993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10139 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 0 | 1992 2022 42843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10138 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 0 | 1992 2023 44693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10137 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 0 | 1992 2024 46543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10136 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 0 | 1992 2025 48393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10133 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 0 | 1992 2026 50243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10132 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 0 | 1992 2027 52093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10131 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 1992 2028 53943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10129 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 0 | 1992 2029 55793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10128 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 0 | 1992 2030 57643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10125 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 0 | 1992 2031 59493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10124 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 0 | 1992 2032 61343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10120 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 0 | 1992 2033 63193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10117 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 0 | 1992 2034 65043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10116 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 0 | 1992 2035 66893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10115 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 0 | 1992 2036 68743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10113 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 0 | 1992 2037 70593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10108 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 0 | 1992 2038 72443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10107 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 0 | 1992 2039 74293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10103 c Elapsed CPU time: 0.905862 s Remaining CPU time: 179.094 s c =============================================================================== c | 0 | 1992 2040 76143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10102 c Elapsed CPU time: 0.943856 s Remaining CPU time: 179.056 s c =============================================================================== c | 0 | 1992 2041 77993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10099 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 0 | 1992 2042 79843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10098 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 1 | 1992 2043 81693 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10097 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 1 | 1992 2044 83543 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10096 c Elapsed CPU time: 1.10783 s Remaining CPU time: 178.892 s c =============================================================================== c | 1 | 1992 2045 85393 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10094 c Elapsed CPU time: 1.14882 s Remaining CPU time: 178.851 s c =============================================================================== c | 1 | 1992 2046 87243 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10093 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 1 | 1992 2047 89093 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10092 c Elapsed CPU time: 1.23681 s Remaining CPU time: 178.763 s c =============================================================================== c | 1 | 1992 2048 90943 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10090 c Elapsed CPU time: 1.28181 s Remaining CPU time: 178.718 s c =============================================================================== c | 1 | 1992 2049 92793 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10089 c Elapsed CPU time: 1.3298 s Remaining CPU time: 178.67 s c =============================================================================== c | 1 | 1992 2050 94643 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10088 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 1 | 1992 2051 96493 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10087 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 1 | 1992 2052 98343 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10085 c Elapsed CPU time: 1.47978 s Remaining CPU time: 178.52 s c =============================================================================== c | 1 | 1992 2053 100193 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10083 c Elapsed CPU time: 1.54476 s Remaining CPU time: 178.455 s c =============================================================================== c | 1 | 1992 2054 102043 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10082 c Elapsed CPU time: 1.60776 s Remaining CPU time: 178.392 s c =============================================================================== c | 1 | 1992 2055 103893 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10081 c Elapsed CPU time: 1.67075 s Remaining CPU time: 178.329 s c =============================================================================== c | 1 | 1992 2056 105743 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10079 c Elapsed CPU time: 1.73074 s Remaining CPU time: 178.269 s c =============================================================================== c | 1 | 1992 2057 107593 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10078 c Elapsed CPU time: 1.78873 s Remaining CPU time: 178.211 s c =============================================================================== c | 1 | 1992 2058 109443 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10077 c Elapsed CPU time: 1.85572 s Remaining CPU time: 178.144 s c =============================================================================== c | 1 | 1992 2059 111293 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10076 c Elapsed CPU time: 1.91371 s Remaining CPU time: 178.086 s c =============================================================================== c | 1 | 1992 2060 113143 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10075 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s c =============================================================================== c | 1 | 1992 2061 114993 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10074 c Elapsed CPU time: 2.05169 s Remaining CPU time: 177.948 s c =============================================================================== c | 1 | 1992 2062 116843 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10073 c Elapsed CPU time: 2.12468 s Remaining CPU time: 177.875 s c =============================================================================== c | 1 | 1992 2063 118693 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10072 c Elapsed CPU time: 2.19567 s Remaining CPU time: 177.804 s c =============================================================================== c | 1 | 1992 2064 120543 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10071 c Elapsed CPU time: 2.27265 s Remaining CPU time: 177.727 s c =============================================================================== c | 1 | 1992 2065 122393 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10069 c Elapsed CPU time: 2.34764 s Remaining CPU time: 177.652 s c =============================================================================== c | 1 | 1992 2066 124243 | 5000 1 1839 | 0.000 % | c =============================================================================== c New solution: 10068 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 2 | 1992 2067 126093 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10067 c Elapsed CPU time: 2.48962 s Remaining CPU time: 177.51 s c =============================================================================== c | 2 | 1992 2068 127943 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10065 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s c =============================================================================== c | 2 | 1992 2069 129793 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10064 c Elapsed CPU time: 2.6346 s Remaining CPU time: 177.365 s c =============================================================================== c | 2 | 1992 2070 131643 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10061 c Elapsed CPU time: 2.71059 s Remaining CPU time: 177.289 s c =============================================================================== c | 2 | 1992 2071 133493 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10060 c Elapsed CPU time: 2.79258 s Remaining CPU time: 177.207 s c =============================================================================== c | 2 | 1992 2072 135343 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10059 c Elapsed CPU time: 2.87656 s Remaining CPU time: 177.123 s c =============================================================================== c | 2 | 1992 2073 137193 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10058 c Elapsed CPU time: 2.95955 s Remaining CPU time: 177.04 s c =============================================================================== c | 2 | 1992 2074 139043 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10057 c Elapsed CPU time: 3.04154 s Remaining CPU time: 176.958 s c =============================================================================== c | 2 | 1992 2075 140893 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10056 c Elapsed CPU time: 3.12752 s Remaining CPU time: 176.872 s c =============================================================================== c | 2 | 1992 2076 142743 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10055 c Elapsed CPU time: 3.21151 s Remaining CPU time: 176.788 s c =============================================================================== c | 2 | 1992 2077 144593 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10054 c Elapsed CPU time: 3.2975 s Remaining CPU time: 176.703 s c =============================================================================== c | 2 | 1992 2078 146443 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10053 c Elapsed CPU time: 3.37949 s Remaining CPU time: 176.621 s c =============================================================================== c | 2 | 1992 2079 148293 | 5000 2 920 | 0.000 % | c =============================================================================== c New solution: 10052 c Elapsed CPU time: 3.46547 s Remaining CPU time: 176.535 s c =============================================================================== c | 3 | 1992 2080 150143 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10051 c Elapsed CPU time: 3.54746 s Remaining CPU time: 176.453 s c =============================================================================== c | 3 | 1992 2081 151993 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10049 c Elapsed CPU time: 3.63345 s Remaining CPU time: 176.367 s c =============================================================================== c | 3 | 1992 2082 153843 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10048 c Elapsed CPU time: 3.72643 s Remaining CPU time: 176.274 s c =============================================================================== c | 3 | 1992 2083 155693 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10047 c Elapsed CPU time: 3.81742 s Remaining CPU time: 176.183 s c =============================================================================== c | 3 | 1992 2084 157543 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10046 c Elapsed CPU time: 3.9164 s Remaining CPU time: 176.084 s c =============================================================================== c | 3 | 1992 2085 159393 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10045 c Elapsed CPU time: 4.01539 s Remaining CPU time: 175.985 s c =============================================================================== c | 3 | 1992 2086 161243 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10044 c Elapsed CPU time: 4.11038 s Remaining CPU time: 175.89 s c =============================================================================== c | 3 | 1992 2087 163093 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10043 c Elapsed CPU time: 4.20436 s Remaining CPU time: 175.796 s c =============================================================================== c | 3 | 1992 2088 164943 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10042 c Elapsed CPU time: 4.29935 s Remaining CPU time: 175.701 s c =============================================================================== c | 3 | 1992 2089 166793 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10041 c Elapsed CPU time: 4.39833 s Remaining CPU time: 175.602 s c =============================================================================== c | 3 | 1992 2090 168643 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10039 c Elapsed CPU time: 4.50031 s Remaining CPU time: 175.5 s c =============================================================================== c | 3 | 1992 2091 170493 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10038 c Elapsed CPU time: 4.6143 s Remaining CPU time: 175.386 s c =============================================================================== c | 3 | 1992 2092 172343 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10037 c Elapsed CPU time: 4.73128 s Remaining CPU time: 175.269 s c =============================================================================== c | 3 | 1992 2093 174193 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10036 c Elapsed CPU time: 4.85826 s Remaining CPU time: 175.142 s c =============================================================================== c | 3 | 1992 2094 176043 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10034 c Elapsed CPU time: 4.97424 s Remaining CPU time: 175.026 s c =============================================================================== c | 3 | 1992 2095 177893 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10032 c Elapsed CPU time: 5.09223 s Remaining CPU time: 174.908 s c =============================================================================== c | 3 | 1992 2096 179743 | 5000 3 614 | 0.000 % | c =============================================================================== c New solution: 10031 c Elapsed CPU time: 5.21721 s Remaining CPU time: 174.783 s c =============================================================================== c | 4 | 1992 2097 181593 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10030 c Elapsed CPU time: 5.34219 s Remaining CPU time: 174.658 s c =============================================================================== c | 4 | 1992 2098 183443 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10029 c Elapsed CPU time: 5.47617 s Remaining CPU time: 174.524 s c =============================================================================== c | 4 | 1992 2099 185293 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10028 c Elapsed CPU time: 5.60815 s Remaining CPU time: 174.392 s c =============================================================================== c | 4 | 1992 2100 187143 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10027 c Elapsed CPU time: 5.72313 s Remaining CPU time: 174.277 s c =============================================================================== c | 4 | 1992 2101 188993 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10025 c Elapsed CPU time: 5.84711 s Remaining CPU time: 174.153 s c =============================================================================== c | 4 | 1992 2102 190843 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10024 c Elapsed CPU time: 5.96509 s Remaining CPU time: 174.035 s c =============================================================================== c | 4 | 1992 2103 192693 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10023 c Elapsed CPU time: 6.10107 s Remaining CPU time: 173.899 s c =============================================================================== c | 4 | 1992 2104 194543 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10022 c Elapsed CPU time: 6.22305 s Remaining CPU time: 173.777 s c =============================================================================== c | 4 | 1992 2105 196393 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10021 c Elapsed CPU time: 6.36903 s Remaining CPU time: 173.631 s c =============================================================================== c | 4 | 1992 2106 198243 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10020 c Elapsed CPU time: 6.52001 s Remaining CPU time: 173.48 s c =============================================================================== c | 4 | 1992 2107 200093 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10018 c Elapsed CPU time: 6.65899 s Remaining CPU time: 173.341 s c =============================================================================== c | 4 | 1992 2108 201943 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10017 c Elapsed CPU time: 6.78397 s Remaining CPU time: 173.216 s c =============================================================================== c | 4 | 1992 2109 203793 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10016 c Elapsed CPU time: 6.90695 s Remaining CPU time: 173.093 s c =============================================================================== c | 4 | 1992 2110 205643 | 5000 4 917 | 0.000 % | c =============================================================================== c New solution: 10015 c Elapsed CPU time: 7.03793 s Remaining CPU time: 172.962 s c =============================================================================== c | 5 | 1992 2111 207493 | 5000 5 1099 | 0.000 % | c =============================================================================== c New solution: 10014 c Elapsed CPU time: 7.17891 s Remaining CPU time: 172.821 s c =============================================================================== c | 5 | 1992 2112 209343 | 5000 5 1099 | 0.000 % | c =============================================================================== c New solution: 10013 c Elapsed CPU time: 7.31389 s Remaining CPU time: 172.686 s c =============================================================================== c | 5 | 1992 2113 211193 | 5000 5 1099 | 0.000 % | c =============================================================================== c New solution: 10012 c Elapsed CPU time: 7.46286 s Remaining CPU time: 172.537 s c =============================================================================== c | 8 | 1992 2114 213043 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10011 c Elapsed CPU time: 7.60784 s Remaining CPU time: 172.392 s c =============================================================================== c | 8 | 1992 2115 214893 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10010 c Elapsed CPU time: 7.79082 s Remaining CPU time: 172.209 s c =============================================================================== c | 8 | 1992 2116 216743 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10009 c Elapsed CPU time: 7.94879 s Remaining CPU time: 172.051 s c =============================================================================== c | 8 | 1992 2117 218593 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10008 c Elapsed CPU time: 8.09077 s Remaining CPU time: 171.909 s c =============================================================================== c | 8 | 1992 2118 220443 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10007 c Elapsed CPU time: 8.24075 s Remaining CPU time: 171.759 s c =============================================================================== c | 8 | 1992 2119 222293 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10006 c Elapsed CPU time: 8.38273 s Remaining CPU time: 171.617 s c =============================================================================== c | 8 | 1992 2120 224143 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10005 c Elapsed CPU time: 8.5257 s Remaining CPU time: 171.474 s c =============================================================================== c | 8 | 1992 2121 225993 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10004 c Elapsed CPU time: 8.66868 s Remaining CPU time: 171.331 s c =============================================================================== c | 8 | 1992 2122 227843 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10003 c Elapsed CPU time: 8.80566 s Remaining CPU time: 171.194 s c =============================================================================== c | 8 | 1992 2123 229693 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10002 c Elapsed CPU time: 8.94864 s Remaining CPU time: 171.051 s c =============================================================================== c | 8 | 1992 2124 231543 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10001 c Elapsed CPU time: 9.10961 s Remaining CPU time: 170.89 s c =============================================================================== c | 8 | 1992 2125 233393 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 10000 c Elapsed CPU time: 9.26659 s Remaining CPU time: 170.733 s c =============================================================================== c | 8 | 1992 2126 235243 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9999 c Elapsed CPU time: 9.42857 s Remaining CPU time: 170.571 s c =============================================================================== c | 8 | 1992 2127 237093 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9998 c Elapsed CPU time: 9.60054 s Remaining CPU time: 170.399 s c =============================================================================== c | 8 | 1992 2128 238943 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9997 c Elapsed CPU time: 9.77851 s Remaining CPU time: 170.221 s c =============================================================================== c | 8 | 1992 2129 240793 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9996 c Elapsed CPU time: 9.95049 s Remaining CPU time: 170.05 s c =============================================================================== c | 8 | 1992 2130 242643 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9995 c Elapsed CPU time: 10.1335 s Remaining CPU time: 169.867 s c =============================================================================== c | 8 | 1992 2131 244493 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9994 c Elapsed CPU time: 10.3104 s Remaining CPU time: 169.69 s c =============================================================================== c | 8 | 1992 2132 246343 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9993 c Elapsed CPU time: 10.4874 s Remaining CPU time: 169.513 s c =============================================================================== c | 8 | 1992 2133 248193 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9992 c Elapsed CPU time: 10.6524 s Remaining CPU time: 169.348 s c =============================================================================== c | 8 | 1992 2134 250043 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9991 c Elapsed CPU time: 10.8184 s Remaining CPU time: 169.182 s c =============================================================================== c | 8 | 1992 2135 251893 | 5000 8 1370 | 0.000 % | c =============================================================================== c New solution: 9990 c Elapsed CPU time: 10.9883 s Remaining CPU time: 169.012 s c =============================================================================== c | 9 | 1992 2136 253743 | 5000 9 1420 | 0.000 % | c =============================================================================== c New solution: 9989 c Elapsed CPU time: 11.1703 s Remaining CPU time: 168.83 s c =============================================================================== c | 9 | 1992 2137 255593 | 5000 9 1420 | 0.000 % | c =============================================================================== c New solution: 9988 c Elapsed CPU time: 11.3393 s Remaining CPU time: 168.661 s c =============================================================================== c | 9 | 1992 2138 257443 | 5000 9 1420 | 0.000 % | c =============================================================================== c New solution: 9987 c Elapsed CPU time: 11.5292 s Remaining CPU time: 168.471 s c =============================================================================== c | 9 | 1992 2139 259293 | 5000 9 1420 | 0.000 % | c =============================================================================== c New solution: 9986 c Elapsed CPU time: 11.7312 s Remaining CPU time: 168.269 s c =============================================================================== c | 9 | 1992 2140 261143 | 5000 9 1420 | 0.000 % | c =============================================================================== c New solution: 9985 c Elapsed CPU time: 11.9582 s Remaining CPU time: 168.042 s c =============================================================================== c | 9 | 1992 2141 262993 | 5000 9 1420 | 0.000 % | c =============================================================================== c New solution: 9984 c Elapsed CPU time: 12.1502 s Remaining CPU time: 167.85 s c =============================================================================== c | 12 | 1992 2142 264843 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9983 c Elapsed CPU time: 12.3491 s Remaining CPU time: 167.651 s c =============================================================================== c | 12 | 1992 2143 266693 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9982 c Elapsed CPU time: 12.5481 s Remaining CPU time: 167.452 s c =============================================================================== c | 12 | 1992 2144 268543 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9981 c Elapsed CPU time: 12.7191 s Remaining CPU time: 167.281 s c =============================================================================== c | 12 | 1992 2145 270393 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9980 c Elapsed CPU time: 12.924 s Remaining CPU time: 167.076 s c =============================================================================== c | 12 | 1992 2146 272243 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9979 c Elapsed CPU time: 13.126 s Remaining CPU time: 166.874 s c =============================================================================== c | 12 | 1992 2147 274093 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9978 c Elapsed CPU time: 13.317 s Remaining CPU time: 166.683 s c =============================================================================== c | 12 | 1992 2148 275943 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9977 c Elapsed CPU time: 13.4969 s Remaining CPU time: 166.503 s c =============================================================================== c | 12 | 1992 2149 277793 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9976 c Elapsed CPU time: 13.6959 s Remaining CPU time: 166.304 s c =============================================================================== c | 12 | 1992 2150 279643 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9975 c Elapsed CPU time: 13.8819 s Remaining CPU time: 166.118 s c =============================================================================== c | 12 | 1992 2151 281493 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9974 c Elapsed CPU time: 14.0619 s Remaining CPU time: 165.938 s c =============================================================================== c | 12 | 1992 2152 283343 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9973 c Elapsed CPU time: 14.2468 s Remaining CPU time: 165.753 s c =============================================================================== c | 12 | 1992 2153 285193 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9972 c Elapsed CPU time: 14.4318 s Remaining CPU time: 165.568 s c =============================================================================== c | 12 | 1992 2154 287043 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9971 c Elapsed CPU time: 14.6188 s Remaining CPU time: 165.381 s c =============================================================================== c | 12 | 1992 2155 288893 | 5000 12 1519 | 0.000 % | c =============================================================================== c New solution: 9970 c Elapsed CPU time: 14.8287 s Remaining CPU time: 165.171 s c =============================================================================== c | 13 | 1992 2156 290743 | 5000 13 1542 | 0.000 % | c =============================================================================== c New solution: 9969 c Elapsed CPU time: 15.0277 s Remaining CPU time: 164.972 s c =============================================================================== c | 13 | 1992 2157 292593 | 5000 13 1542 | 0.000 % | c =============================================================================== c New solution: 9968 c Elapsed CPU time: 15.2757 s Remaining CPU time: 164.724 s c =============================================================================== c | 14 | 1992 2158 294443 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9967 c Elapsed CPU time: 15.4946 s Remaining CPU time: 164.505 s c =============================================================================== c | 14 | 1992 2159 296293 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9966 c Elapsed CPU time: 15.7056 s Remaining CPU time: 164.294 s c =============================================================================== c | 14 | 1992 2160 298143 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9965 c Elapsed CPU time: 15.9266 s Remaining CPU time: 164.073 s c =============================================================================== c | 14 | 1992 2161 299993 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9964 c Elapsed CPU time: 16.1255 s Remaining CPU time: 163.874 s c =============================================================================== c | 14 | 1992 2162 301843 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9963 c Elapsed CPU time: 16.3225 s Remaining CPU time: 163.677 s c =============================================================================== c | 14 | 1992 2163 303693 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9962 c Elapsed CPU time: 16.5165 s Remaining CPU time: 163.484 s c =============================================================================== c | 14 | 1992 2164 305543 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9961 c Elapsed CPU time: 16.7335 s Remaining CPU time: 163.267 s c =============================================================================== c | 14 | 1992 2165 307393 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9960 c Elapsed CPU time: 16.9404 s Remaining CPU time: 163.06 s c =============================================================================== c | 14 | 1992 2166 309243 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9959 c Elapsed CPU time: 17.1574 s Remaining CPU time: 162.843 s c =============================================================================== c | 14 | 1992 2167 311093 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9958 c Elapsed CPU time: 17.3814 s Remaining CPU time: 162.619 s c =============================================================================== c | 14 | 1992 2168 312943 | 5000 14 1561 | 0.000 % | c =============================================================================== c New solution: 9957 c Elapsed CPU time: 17.6273 s Remaining CPU time: 162.373 s c =============================================================================== c | 17 | 1992 2169 314793 | 5000 17 1605 | 0.000 % | c =============================================================================== c New solution: 9956 c Elapsed CPU time: 17.8503 s Remaining CPU time: 162.15 s c =============================================================================== c | 17 | 1992 2170 316643 | 5000 17 1605 | 0.000 % | c =============================================================================== c New solution: 9955 c Elapsed CPU time: 18.0513 s Remaining CPU time: 161.949 s c =============================================================================== c | 17 | 1992 2171 318493 | 5000 17 1605 | 0.000 % | c =============================================================================== c New solution: 9954 c Elapsed CPU time: 18.2682 s Remaining CPU time: 161.732 s c =============================================================================== c | 17 | 1992 2172 320343 | 5000 17 1605 | 0.000 % | c =============================================================================== c New solution: 9953 c Elapsed CPU time: 18.4962 s Remaining CPU time: 161.504 s c =============================================================================== c | 18 | 1992 2173 322193 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9952 c Elapsed CPU time: 18.7132 s Remaining CPU time: 161.287 s c =============================================================================== c | 18 | 1992 2174 324043 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9951 c Elapsed CPU time: 18.9231 s Remaining CPU time: 161.077 s c =============================================================================== c | 18 | 1992 2175 325893 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9950 c Elapsed CPU time: 19.1321 s Remaining CPU time: 160.868 s c =============================================================================== c | 18 | 1992 2176 327743 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9949 c Elapsed CPU time: 19.3451 s Remaining CPU time: 160.655 s c =============================================================================== c | 18 | 1992 2177 329593 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9948 c Elapsed CPU time: 19.587 s Remaining CPU time: 160.413 s c =============================================================================== c | 18 | 1992 2178 331443 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9947 c Elapsed CPU time: 19.819 s Remaining CPU time: 160.181 s c =============================================================================== c | 18 | 1992 2179 333293 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9946 c Elapsed CPU time: 20.056 s Remaining CPU time: 159.944 s c =============================================================================== c | 18 | 1992 2180 335143 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9945 c Elapsed CPU time: 20.3169 s Remaining CPU time: 159.683 s c =============================================================================== c | 18 | 1992 2181 336993 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9944 c Elapsed CPU time: 20.5439 s Remaining CPU time: 159.456 s c =============================================================================== c | 18 | 1992 2182 338843 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9943 c Elapsed CPU time: 20.7698 s Remaining CPU time: 159.23 s c =============================================================================== c | 18 | 1992 2183 340693 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9942 c Elapsed CPU time: 20.9968 s Remaining CPU time: 159.003 s c =============================================================================== c | 18 | 1992 2184 342543 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9941 c Elapsed CPU time: 21.2528 s Remaining CPU time: 158.747 s c =============================================================================== c | 18 | 1992 2185 344393 | 5000 18 1617 | 0.000 % | c =============================================================================== c New solution: 9940 c Elapsed CPU time: 21.5517 s Remaining CPU time: 158.448 s c =============================================================================== c | 19 | 1992 2186 346243 | 5000 19 1627 | 0.000 % | c =============================================================================== c New solution: 9939 c Elapsed CPU time: 21.7907 s Remaining CPU time: 158.209 s c =============================================================================== c | 19 | 1992 2187 348093 | 5000 19 1627 | 0.000 % | c =============================================================================== c New solution: 9938 c Elapsed CPU time: 22.0297 s Remaining CPU time: 157.97 s c =============================================================================== c | 20 | 1992 2188 349943 | 5000 20 1636 | 0.000 % | c =============================================================================== c New solution: 9937 c Elapsed CPU time: 22.2686 s Remaining CPU time: 157.731 s c =============================================================================== c | 20 | 1992 2189 351793 | 5000 20 1636 | 0.000 % | c =============================================================================== c New solution: 9936 c Elapsed CPU time: 22.5136 s Remaining CPU time: 157.486 s c =============================================================================== c | 20 | 1992 2190 353643 | 5000 20 1636 | 0.000 % | c =============================================================================== c New solution: 9935 c Elapsed CPU time: 22.7345 s Remaining CPU time: 157.265 s c =============================================================================== c | 20 | 1992 2191 355493 | 5000 20 1636 | 0.000 % | c =============================================================================== c New solution: 9934 c Elapsed CPU time: 22.9775 s Remaining CPU time: 157.022 s c =============================================================================== c | 20 | 1992 2192 357343 | 5000 20 1636 | 0.000 % | c =============================================================================== c New solution: 9933 c Elapsed CPU time: 23.2455 s Remaining CPU time: 156.755 s c =============================================================================== c | 20 | 1992 2193 359193 | 5000 20 1636 | 0.000 % | c =============================================================================== c New solution: 9932 c Elapsed CPU time: 23.4844 s Remaining CPU time: 156.516 s c =============================================================================== c | 21 | 1992 2194 361043 | 5000 21 1644 | 0.000 % | c =============================================================================== c New solution: 9931 c Elapsed CPU time: 23.7074 s Remaining CPU time: 156.293 s c =============================================================================== c | 22 | 1992 2195 362893 | 5000 22 1651 | 0.000 % | c =============================================================================== c New solution: 9930 c Elapsed CPU time: 23.9414 s Remaining CPU time: 156.059 s c =============================================================================== c | 22 | 1992 2196 364743 | 5000 22 1651 | 0.000 % | c =============================================================================== c New solution: 9929 c Elapsed CPU time: 24.1853 s Remaining CPU time: 155.815 s c =============================================================================== c | 22 | 1992 2197 366593 | 5000 22 1651 | 0.000 % | c =============================================================================== c New solution: 9928 c Elapsed CPU time: 24.4303 s Remaining CPU time: 155.57 s c =============================================================================== c | 22 | 1992 2198 368443 | 5000 22 1651 | 0.000 % | c =============================================================================== c New solution: 9927 c Elapsed CPU time: 24.6682 s Remaining CPU time: 155.332 s c =============================================================================== c | 22 | 1992 2199 370293 | 5000 22 1651 | 0.000 % | c =============================================================================== c New solution: 9926 c Elapsed CPU time: 24.9092 s Remaining CPU time: 155.091 s c =============================================================================== c | 22 | 1992 2200 372143 | 5000 22 1651 | 0.000 % | c =============================================================================== c New solution: 9925 c Elapsed CPU time: 25.1562 s Remaining CPU time: 154.844 s c =============================================================================== c | 22 | 1992 2201 373993 | 5000 22 1651 | 0.000 % | c =============================================================================== c New solution: 9924 c Elapsed CPU time: 25.4451 s Remaining CPU time: 154.555 s c =============================================================================== c | 25 | 1992 2202 375843 | 5000 25 1669 | 0.000 % | c =============================================================================== c New solution: 9923 c Elapsed CPU time: 25.6911 s Remaining CPU time: 154.309 s c =============================================================================== c | 25 | 1992 2203 377693 | 5000 25 1669 | 0.000 % | c =============================================================================== c New solution: 9922 c Elapsed CPU time: 25.9681 s Remaining CPU time: 154.032 s c =============================================================================== c | 25 | 1992 2204 379543 | 5000 25 1669 | 0.000 % | c =============================================================================== c New solution: 9921 c Elapsed CPU time: 26.239 s Remaining CPU time: 153.761 s c =============================================================================== c | 25 | 1992 2205 381393 | 5000 25 1669 | 0.000 % | c =============================================================================== c New solution: 9920 c Elapsed CPU time: 26.515 s Remaining CPU time: 153.485 s c =============================================================================== c | 25 | 1992 2206 383243 | 5000 25 1669 | 0.000 % | c =============================================================================== c New solution: 9919 c Elapsed CPU time: 26.8189 s Remaining CPU time: 153.181 s c =============================================================================== c | 25 | 1992 2207 385093 | 5000 25 1669 | 0.000 % | c =============================================================================== c New solution: 9918 c Elapsed CPU time: 27.1059 s Remaining CPU time: 152.894 s c =============================================================================== c | 27 | 1992 2208 386943 | 5000 27 1679 | 0.000 % | c =============================================================================== c New solution: 9917 c Elapsed CPU time: 27.3588 s Remaining CPU time: 152.641 s c =============================================================================== c | 27 | 1992 2209 388793 | 5000 27 1679 | 0.000 % | c =============================================================================== c New solution: 9916 c Elapsed CPU time: 27.6278 s Remaining CPU time: 152.372 s c =============================================================================== c | 27 | 1992 2210 390643 | 5000 27 1679 | 0.000 % | c =============================================================================== c New solution: 9915 c Elapsed CPU time: 27.9028 s Remaining CPU time: 152.097 s c =============================================================================== c | 27 | 1992 2211 392493 | 5000 27 1679 | 0.000 % | c =============================================================================== c New solution: 9914 c Elapsed CPU time: 28.1757 s Remaining CPU time: 151.824 s c =============================================================================== c | 27 | 1992 2212 394343 | 5000 27 1679 | 0.000 % | c =============================================================================== c New solution: 9913 c Elapsed CPU time: 28.4497 s Remaining CPU time: 151.55 s c =============================================================================== c | 27 | 1992 2213 396193 | 5000 27 1679 | 0.000 % | c =============================================================================== c New solution: 9912 c Elapsed CPU time: 28.7216 s Remaining CPU time: 151.278 s c =============================================================================== c | 27 | 1992 2214 398043 | 5000 27 1679 | 0.000 % | c =============================================================================== c New solution: 9911 c Elapsed CPU time: 29.0156 s Remaining CPU time: 150.984 s c =============================================================================== c | 27 | 1992 2215 399893 | 5000 27 1679 | 0.000 % | c =============================================================================== c New solution: 9910 c Elapsed CPU time: 29.2895 s Remaining CPU time: 150.71 s c =============================================================================== c | 27 | 1992 2216 401743 | 5000 27 1679 | 0.000 % | c =============================================================================== c New solution: 9909 c Elapsed CPU time: 29.5655 s Remaining CPU time: 150.434 s c =============================================================================== c | 30 | 1992 2217 403593 | 5000 30 1691 | 0.000 % | c =============================================================================== c New solution: 9908 c Elapsed CPU time: 29.8365 s Remaining CPU time: 150.164 s c =============================================================================== c | 30 | 1992 2218 405443 | 5000 30 1691 | 0.000 % | c =============================================================================== c New solution: 9907 c Elapsed CPU time: 30.1194 s Remaining CPU time: 149.881 s c =============================================================================== c | 30 | 1992 2219 407293 | 5000 30 1691 | 0.000 % | c =============================================================================== c New solution: 9906 c Elapsed CPU time: 30.4174 s Remaining CPU time: 149.583 s c =============================================================================== c | 30 | 1992 2220 409143 | 5000 30 1691 | 0.000 % | c =============================================================================== c New solution: 9905 c Elapsed CPU time: 30.7093 s Remaining CPU time: 149.291 s c =============================================================================== c | 30 | 1992 2221 410993 | 5000 30 1691 | 0.000 % | c =============================================================================== c New solution: 9904 c Elapsed CPU time: 30.9873 s Remaining CPU time: 149.013 s c =============================================================================== c | 30 | 1992 2222 412843 | 5000 30 1691 | 0.000 % | c =============================================================================== c New solution: 9903 c Elapsed CPU time: 31.2612 s Remaining CPU time: 148.739 s c =============================================================================== c | 30 | 1992 2223 414693 | 5000 30 1691 | 0.000 % | c =============================================================================== c New solution: 9902 c Elapsed CPU time: 31.5482 s Remaining CPU time: 148.452 s c =============================================================================== c | 30 | 1992 2224 416543 | 5000 30 1691 | 0.000 % | c =============================================================================== c New solution: 9901 c Elapsed CPU time: 31.8332 s Remaining CPU time: 148.167 s c =============================================================================== c | 30 | 1992 2225 418393 | 5000 30 1691 | 0.000 % | c =============================================================================== c New solution: 9900 c Elapsed CPU time: 32.1081 s Remaining CPU time: 147.892 s c =============================================================================== c | 31 | 1992 2226 420243 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9899 c Elapsed CPU time: 32.3901 s Remaining CPU time: 147.61 s c =============================================================================== c | 31 | 1992 2227 422093 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9898 c Elapsed CPU time: 32.715 s Remaining CPU time: 147.285 s c =============================================================================== c | 31 | 1992 2228 423943 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9897 c Elapsed CPU time: 32.995 s Remaining CPU time: 147.005 s c =============================================================================== c | 31 | 1992 2229 425793 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9896 c Elapsed CPU time: 33.2939 s Remaining CPU time: 146.706 s c =============================================================================== c | 31 | 1992 2230 427643 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9895 c Elapsed CPU time: 33.5739 s Remaining CPU time: 146.426 s c =============================================================================== c | 31 | 1992 2231 429493 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9894 c Elapsed CPU time: 33.8519 s Remaining CPU time: 146.148 s c =============================================================================== c | 31 | 1992 2232 431343 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9893 c Elapsed CPU time: 34.1368 s Remaining CPU time: 145.863 s c =============================================================================== c | 31 | 1992 2233 433193 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9892 c Elapsed CPU time: 34.4318 s Remaining CPU time: 145.568 s c =============================================================================== c | 31 | 1992 2234 435043 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9891 c Elapsed CPU time: 34.7257 s Remaining CPU time: 145.274 s c =============================================================================== c | 31 | 1992 2235 436893 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9890 c Elapsed CPU time: 35.0257 s Remaining CPU time: 144.974 s c =============================================================================== c | 31 | 1992 2236 438743 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9889 c Elapsed CPU time: 35.3096 s Remaining CPU time: 144.69 s c =============================================================================== c | 31 | 1992 2237 440593 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9888 c Elapsed CPU time: 35.6006 s Remaining CPU time: 144.399 s c =============================================================================== c | 31 | 1992 2238 442443 | 5000 31 1695 | 0.000 % | c =============================================================================== c New solution: 9887 c Elapsed CPU time: 35.8875 s Remaining CPU time: 144.112 s c =============================================================================== c | 32 | 1992 2239 444293 | 5000 32 1698 | 0.000 % | c =============================================================================== c New solution: 9886 c Elapsed CPU time: 36.2075 s Remaining CPU time: 143.793 s c =============================================================================== c | 36 | 1992 2240 446143 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9885 c Elapsed CPU time: 36.5025 s Remaining CPU time: 143.498 s c =============================================================================== c | 36 | 1992 2241 447993 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9884 c Elapsed CPU time: 36.8064 s Remaining CPU time: 143.194 s c =============================================================================== c | 36 | 1992 2242 449843 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9883 c Elapsed CPU time: 37.1613 s Remaining CPU time: 142.839 s c =============================================================================== c | 36 | 1992 2243 451693 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9882 c Elapsed CPU time: 37.5143 s Remaining CPU time: 142.486 s c =============================================================================== c | 36 | 1992 2244 453543 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9881 c Elapsed CPU time: 37.8992 s Remaining CPU time: 142.101 s c =============================================================================== c | 36 | 1992 2245 455393 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9880 c Elapsed CPU time: 38.2392 s Remaining CPU time: 141.761 s c =============================================================================== c | 36 | 1992 2246 457243 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9879 c Elapsed CPU time: 38.6021 s Remaining CPU time: 141.398 s c =============================================================================== c | 36 | 1992 2247 459093 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9878 c Elapsed CPU time: 38.9481 s Remaining CPU time: 141.052 s c =============================================================================== c | 36 | 1992 2248 460943 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9877 c Elapsed CPU time: 39.283 s Remaining CPU time: 140.717 s c =============================================================================== c | 36 | 1992 2249 462793 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9876 c Elapsed CPU time: 39.609 s Remaining CPU time: 140.391 s c =============================================================================== c | 36 | 1992 2250 464643 | 5000 36 1709 | 0.000 % | c =============================================================================== c New solution: 9875 c Elapsed CPU time: 39.9449 s Remaining CPU time: 140.055 s c =============================================================================== c | 37 | 1992 2251 466493 | 5000 37 1711 | 0.000 % | c =============================================================================== c New solution: 9874 c Elapsed CPU time: 40.2579 s Remaining CPU time: 139.742 s c =============================================================================== c | 37 | 1992 2252 468343 | 5000 37 1711 | 0.000 % | c =============================================================================== c New solution: 9873 c Elapsed CPU time: 40.6498 s Remaining CPU time: 139.35 s c =============================================================================== c | 47 | 1992 2253 470193 | 5000 47 1727 | 0.000 % | c =============================================================================== c New solution: 9872 c Elapsed CPU time: 40.9938 s Remaining CPU time: 139.006 s c =============================================================================== c | 47 | 1992 2254 472043 | 5000 47 1727 | 0.000 % | c =============================================================================== c New solution: 9871 c Elapsed CPU time: 41.3387 s Remaining CPU time: 138.661 s c =============================================================================== c | 47 | 1992 2255 473893 | 5000 47 1727 | 0.000 % | c =============================================================================== c New solution: 9870 c Elapsed CPU time: 41.6847 s Remaining CPU time: 138.315 s c =============================================================================== c | 47 | 1992 2256 475743 | 5000 47 1727 | 0.000 % | c =============================================================================== c New solution: 9869 c Elapsed CPU time: 41.9996 s Remaining CPU time: 138 s c =============================================================================== c | 47 | 1992 2257 477593 | 5000 47 1727 | 0.000 % | c =============================================================================== c New solution: 9868 c Elapsed CPU time: 42.3376 s Remaining CPU time: 137.662 s c =============================================================================== c | 51 | 1992 2258 479443 | 5000 51 1732 | 0.000 % | c =============================================================================== c New solution: 9867 c Elapsed CPU time: 42.6545 s Remaining CPU time: 137.345 s c =============================================================================== c | 51 | 1992 2259 481293 | 5000 51 1732 | 0.000 % | c =============================================================================== c New solution: 9866 c Elapsed CPU time: 42.9955 s Remaining CPU time: 137.005 s c =============================================================================== c | 51 | 1992 2260 483143 | 5000 51 1732 | 0.000 % | c =============================================================================== c New solution: 9865 c Elapsed CPU time: 43.3364 s Remaining CPU time: 136.664 s c =============================================================================== c | 51 | 1992 2261 484993 | 5000 51 1732 | 0.000 % | c =============================================================================== c New solution: 9864 c Elapsed CPU time: 43.6884 s Remaining CPU time: 136.312 s c =============================================================================== c | 54 | 1992 2262 486843 | 5000 54 1735 | 0.000 % | c =============================================================================== c New solution: 9863 c Elapsed CPU time: 44.0353 s Remaining CPU time: 135.965 s c =============================================================================== c | 54 | 1992 2263 488693 | 5000 54 1735 | 0.000 % | c =============================================================================== c New solution: 9862 c Elapsed CPU time: 44.3923 s Remaining CPU time: 135.608 s c =============================================================================== c | 54 | 1992 2264 490543 | 5000 54 1735 | 0.000 % | c =============================================================================== c New solution: 9861 c Elapsed CPU time: 44.7662 s Remaining CPU time: 135.234 s c =============================================================================== c | 54 | 1992 2265 492393 | 5000 54 1735 | 0.000 % | c =============================================================================== c New solution: 9860 c Elapsed CPU time: 45.1151 s Remaining CPU time: 134.885 s c =============================================================================== c | 54 | 1992 2266 494243 | 5000 54 1735 | 0.000 % | c =============================================================================== c New solution: 9859 c Elapsed CPU time: 45.5141 s Remaining CPU time: 134.486 s c =============================================================================== c | 68 | 1992 2267 496093 | 5000 68 1746 | 0.000 % | c =============================================================================== c New solution: 9858 c Elapsed CPU time: 45.875 s Remaining CPU time: 134.125 s c =============================================================================== c | 68 | 1992 2268 497943 | 5000 68 1746 | 0.000 % | c =============================================================================== c New solution: 9857 c Elapsed CPU time: 46.245 s Remaining CPU time: 133.755 s c =============================================================================== c | 68 | 1992 2269 499793 | 5000 68 1746 | 0.000 % | c =============================================================================== c New solution: 9856 c Elapsed CPU time: 46.6309 s Remaining CPU time: 133.369 s c =============================================================================== c | 68 | 1992 2270 501643 | 5000 68 1746 | 0.000 % | c =============================================================================== c New solution: 9855 c Elapsed CPU time: 47.0049 s Remaining CPU time: 132.995 s c =============================================================================== c | 71 | 1992 2271 503493 | 5000 71 1748 | 0.000 % | c =============================================================================== c New solution: 9854 c Elapsed CPU time: 47.3448 s Remaining CPU time: 132.655 s c =============================================================================== c | 72 | 1992 2272 505343 | 5000 72 1748 | 0.000 % | c =============================================================================== c New solution: 9853 c Elapsed CPU time: 47.6778 s Remaining CPU time: 132.322 s c =============================================================================== c | 72 | 1992 2273 507193 | 5000 72 1748 | 0.000 % | c =============================================================================== c New solution: 9852 c Elapsed CPU time: 48.0457 s Remaining CPU time: 131.954 s c =============================================================================== c | 74 | 1992 2274 509043 | 5000 74 1749 | 0.000 % | c =============================================================================== c New solution: 9851 c Elapsed CPU time: 48.4036 s Remaining CPU time: 131.596 s c =============================================================================== c | 74 | 1992 2275 510893 | 5000 74 1749 | 0.000 % | c =============================================================================== c New solution: 9850 c Elapsed CPU time: 48.7916 s Remaining CPU time: 131.208 s c =============================================================================== c | 75 | 1992 2276 512743 | 5000 75 1750 | 0.000 % | c =============================================================================== c New solution: 9849 c Elapsed CPU time: 49.1695 s Remaining CPU time: 130.83 s c =============================================================================== c | 78 | 1992 2277 514593 | 5000 78 1751 | 0.000 % | c =============================================================================== c New solution: 9848 c Elapsed CPU time: 49.5225 s Remaining CPU time: 130.478 s c =============================================================================== c | 79 | 1992 2278 516443 | 5000 79 1751 | 0.000 % | c =============================================================================== c New solution: 9847 c Elapsed CPU time: 49.8954 s Remaining CPU time: 130.105 s c =============================================================================== c | 79 | 1992 2279 518293 | 5000 79 1751 | 0.000 % | c =============================================================================== c New solution: 9846 c Elapsed CPU time: 50.2274 s Remaining CPU time: 129.773 s c =============================================================================== c | 79 | 1992 2280 520143 | 5000 79 1751 | 0.000 % | c =============================================================================== c New solution: 9845 c Elapsed CPU time: 50.5813 s Remaining CPU time: 129.419 s c =============================================================================== c | 79 | 1992 2281 521993 | 5000 79 1751 | 0.000 % | c =============================================================================== c New solution: 9844 c Elapsed CPU time: 50.9263 s Remaining CPU time: 129.074 s c =============================================================================== c | 80 | 1992 2282 523843 | 5000 80 1752 | 0.000 % | c =============================================================================== c New solution: 9843 c Elapsed CPU time: 51.2842 s Remaining CPU time: 128.716 s c =============================================================================== c | 83 | 1992 2283 525693 | 5000 83 1753 | 0.000 % | c =============================================================================== c New solution: 9842 c Elapsed CPU time: 51.7481 s Remaining CPU time: 128.252 s c =============================================================================== c | 88 | 1992 2284 527543 | 5000 88 1755 | 0.000 % | c =============================================================================== c New solution: 9841 c Elapsed CPU time: 52.1301 s Remaining CPU time: 127.87 s c =============================================================================== c | 88 | 1992 2285 529393 | 5000 88 1755 | 0.000 % | c =============================================================================== c New solution: 9840 c Elapsed CPU time: 52.525 s Remaining CPU time: 127.475 s c =============================================================================== c | 88 | 1992 2286 531243 | 5000 88 1755 | 0.000 % | c =============================================================================== c New solution: 9839 c Elapsed CPU time: 52.9579 s Remaining CPU time: 127.042 s c =============================================================================== c | 88 | 1992 2287 533093 | 5000 88 1755 | 0.000 % | c =============================================================================== c New solution: 9838 c Elapsed CPU time: 53.3509 s Remaining CPU time: 126.649 s c =============================================================================== c | 88 | 1992 2288 534943 | 5000 88 1755 | 0.000 % | c =============================================================================== c New solution: 9837 c Elapsed CPU time: 53.7408 s Remaining CPU time: 126.259 s c =============================================================================== c | 88 | 1992 2289 536793 | 5000 88 1755 | 0.000 % | c =============================================================================== c New solution: 9836 c Elapsed CPU time: 54.1068 s Remaining CPU time: 125.893 s c =============================================================================== c | 88 | 1992 2290 538643 | 5000 88 1755 | 0.000 % | c =============================================================================== c New solution: 9835 c Elapsed CPU time: 54.5177 s Remaining CPU time: 125.482 s c =============================================================================== c | 89 | 1992 2291 540493 | 5000 89 1755 | 0.000 % | c =============================================================================== c New solution: 9834 c Elapsed CPU time: 54.9117 s Remaining CPU time: 125.088 s c =============================================================================== c | 90 | 1992 2292 542343 | 5000 90 1755 | 0.000 % | c =============================================================================== c New solution: 9833 c Elapsed CPU time: 55.3006 s Remaining CPU time: 124.699 s c =============================================================================== c | 90 | 1992 2293 544193 | 5000 90 1755 | 0.000 % | c =============================================================================== c New solution: 9832 c Elapsed CPU time: 55.7385 s Remaining CPU time: 124.261 s c =============================================================================== c | 92 | 1992 2294 546043 | 5000 92 1756 | 0.000 % | c =============================================================================== c New solution: 9831 c Elapsed CPU time: 56.1205 s Remaining CPU time: 123.88 s c =============================================================================== c | 92 | 1992 2295 547893 | 5000 92 1756 | 0.000 % | c =============================================================================== c New solution: 9830 c Elapsed CPU time: 56.4894 s Remaining CPU time: 123.511 s c =============================================================================== c | 93 | 1992 2296 549743 | 5000 93 1756 | 0.000 % | c =============================================================================== c New solution: 9829 c Elapsed CPU time: 56.8814 s Remaining CPU time: 123.119 s c =============================================================================== c | 94 | 1992 2297 551593 | 5000 94 1756 | 0.000 % | c =============================================================================== c New solution: 9828 c Elapsed CPU time: 57.2603 s Remaining CPU time: 122.74 s c =============================================================================== c | 94 | 1992 2298 553443 | 5000 94 1756 | 0.000 % | c =============================================================================== c New solution: 9827 c Elapsed CPU time: 57.6802 s Remaining CPU time: 122.32 s c =============================================================================== c | 97 | 1992 2299 555293 | 5000 97 1757 | 0.000 % | c =============================================================================== c New solution: 9826 c Elapsed CPU time: 58.0862 s Remaining CPU time: 121.914 s c =============================================================================== c | 97 | 1992 2300 557143 | 5000 97 1757 | 0.000 % | c =============================================================================== c New solution: 9825 c Elapsed CPU time: 58.5461 s Remaining CPU time: 121.454 s c =============================================================================== c | 101 | 1992 2301 558993 | 5000 101 1740 | 0.000 % | c =============================================================================== c New solution: 9824 c Elapsed CPU time: 58.952 s Remaining CPU time: 121.048 s c =============================================================================== c | 101 | 1992 2302 560843 | 5000 101 1740 | 0.000 % | c =============================================================================== c New solution: 9823 c Elapsed CPU time: 59.376 s Remaining CPU time: 120.624 s c =============================================================================== c | 101 | 1992 2303 562693 | 5000 101 1740 | 0.000 % | c =============================================================================== c New solution: 9822 c Elapsed CPU time: 59.7949 s Remaining CPU time: 120.205 s c =============================================================================== c | 101 | 1992 2304 564543 | 5000 101 1740 | 0.000 % | c =============================================================================== c New solution: 9821 c Elapsed CPU time: 60.2198 s Remaining CPU time: 119.78 s c =============================================================================== c | 101 | 1992 2305 566393 | 5000 101 1740 | 0.000 % | c =============================================================================== c New solution: 9820 c Elapsed CPU time: 60.6688 s Remaining CPU time: 119.331 s c =============================================================================== c | 102 | 1992 2306 568243 | 5000 102 1740 | 0.000 % | c =============================================================================== c New solution: 9819 c Elapsed CPU time: 61.1227 s Remaining CPU time: 118.877 s c =============================================================================== c | 107 | 1992 2307 570093 | 5000 107 1742 | 0.000 % | c =============================================================================== c New solution: 9818 c Elapsed CPU time: 61.5386 s Remaining CPU time: 118.461 s c =============================================================================== c | 108 | 1992 2308 571943 | 5000 108 1742 | 0.000 % | c =============================================================================== c New solution: 9817 c Elapsed CPU time: 61.9536 s Remaining CPU time: 118.046 s c =============================================================================== c | 111 | 1992 2309 573793 | 5000 111 1743 | 0.000 % | c =============================================================================== c New solution: 9816 c Elapsed CPU time: 62.4625 s Remaining CPU time: 117.537 s c =============================================================================== c | 118 | 1992 2310 575643 | 5000 118 1745 | 0.000 % | c =============================================================================== c New solution: 9815 c Elapsed CPU time: 62.8704 s Remaining CPU time: 117.13 s c =============================================================================== c | 119 | 1992 2311 577493 | 5000 119 1746 | 0.000 % | c =============================================================================== c New solution: 9814 c Elapsed CPU time: 63.2714 s Remaining CPU time: 116.729 s c =============================================================================== c | 119 | 1992 2312 579343 | 5000 119 1746 | 0.000 % | c =============================================================================== c New solution: 9813 c Elapsed CPU time: 63.6633 s Remaining CPU time: 116.337 s c =============================================================================== c | 119 | 1992 2313 581193 | 5000 119 1746 | 0.000 % | c =============================================================================== c New solution: 9812 c Elapsed CPU time: 64.0743 s Remaining CPU time: 115.926 s c =============================================================================== c | 119 | 1992 2314 583043 | 5000 119 1746 | 0.000 % | c =============================================================================== c New solution: 9811 c Elapsed CPU time: 64.4772 s Remaining CPU time: 115.523 s c =============================================================================== c | 122 | 1992 2315 584893 | 5000 122 1746 | 0.000 % | c =============================================================================== c New solution: 9810 c Elapsed CPU time: 64.9621 s Remaining CPU time: 115.038 s c =============================================================================== c | 136 | 1992 2316 586743 | 5000 136 1749 | 0.000 % | c =============================================================================== c New solution: 9809 c Elapsed CPU time: 65.3991 s Remaining CPU time: 114.601 s c =============================================================================== c | 140 | 1992 2317 588593 | 5000 140 1750 | 0.000 % | c =============================================================================== c New solution: 9808 c Elapsed CPU time: 65.997 s Remaining CPU time: 114.003 s c =============================================================================== c | 163 | 1992 2318 590443 | 5000 163 1754 | 0.000 % | c =============================================================================== c New solution: 9807 c Elapsed CPU time: 66.4709 s Remaining CPU time: 113.529 s c =============================================================================== c | 169 | 1992 2319 592293 | 5000 169 1755 | 0.000 % | c =============================================================================== c New solution: 9806 c Elapsed CPU time: 66.8918 s Remaining CPU time: 113.108 s c =============================================================================== c | 174 | 1992 2320 594143 | 5000 174 1755 | 0.000 % | c =============================================================================== c New solution: 9805 c Elapsed CPU time: 67.3038 s Remaining CPU time: 112.696 s c =============================================================================== c | 174 | 1992 2321 595993 | 5000 174 1755 | 0.000 % | c =============================================================================== c New solution: 9804 c Elapsed CPU time: 67.6837 s Remaining CPU time: 112.316 s c =============================================================================== c | 183 | 1992 2322 597843 | 5000 183 1756 | 0.000 % | c =============================================================================== c New solution: 9803 c Elapsed CPU time: 68.0727 s Remaining CPU time: 111.927 s c =============================================================================== c | 183 | 1992 2323 599693 | 5000 183 1756 | 0.000 % | c =============================================================================== c New solution: 9802 c Elapsed CPU time: 68.4346 s Remaining CPU time: 111.565 s c =============================================================================== c | 185 | 1992 2324 601543 | 5000 185 1756 | 0.000 % | c =============================================================================== c New solution: 9801 c Elapsed CPU time: 68.8465 s Remaining CPU time: 111.153 s c =============================================================================== c | 191 | 1992 2325 603393 | 5000 191 1757 | 0.000 % | c =============================================================================== c New solution: 9800 c Elapsed CPU time: 69.1795 s Remaining CPU time: 110.821 s c =============================================================================== c | 191 | 1992 2326 605243 | 5000 191 1757 | 0.000 % | c =============================================================================== c New solution: 9799 c Elapsed CPU time: 69.5164 s Remaining CPU time: 110.484 s c =============================================================================== c | 191 | 1992 2327 607093 | 5000 191 1757 | 0.000 % | c =============================================================================== c New solution: 9798 c Elapsed CPU time: 69.8964 s Remaining CPU time: 110.104 s c =============================================================================== c | 191 | 1992 2328 608943 | 5000 191 1757 | 0.000 % | c =============================================================================== c New solution: 9797 c Elapsed CPU time: 70.2523 s Remaining CPU time: 109.748 s c =============================================================================== c | 191 | 1992 2329 610793 | 5000 191 1757 | 0.000 % | c =============================================================================== c New solution: 9796 c Elapsed CPU time: 70.7053 s Remaining CPU time: 109.295 s c =============================================================================== c | 204 | 1992 2330 612643 | 5000 204 1758 | 0.000 % | c =============================================================================== c New solution: 9795 c Elapsed CPU time: 71.0632 s Remaining CPU time: 108.937 s c =============================================================================== c | 207 | 1992 2331 614493 | 5000 207 1758 | 0.000 % | c =============================================================================== c New solution: 9794 c Elapsed CPU time: 71.4221 s Remaining CPU time: 108.578 s c =============================================================================== c | 207 | 1992 2332 616343 | 5000 207 1758 | 0.000 % | c =============================================================================== c New solution: 9793 c Elapsed CPU time: 71.8391 s Remaining CPU time: 108.161 s c =============================================================================== c | 211 | 1992 2333 618193 | 5000 211 1758 | 0.000 % | c =============================================================================== c New solution: 9792 c Elapsed CPU time: 72.239 s Remaining CPU time: 107.761 s c =============================================================================== c | 211 | 1992 2334 620043 | 5000 211 1758 | 0.000 % | c =============================================================================== c New solution: 9791 c Elapsed CPU time: 72.648 s Remaining CPU time: 107.352 s c =============================================================================== c | 212 | 1992 2335 621893 | 5000 212 1758 | 0.000 % | c =============================================================================== c New solution: 9790 c Elapsed CPU time: 73.0229 s Remaining CPU time: 106.977 s c =============================================================================== c | 212 | 1992 2336 623743 | 5000 212 1758 | 0.000 % | c =============================================================================== c New solution: 9789 c Elapsed CPU time: 73.4608 s Remaining CPU time: 106.539 s c =============================================================================== c | 215 | 1992 2337 625593 | 5000 215 1759 | 0.000 % | c =============================================================================== c New solution: 9788 c Elapsed CPU time: 73.8688 s Remaining CPU time: 106.131 s c =============================================================================== c | 218 | 1992 2338 627443 | 5000 218 1759 | 0.000 % | c =============================================================================== c New solution: 9787 c Elapsed CPU time: 74.3757 s Remaining CPU time: 105.624 s c =============================================================================== c | 218 | 1992 2339 629293 | 5000 218 1759 | 0.000 % | c =============================================================================== c New solution: 9786 c Elapsed CPU time: 74.9116 s Remaining CPU time: 105.088 s c =============================================================================== c | 224 | 1992 2340 631143 | 5000 224 1759 | 0.000 % | c =============================================================================== c New solution: 9785 c Elapsed CPU time: 75.3565 s Remaining CPU time: 104.643 s c =============================================================================== c | 224 | 1992 2341 632993 | 5000 224 1759 | 0.000 % | c =============================================================================== c New solution: 9784 c Elapsed CPU time: 75.7775 s Remaining CPU time: 104.223 s c =============================================================================== c | 224 | 1992 2342 634843 | 5000 224 1759 | 0.000 % | c =============================================================================== c New solution: 9783 c Elapsed CPU time: 76.2724 s Remaining CPU time: 103.728 s c =============================================================================== c | 226 | 1992 2343 636693 | 5000 226 1759 | 0.000 % | c =============================================================================== c New solution: 9782 c Elapsed CPU time: 76.7473 s Remaining CPU time: 103.253 s c =============================================================================== c | 226 | 1992 2344 638543 | 5000 226 1759 | 0.000 % | c =============================================================================== c New solution: 9781 c Elapsed CPU time: 77.2433 s Remaining CPU time: 102.757 s c =============================================================================== c | 228 | 1992 2345 640393 | 5000 228 1759 | 0.000 % | c =============================================================================== c New solution: 9780 c Elapsed CPU time: 77.7922 s Remaining CPU time: 102.208 s c =============================================================================== c | 241 | 1992 2346 642243 | 5000 241 1760 | 0.000 % | c =============================================================================== c New solution: 9779 c Elapsed CPU time: 78.2681 s Remaining CPU time: 101.732 s c =============================================================================== c | 242 | 1992 2347 644093 | 5000 242 1760 | 0.000 % | c =============================================================================== c New solution: 9778 c Elapsed CPU time: 78.749 s Remaining CPU time: 101.251 s c =============================================================================== c | 245 | 1992 2348 645943 | 5000 245 1760 | 0.000 % | c =============================================================================== c New solution: 9777 c Elapsed CPU time: 79.188 s Remaining CPU time: 100.812 s c =============================================================================== c | 246 | 1992 2349 647793 | 5000 246 1760 | 0.000 % | c =============================================================================== c New solution: 9776 c Elapsed CPU time: 79.6389 s Remaining CPU time: 100.361 s c =============================================================================== c | 247 | 1992 2350 649643 | 5000 247 1760 | 0.000 % | c =============================================================================== c New solution: 9775 c Elapsed CPU time: 80.1088 s Remaining CPU time: 99.8912 s c =============================================================================== c | 247 | 1992 2351 651493 | 5000 247 1760 | 0.000 % | c =============================================================================== c New solution: 9774 c Elapsed CPU time: 80.5708 s Remaining CPU time: 99.4292 s c =============================================================================== c | 248 | 1992 2352 653343 | 5000 248 1753 | 0.000 % | c =============================================================================== c New solution: 9773 c Elapsed CPU time: 81.0417 s Remaining CPU time: 98.9583 s c =============================================================================== c | 248 | 1992 2353 655193 | 5000 248 1753 | 0.000 % | c =============================================================================== c New solution: 9772 c Elapsed CPU time: 81.4966 s Remaining CPU time: 98.5034 s c =============================================================================== c | 248 | 1992 2354 657043 | 5000 248 1753 | 0.000 % | c =============================================================================== c New solution: 9771 c Elapsed CPU time: 81.9965 s Remaining CPU time: 98.0035 s c =============================================================================== c | 256 | 1992 2355 658893 | 5000 256 1754 | 0.000 % | c =============================================================================== c New solution: 9770 c Elapsed CPU time: 82.4995 s Remaining CPU time: 97.5005 s c =============================================================================== c | 263 | 1992 2356 660743 | 5000 263 1754 | 0.000 % | c =============================================================================== c New solution: 9769 c Elapsed CPU time: 82.9564 s Remaining CPU time: 97.0436 s c =============================================================================== c | 263 | 1992 2357 662593 | 5000 263 1754 | 0.000 % | c =============================================================================== c New solution: 9768 c Elapsed CPU time: 83.4403 s Remaining CPU time: 96.5597 s c =============================================================================== c | 263 | 1992 2358 664443 | 5000 263 1754 | 0.000 % | c =============================================================================== c New solution: 9767 c Elapsed CPU time: 84.0132 s Remaining CPU time: 95.9868 s c =============================================================================== c | 270 | 1992 2359 666293 | 5000 270 1754 | 0.000 % | c =============================================================================== c New solution: 9766 c Elapsed CPU time: 84.5661 s Remaining CPU time: 95.4339 s c =============================================================================== c | 271 | 1992 2360 668143 | 5000 271 1754 | 0.000 % | c =============================================================================== c New solution: 9765 c Elapsed CPU time: 85.1061 s Remaining CPU time: 94.8939 s c =============================================================================== c | 271 | 1992 2361 669993 | 5000 271 1754 | 0.000 % | c | 371 | 1992 2361 669993 | 5500 371 1757 | 0.400 % | c =============================================================================== c New solution: 9764 c Elapsed CPU time: 87.0678 s Remaining CPU time: 92.9322 s c =============================================================================== c | 371 | 1992 2362 671843 | 5000 371 1757 | 0.400 % | c =============================================================================== c New solution: 9763 c Elapsed CPU time: 87.5647 s Remaining CPU time: 92.4353 s c =============================================================================== c | 378 | 1992 2363 673693 | 5000 378 1757 | 0.400 % | c =============================================================================== c New solution: 9762 c Elapsed CPU time: 88.0666 s Remaining CPU time: 91.9334 s c =============================================================================== c | 379 | 1992 2364 675543 | 5000 379 1757 | 0.400 % | c =============================================================================== c New solution: 9761 c Elapsed CPU time: 88.5345 s Remaining CPU time: 91.4655 s c =============================================================================== c | 379 | 1992 2365 677393 | 5000 379 1757 | 0.400 % | c =============================================================================== c New solution: 9760 c Elapsed CPU time: 88.9915 s Remaining CPU time: 91.0085 s c =============================================================================== c | 382 | 1992 2366 679243 | 5000 382 1757 | 0.400 % | c =============================================================================== c New solution: 9759 c Elapsed CPU time: 89.5484 s Remaining CPU time: 90.4516 s c =============================================================================== c | 391 | 1992 2367 681093 | 5000 391 1753 | 0.400 % | c =============================================================================== c New solution: 9758 c Elapsed CPU time: 89.9933 s Remaining CPU time: 90.0067 s c =============================================================================== c | 391 | 1992 2368 682943 | 5000 391 1753 | 0.400 % | c =============================================================================== c New solution: 9757 c Elapsed CPU time: 90.6512 s Remaining CPU time: 89.3488 s c =============================================================================== c | 400 | 1992 2369 684793 | 5000 400 1753 | 0.400 % | c =============================================================================== c New solution: 9756 c Elapsed CPU time: 91.4241 s Remaining CPU time: 88.5759 s c =============================================================================== c | 420 | 1992 2370 686643 | 5000 420 1754 | 0.400 % | c =============================================================================== c New solution: 9755 c Elapsed CPU time: 92.013 s Remaining CPU time: 87.987 s c =============================================================================== c | 429 | 1992 2371 688493 | 5000 429 1754 | 0.400 % | c =============================================================================== c New solution: 9754 c Elapsed CPU time: 92.6819 s Remaining CPU time: 87.3181 s c =============================================================================== c | 437 | 1992 2372 690343 | 5000 437 1754 | 0.400 % | c =============================================================================== c New solution: 9753 c Elapsed CPU time: 93.2428 s Remaining CPU time: 86.7572 s c =============================================================================== c | 449 | 1992 2373 692193 | 5000 449 1755 | 0.400 % | c =============================================================================== c New solution: 9752 c Elapsed CPU time: 93.7567 s Remaining CPU time: 86.2433 s c =============================================================================== c | 453 | 1992 2374 694043 | 5000 453 1755 | 0.400 % | c =============================================================================== c New solution: 9751 c Elapsed CPU time: 94.3067 s Remaining CPU time: 85.6933 s c =============================================================================== c | 462 | 1992 2375 695893 | 5000 462 1755 | 0.400 % | c =============================================================================== c New solution: 9750 c Elapsed CPU time: 94.8046 s Remaining CPU time: 85.1954 s c =============================================================================== c | 463 | 1992 2376 697743 | 5000 463 1755 | 0.400 % | c =============================================================================== c New solution: 9749 c Elapsed CPU time: 95.3205 s Remaining CPU time: 84.6795 s c =============================================================================== c | 466 | 1992 2377 699593 | 5000 466 1755 | 0.400 % | c =============================================================================== c New solution: 9748 c Elapsed CPU time: 95.8484 s Remaining CPU time: 84.1516 s c =============================================================================== c | 468 | 1992 2378 701443 | 5000 468 1755 | 0.400 % | c =============================================================================== c New solution: 9747 c Elapsed CPU time: 96.3354 s Remaining CPU time: 83.6646 s c =============================================================================== c | 472 | 1992 2379 703293 | 5000 472 1755 | 0.400 % | c =============================================================================== c New solution: 9746 c Elapsed CPU time: 96.8613 s Remaining CPU time: 83.1387 s c =============================================================================== c | 475 | 1992 2380 705143 | 5000 475 1755 | 0.400 % | c =============================================================================== c New solution: 9745 c Elapsed CPU time: 97.4252 s Remaining CPU time: 82.5748 s c =============================================================================== c | 490 | 1992 2381 706993 | 5000 490 1755 | 0.400 % | c =============================================================================== c New solution: 9744 c Elapsed CPU time: 98.1681 s Remaining CPU time: 81.8319 s c =============================================================================== c | 506 | 1992 2382 708843 | 5000 506 1756 | 0.400 % | c =============================================================================== c New solution: 9743 c Elapsed CPU time: 98.745 s Remaining CPU time: 81.255 s c =============================================================================== c | 516 | 1992 2383 710693 | 5000 516 1756 | 0.400 % | c =============================================================================== c New solution: 9742 c Elapsed CPU time: 99.2489 s Remaining CPU time: 80.7511 s c =============================================================================== c | 517 | 1992 2384 712543 | 5000 517 1756 | 0.400 % | c =============================================================================== c New solution: 9741 c Elapsed CPU time: 99.8818 s Remaining CPU time: 80.1182 s c =============================================================================== c | 526 | 1992 2385 714393 | 5000 526 1756 | 0.400 % | c =============================================================================== c New solution: 9740 c Elapsed CPU time: 100.42 s Remaining CPU time: 79.5803 s c =============================================================================== c | 527 | 1992 2386 716243 | 5000 527 1756 | 0.400 % | c =============================================================================== c New solution: 9739 c Elapsed CPU time: 100.934 s Remaining CPU time: 79.0663 s c =============================================================================== c | 527 | 1992 2387 718093 | 5000 527 1756 | 0.400 % | c =============================================================================== c New solution: 9738 c Elapsed CPU time: 101.487 s Remaining CPU time: 78.5134 s c =============================================================================== c | 530 | 1992 2388 719943 | 5000 530 1756 | 0.400 % | c =============================================================================== c New solution: 9737 c Elapsed CPU time: 102.058 s Remaining CPU time: 77.9415 s c =============================================================================== c | 536 | 1992 2389 721793 | 5000 536 1756 | 0.400 % | c =============================================================================== c New solution: 9736 c Elapsed CPU time: 102.643 s Remaining CPU time: 77.3566 s c =============================================================================== c | 539 | 1992 2390 723643 | 5000 539 1756 | 0.400 % | c =============================================================================== c New solution: 9735 c Elapsed CPU time: 103.172 s Remaining CPU time: 76.8277 s c =============================================================================== c | 539 | 1992 2391 725493 | 5000 539 1756 | 0.400 % | c =============================================================================== c New solution: 9734 c Elapsed CPU time: 103.745 s Remaining CPU time: 76.2548 s c =============================================================================== c | 540 | 1992 2392 727343 | 5000 540 1756 | 0.400 % | c =============================================================================== c New solution: 9733 c Elapsed CPU time: 104.301 s Remaining CPU time: 75.6989 s c =============================================================================== c | 540 | 1992 2393 729193 | 5000 540 1756 | 0.400 % | c =============================================================================== c New solution: 9732 c Elapsed CPU time: 104.858 s Remaining CPU time: 75.1419 s c =============================================================================== c | 542 | 1992 2394 731043 | 5000 542 1756 | 0.400 % | c =============================================================================== c New solution: 9731 c Elapsed CPU time: 105.454 s Remaining CPU time: 74.546 s c =============================================================================== c | 543 | 1992 2395 732893 | 5000 543 1756 | 0.400 % | c =============================================================================== c New solution: 9730 c Elapsed CPU time: 106.186 s Remaining CPU time: 73.8141 s c =============================================================================== c | 553 | 1992 2396 734743 | 5000 553 1756 | 0.400 % | c =============================================================================== c New solution: 9729 c Elapsed CPU time: 106.823 s Remaining CPU time: 73.1772 s c =============================================================================== c | 558 | 1992 2397 736593 | 5000 558 1756 | 0.400 % | c =============================================================================== c New solution: 9728 c Elapsed CPU time: 107.699 s Remaining CPU time: 72.3014 s c =============================================================================== c | 590 | 1992 2398 738443 | 5000 590 1756 | 0.400 % | c =============================================================================== c New solution: 9727 c Elapsed CPU time: 108.328 s Remaining CPU time: 71.6725 s c =============================================================================== c | 595 | 1992 2399 740293 | 5000 595 1756 | 0.400 % | c =============================================================================== c New solution: 9726 c Elapsed CPU time: 108.855 s Remaining CPU time: 71.1445 s c =============================================================================== c | 597 | 1992 2400 742143 | 5000 597 1756 | 0.400 % | c =============================================================================== c New solution: 9725 c Elapsed CPU time: 109.382 s Remaining CPU time: 70.6176 s c =============================================================================== c | 598 | 1992 2401 743993 | 5000 598 1756 | 0.400 % | c =============================================================================== c New solution: 9724 c Elapsed CPU time: 109.919 s Remaining CPU time: 70.0807 s c =============================================================================== c | 598 | 1992 2402 745843 | 5000 598 1756 | 0.400 % | c =============================================================================== c New solution: 9723 c Elapsed CPU time: 110.645 s Remaining CPU time: 69.3548 s c =============================================================================== c | 614 | 1992 2403 747693 | 5000 614 1756 | 0.400 % | c =============================================================================== c New solution: 9722 c Elapsed CPU time: 111.366 s Remaining CPU time: 68.6339 s c =============================================================================== c | 626 | 1992 2404 749543 | 5000 626 1757 | 0.400 % | c =============================================================================== c New solution: 9721 c Elapsed CPU time: 111.897 s Remaining CPU time: 68.103 s c =============================================================================== c | 626 | 1992 2405 751393 | 5000 626 1757 | 0.400 % | c =============================================================================== c New solution: 9720 c Elapsed CPU time: 112.437 s Remaining CPU time: 67.5631 s c =============================================================================== c | 629 | 1992 2406 753243 | 5000 629 1757 | 0.400 % | c =============================================================================== c New solution: 9719 c Elapsed CPU time: 112.971 s Remaining CPU time: 67.0292 s c =============================================================================== c | 629 | 1992 2407 755093 | 5000 629 1757 | 0.400 % | c =============================================================================== c New solution: 9718 c Elapsed CPU time: 113.719 s Remaining CPU time: 66.2813 s c =============================================================================== c | 648 | 1992 2408 756943 | 5000 648 1757 | 0.400 % | c =============================================================================== c New solution: 9717 c Elapsed CPU time: 114.246 s Remaining CPU time: 65.7544 s c =============================================================================== c | 649 | 1992 2409 758793 | 5000 649 1757 | 0.400 % | c =============================================================================== c New solution: 9716 c Elapsed CPU time: 114.992 s Remaining CPU time: 65.0085 s c =============================================================================== c | 665 | 1992 2410 760643 | 5000 665 1757 | 0.400 % | c =============================================================================== c New solution: 9715 c Elapsed CPU time: 115.513 s Remaining CPU time: 64.4866 s c =============================================================================== c | 667 | 1992 2411 762493 | 5000 667 1757 | 0.400 % | c =============================================================================== c New solution: 9714 c Elapsed CPU time: 116.062 s Remaining CPU time: 63.9376 s c =============================================================================== c | 667 | 1992 2412 764343 | 5000 667 1757 | 0.400 % | c =============================================================================== c New solution: 9713 c Elapsed CPU time: 116.579 s Remaining CPU time: 63.4207 s c =============================================================================== c | 668 | 1992 2413 766193 | 5000 668 1757 | 0.400 % | c =============================================================================== c New solution: 9712 c Elapsed CPU time: 117.441 s Remaining CPU time: 62.5589 s c =============================================================================== c | 690 | 1992 2414 768043 | 5000 690 1757 | 0.400 % | c =============================================================================== c New solution: 9711 c Elapsed CPU time: 118.055 s Remaining CPU time: 61.9449 s c =============================================================================== c | 693 | 1992 2415 769893 | 5000 693 1757 | 0.400 % | c =============================================================================== c New solution: 9710 c Elapsed CPU time: 118.648 s Remaining CPU time: 61.352 s c =============================================================================== c | 694 | 1992 2416 771743 | 5000 694 1757 | 0.400 % | c =============================================================================== c New solution: 9709 c Elapsed CPU time: 119.382 s Remaining CPU time: 60.6181 s c =============================================================================== c | 707 | 1992 2417 773593 | 5000 707 1757 | 0.400 % | c =============================================================================== c New solution: 9708 c Elapsed CPU time: 119.94 s Remaining CPU time: 60.0602 s c =============================================================================== c | 709 | 1992 2418 775443 | 5000 709 1757 | 0.400 % | c =============================================================================== c New solution: 9707 c Elapsed CPU time: 120.512 s Remaining CPU time: 59.4883 s c =============================================================================== c | 710 | 1992 2419 777293 | 5000 710 1757 | 0.400 % | c =============================================================================== c New solution: 9706 c Elapsed CPU time: 121.235 s Remaining CPU time: 58.7654 s c =============================================================================== c | 724 | 1992 2420 779143 | 5000 724 1757 | 0.400 % | c =============================================================================== c New solution: 9705 c Elapsed CPU time: 121.854 s Remaining CPU time: 58.1455 s c =============================================================================== c | 728 | 1992 2421 780993 | 5000 728 1752 | 0.400 % | c =============================================================================== c New solution: 9704 c Elapsed CPU time: 122.625 s Remaining CPU time: 57.3746 s c =============================================================================== c | 736 | 1992 2422 782843 | 5000 736 1752 | 0.400 % | c =============================================================================== c New solution: 9703 c Elapsed CPU time: 123.241 s Remaining CPU time: 56.7587 s c =============================================================================== c | 738 | 1992 2423 784693 | 5000 738 1752 | 0.400 % | c =============================================================================== c New solution: 9702 c Elapsed CPU time: 123.869 s Remaining CPU time: 56.1308 s c =============================================================================== c | 742 | 1992 2424 786543 | 5000 742 1752 | 0.400 % | c =============================================================================== c New solution: 9701 c Elapsed CPU time: 124.543 s Remaining CPU time: 55.4569 s c =============================================================================== c | 755 | 1992 2425 788393 | 5000 755 1752 | 0.400 % | c =============================================================================== c New solution: 9700 c Elapsed CPU time: 125.192 s Remaining CPU time: 54.808 s c =============================================================================== c | 759 | 1992 2426 790243 | 5000 759 1752 | 0.400 % | c =============================================================================== c New solution: 9699 c Elapsed CPU time: 125.825 s Remaining CPU time: 54.1751 s c =============================================================================== c | 765 | 1992 2427 792093 | 5000 765 1750 | 0.400 % | c =============================================================================== c New solution: 9698 c Elapsed CPU time: 126.561 s Remaining CPU time: 53.4392 s c =============================================================================== c | 771 | 1992 2428 793943 | 5000 771 1750 | 0.400 % | c =============================================================================== c New solution: 9697 c Elapsed CPU time: 127.096 s Remaining CPU time: 52.9043 s c =============================================================================== c | 771 | 1992 2429 795793 | 5000 771 1750 | 0.400 % | c =============================================================================== c New solution: 9696 c Elapsed CPU time: 127.649 s Remaining CPU time: 52.3514 s c =============================================================================== c | 771 | 1992 2430 797643 | 5000 771 1750 | 0.400 % | c =============================================================================== c New solution: 9695 c Elapsed CPU time: 128.18 s Remaining CPU time: 51.8205 s c =============================================================================== c | 771 | 1992 2431 799493 | 5000 771 1750 | 0.400 % | c =============================================================================== c New solution: 9694 c Elapsed CPU time: 128.813 s Remaining CPU time: 51.1866 s c =============================================================================== c | 778 | 1992 2432 801343 | 5000 778 1750 | 0.400 % | c =============================================================================== c New solution: 9693 c Elapsed CPU time: 129.366 s Remaining CPU time: 50.6337 s c =============================================================================== c | 778 | 1992 2433 803193 | 5000 778 1750 | 0.400 % | c =============================================================================== c New solution: 9692 c Elapsed CPU time: 129.955 s Remaining CPU time: 50.0448 s c =============================================================================== c | 778 | 1992 2434 805043 | 5000 778 1750 | 0.400 % | c =============================================================================== c New solution: 9691 c Elapsed CPU time: 130.53 s Remaining CPU time: 49.4698 s c =============================================================================== c | 778 | 1992 2435 806893 | 5000 778 1750 | 0.400 % | c =============================================================================== c New solution: 9690 c Elapsed CPU time: 131.137 s Remaining CPU time: 48.8629 s c =============================================================================== c | 781 | 1992 2436 808743 | 5000 781 1750 | 0.400 % | c =============================================================================== c New solution: 9689 c Elapsed CPU time: 131.746 s Remaining CPU time: 48.254 s c =============================================================================== c | 786 | 1992 2437 810593 | 5000 786 1750 | 0.400 % | c =============================================================================== c New solution: 9688 c Elapsed CPU time: 132.4 s Remaining CPU time: 47.6001 s c =============================================================================== c | 792 | 1992 2438 812443 | 5000 792 1750 | 0.400 % | c =============================================================================== c New solution: 9687 c Elapsed CPU time: 133.027 s Remaining CPU time: 46.9732 s c =============================================================================== c | 792 | 1992 2439 814293 | 5000 792 1750 | 0.400 % | c =============================================================================== c New solution: 9686 c Elapsed CPU time: 133.678 s Remaining CPU time: 46.3223 s c =============================================================================== c | 794 | 1992 2440 816143 | 5000 794 1750 | 0.400 % | c =============================================================================== c New solution: 9685 c Elapsed CPU time: 134.315 s Remaining CPU time: 45.6854 s c =============================================================================== c | 798 | 1992 2441 817993 | 5000 798 1750 | 0.400 % | c =============================================================================== c New solution: 9684 c Elapsed CPU time: 134.885 s Remaining CPU time: 45.1145 s c =============================================================================== c | 798 | 1992 2442 819843 | 5000 798 1750 | 0.400 % | c =============================================================================== c New solution: 9683 c Elapsed CPU time: 135.617 s Remaining CPU time: 44.3826 s c =============================================================================== c | 806 | 1992 2443 821693 | 5000 806 1750 | 0.400 % | c =============================================================================== c New solution: 9682 c Elapsed CPU time: 136.255 s Remaining CPU time: 43.7447 s c =============================================================================== c | 810 | 1992 2444 823543 | 5000 810 1750 | 0.400 % | c =============================================================================== c New solution: 9681 c Elapsed CPU time: 136.843 s Remaining CPU time: 43.1568 s c =============================================================================== c | 810 | 1992 2445 825393 | 5000 810 1750 | 0.400 % | c =============================================================================== c New solution: 9680 c Elapsed CPU time: 137.471 s Remaining CPU time: 42.5289 s c =============================================================================== c | 814 | 1992 2446 827243 | 5000 814 1750 | 0.400 % | c =============================================================================== c New solution: 9679 c Elapsed CPU time: 138.291 s Remaining CPU time: 41.709 s c =============================================================================== c | 828 | 1992 2447 829093 | 5000 828 1750 | 0.400 % | c =============================================================================== c New solution: 9678 c Elapsed CPU time: 138.883 s Remaining CPU time: 41.1171 s c =============================================================================== c | 828 | 1992 2448 830943 | 5000 828 1750 | 0.400 % | c =============================================================================== c New solution: 9677 c Elapsed CPU time: 139.595 s Remaining CPU time: 40.4052 s c =============================================================================== c | 846 | 1992 2449 832793 | 5000 846 1750 | 0.400 % | c =============================================================================== c New solution: 9676 c Elapsed CPU time: 140.23 s Remaining CPU time: 39.7703 s c =============================================================================== c | 847 | 1992 2450 834643 | 5000 847 1750 | 0.400 % | c =============================================================================== c New solution: 9675 c Elapsed CPU time: 140.837 s Remaining CPU time: 39.1634 s c =============================================================================== c | 847 | 1992 2451 836493 | 5000 847 1750 | 0.400 % | c =============================================================================== c New solution: 9674 c Elapsed CPU time: 141.429 s Remaining CPU time: 38.5705 s c =============================================================================== c | 847 | 1992 2452 838343 | 5000 847 1750 | 0.400 % | c =============================================================================== c New solution: 9673 c Elapsed CPU time: 141.99 s Remaining CPU time: 38.0096 s c =============================================================================== c | 847 | 1992 2453 840193 | 5000 847 1750 | 0.400 % | c =============================================================================== c New solution: 9672 c Elapsed CPU time: 142.646 s Remaining CPU time: 37.3537 s c =============================================================================== c | 851 | 1992 2454 842043 | 5000 851 1750 | 0.400 % | c =============================================================================== c New solution: 9671 c Elapsed CPU time: 143.261 s Remaining CPU time: 36.7388 s c =============================================================================== c | 853 | 1992 2455 843893 | 5000 853 1750 | 0.400 % | c =============================================================================== c New solution: 9670 c Elapsed CPU time: 143.913 s Remaining CPU time: 36.0869 s c =============================================================================== c | 858 | 1992 2456 845743 | 5000 858 1750 | 0.400 % | c =============================================================================== c New solution: 9669 c Elapsed CPU time: 144.494 s Remaining CPU time: 35.506 s c =============================================================================== c | 858 | 1992 2457 847593 | 5000 858 1750 | 0.400 % | c =============================================================================== c New solution: 9668 c Elapsed CPU time: 145.081 s Remaining CPU time: 34.9191 s c =============================================================================== c | 861 | 1992 2458 849443 | 5000 861 1750 | 0.400 % | c =============================================================================== c New solution: 9667 c Elapsed CPU time: 145.668 s Remaining CPU time: 34.3321 s c =============================================================================== c | 861 | 1992 2459 851293 | 5000 861 1750 | 0.400 % | c =============================================================================== c New solution: 9666 c Elapsed CPU time: 146.298 s Remaining CPU time: 33.7022 s c =============================================================================== c | 862 | 1992 2460 853143 | 5000 862 1750 | 0.400 % | c =============================================================================== c New solution: 9665 c Elapsed CPU time: 147.048 s Remaining CPU time: 32.9524 s c =============================================================================== c | 875 | 1992 2461 854993 | 5000 875 1750 | 0.400 % | c =============================================================================== c New solution: 9664 c Elapsed CPU time: 147.912 s Remaining CPU time: 32.0885 s c =============================================================================== c | 885 | 1992 2462 856843 | 5000 885 1750 | 0.400 % | c =============================================================================== c New solution: 9663 c Elapsed CPU time: 148.543 s Remaining CPU time: 31.4566 s c =============================================================================== c | 885 | 1992 2463 858693 | 5000 885 1750 | 0.400 % | c =============================================================================== c New solution: 9662 c Elapsed CPU time: 149.415 s Remaining CPU time: 30.5847 s c =============================================================================== c | 901 | 1992 2464 860543 | 5000 901 1750 | 0.400 % | c =============================================================================== c New solution: 9661 c Elapsed CPU time: 150.511 s Remaining CPU time: 29.4889 s c =============================================================================== c | 929 | 1992 2465 862393 | 5000 929 1750 | 0.400 % | c =============================================================================== c New solution: 9660 c Elapsed CPU time: 151.179 s Remaining CPU time: 28.821 s c =============================================================================== c | 930 | 1992 2466 864243 | 5000 930 1750 | 0.400 % | c =============================================================================== c New solution: 9659 c Elapsed CPU time: 152.118 s Remaining CPU time: 27.8821 s c =============================================================================== c | 940 | 1992 2467 866093 | 5000 940 1750 | 0.400 % | c =============================================================================== c New solution: 9658 c Elapsed CPU time: 152.786 s Remaining CPU time: 27.2142 s c =============================================================================== c | 942 | 1992 2468 867943 | 5000 942 1750 | 0.400 % | c =============================================================================== c New solution: 9657 c Elapsed CPU time: 153.563 s Remaining CPU time: 26.4373 s c =============================================================================== c | 949 | 1992 2469 869793 | 5000 949 1750 | 0.400 % | c =============================================================================== c New solution: 9656 c Elapsed CPU time: 154.21 s Remaining CPU time: 25.7904 s c =============================================================================== c | 949 | 1992 2470 871643 | 5000 949 1750 | 0.400 % | c =============================================================================== c New solution: 9655 c Elapsed CPU time: 155.054 s Remaining CPU time: 24.9456 s c =============================================================================== c | 956 | 1992 2471 873493 | 5000 956 1750 | 0.400 % | c =============================================================================== c New solution: 9654 c Elapsed CPU time: 155.937 s Remaining CPU time: 24.0627 s c =============================================================================== c | 986 | 1992 2472 875343 | 5000 986 1750 | 0.400 % | c =============================================================================== c New solution: 9653 c Elapsed CPU time: 156.627 s Remaining CPU time: 23.3728 s c =============================================================================== c | 991 | 1992 2473 877193 | 5000 991 1750 | 0.400 % | c =============================================================================== c New solution: 9652 c Elapsed CPU time: 157.307 s Remaining CPU time: 22.6929 s c =============================================================================== c | 997 | 1992 2474 879043 | 5000 997 1750 | 0.400 % | c =============================================================================== c New solution: 9651 c Elapsed CPU time: 157.947 s Remaining CPU time: 22.053 s c =============================================================================== c | 998 | 1992 2475 880893 | 5000 998 1750 | 0.400 % | c =============================================================================== c New solution: 9650 c Elapsed CPU time: 158.672 s Remaining CPU time: 21.3281 s c =============================================================================== c | 1002 | 1992 2476 882743 | 5000 1002 1750 | 0.400 % | c =============================================================================== c New solution: 9649 c Elapsed CPU time: 159.341 s Remaining CPU time: 20.6592 s c =============================================================================== c | 1004 | 1992 2477 884593 | 5000 1004 1750 | 0.400 % | c =============================================================================== c New solution: 9648 c Elapsed CPU time: 159.994 s Remaining CPU time: 20.0063 s c =============================================================================== c | 1005 | 1992 2478 886443 | 5000 1005 1750 | 0.400 % | c =============================================================================== c New solution: 9647 c Elapsed CPU time: 160.853 s Remaining CPU time: 19.1475 s c =============================================================================== c | 1010 | 1992 2479 888293 | 5000 1010 1750 | 0.400 % | c =============================================================================== c New solution: 9646 c Elapsed CPU time: 161.653 s Remaining CPU time: 18.3466 s c =============================================================================== c | 1016 | 1992 2480 890143 | 5000 1016 1750 | 0.400 % | c =============================================================================== c New solution: 9645 c Elapsed CPU time: 162.411 s Remaining CPU time: 17.5887 s c =============================================================================== c | 1019 | 1992 2481 891993 | 5000 1019 1750 | 0.400 % | c =============================================================================== c New solution: 9644 c Elapsed CPU time: 163.094 s Remaining CPU time: 16.9058 s c =============================================================================== c | 1023 | 1992 2482 893843 | 5000 1023 1750 | 0.400 % | c =============================================================================== c New solution: 9643 c Elapsed CPU time: 164.7 s Remaining CPU time: 15.3 s c =============================================================================== c | 1093 | 1992 2483 895693 | 5000 1093 1750 | 0.400 % | c =============================================================================== c New solution: 9642 c Elapsed CPU time: 165.623 s Remaining CPU time: 14.3772 s c =============================================================================== c | 1116 | 1992 2484 897543 | 5000 1116 1749 | 0.400 % | c =============================================================================== c New solution: 9641 c Elapsed CPU time: 166.245 s Remaining CPU time: 13.7553 s c =============================================================================== c | 1117 | 1992 2485 899393 | 5000 1117 1749 | 0.400 % | c =============================================================================== c New solution: 9640 c Elapsed CPU time: 166.933 s Remaining CPU time: 13.0674 s c =============================================================================== c | 1119 | 1992 2486 901243 | 5000 1119 1749 | 0.400 % | c =============================================================================== c New solution: 9639 c Elapsed CPU time: 167.832 s Remaining CPU time: 12.1675 s c =============================================================================== c | 1136 | 1992 2487 903093 | 5000 1136 1749 | 0.400 % | c =============================================================================== c New solution: 9638 c Elapsed CPU time: 168.677 s Remaining CPU time: 11.3226 s c =============================================================================== c | 1152 | 1992 2488 904943 | 5000 1152 1749 | 0.400 % | c =============================================================================== c New solution: 9637 c Elapsed CPU time: 169.432 s Remaining CPU time: 10.5678 s c =============================================================================== c | 1156 | 1992 2489 906793 | 5000 1156 1749 | 0.400 % | c =============================================================================== c New solution: 9636 c Elapsed CPU time: 170.153 s Remaining CPU time: 9.84687 s c =============================================================================== c | 1159 | 1992 2490 908643 | 5000 1159 1749 | 0.400 % | c =============================================================================== c New solution: 9635 c Elapsed CPU time: 170.913 s Remaining CPU time: 9.08698 s c =============================================================================== c | 1171 | 1992 2491 910493 | 5000 1171 1749 | 0.400 % | c =============================================================================== c New solution: 9634 c Elapsed CPU time: 171.736 s Remaining CPU time: 8.26411 s c =============================================================================== c | 1180 | 1992 2492 912343 | 5000 1180 1749 | 0.400 % | c =============================================================================== c New solution: 9633 c Elapsed CPU time: 172.569 s Remaining CPU time: 7.43123 s c =============================================================================== c | 1188 | 1992 2493 914193 | 5000 1188 1749 | 0.400 % | c =============================================================================== c New solution: 9632 c Elapsed CPU time: 173.302 s Remaining CPU time: 6.69835 s c =============================================================================== c | 1208 | 1992 2494 916043 | 5000 1208 1749 | 0.400 % | c =============================================================================== c New solution: 9631 c Elapsed CPU time: 173.97 s Remaining CPU time: 6.03045 s c =============================================================================== c | 1216 | 1992 2495 917893 | 5000 1216 1749 | 0.400 % | c =============================================================================== c New solution: 9630 c Elapsed CPU time: 174.837 s Remaining CPU time: 5.16258 s c =============================================================================== c | 1227 | 1992 2496 919743 | 5000 1227 1749 | 0.400 % | c =============================================================================== c New solution: 9629 c Elapsed CPU time: 175.673 s Remaining CPU time: 4.32671 s c =============================================================================== c | 1232 | 1992 2497 921593 | 5000 1232 1749 | 0.400 % | c =============================================================================== c New solution: 9628 c Elapsed CPU time: 176.409 s Remaining CPU time: 3.59082 s c =============================================================================== c | 1236 | 1992 2498 923443 | 5000 1236 1749 | 0.400 % | c =============================================================================== c New solution: 9627 c Elapsed CPU time: 177.072 s Remaining CPU time: 2.92792 s c =============================================================================== c | 1236 | 1992 2499 925293 | 5000 1236 1749 | 0.400 % | c =============================================================================== c New solution: 9626 c Elapsed CPU time: 178.294 s Remaining CPU time: 1.70611 s c =============================================================================== c | 1298 | 1992 2500 927143 | 5000 1298 1748 | 0.400 % | c =============================================================================== c New solution: 9625 c Elapsed CPU time: 179.122 s Remaining CPU time: 0.878231 s c =============================================================================== c | 1308 | 1992 2501 928993 | 5000 1308 1747 | 0.400 % | c =============================================================================== c New solution: 9624 c Elapsed CPU time: 179.856 s Remaining CPU time: 0.144343 s c =============================================================================== c | 1316 | 1992 2502 930843 | 5000 1316 1747 | 0.400 % | c There are 8 assigned variables. 0 in cost function.