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 | 1993 2003 5846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10174 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1993 2004 7696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10164 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1993 2005 9546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10162 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1993 2006 11396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10158 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1993 2007 13246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10156 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 1993 2008 15096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10155 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 1993 2009 16946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10150 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 1993 2010 18796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10149 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 1993 2011 20646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10146 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 1993 2012 22496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10141 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 1993 2013 24346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10140 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 1993 2014 26196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10139 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 1993 2015 28046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10134 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 1993 2016 29896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10133 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 0 | 1993 2017 31746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10132 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 0 | 1993 2018 33596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10131 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 0 | 1993 2019 35446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10129 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 0 | 1993 2020 37296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10128 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 0 | 1993 2021 39146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10127 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 0 | 1993 2022 40996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10126 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 0 | 1993 2023 42846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10125 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 1993 2024 44696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10124 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 0 | 1993 2025 46546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10123 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 0 | 1993 2026 48396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10122 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 0 | 1993 2027 50246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10121 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 0 | 1993 2028 52096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10118 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 0 | 1993 2029 53946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10117 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 0 | 1993 2030 55796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10115 c Elapsed CPU time: 0.553915 s Remaining CPU time: 179.446 s c =============================================================================== c | 0 | 1993 2031 57646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10114 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 0 | 1993 2032 59496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10113 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 0 | 1993 2033 61346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10110 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 0 | 1993 2034 63196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10109 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 0 | 1993 2035 65046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10108 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 0 | 1993 2036 66896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10106 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 0 | 1993 2037 68746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10100 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 0 | 1993 2038 70596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10095 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 0 | 1993 2039 72446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10092 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 0 | 1993 2040 74296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10091 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 0 | 1993 2041 76146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10090 c Elapsed CPU time: 0.891864 s Remaining CPU time: 179.108 s c =============================================================================== c | 0 | 1993 2042 77996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10089 c Elapsed CPU time: 0.929858 s Remaining CPU time: 179.07 s c =============================================================================== c | 0 | 1993 2043 79846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10088 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 0 | 1993 2044 81696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10087 c Elapsed CPU time: 1.00285 s Remaining CPU time: 178.997 s c =============================================================================== c | 0 | 1993 2045 83546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10086 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 0 | 1993 2046 85396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10085 c Elapsed CPU time: 1.08683 s Remaining CPU time: 178.913 s c =============================================================================== c | 0 | 1993 2047 87246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10084 c Elapsed CPU time: 1.13083 s Remaining CPU time: 178.869 s c =============================================================================== c | 0 | 1993 2048 89096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10083 c Elapsed CPU time: 1.17382 s Remaining CPU time: 178.826 s c =============================================================================== c | 0 | 1993 2049 90946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10081 c Elapsed CPU time: 1.21681 s Remaining CPU time: 178.783 s c =============================================================================== c | 0 | 1993 2050 92796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10079 c Elapsed CPU time: 1.26081 s Remaining CPU time: 178.739 s c =============================================================================== c | 0 | 1993 2051 94646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10078 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s c =============================================================================== c | 0 | 1993 2052 96496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10077 c Elapsed CPU time: 1.3478 s Remaining CPU time: 178.652 s c =============================================================================== c | 0 | 1993 2053 98346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10074 c Elapsed CPU time: 1.39379 s Remaining CPU time: 178.606 s c =============================================================================== c | 0 | 1993 2054 100196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10072 c Elapsed CPU time: 1.44178 s Remaining CPU time: 178.558 s c =============================================================================== c | 0 | 1993 2055 102046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10071 c Elapsed CPU time: 1.48777 s Remaining CPU time: 178.512 s c =============================================================================== c | 0 | 1993 2056 103896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10069 c Elapsed CPU time: 1.53977 s Remaining CPU time: 178.46 s c =============================================================================== c | 0 | 1993 2057 105746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10068 c Elapsed CPU time: 1.58976 s Remaining CPU time: 178.41 s c =============================================================================== c | 0 | 1993 2058 107596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10065 c Elapsed CPU time: 1.64075 s Remaining CPU time: 178.359 s c =============================================================================== c | 0 | 1993 2059 109446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10061 c Elapsed CPU time: 1.69574 s Remaining CPU time: 178.304 s c =============================================================================== c | 0 | 1993 2060 111296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10060 c Elapsed CPU time: 1.74973 s Remaining CPU time: 178.25 s c =============================================================================== c | 0 | 1993 2061 113146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10059 c Elapsed CPU time: 1.80472 s Remaining CPU time: 178.195 s c =============================================================================== c | 0 | 1993 2062 114996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10057 c Elapsed CPU time: 1.85972 s Remaining CPU time: 178.14 s c =============================================================================== c | 0 | 1993 2063 116846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10056 c Elapsed CPU time: 1.91571 s Remaining CPU time: 178.084 s c =============================================================================== c | 0 | 1993 2064 118696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10055 c Elapsed CPU time: 1.9737 s Remaining CPU time: 178.026 s c =============================================================================== c | 0 | 1993 2065 120546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10054 c Elapsed CPU time: 2.03569 s Remaining CPU time: 177.964 s c =============================================================================== c | 0 | 1993 2066 122396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10052 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s c =============================================================================== c | 0 | 1993 2067 124246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10049 c Elapsed CPU time: 2.15667 s Remaining CPU time: 177.843 s c =============================================================================== c | 0 | 1993 2068 126096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10047 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 0 | 1993 2069 127946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10046 c Elapsed CPU time: 2.28365 s Remaining CPU time: 177.716 s c =============================================================================== c | 0 | 1993 2070 129796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10042 c Elapsed CPU time: 2.34864 s Remaining CPU time: 177.651 s c =============================================================================== c | 0 | 1993 2071 131646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10040 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 0 | 1993 2072 133496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10039 c Elapsed CPU time: 2.47962 s Remaining CPU time: 177.52 s c =============================================================================== c | 0 | 1993 2073 135346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10038 c Elapsed CPU time: 2.54861 s Remaining CPU time: 177.451 s c =============================================================================== c | 0 | 1993 2074 137196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10037 c Elapsed CPU time: 2.6196 s Remaining CPU time: 177.38 s c =============================================================================== c | 0 | 1993 2075 139046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10036 c Elapsed CPU time: 2.69159 s Remaining CPU time: 177.308 s c =============================================================================== c | 0 | 1993 2076 140896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10034 c Elapsed CPU time: 2.76658 s Remaining CPU time: 177.233 s c =============================================================================== c | 0 | 1993 2077 142746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10033 c Elapsed CPU time: 2.84357 s Remaining CPU time: 177.156 s c =============================================================================== c | 0 | 1993 2078 144596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10032 c Elapsed CPU time: 2.92156 s Remaining CPU time: 177.078 s c =============================================================================== c | 0 | 1993 2079 146446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10029 c Elapsed CPU time: 3.00154 s Remaining CPU time: 176.998 s c =============================================================================== c | 0 | 1993 2080 148296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10028 c Elapsed CPU time: 3.07753 s Remaining CPU time: 176.922 s c =============================================================================== c | 0 | 1993 2081 150146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10027 c Elapsed CPU time: 3.15752 s Remaining CPU time: 176.842 s c =============================================================================== c | 0 | 1993 2082 151996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10026 c Elapsed CPU time: 3.23851 s Remaining CPU time: 176.761 s c =============================================================================== c | 0 | 1993 2083 153846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10024 c Elapsed CPU time: 3.31949 s Remaining CPU time: 176.681 s c =============================================================================== c | 0 | 1993 2084 155696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10021 c Elapsed CPU time: 3.40248 s Remaining CPU time: 176.598 s c =============================================================================== c | 0 | 1993 2085 157546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10019 c Elapsed CPU time: 3.48447 s Remaining CPU time: 176.516 s c =============================================================================== c | 0 | 1993 2086 159396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10018 c Elapsed CPU time: 3.57146 s Remaining CPU time: 176.429 s c =============================================================================== c | 0 | 1993 2087 161246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10015 c Elapsed CPU time: 3.65644 s Remaining CPU time: 176.344 s c =============================================================================== c | 0 | 1993 2088 163096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10012 c Elapsed CPU time: 3.73943 s Remaining CPU time: 176.261 s c =============================================================================== c | 0 | 1993 2089 164946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10011 c Elapsed CPU time: 3.82942 s Remaining CPU time: 176.171 s c =============================================================================== c | 0 | 1993 2090 166796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10010 c Elapsed CPU time: 3.9184 s Remaining CPU time: 176.082 s c =============================================================================== c | 0 | 1993 2091 168646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10009 c Elapsed CPU time: 4.01139 s Remaining CPU time: 175.989 s c =============================================================================== c | 0 | 1993 2092 170496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10006 c Elapsed CPU time: 4.10038 s Remaining CPU time: 175.9 s c =============================================================================== c | 0 | 1993 2093 172346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10004 c Elapsed CPU time: 4.19336 s Remaining CPU time: 175.807 s c =============================================================================== c | 0 | 1993 2094 174196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10000 c Elapsed CPU time: 4.28535 s Remaining CPU time: 175.715 s c =============================================================================== c | 0 | 1993 2095 176046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9998 c Elapsed CPU time: 4.38133 s Remaining CPU time: 175.619 s c =============================================================================== c | 0 | 1993 2096 177896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9997 c Elapsed CPU time: 4.48132 s Remaining CPU time: 175.519 s c =============================================================================== c | 0 | 1993 2097 179746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9996 c Elapsed CPU time: 4.5853 s Remaining CPU time: 175.415 s c =============================================================================== c | 0 | 1993 2098 181596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9994 c Elapsed CPU time: 4.68129 s Remaining CPU time: 175.319 s c =============================================================================== c | 0 | 1993 2099 183446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9993 c Elapsed CPU time: 4.78127 s Remaining CPU time: 175.219 s c =============================================================================== c | 0 | 1993 2100 185296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9990 c Elapsed CPU time: 4.88226 s Remaining CPU time: 175.118 s c =============================================================================== c | 0 | 1993 2101 187146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9987 c Elapsed CPU time: 4.98324 s Remaining CPU time: 175.017 s c =============================================================================== c | 0 | 1993 2102 188996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9982 c Elapsed CPU time: 5.08523 s Remaining CPU time: 174.915 s c =============================================================================== c | 0 | 1993 2103 190846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9980 c Elapsed CPU time: 5.18721 s Remaining CPU time: 174.813 s c =============================================================================== c | 0 | 1993 2104 192696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9977 c Elapsed CPU time: 5.29319 s Remaining CPU time: 174.707 s c =============================================================================== c | 0 | 1993 2105 194546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9976 c Elapsed CPU time: 5.39818 s Remaining CPU time: 174.602 s c =============================================================================== c | 0 | 1993 2106 196396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9975 c Elapsed CPU time: 5.51116 s Remaining CPU time: 174.489 s c =============================================================================== c | 0 | 1993 2107 198246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9973 c Elapsed CPU time: 5.62514 s Remaining CPU time: 174.375 s c =============================================================================== c | 0 | 1993 2108 200096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9972 c Elapsed CPU time: 5.74413 s Remaining CPU time: 174.256 s c =============================================================================== c | 0 | 1993 2109 201946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9970 c Elapsed CPU time: 5.86311 s Remaining CPU time: 174.137 s c =============================================================================== c | 0 | 1993 2110 203796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9969 c Elapsed CPU time: 5.98309 s Remaining CPU time: 174.017 s c =============================================================================== c | 0 | 1993 2111 205646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9968 c Elapsed CPU time: 6.10607 s Remaining CPU time: 173.894 s c =============================================================================== c | 0 | 1993 2112 207496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9967 c Elapsed CPU time: 6.22905 s Remaining CPU time: 173.771 s c =============================================================================== c | 0 | 1993 2113 209346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9965 c Elapsed CPU time: 6.35303 s Remaining CPU time: 173.647 s c =============================================================================== c | 0 | 1993 2114 211196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9964 c Elapsed CPU time: 6.47701 s Remaining CPU time: 173.523 s c =============================================================================== c | 0 | 1993 2115 213046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9962 c Elapsed CPU time: 6.6 s Remaining CPU time: 173.4 s c =============================================================================== c | 0 | 1993 2116 214896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9959 c Elapsed CPU time: 6.72498 s Remaining CPU time: 173.275 s c =============================================================================== c | 0 | 1993 2117 216746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9958 c Elapsed CPU time: 6.85396 s Remaining CPU time: 173.146 s c =============================================================================== c | 0 | 1993 2118 218596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9957 c Elapsed CPU time: 6.98694 s Remaining CPU time: 173.013 s c =============================================================================== c | 0 | 1993 2119 220446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9956 c Elapsed CPU time: 7.11992 s Remaining CPU time: 172.88 s c =============================================================================== c | 0 | 1993 2120 222296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9955 c Elapsed CPU time: 7.2579 s Remaining CPU time: 172.742 s c =============================================================================== c | 0 | 1993 2121 224146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9953 c Elapsed CPU time: 7.40287 s Remaining CPU time: 172.597 s c =============================================================================== c | 0 | 1993 2122 225996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9952 c Elapsed CPU time: 7.54185 s Remaining CPU time: 172.458 s c =============================================================================== c | 0 | 1993 2123 227846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9950 c Elapsed CPU time: 7.67883 s Remaining CPU time: 172.321 s c =============================================================================== c | 0 | 1993 2124 229696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9947 c Elapsed CPU time: 7.81981 s Remaining CPU time: 172.18 s c =============================================================================== c | 0 | 1993 2125 231546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9946 c Elapsed CPU time: 7.96579 s Remaining CPU time: 172.034 s c =============================================================================== c | 0 | 1993 2126 233396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9944 c Elapsed CPU time: 8.10577 s Remaining CPU time: 171.894 s c =============================================================================== c | 0 | 1993 2127 235246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9943 c Elapsed CPU time: 8.24775 s Remaining CPU time: 171.752 s c =============================================================================== c | 0 | 1993 2128 237096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9941 c Elapsed CPU time: 8.38872 s Remaining CPU time: 171.611 s c =============================================================================== c | 0 | 1993 2129 238946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9938 c Elapsed CPU time: 8.5317 s Remaining CPU time: 171.468 s c =============================================================================== c | 0 | 1993 2130 240796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9935 c Elapsed CPU time: 8.67368 s Remaining CPU time: 171.326 s c =============================================================================== c | 0 | 1993 2131 242646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9934 c Elapsed CPU time: 8.82066 s Remaining CPU time: 171.179 s c =============================================================================== c | 0 | 1993 2132 244496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9933 c Elapsed CPU time: 8.96964 s Remaining CPU time: 171.03 s c =============================================================================== c | 0 | 1993 2133 246346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9930 c Elapsed CPU time: 9.11861 s Remaining CPU time: 170.881 s c =============================================================================== c | 0 | 1993 2134 248196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9928 c Elapsed CPU time: 9.26959 s Remaining CPU time: 170.73 s c =============================================================================== c | 0 | 1993 2135 250046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9925 c Elapsed CPU time: 9.42157 s Remaining CPU time: 170.578 s c =============================================================================== c | 0 | 1993 2136 251896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9924 c Elapsed CPU time: 9.57554 s Remaining CPU time: 170.424 s c =============================================================================== c | 0 | 1993 2137 253746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9923 c Elapsed CPU time: 9.73052 s Remaining CPU time: 170.269 s c =============================================================================== c | 0 | 1993 2138 255596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9922 c Elapsed CPU time: 9.8905 s Remaining CPU time: 170.11 s c =============================================================================== c | 0 | 1993 2139 257446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9921 c Elapsed CPU time: 10.0475 s Remaining CPU time: 169.953 s c =============================================================================== c | 0 | 1993 2140 259296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9920 c Elapsed CPU time: 10.2094 s Remaining CPU time: 169.791 s c =============================================================================== c | 0 | 1993 2141 261146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9919 c Elapsed CPU time: 10.3704 s Remaining CPU time: 169.63 s c =============================================================================== c | 0 | 1993 2142 262996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9918 c Elapsed CPU time: 10.5294 s Remaining CPU time: 169.471 s c =============================================================================== c | 0 | 1993 2143 264846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9917 c Elapsed CPU time: 10.6924 s Remaining CPU time: 169.308 s c =============================================================================== c | 0 | 1993 2144 266696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9915 c Elapsed CPU time: 10.8514 s Remaining CPU time: 169.149 s c =============================================================================== c | 0 | 1993 2145 268546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9912 c Elapsed CPU time: 11.0173 s Remaining CPU time: 168.983 s c =============================================================================== c | 0 | 1993 2146 270396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9911 c Elapsed CPU time: 11.1863 s Remaining CPU time: 168.814 s c =============================================================================== c | 0 | 1993 2147 272246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9908 c Elapsed CPU time: 11.3553 s Remaining CPU time: 168.645 s c =============================================================================== c | 0 | 1993 2148 274096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9906 c Elapsed CPU time: 11.5182 s Remaining CPU time: 168.482 s c =============================================================================== c | 0 | 1993 2149 275946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9905 c Elapsed CPU time: 11.6802 s Remaining CPU time: 168.32 s c =============================================================================== c | 0 | 1993 2150 277796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9904 c Elapsed CPU time: 11.8462 s Remaining CPU time: 168.154 s c =============================================================================== c | 0 | 1993 2151 279646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9903 c Elapsed CPU time: 12.0242 s Remaining CPU time: 167.976 s c =============================================================================== c | 0 | 1993 2152 281496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9902 c Elapsed CPU time: 12.1931 s Remaining CPU time: 167.807 s c =============================================================================== c | 0 | 1993 2153 283346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9901 c Elapsed CPU time: 12.3631 s Remaining CPU time: 167.637 s c =============================================================================== c | 0 | 1993 2154 285196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9900 c Elapsed CPU time: 12.5331 s Remaining CPU time: 167.467 s c =============================================================================== c | 0 | 1993 2155 287046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9899 c Elapsed CPU time: 12.7101 s Remaining CPU time: 167.29 s c =============================================================================== c | 0 | 1993 2156 288896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9898 c Elapsed CPU time: 12.886 s Remaining CPU time: 167.114 s c =============================================================================== c | 0 | 1993 2157 290746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9894 c Elapsed CPU time: 13.059 s Remaining CPU time: 166.941 s c =============================================================================== c | 0 | 1993 2158 292596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9891 c Elapsed CPU time: 13.233 s Remaining CPU time: 166.767 s c =============================================================================== c | 0 | 1993 2159 294446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9890 c Elapsed CPU time: 13.418 s Remaining CPU time: 166.582 s c =============================================================================== c | 0 | 1993 2160 296296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9889 c Elapsed CPU time: 13.6019 s Remaining CPU time: 166.398 s c =============================================================================== c | 0 | 1993 2161 298146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9888 c Elapsed CPU time: 13.7799 s Remaining CPU time: 166.22 s c =============================================================================== c | 0 | 1993 2162 299996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9886 c Elapsed CPU time: 13.9649 s Remaining CPU time: 166.035 s c =============================================================================== c | 0 | 1993 2163 301846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9885 c Elapsed CPU time: 14.1588 s Remaining CPU time: 165.841 s c =============================================================================== c | 0 | 1993 2164 303696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9883 c Elapsed CPU time: 14.3528 s Remaining CPU time: 165.647 s c =============================================================================== c | 0 | 1993 2165 305546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9882 c Elapsed CPU time: 14.5498 s Remaining CPU time: 165.45 s c =============================================================================== c | 0 | 1993 2166 307396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9879 c Elapsed CPU time: 14.7468 s Remaining CPU time: 165.253 s c =============================================================================== c | 0 | 1993 2167 309246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9876 c Elapsed CPU time: 14.9407 s Remaining CPU time: 165.059 s c =============================================================================== c | 0 | 1993 2168 311096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9875 c Elapsed CPU time: 15.1307 s Remaining CPU time: 164.869 s c =============================================================================== c | 0 | 1993 2169 312946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9874 c Elapsed CPU time: 15.3237 s Remaining CPU time: 164.676 s c =============================================================================== c | 0 | 1993 2170 314796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9873 c Elapsed CPU time: 15.5166 s Remaining CPU time: 164.483 s c =============================================================================== c | 0 | 1993 2171 316646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9869 c Elapsed CPU time: 15.7096 s Remaining CPU time: 164.29 s c =============================================================================== c | 0 | 1993 2172 318496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9868 c Elapsed CPU time: 15.9106 s Remaining CPU time: 164.089 s c =============================================================================== c | 0 | 1993 2173 320346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9867 c Elapsed CPU time: 16.1076 s Remaining CPU time: 163.892 s c =============================================================================== c | 0 | 1993 2174 322196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9866 c Elapsed CPU time: 16.3065 s Remaining CPU time: 163.693 s c =============================================================================== c | 0 | 1993 2175 324046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9864 c Elapsed CPU time: 16.5005 s Remaining CPU time: 163.5 s c =============================================================================== c | 0 | 1993 2176 325896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9863 c Elapsed CPU time: 16.6965 s Remaining CPU time: 163.304 s c =============================================================================== c | 0 | 1993 2177 327746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9862 c Elapsed CPU time: 16.8904 s Remaining CPU time: 163.11 s c =============================================================================== c | 0 | 1993 2178 329596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9861 c Elapsed CPU time: 17.0854 s Remaining CPU time: 162.915 s c =============================================================================== c | 0 | 1993 2179 331446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9860 c Elapsed CPU time: 17.2854 s Remaining CPU time: 162.715 s c =============================================================================== c | 0 | 1993 2180 333296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9859 c Elapsed CPU time: 17.4843 s Remaining CPU time: 162.516 s c =============================================================================== c | 0 | 1993 2181 335146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9858 c Elapsed CPU time: 17.6893 s Remaining CPU time: 162.311 s c =============================================================================== c | 0 | 1993 2182 336996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9857 c Elapsed CPU time: 17.8913 s Remaining CPU time: 162.109 s c =============================================================================== c | 0 | 1993 2183 338846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9855 c Elapsed CPU time: 18.1022 s Remaining CPU time: 161.898 s c =============================================================================== c | 0 | 1993 2184 340696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9854 c Elapsed CPU time: 18.3092 s Remaining CPU time: 161.691 s c =============================================================================== c | 0 | 1993 2185 342546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9852 c Elapsed CPU time: 18.5142 s Remaining CPU time: 161.486 s c =============================================================================== c | 0 | 1993 2186 344396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9850 c Elapsed CPU time: 18.7202 s Remaining CPU time: 161.28 s c =============================================================================== c | 0 | 1993 2187 346246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9849 c Elapsed CPU time: 18.9261 s Remaining CPU time: 161.074 s c =============================================================================== c | 0 | 1993 2188 348096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9848 c Elapsed CPU time: 19.1361 s Remaining CPU time: 160.864 s c =============================================================================== c | 0 | 1993 2189 349946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9846 c Elapsed CPU time: 19.3441 s Remaining CPU time: 160.656 s c =============================================================================== c | 0 | 1993 2190 351796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9845 c Elapsed CPU time: 19.558 s Remaining CPU time: 160.442 s c =============================================================================== c | 0 | 1993 2191 353646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9844 c Elapsed CPU time: 19.771 s Remaining CPU time: 160.229 s c =============================================================================== c | 0 | 1993 2192 355496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9843 c Elapsed CPU time: 19.984 s Remaining CPU time: 160.016 s c =============================================================================== c | 0 | 1993 2193 357346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9842 c Elapsed CPU time: 20.1969 s Remaining CPU time: 159.803 s c =============================================================================== c | 0 | 1993 2194 359196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9841 c Elapsed CPU time: 20.4319 s Remaining CPU time: 159.568 s c =============================================================================== c | 0 | 1993 2195 361046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9836 c Elapsed CPU time: 20.6649 s Remaining CPU time: 159.335 s c =============================================================================== c | 0 | 1993 2196 362896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9835 c Elapsed CPU time: 20.9138 s Remaining CPU time: 159.086 s c =============================================================================== c | 0 | 1993 2197 364746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9834 c Elapsed CPU time: 21.1538 s Remaining CPU time: 158.846 s c =============================================================================== c | 0 | 1993 2198 366596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9833 c Elapsed CPU time: 21.3927 s Remaining CPU time: 158.607 s c =============================================================================== c | 0 | 1993 2199 368446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9832 c Elapsed CPU time: 21.6417 s Remaining CPU time: 158.358 s c =============================================================================== c | 0 | 1993 2200 370296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9831 c Elapsed CPU time: 21.8857 s Remaining CPU time: 158.114 s c =============================================================================== c | 0 | 1993 2201 372146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9829 c Elapsed CPU time: 22.1336 s Remaining CPU time: 157.866 s c =============================================================================== c | 0 | 1993 2202 373996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9828 c Elapsed CPU time: 22.3806 s Remaining CPU time: 157.619 s c =============================================================================== c | 0 | 1993 2203 375846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9826 c Elapsed CPU time: 22.6296 s Remaining CPU time: 157.37 s c =============================================================================== c | 0 | 1993 2204 377696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9825 c Elapsed CPU time: 22.8775 s Remaining CPU time: 157.122 s c =============================================================================== c | 0 | 1993 2205 379546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9824 c Elapsed CPU time: 23.1295 s Remaining CPU time: 156.871 s c =============================================================================== c | 0 | 1993 2206 381396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9823 c Elapsed CPU time: 23.3824 s Remaining CPU time: 156.618 s c =============================================================================== c | 0 | 1993 2207 383246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9822 c Elapsed CPU time: 23.6444 s Remaining CPU time: 156.356 s c =============================================================================== c | 0 | 1993 2208 385096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9821 c Elapsed CPU time: 23.9074 s Remaining CPU time: 156.093 s c =============================================================================== c | 0 | 1993 2209 386946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9818 c Elapsed CPU time: 24.1673 s Remaining CPU time: 155.833 s c =============================================================================== c | 0 | 1993 2210 388796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9816 c Elapsed CPU time: 24.4303 s Remaining CPU time: 155.57 s c =============================================================================== c | 0 | 1993 2211 390646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9814 c Elapsed CPU time: 24.6942 s Remaining CPU time: 155.306 s c =============================================================================== c | 0 | 1993 2212 392496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9813 c Elapsed CPU time: 24.9612 s Remaining CPU time: 155.039 s c =============================================================================== c | 0 | 1993 2213 394346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9812 c Elapsed CPU time: 25.2342 s Remaining CPU time: 154.766 s c =============================================================================== c | 0 | 1993 2214 396196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9811 c Elapsed CPU time: 25.4981 s Remaining CPU time: 154.502 s c =============================================================================== c | 0 | 1993 2215 398046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9810 c Elapsed CPU time: 25.7671 s Remaining CPU time: 154.233 s c =============================================================================== c | 0 | 1993 2216 399896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9809 c Elapsed CPU time: 26.037 s Remaining CPU time: 153.963 s c =============================================================================== c | 0 | 1993 2217 401746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9808 c Elapsed CPU time: 26.317 s Remaining CPU time: 153.683 s c =============================================================================== c | 0 | 1993 2218 403596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9807 c Elapsed CPU time: 26.598 s Remaining CPU time: 153.402 s c =============================================================================== c | 0 | 1993 2219 405446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9805 c Elapsed CPU time: 26.8709 s Remaining CPU time: 153.129 s c =============================================================================== c | 0 | 1993 2220 407296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9804 c Elapsed CPU time: 27.1469 s Remaining CPU time: 152.853 s c =============================================================================== c | 0 | 1993 2221 409146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9803 c Elapsed CPU time: 27.4208 s Remaining CPU time: 152.579 s c =============================================================================== c | 0 | 1993 2222 410996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9802 c Elapsed CPU time: 27.6918 s Remaining CPU time: 152.308 s c =============================================================================== c | 0 | 1993 2223 412846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9799 c Elapsed CPU time: 27.9677 s Remaining CPU time: 152.032 s c =============================================================================== c | 0 | 1993 2224 414696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9797 c Elapsed CPU time: 28.2477 s Remaining CPU time: 151.752 s c =============================================================================== c | 0 | 1993 2225 416546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9796 c Elapsed CPU time: 28.5287 s Remaining CPU time: 151.471 s c =============================================================================== c | 0 | 1993 2226 418396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9795 c Elapsed CPU time: 28.8036 s Remaining CPU time: 151.196 s c =============================================================================== c | 0 | 1993 2227 420246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9793 c Elapsed CPU time: 29.0816 s Remaining CPU time: 150.918 s c =============================================================================== c | 0 | 1993 2228 422096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9791 c Elapsed CPU time: 29.3655 s Remaining CPU time: 150.634 s c =============================================================================== c | 0 | 1993 2229 423946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9789 c Elapsed CPU time: 29.6455 s Remaining CPU time: 150.355 s c =============================================================================== c | 0 | 1993 2230 425796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9787 c Elapsed CPU time: 29.9215 s Remaining CPU time: 150.079 s c =============================================================================== c | 1 | 1993 2231 427646 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9786 c Elapsed CPU time: 30.2004 s Remaining CPU time: 149.8 s c =============================================================================== c | 1 | 1993 2232 429496 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9785 c Elapsed CPU time: 30.4764 s Remaining CPU time: 149.524 s c =============================================================================== c | 1 | 1993 2233 431346 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9784 c Elapsed CPU time: 30.7533 s Remaining CPU time: 149.247 s c =============================================================================== c | 1 | 1993 2234 433196 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9782 c Elapsed CPU time: 31.0383 s Remaining CPU time: 148.962 s c =============================================================================== c | 1 | 1993 2235 435046 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9781 c Elapsed CPU time: 31.3092 s Remaining CPU time: 148.691 s c =============================================================================== c | 1 | 1993 2236 436896 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9780 c Elapsed CPU time: 31.5972 s Remaining CPU time: 148.403 s c =============================================================================== c | 1 | 1993 2237 438746 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9779 c Elapsed CPU time: 31.8772 s Remaining CPU time: 148.123 s c =============================================================================== c | 1 | 1993 2238 440596 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9778 c Elapsed CPU time: 32.1581 s Remaining CPU time: 147.842 s c =============================================================================== c | 1 | 1993 2239 442446 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9777 c Elapsed CPU time: 32.4341 s Remaining CPU time: 147.566 s c =============================================================================== c | 1 | 1993 2240 444296 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9776 c Elapsed CPU time: 32.719 s Remaining CPU time: 147.281 s c =============================================================================== c | 1 | 1993 2241 446146 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9775 c Elapsed CPU time: 33.016 s Remaining CPU time: 146.984 s c =============================================================================== c | 1 | 1993 2242 447996 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9773 c Elapsed CPU time: 33.3119 s Remaining CPU time: 146.688 s c =============================================================================== c | 1 | 1993 2243 449846 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9772 c Elapsed CPU time: 33.6049 s Remaining CPU time: 146.395 s c =============================================================================== c | 1 | 1993 2244 451696 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9770 c Elapsed CPU time: 33.8878 s Remaining CPU time: 146.112 s c =============================================================================== c | 1 | 1993 2245 453546 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9769 c Elapsed CPU time: 34.1688 s Remaining CPU time: 145.831 s c =============================================================================== c | 1 | 1993 2246 455396 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9768 c Elapsed CPU time: 34.4778 s Remaining CPU time: 145.522 s c =============================================================================== c | 1 | 1993 2247 457246 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9767 c Elapsed CPU time: 34.7787 s Remaining CPU time: 145.221 s c =============================================================================== c | 1 | 1993 2248 459096 | 5000 1 1796 | 0.000 % | c =============================================================================== c New solution: 9766 c Elapsed CPU time: 35.0947 s Remaining CPU time: 144.905 s c =============================================================================== c | 2 | 1993 2249 460946 | 5000 2 1792 | 0.000 % | c =============================================================================== c New solution: 9765 c Elapsed CPU time: 35.4046 s Remaining CPU time: 144.595 s c =============================================================================== c | 2 | 1993 2250 462796 | 5000 2 1792 | 0.000 % | c =============================================================================== c New solution: 9764 c Elapsed CPU time: 35.7226 s Remaining CPU time: 144.277 s c =============================================================================== c | 2 | 1993 2251 464646 | 5000 2 1792 | 0.000 % | c =============================================================================== c New solution: 9763 c Elapsed CPU time: 36.0555 s Remaining CPU time: 143.944 s c =============================================================================== c | 2 | 1993 2252 466496 | 5000 2 1792 | 0.000 % | c =============================================================================== c New solution: 9762 c Elapsed CPU time: 36.3755 s Remaining CPU time: 143.625 s c =============================================================================== c | 2 | 1993 2253 468346 | 5000 2 1792 | 0.000 % | c =============================================================================== c New solution: 9761 c Elapsed CPU time: 36.7084 s Remaining CPU time: 143.292 s c =============================================================================== c | 2 | 1993 2254 470196 | 5000 2 1792 | 0.000 % | c =============================================================================== c New solution: 9760 c Elapsed CPU time: 37.0434 s Remaining CPU time: 142.957 s c =============================================================================== c | 3 | 1993 2255 472046 | 5000 3 1790 | 0.000 % | c =============================================================================== c New solution: 9759 c Elapsed CPU time: 37.3773 s Remaining CPU time: 142.623 s c =============================================================================== c | 3 | 1993 2256 473896 | 5000 3 1790 | 0.000 % | c =============================================================================== c New solution: 9758 c Elapsed CPU time: 37.6913 s Remaining CPU time: 142.309 s c =============================================================================== c | 4 | 1993 2257 475746 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9757 c Elapsed CPU time: 37.9942 s Remaining CPU time: 142.006 s c =============================================================================== c | 4 | 1993 2258 477596 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9756 c Elapsed CPU time: 38.2952 s Remaining CPU time: 141.705 s c =============================================================================== c | 4 | 1993 2259 479446 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9755 c Elapsed CPU time: 38.6101 s Remaining CPU time: 141.39 s c =============================================================================== c | 4 | 1993 2260 481296 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9754 c Elapsed CPU time: 38.9361 s Remaining CPU time: 141.064 s c =============================================================================== c | 4 | 1993 2261 483146 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9753 c Elapsed CPU time: 39.24 s Remaining CPU time: 140.76 s c =============================================================================== c | 4 | 1993 2262 484996 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9752 c Elapsed CPU time: 39.548 s Remaining CPU time: 140.452 s c =============================================================================== c | 4 | 1993 2263 486846 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9751 c Elapsed CPU time: 39.8639 s Remaining CPU time: 140.136 s c =============================================================================== c | 4 | 1993 2264 488696 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9750 c Elapsed CPU time: 40.1819 s Remaining CPU time: 139.818 s c =============================================================================== c | 4 | 1993 2265 490546 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9749 c Elapsed CPU time: 40.5028 s Remaining CPU time: 139.497 s c =============================================================================== c | 4 | 1993 2266 492396 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9748 c Elapsed CPU time: 40.8268 s Remaining CPU time: 139.173 s c =============================================================================== c | 4 | 1993 2267 494246 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9747 c Elapsed CPU time: 41.1627 s Remaining CPU time: 138.837 s c =============================================================================== c | 4 | 1993 2268 496096 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9746 c Elapsed CPU time: 41.4857 s Remaining CPU time: 138.514 s c =============================================================================== c | 4 | 1993 2269 497946 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9745 c Elapsed CPU time: 41.8196 s Remaining CPU time: 138.18 s c =============================================================================== c | 4 | 1993 2270 499796 | 5000 4 1789 | 0.000 % | c =============================================================================== c New solution: 9744 c Elapsed CPU time: 42.1706 s Remaining CPU time: 137.829 s c =============================================================================== c | 5 | 1993 2271 501646 | 5000 5 1788 | 0.000 % | c =============================================================================== c New solution: 9743 c Elapsed CPU time: 42.5085 s Remaining CPU time: 137.491 s c =============================================================================== c | 6 | 1993 2272 503496 | 5000 6 1491 | 0.000 % | c =============================================================================== c New solution: 9742 c Elapsed CPU time: 42.8595 s Remaining CPU time: 137.141 s c =============================================================================== c | 6 | 1993 2273 505346 | 5000 6 1491 | 0.000 % | c =============================================================================== c New solution: 9741 c Elapsed CPU time: 43.1904 s Remaining CPU time: 136.81 s c =============================================================================== c | 6 | 1993 2274 507196 | 5000 6 1491 | 0.000 % | c =============================================================================== c New solution: 9740 c Elapsed CPU time: 43.5274 s Remaining CPU time: 136.473 s c =============================================================================== c | 6 | 1993 2275 509046 | 5000 6 1491 | 0.000 % | c =============================================================================== c New solution: 9739 c Elapsed CPU time: 43.8653 s Remaining CPU time: 136.135 s c =============================================================================== c | 6 | 1993 2276 510896 | 5000 6 1491 | 0.000 % | c =============================================================================== c New solution: 9738 c Elapsed CPU time: 44.1993 s Remaining CPU time: 135.801 s c =============================================================================== c | 6 | 1993 2277 512746 | 5000 6 1491 | 0.000 % | c =============================================================================== c New solution: 9737 c Elapsed CPU time: 44.5302 s Remaining CPU time: 135.47 s c =============================================================================== c | 6 | 1993 2278 514596 | 5000 6 1491 | 0.000 % | c =============================================================================== c New solution: 9736 c Elapsed CPU time: 44.8472 s Remaining CPU time: 135.153 s c =============================================================================== c | 6 | 1993 2279 516446 | 5000 6 1491 | 0.000 % | c =============================================================================== c New solution: 9735 c Elapsed CPU time: 45.2031 s Remaining CPU time: 134.797 s c =============================================================================== c | 15 | 1993 2280 518296 | 5000 15 1548 | 0.000 % | c =============================================================================== c New solution: 9734 c Elapsed CPU time: 45.5611 s Remaining CPU time: 134.439 s c =============================================================================== c | 16 | 1993 2281 520146 | 5000 16 1563 | 0.000 % | c =============================================================================== c New solution: 9733 c Elapsed CPU time: 45.917 s Remaining CPU time: 134.083 s c =============================================================================== c | 16 | 1993 2282 521996 | 5000 16 1563 | 0.000 % | c =============================================================================== c New solution: 9732 c Elapsed CPU time: 46.283 s Remaining CPU time: 133.717 s c =============================================================================== c | 16 | 1993 2283 523846 | 5000 16 1563 | 0.000 % | c =============================================================================== c New solution: 9731 c Elapsed CPU time: 46.6329 s Remaining CPU time: 133.367 s c =============================================================================== c | 16 | 1993 2284 525696 | 5000 16 1563 | 0.000 % | c =============================================================================== c New solution: 9730 c Elapsed CPU time: 46.9679 s Remaining CPU time: 133.032 s c =============================================================================== c | 16 | 1993 2285 527546 | 5000 16 1563 | 0.000 % | c =============================================================================== c New solution: 9729 c Elapsed CPU time: 47.3278 s Remaining CPU time: 132.672 s c =============================================================================== c | 18 | 1993 2286 529396 | 5000 18 1587 | 0.000 % | c =============================================================================== c New solution: 9728 c Elapsed CPU time: 47.7047 s Remaining CPU time: 132.295 s c =============================================================================== c | 20 | 1993 2287 531246 | 5000 20 1607 | 0.000 % | c =============================================================================== c New solution: 9727 c Elapsed CPU time: 48.0577 s Remaining CPU time: 131.942 s c =============================================================================== c | 20 | 1993 2288 533096 | 5000 20 1607 | 0.000 % | c =============================================================================== c New solution: 9726 c Elapsed CPU time: 48.4146 s Remaining CPU time: 131.585 s c =============================================================================== c | 20 | 1993 2289 534946 | 5000 20 1607 | 0.000 % | c =============================================================================== c New solution: 9725 c Elapsed CPU time: 48.7736 s Remaining CPU time: 131.226 s c =============================================================================== c | 20 | 1993 2290 536796 | 5000 20 1607 | 0.000 % | c =============================================================================== c New solution: 9724 c Elapsed CPU time: 49.1495 s Remaining CPU time: 130.85 s c =============================================================================== c | 30 | 1993 2291 538646 | 5000 30 1665 | 0.000 % | c =============================================================================== c New solution: 9723 c Elapsed CPU time: 49.5135 s Remaining CPU time: 130.487 s c =============================================================================== c | 30 | 1993 2292 540496 | 5000 30 1665 | 0.000 % | c =============================================================================== c New solution: 9722 c Elapsed CPU time: 49.8854 s Remaining CPU time: 130.115 s c =============================================================================== c | 30 | 1993 2293 542346 | 5000 30 1665 | 0.000 % | c =============================================================================== c New solution: 9721 c Elapsed CPU time: 50.2564 s Remaining CPU time: 129.744 s c =============================================================================== c | 30 | 1993 2294 544196 | 5000 30 1665 | 0.000 % | c =============================================================================== c New solution: 9720 c Elapsed CPU time: 50.6123 s Remaining CPU time: 129.388 s c =============================================================================== c | 30 | 1993 2295 546046 | 5000 30 1665 | 0.000 % | c =============================================================================== c New solution: 9719 c Elapsed CPU time: 50.9783 s Remaining CPU time: 129.022 s c =============================================================================== c | 30 | 1993 2296 547896 | 5000 30 1665 | 0.000 % | c =============================================================================== c New solution: 9718 c Elapsed CPU time: 51.3522 s Remaining CPU time: 128.648 s c =============================================================================== c | 31 | 1993 2297 549746 | 5000 31 1669 | 0.000 % | c =============================================================================== c New solution: 9717 c Elapsed CPU time: 51.7121 s Remaining CPU time: 128.288 s c =============================================================================== c | 31 | 1993 2298 551596 | 5000 31 1669 | 0.000 % | c =============================================================================== c New solution: 9716 c Elapsed CPU time: 52.1231 s Remaining CPU time: 127.877 s c =============================================================================== c | 36 | 1993 2299 553446 | 5000 36 1684 | 0.000 % | c =============================================================================== c New solution: 9715 c Elapsed CPU time: 52.479 s Remaining CPU time: 127.521 s c =============================================================================== c | 36 | 1993 2300 555296 | 5000 36 1684 | 0.000 % | c =============================================================================== c New solution: 9714 c Elapsed CPU time: 52.842 s Remaining CPU time: 127.158 s c =============================================================================== c | 36 | 1993 2301 557146 | 5000 36 1684 | 0.000 % | c =============================================================================== c New solution: 9713 c Elapsed CPU time: 53.2379 s Remaining CPU time: 126.762 s c =============================================================================== c | 39 | 1993 2302 558996 | 5000 39 1692 | 0.000 % | c =============================================================================== c New solution: 9712 c Elapsed CPU time: 53.6468 s Remaining CPU time: 126.353 s c =============================================================================== c | 40 | 1993 2303 560846 | 5000 40 1694 | 0.000 % | c =============================================================================== c New solution: 9711 c Elapsed CPU time: 54.0348 s Remaining CPU time: 125.965 s c =============================================================================== c | 40 | 1993 2304 562696 | 5000 40 1694 | 0.000 % | c =============================================================================== c New solution: 9710 c Elapsed CPU time: 54.4147 s Remaining CPU time: 125.585 s c =============================================================================== c | 42 | 1993 2305 564546 | 5000 42 1698 | 0.000 % | c =============================================================================== c New solution: 9709 c Elapsed CPU time: 54.7707 s Remaining CPU time: 125.229 s c =============================================================================== c | 42 | 1993 2306 566396 | 5000 42 1698 | 0.000 % | c =============================================================================== c New solution: 9708 c Elapsed CPU time: 55.1256 s Remaining CPU time: 124.874 s c =============================================================================== c | 42 | 1993 2307 568246 | 5000 42 1698 | 0.000 % | c =============================================================================== c New solution: 9707 c Elapsed CPU time: 55.4936 s Remaining CPU time: 124.506 s c =============================================================================== c | 42 | 1993 2308 570096 | 5000 42 1698 | 0.000 % | c =============================================================================== c New solution: 9706 c Elapsed CPU time: 55.8805 s Remaining CPU time: 124.119 s c =============================================================================== c | 42 | 1993 2309 571946 | 5000 42 1698 | 0.000 % | c =============================================================================== c New solution: 9705 c Elapsed CPU time: 56.2864 s Remaining CPU time: 123.714 s c =============================================================================== c | 42 | 1993 2310 573796 | 5000 42 1698 | 0.000 % | c =============================================================================== c New solution: 9704 c Elapsed CPU time: 56.6794 s Remaining CPU time: 123.321 s c =============================================================================== c | 43 | 1993 2311 575646 | 5000 43 1700 | 0.000 % | c =============================================================================== c New solution: 9703 c Elapsed CPU time: 57.0893 s Remaining CPU time: 122.911 s c =============================================================================== c | 43 | 1993 2312 577496 | 5000 43 1700 | 0.000 % | c =============================================================================== c New solution: 9702 c Elapsed CPU time: 57.4923 s Remaining CPU time: 122.508 s c =============================================================================== c | 49 | 1993 2313 579346 | 5000 49 1709 | 0.000 % | c =============================================================================== c New solution: 9701 c Elapsed CPU time: 57.8852 s Remaining CPU time: 122.115 s c =============================================================================== c | 50 | 1993 2314 581196 | 5000 50 1710 | 0.000 % | c =============================================================================== c New solution: 9700 c Elapsed CPU time: 58.2781 s Remaining CPU time: 121.722 s c =============================================================================== c | 50 | 1993 2315 583046 | 5000 50 1710 | 0.000 % | c =============================================================================== c New solution: 9699 c Elapsed CPU time: 58.6971 s Remaining CPU time: 121.303 s c =============================================================================== c | 50 | 1993 2316 584896 | 5000 50 1710 | 0.000 % | c =============================================================================== c New solution: 9698 c Elapsed CPU time: 59.138 s Remaining CPU time: 120.862 s c =============================================================================== c | 50 | 1993 2317 586746 | 5000 50 1710 | 0.000 % | c =============================================================================== c New solution: 9697 c Elapsed CPU time: 59.5529 s Remaining CPU time: 120.447 s c =============================================================================== c | 53 | 1993 2318 588596 | 5000 53 1714 | 0.000 % | c =============================================================================== c New solution: 9696 c Elapsed CPU time: 59.9749 s Remaining CPU time: 120.025 s c =============================================================================== c | 53 | 1993 2319 590446 | 5000 53 1714 | 0.000 % | c =============================================================================== c New solution: 9695 c Elapsed CPU time: 60.3728 s Remaining CPU time: 119.627 s c =============================================================================== c | 53 | 1993 2320 592296 | 5000 53 1714 | 0.000 % | c =============================================================================== c New solution: 9694 c Elapsed CPU time: 60.7748 s Remaining CPU time: 119.225 s c =============================================================================== c | 53 | 1993 2321 594146 | 5000 53 1714 | 0.000 % | c =============================================================================== c New solution: 9693 c Elapsed CPU time: 61.1927 s Remaining CPU time: 118.807 s c =============================================================================== c | 54 | 1993 2322 595996 | 5000 54 1715 | 0.000 % | c =============================================================================== c New solution: 9692 c Elapsed CPU time: 61.6036 s Remaining CPU time: 118.396 s c =============================================================================== c | 54 | 1993 2323 597846 | 5000 54 1715 | 0.000 % | c =============================================================================== c New solution: 9691 c Elapsed CPU time: 62.0096 s Remaining CPU time: 117.99 s c =============================================================================== c | 55 | 1993 2324 599696 | 5000 55 1716 | 0.000 % | c =============================================================================== c New solution: 9690 c Elapsed CPU time: 62.4415 s Remaining CPU time: 117.558 s c =============================================================================== c | 61 | 1993 2325 601546 | 5000 61 1722 | 0.000 % | c =============================================================================== c New solution: 9689 c Elapsed CPU time: 62.8824 s Remaining CPU time: 117.118 s c =============================================================================== c | 61 | 1993 2326 603396 | 5000 61 1722 | 0.000 % | c =============================================================================== c New solution: 9688 c Elapsed CPU time: 63.3084 s Remaining CPU time: 116.692 s c =============================================================================== c | 61 | 1993 2327 605246 | 5000 61 1722 | 0.000 % | c =============================================================================== c New solution: 9687 c Elapsed CPU time: 63.7813 s Remaining CPU time: 116.219 s c =============================================================================== c | 63 | 1993 2328 607096 | 5000 63 1724 | 0.000 % | c =============================================================================== c New solution: 9686 c Elapsed CPU time: 64.2402 s Remaining CPU time: 115.76 s c =============================================================================== c | 63 | 1993 2329 608946 | 5000 63 1724 | 0.000 % | c =============================================================================== c New solution: 9685 c Elapsed CPU time: 64.6832 s Remaining CPU time: 115.317 s c =============================================================================== c | 63 | 1993 2330 610796 | 5000 63 1724 | 0.000 % | c =============================================================================== c New solution: 9684 c Elapsed CPU time: 65.1251 s Remaining CPU time: 114.875 s c =============================================================================== c | 70 | 1993 2331 612646 | 5000 70 1729 | 0.000 % | c =============================================================================== c New solution: 9683 c Elapsed CPU time: 65.556 s Remaining CPU time: 114.444 s c =============================================================================== c | 70 | 1993 2332 614496 | 5000 70 1729 | 0.000 % | c =============================================================================== c New solution: 9682 c Elapsed CPU time: 65.989 s Remaining CPU time: 114.011 s c =============================================================================== c | 70 | 1993 2333 616346 | 5000 70 1729 | 0.000 % | c =============================================================================== c New solution: 9681 c Elapsed CPU time: 66.3929 s Remaining CPU time: 113.607 s c =============================================================================== c | 70 | 1993 2334 618196 | 5000 70 1729 | 0.000 % | c =============================================================================== c New solution: 9680 c Elapsed CPU time: 66.7998 s Remaining CPU time: 113.2 s c =============================================================================== c | 70 | 1993 2335 620046 | 5000 70 1729 | 0.000 % | c =============================================================================== c New solution: 9679 c Elapsed CPU time: 67.2418 s Remaining CPU time: 112.758 s c =============================================================================== c | 70 | 1993 2336 621896 | 5000 70 1729 | 0.000 % | c =============================================================================== c New solution: 9678 c Elapsed CPU time: 67.6917 s Remaining CPU time: 112.308 s c =============================================================================== c | 71 | 1993 2337 623746 | 5000 71 1730 | 0.000 % | c =============================================================================== c New solution: 9677 c Elapsed CPU time: 68.1166 s Remaining CPU time: 111.883 s c =============================================================================== c | 71 | 1993 2338 625596 | 5000 71 1730 | 0.000 % | c =============================================================================== c New solution: 9676 c Elapsed CPU time: 68.5436 s Remaining CPU time: 111.456 s c =============================================================================== c | 71 | 1993 2339 627446 | 5000 71 1730 | 0.000 % | c =============================================================================== c New solution: 9675 c Elapsed CPU time: 68.9645 s Remaining CPU time: 111.035 s c =============================================================================== c | 77 | 1993 2340 629296 | 5000 77 1733 | 0.000 % | c =============================================================================== c New solution: 9674 c Elapsed CPU time: 69.3974 s Remaining CPU time: 110.603 s c =============================================================================== c | 77 | 1993 2341 631146 | 5000 77 1733 | 0.000 % | c =============================================================================== c New solution: 9673 c Elapsed CPU time: 69.8054 s Remaining CPU time: 110.195 s c =============================================================================== c | 77 | 1993 2342 632996 | 5000 77 1733 | 0.000 % | c =============================================================================== c New solution: 9672 c Elapsed CPU time: 70.2433 s Remaining CPU time: 109.757 s c =============================================================================== c | 78 | 1993 2343 634846 | 5000 78 1734 | 0.000 % | c =============================================================================== c New solution: 9671 c Elapsed CPU time: 70.6483 s Remaining CPU time: 109.352 s c =============================================================================== c | 78 | 1993 2344 636696 | 5000 78 1734 | 0.000 % | c =============================================================================== c New solution: 9670 c Elapsed CPU time: 71.0772 s Remaining CPU time: 108.923 s c =============================================================================== c | 78 | 1993 2345 638546 | 5000 78 1734 | 0.000 % | c =============================================================================== c New solution: 9669 c Elapsed CPU time: 71.5001 s Remaining CPU time: 108.5 s c =============================================================================== c | 80 | 1993 2346 640396 | 5000 80 1735 | 0.000 % | c =============================================================================== c New solution: 9668 c Elapsed CPU time: 71.9991 s Remaining CPU time: 108.001 s c =============================================================================== c | 87 | 1993 2347 642246 | 5000 87 1738 | 0.000 % | c =============================================================================== c New solution: 9667 c Elapsed CPU time: 72.416 s Remaining CPU time: 107.584 s c =============================================================================== c | 87 | 1993 2348 644096 | 5000 87 1738 | 0.000 % | c =============================================================================== c New solution: 9666 c Elapsed CPU time: 72.8489 s Remaining CPU time: 107.151 s c =============================================================================== c | 89 | 1993 2349 645946 | 5000 89 1739 | 0.000 % | c =============================================================================== c New solution: 9665 c Elapsed CPU time: 73.2919 s Remaining CPU time: 106.708 s c =============================================================================== c | 92 | 1993 2350 647796 | 5000 92 1740 | 0.000 % | c =============================================================================== c New solution: 9664 c Elapsed CPU time: 73.7158 s Remaining CPU time: 106.284 s c =============================================================================== c | 93 | 1993 2351 649646 | 5000 93 1740 | 0.000 % | c =============================================================================== c New solution: 9663 c Elapsed CPU time: 74.1557 s Remaining CPU time: 105.844 s c =============================================================================== c | 93 | 1993 2352 651496 | 5000 93 1740 | 0.000 % | c =============================================================================== c New solution: 9662 c Elapsed CPU time: 74.6177 s Remaining CPU time: 105.382 s c =============================================================================== c | 94 | 1993 2353 653346 | 5000 94 1741 | 0.000 % | c =============================================================================== c New solution: 9661 c Elapsed CPU time: 75.1266 s Remaining CPU time: 104.873 s c =============================================================================== c | 97 | 1993 2354 655196 | 5000 97 1742 | 0.000 % | c =============================================================================== c New solution: 9660 c Elapsed CPU time: 75.6345 s Remaining CPU time: 104.365 s c =============================================================================== c | 100 | 1993 2355 657046 | 5000 100 1743 | 0.000 % | c =============================================================================== c New solution: 9659 c Elapsed CPU time: 76.1484 s Remaining CPU time: 103.852 s c =============================================================================== c | 104 | 1993 2356 658896 | 5000 104 1710 | 0.000 % | c =============================================================================== c New solution: 9658 c Elapsed CPU time: 76.6224 s Remaining CPU time: 103.378 s c =============================================================================== c | 105 | 1993 2357 660746 | 5000 105 1710 | 0.000 % | c =============================================================================== c New solution: 9657 c Elapsed CPU time: 77.0943 s Remaining CPU time: 102.906 s c =============================================================================== c | 105 | 1993 2358 662596 | 5000 105 1710 | 0.000 % | c =============================================================================== c New solution: 9656 c Elapsed CPU time: 77.5672 s Remaining CPU time: 102.433 s c =============================================================================== c | 105 | 1993 2359 664446 | 5000 105 1710 | 0.000 % | c =============================================================================== c New solution: 9655 c Elapsed CPU time: 78.0361 s Remaining CPU time: 101.964 s c =============================================================================== c | 106 | 1993 2360 666296 | 5000 106 1711 | 0.000 % | c =============================================================================== c New solution: 9654 c Elapsed CPU time: 78.4951 s Remaining CPU time: 101.505 s c =============================================================================== c | 106 | 1993 2361 668146 | 5000 106 1711 | 0.000 % | c =============================================================================== c New solution: 9653 c Elapsed CPU time: 78.965 s Remaining CPU time: 101.035 s c =============================================================================== c | 107 | 1993 2362 669996 | 5000 107 1711 | 0.000 % | c =============================================================================== c New solution: 9652 c Elapsed CPU time: 79.4259 s Remaining CPU time: 100.574 s c =============================================================================== c | 108 | 1993 2363 671846 | 5000 108 1712 | 0.000 % | c =============================================================================== c New solution: 9651 c Elapsed CPU time: 79.8759 s Remaining CPU time: 100.124 s c =============================================================================== c | 108 | 1993 2364 673696 | 5000 108 1712 | 0.000 % | c =============================================================================== c New solution: 9650 c Elapsed CPU time: 80.3218 s Remaining CPU time: 99.6782 s c =============================================================================== c | 108 | 1993 2365 675546 | 5000 108 1712 | 0.000 % | c =============================================================================== c New solution: 9649 c Elapsed CPU time: 80.7897 s Remaining CPU time: 99.2103 s c =============================================================================== c | 109 | 1993 2366 677396 | 5000 109 1712 | 0.000 % | c =============================================================================== c New solution: 9648 c Elapsed CPU time: 81.2626 s Remaining CPU time: 98.7374 s c =============================================================================== c | 110 | 1993 2367 679246 | 5000 110 1713 | 0.000 % | c =============================================================================== c New solution: 9647 c Elapsed CPU time: 81.8136 s Remaining CPU time: 98.1864 s c =============================================================================== c | 123 | 1993 2368 681096 | 5000 123 1719 | 0.000 % | c =============================================================================== c New solution: 9646 c Elapsed CPU time: 82.2955 s Remaining CPU time: 97.7045 s c =============================================================================== c | 123 | 1993 2369 682946 | 5000 123 1719 | 0.000 % | c =============================================================================== c New solution: 9645 c Elapsed CPU time: 82.7774 s Remaining CPU time: 97.2226 s c =============================================================================== c | 124 | 1993 2370 684796 | 5000 124 1719 | 0.000 % | c =============================================================================== c New solution: 9644 c Elapsed CPU time: 83.2533 s Remaining CPU time: 96.7467 s c =============================================================================== c | 125 | 1993 2371 686646 | 5000 125 1720 | 0.000 % | c =============================================================================== c New solution: 9643 c Elapsed CPU time: 83.7393 s Remaining CPU time: 96.2607 s c =============================================================================== c | 125 | 1993 2372 688496 | 5000 125 1720 | 0.000 % | c =============================================================================== c New solution: 9642 c Elapsed CPU time: 84.2282 s Remaining CPU time: 95.7718 s c =============================================================================== c | 126 | 1993 2373 690346 | 5000 126 1720 | 0.000 % | c =============================================================================== c New solution: 9641 c Elapsed CPU time: 84.6671 s Remaining CPU time: 95.3329 s c =============================================================================== c | 126 | 1993 2374 692196 | 5000 126 1720 | 0.000 % | c =============================================================================== c New solution: 9640 c Elapsed CPU time: 85.193 s Remaining CPU time: 94.807 s c =============================================================================== c | 142 | 1993 2375 694046 | 5000 142 1726 | 0.000 % | c =============================================================================== c New solution: 9639 c Elapsed CPU time: 85.655 s Remaining CPU time: 94.345 s c =============================================================================== c | 143 | 1993 2376 695896 | 5000 143 1726 | 0.000 % | c =============================================================================== c New solution: 9638 c Elapsed CPU time: 86.2069 s Remaining CPU time: 93.7931 s c =============================================================================== c | 148 | 1993 2377 697746 | 5000 148 1727 | 0.000 % | c =============================================================================== c New solution: 9637 c Elapsed CPU time: 86.6848 s Remaining CPU time: 93.3152 s c =============================================================================== c | 148 | 1993 2378 699596 | 5000 148 1727 | 0.000 % | c =============================================================================== c New solution: 9636 c Elapsed CPU time: 87.1687 s Remaining CPU time: 92.8313 s c =============================================================================== c | 148 | 1993 2379 701446 | 5000 148 1727 | 0.000 % | c =============================================================================== c New solution: 9635 c Elapsed CPU time: 87.7447 s Remaining CPU time: 92.2553 s c =============================================================================== c | 152 | 1993 2380 703296 | 5000 152 1728 | 0.000 % | c =============================================================================== c New solution: 9634 c Elapsed CPU time: 88.3156 s Remaining CPU time: 91.6844 s c =============================================================================== c | 166 | 1993 2381 705146 | 5000 166 1731 | 0.000 % | c =============================================================================== c New solution: 9633 c Elapsed CPU time: 88.8045 s Remaining CPU time: 91.1955 s c =============================================================================== c | 166 | 1993 2382 706996 | 5000 166 1731 | 0.000 % | c =============================================================================== c New solution: 9632 c Elapsed CPU time: 89.3274 s Remaining CPU time: 90.6726 s c =============================================================================== c | 166 | 1993 2383 708846 | 5000 166 1731 | 0.000 % | c =============================================================================== c New solution: 9631 c Elapsed CPU time: 89.8363 s Remaining CPU time: 90.1637 s c =============================================================================== c | 169 | 1993 2384 710696 | 5000 169 1732 | 0.000 % | c =============================================================================== c New solution: 9630 c Elapsed CPU time: 90.3293 s Remaining CPU time: 89.6707 s c =============================================================================== c | 169 | 1993 2385 712546 | 5000 169 1732 | 0.000 % | c =============================================================================== c New solution: 9629 c Elapsed CPU time: 90.8192 s Remaining CPU time: 89.1808 s c =============================================================================== c | 169 | 1993 2386 714396 | 5000 169 1732 | 0.000 % | c =============================================================================== c New solution: 9628 c Elapsed CPU time: 91.2871 s Remaining CPU time: 88.7129 s c =============================================================================== c | 169 | 1993 2387 716246 | 5000 169 1732 | 0.000 % | c =============================================================================== c New solution: 9627 c Elapsed CPU time: 91.926 s Remaining CPU time: 88.074 s c =============================================================================== c | 182 | 1993 2388 718096 | 5000 182 1734 | 0.000 % | c =============================================================================== c New solution: 9626 c Elapsed CPU time: 92.4569 s Remaining CPU time: 87.5431 s c =============================================================================== c | 182 | 1993 2389 719946 | 5000 182 1734 | 0.000 % | c =============================================================================== c New solution: 9625 c Elapsed CPU time: 93.2438 s Remaining CPU time: 86.7562 s c =============================================================================== c | 219 | 1993 2390 721796 | 5000 219 1740 | 0.000 % | c =============================================================================== c New solution: 9624 c Elapsed CPU time: 93.7477 s Remaining CPU time: 86.2523 s c =============================================================================== c | 219 | 1993 2391 723646 | 5000 219 1740 | 0.000 % | c =============================================================================== c New solution: 9623 c Elapsed CPU time: 94.2407 s Remaining CPU time: 85.7593 s c =============================================================================== c | 221 | 1993 2392 725496 | 5000 221 1740 | 0.000 % | c =============================================================================== c New solution: 9622 c Elapsed CPU time: 94.7536 s Remaining CPU time: 85.2464 s c =============================================================================== c | 221 | 1993 2393 727346 | 5000 221 1740 | 0.000 % | c =============================================================================== c New solution: 9621 c Elapsed CPU time: 95.2785 s Remaining CPU time: 84.7215 s c =============================================================================== c | 221 | 1993 2394 729196 | 5000 221 1740 | 0.000 % | c =============================================================================== c New solution: 9620 c Elapsed CPU time: 95.7814 s Remaining CPU time: 84.2186 s c =============================================================================== c | 223 | 1993 2395 731046 | 5000 223 1740 | 0.000 % | c =============================================================================== c New solution: 9619 c Elapsed CPU time: 96.3683 s Remaining CPU time: 83.6317 s c =============================================================================== c | 237 | 1993 2396 732896 | 5000 237 1741 | 0.000 % | c =============================================================================== c New solution: 9618 c Elapsed CPU time: 96.8743 s Remaining CPU time: 83.1257 s c =============================================================================== c | 237 | 1993 2397 734746 | 5000 237 1741 | 0.000 % | c =============================================================================== c New solution: 9617 c Elapsed CPU time: 97.3832 s Remaining CPU time: 82.6168 s c =============================================================================== c | 238 | 1993 2398 736596 | 5000 238 1742 | 0.000 % | c =============================================================================== c New solution: 9616 c Elapsed CPU time: 97.8651 s Remaining CPU time: 82.1349 s c =============================================================================== c | 238 | 1993 2399 738446 | 5000 238 1742 | 0.000 % | c =============================================================================== c New solution: 9615 c Elapsed CPU time: 98.375 s Remaining CPU time: 81.625 s c =============================================================================== c | 239 | 1993 2400 740296 | 5000 239 1742 | 0.000 % | c =============================================================================== c New solution: 9614 c Elapsed CPU time: 98.868 s Remaining CPU time: 81.132 s c =============================================================================== c | 239 | 1993 2401 742146 | 5000 239 1742 | 0.000 % | c =============================================================================== c New solution: 9613 c Elapsed CPU time: 99.4429 s Remaining CPU time: 80.5571 s c =============================================================================== c | 249 | 1993 2402 743996 | 5000 249 1742 | 0.000 % | c =============================================================================== c New solution: 9612 c Elapsed CPU time: 99.9398 s Remaining CPU time: 80.0602 s c =============================================================================== c | 251 | 1993 2403 745846 | 5000 251 1743 | 0.000 % | c =============================================================================== c New solution: 9611 c Elapsed CPU time: 100.436 s Remaining CPU time: 79.5643 s c =============================================================================== c | 251 | 1993 2404 747696 | 5000 251 1743 | 0.000 % | c =============================================================================== c New solution: 9610 c Elapsed CPU time: 100.973 s Remaining CPU time: 79.0274 s c =============================================================================== c | 259 | 1993 2405 749546 | 5000 259 1743 | 0.000 % | c =============================================================================== c New solution: 9609 c Elapsed CPU time: 101.48 s Remaining CPU time: 78.5204 s c =============================================================================== c | 259 | 1993 2406 751396 | 5000 259 1743 | 0.000 % | c =============================================================================== c New solution: 9608 c Elapsed CPU time: 102.029 s Remaining CPU time: 77.9705 s c =============================================================================== c | 262 | 1993 2407 753246 | 5000 262 1743 | 0.000 % | c =============================================================================== c New solution: 9607 c Elapsed CPU time: 102.56 s Remaining CPU time: 77.4396 s c =============================================================================== c | 262 | 1993 2408 755096 | 5000 262 1743 | 0.000 % | c =============================================================================== c New solution: 9606 c Elapsed CPU time: 103.092 s Remaining CPU time: 76.9077 s c =============================================================================== c | 264 | 1993 2409 756946 | 5000 264 1737 | 0.000 % | c =============================================================================== c New solution: 9605 c Elapsed CPU time: 103.634 s Remaining CPU time: 76.3658 s c =============================================================================== c | 264 | 1993 2410 758796 | 5000 264 1737 | 0.000 % | c =============================================================================== c New solution: 9604 c Elapsed CPU time: 104.204 s Remaining CPU time: 75.7958 s c =============================================================================== c | 265 | 1993 2411 760646 | 5000 265 1737 | 0.000 % | c =============================================================================== c New solution: 9603 c Elapsed CPU time: 104.769 s Remaining CPU time: 75.2309 s c =============================================================================== c | 267 | 1993 2412 762496 | 5000 267 1737 | 0.000 % | c =============================================================================== c New solution: 9602 c Elapsed CPU time: 105.344 s Remaining CPU time: 74.656 s c =============================================================================== c | 267 | 1993 2413 764346 | 5000 267 1737 | 0.000 % | c =============================================================================== c New solution: 9601 c Elapsed CPU time: 105.897 s Remaining CPU time: 74.1031 s c =============================================================================== c | 269 | 1993 2414 766196 | 5000 269 1737 | 0.000 % | c =============================================================================== c New solution: 9600 c Elapsed CPU time: 106.502 s Remaining CPU time: 73.4982 s c =============================================================================== c | 273 | 1993 2415 768046 | 5000 273 1737 | 0.000 % | c =============================================================================== c New solution: 9599 c Elapsed CPU time: 107.075 s Remaining CPU time: 72.9253 s c =============================================================================== c | 280 | 1993 2416 769896 | 5000 280 1738 | 0.000 % | c =============================================================================== c New solution: 9598 c Elapsed CPU time: 107.658 s Remaining CPU time: 72.3424 s c =============================================================================== c | 282 | 1993 2417 771746 | 5000 282 1738 | 0.000 % | c =============================================================================== c New solution: 9597 c Elapsed CPU time: 108.19 s Remaining CPU time: 71.8104 s c =============================================================================== c | 282 | 1993 2418 773596 | 5000 282 1738 | 0.000 % | c =============================================================================== c New solution: 9596 c Elapsed CPU time: 108.82 s Remaining CPU time: 71.1795 s c =============================================================================== c | 293 | 1993 2419 775446 | 5000 293 1739 | 0.000 % | c =============================================================================== c New solution: 9595 c Elapsed CPU time: 109.341 s Remaining CPU time: 70.6586 s c =============================================================================== c | 293 | 1993 2420 777296 | 5000 293 1739 | 0.000 % | c =============================================================================== c New solution: 9594 c Elapsed CPU time: 109.892 s Remaining CPU time: 70.1077 s c =============================================================================== c | 301 | 1993 2421 779146 | 5000 301 1739 | 0.000 % | c =============================================================================== c New solution: 9593 c Elapsed CPU time: 110.441 s Remaining CPU time: 69.5588 s c =============================================================================== c | 303 | 1993 2422 780996 | 5000 303 1740 | 0.000 % | c =============================================================================== c New solution: 9592 c Elapsed CPU time: 110.956 s Remaining CPU time: 69.0439 s c =============================================================================== c | 303 | 1993 2423 782846 | 5000 303 1740 | 0.000 % | c =============================================================================== c New solution: 9591 c Elapsed CPU time: 111.631 s Remaining CPU time: 68.369 s c =============================================================================== c | 321 | 1993 2424 784696 | 5000 321 1741 | 0.000 % | c =============================================================================== c New solution: 9590 c Elapsed CPU time: 112.194 s Remaining CPU time: 67.8061 s c =============================================================================== c | 323 | 1993 2425 786546 | 5000 323 1741 | 0.000 % | c =============================================================================== c New solution: 9589 c Elapsed CPU time: 112.766 s Remaining CPU time: 67.2341 s c =============================================================================== c | 323 | 1993 2426 788396 | 5000 323 1741 | 0.000 % | c =============================================================================== c New solution: 9588 c Elapsed CPU time: 113.542 s Remaining CPU time: 66.4583 s c =============================================================================== c | 339 | 1993 2427 790246 | 5000 339 1742 | 0.000 % | c =============================================================================== c New solution: 9587 c Elapsed CPU time: 114.245 s Remaining CPU time: 65.7554 s c =============================================================================== c | 380 | 1993 2428 792096 | 5000 380 1744 | 0.000 % | c =============================================================================== c New solution: 9586 c Elapsed CPU time: 114.799 s Remaining CPU time: 65.2015 s c =============================================================================== c | 387 | 1993 2429 793946 | 5000 387 1744 | 0.000 % | c =============================================================================== c New solution: 9585 c Elapsed CPU time: 115.395 s Remaining CPU time: 64.6045 s c =============================================================================== c | 405 | 1993 2430 795796 | 5000 405 1744 | 0.000 % | c =============================================================================== c New solution: 9584 c Elapsed CPU time: 115.963 s Remaining CPU time: 64.0366 s c =============================================================================== c | 415 | 1993 2431 797646 | 5000 415 1745 | 0.000 % | c =============================================================================== c New solution: 9583 c Elapsed CPU time: 116.584 s Remaining CPU time: 63.4157 s c =============================================================================== c | 422 | 1993 2432 799496 | 5000 422 1745 | 0.000 % | c =============================================================================== c New solution: 9582 c Elapsed CPU time: 117.27 s Remaining CPU time: 62.7298 s c =============================================================================== c | 440 | 1993 2433 801346 | 5000 440 1745 | 0.000 % | c =============================================================================== c New solution: 9581 c Elapsed CPU time: 117.835 s Remaining CPU time: 62.1649 s c =============================================================================== c | 440 | 1993 2434 803196 | 5000 440 1745 | 0.000 % | c =============================================================================== c New solution: 9580 c Elapsed CPU time: 118.408 s Remaining CPU time: 61.592 s c =============================================================================== c | 446 | 1993 2435 805046 | 5000 446 1746 | 0.000 % | c =============================================================================== c New solution: 9579 c Elapsed CPU time: 119.059 s Remaining CPU time: 60.9411 s c =============================================================================== c | 450 | 1993 2436 806896 | 5000 450 1746 | 0.000 % | c =============================================================================== c New solution: 9578 c Elapsed CPU time: 119.705 s Remaining CPU time: 60.2952 s c =============================================================================== c | 453 | 1993 2437 808746 | 5000 453 1746 | 0.000 % | c =============================================================================== c New solution: 9577 c Elapsed CPU time: 120.32 s Remaining CPU time: 59.6803 s c =============================================================================== c | 457 | 1993 2438 810596 | 5000 457 1746 | 0.000 % | c =============================================================================== c New solution: 9576 c Elapsed CPU time: 120.884 s Remaining CPU time: 59.1164 s c =============================================================================== c | 462 | 1993 2439 812446 | 5000 462 1746 | 0.000 % | c =============================================================================== c New solution: 9575 c Elapsed CPU time: 121.472 s Remaining CPU time: 58.5285 s c =============================================================================== c | 468 | 1993 2440 814296 | 5000 468 1746 | 0.000 % | c =============================================================================== c New solution: 9574 c Elapsed CPU time: 122.047 s Remaining CPU time: 57.9526 s c =============================================================================== c | 471 | 1993 2441 816146 | 5000 471 1746 | 0.000 % | c =============================================================================== c New solution: 9573 c Elapsed CPU time: 122.608 s Remaining CPU time: 57.3916 s c =============================================================================== c | 472 | 1993 2442 817996 | 5000 472 1746 | 0.000 % | c =============================================================================== c New solution: 9572 c Elapsed CPU time: 123.286 s Remaining CPU time: 56.7137 s c =============================================================================== c | 479 | 1993 2443 819846 | 5000 479 1746 | 0.000 % | c =============================================================================== c New solution: 9571 c Elapsed CPU time: 123.869 s Remaining CPU time: 56.1308 s c =============================================================================== c | 479 | 1993 2444 821696 | 5000 479 1746 | 0.000 % | c =============================================================================== c New solution: 9570 c Elapsed CPU time: 124.622 s Remaining CPU time: 55.3779 s c =============================================================================== c | 495 | 1993 2445 823546 | 5000 495 1747 | 0.000 % | c =============================================================================== c New solution: 9569 c Elapsed CPU time: 125.163 s Remaining CPU time: 54.837 s c =============================================================================== c | 495 | 1993 2446 825396 | 5000 495 1747 | 0.000 % | c =============================================================================== c New solution: 9568 c Elapsed CPU time: 125.796 s Remaining CPU time: 54.2041 s c =============================================================================== c | 503 | 1993 2447 827246 | 5000 503 1743 | 0.000 % | c =============================================================================== c New solution: 9567 c Elapsed CPU time: 126.38 s Remaining CPU time: 53.6202 s c =============================================================================== c | 505 | 1993 2448 829096 | 5000 505 1743 | 0.000 % | c =============================================================================== c New solution: 9566 c Elapsed CPU time: 126.971 s Remaining CPU time: 53.0293 s c =============================================================================== c | 507 | 1993 2449 830946 | 5000 507 1743 | 0.000 % | c =============================================================================== c New solution: 9565 c Elapsed CPU time: 127.549 s Remaining CPU time: 52.4514 s c =============================================================================== c | 510 | 1993 2450 832796 | 5000 510 1743 | 0.000 % | c =============================================================================== c New solution: 9564 c Elapsed CPU time: 128.249 s Remaining CPU time: 51.7515 s c =============================================================================== c | 534 | 1993 2451 834646 | 5000 534 1741 | 0.000 % | c =============================================================================== c New solution: 9563 c Elapsed CPU time: 128.847 s Remaining CPU time: 51.1526 s c =============================================================================== c | 535 | 1993 2452 836496 | 5000 535 1741 | 0.000 % | c =============================================================================== c New solution: 9562 c Elapsed CPU time: 129.39 s Remaining CPU time: 50.6097 s c =============================================================================== c | 535 | 1993 2453 838346 | 5000 535 1741 | 0.000 % | c =============================================================================== c New solution: 9561 c Elapsed CPU time: 130.044 s Remaining CPU time: 49.9558 s c =============================================================================== c | 555 | 1993 2454 840196 | 5000 555 1741 | 0.000 % | c =============================================================================== c New solution: 9560 c Elapsed CPU time: 130.645 s Remaining CPU time: 49.3549 s c =============================================================================== c | 555 | 1993 2455 842046 | 5000 555 1741 | 0.000 % | c =============================================================================== c New solution: 9559 c Elapsed CPU time: 131.223 s Remaining CPU time: 48.7769 s c =============================================================================== c | 555 | 1993 2456 843896 | 5000 555 1741 | 0.000 % | c =============================================================================== c New solution: 9558 c Elapsed CPU time: 131.919 s Remaining CPU time: 48.0811 s c =============================================================================== c | 576 | 1993 2457 845746 | 5000 576 1741 | 0.000 % | c =============================================================================== c New solution: 9557 c Elapsed CPU time: 132.48 s Remaining CPU time: 47.5201 s c =============================================================================== c | 576 | 1993 2458 847596 | 5000 576 1741 | 0.000 % | c =============================================================================== c New solution: 9556 c Elapsed CPU time: 133.076 s Remaining CPU time: 46.9242 s c =============================================================================== c | 582 | 1993 2459 849446 | 5000 582 1742 | 0.000 % | c =============================================================================== c New solution: 9555 c Elapsed CPU time: 133.787 s Remaining CPU time: 46.2133 s c =============================================================================== c | 591 | 1993 2460 851296 | 5000 591 1742 | 0.000 % | c =============================================================================== c New solution: 9554 c Elapsed CPU time: 134.345 s Remaining CPU time: 45.6554 s c =============================================================================== c | 591 | 1993 2461 853146 | 5000 591 1742 | 0.000 % | c =============================================================================== c New solution: 9553 c Elapsed CPU time: 134.978 s Remaining CPU time: 45.0215 s c =============================================================================== c | 595 | 1993 2462 854996 | 5000 595 1742 | 0.000 % | c =============================================================================== c New solution: 9552 c Elapsed CPU time: 135.66 s Remaining CPU time: 44.3396 s c =============================================================================== c | 602 | 1993 2463 856846 | 5000 602 1742 | 0.000 % | c =============================================================================== c New solution: 9551 c Elapsed CPU time: 136.595 s Remaining CPU time: 43.4048 s c =============================================================================== c | 656 | 1993 2464 858696 | 5000 656 1743 | 0.000 % | c =============================================================================== c New solution: 9550 c Elapsed CPU time: 137.293 s Remaining CPU time: 42.7069 s c =============================================================================== c | 662 | 1993 2465 860546 | 5000 662 1743 | 0.000 % | c =============================================================================== c New solution: 9549 c Elapsed CPU time: 137.918 s Remaining CPU time: 42.082 s c =============================================================================== c | 668 | 1993 2466 862396 | 5000 668 1743 | 0.000 % | c =============================================================================== c New solution: 9548 c Elapsed CPU time: 138.514 s Remaining CPU time: 41.4861 s c =============================================================================== c | 669 | 1993 2467 864246 | 5000 669 1743 | 0.000 % | c =============================================================================== c New solution: 9547 c Elapsed CPU time: 139.171 s Remaining CPU time: 40.8292 s c =============================================================================== c | 676 | 1993 2468 866096 | 5000 676 1738 | 0.000 % | c =============================================================================== c New solution: 9546 c Elapsed CPU time: 139.779 s Remaining CPU time: 40.2212 s c =============================================================================== c | 678 | 1993 2469 867946 | 5000 678 1738 | 0.000 % | c =============================================================================== c New solution: 9545 c Elapsed CPU time: 140.363 s Remaining CPU time: 39.6373 s c =============================================================================== c | 685 | 1993 2470 869796 | 5000 685 1738 | 0.000 % | c =============================================================================== c New solution: 9544 c Elapsed CPU time: 140.952 s Remaining CPU time: 39.0484 s c =============================================================================== c | 686 | 1993 2471 871646 | 5000 686 1738 | 0.000 % | c =============================================================================== c New solution: 9543 c Elapsed CPU time: 141.782 s Remaining CPU time: 38.2176 s c =============================================================================== c | 745 | 1993 2472 873496 | 5000 745 1739 | 0.000 % | c =============================================================================== c New solution: 9542 c Elapsed CPU time: 142.455 s Remaining CPU time: 37.5447 s c =============================================================================== c | 750 | 1993 2473 875346 | 5000 750 1739 | 0.000 % | c =============================================================================== c New solution: 9541 c Elapsed CPU time: 143.351 s Remaining CPU time: 36.6488 s c =============================================================================== c | 805 | 1993 2474 877196 | 5000 805 1739 | 0.000 % | c =============================================================================== c New solution: 9540 c Elapsed CPU time: 144.011 s Remaining CPU time: 35.9889 s c =============================================================================== c | 814 | 1993 2475 879046 | 5000 814 1740 | 0.000 % | c =============================================================================== c New solution: 9539 c Elapsed CPU time: 144.718 s Remaining CPU time: 35.282 s c =============================================================================== c | 825 | 1993 2476 880896 | 5000 825 1740 | 0.000 % | c =============================================================================== c New solution: 9538 c Elapsed CPU time: 145.324 s Remaining CPU time: 34.6761 s c =============================================================================== c | 834 | 1993 2477 882746 | 5000 834 1740 | 0.000 % | c =============================================================================== c New solution: 9537 c Elapsed CPU time: 145.903 s Remaining CPU time: 34.0972 s c =============================================================================== c | 836 | 1993 2478 884596 | 5000 836 1740 | 0.000 % | c =============================================================================== c New solution: 9536 c Elapsed CPU time: 146.521 s Remaining CPU time: 33.4793 s c =============================================================================== c | 842 | 1993 2479 886446 | 5000 842 1740 | 0.000 % | c =============================================================================== c New solution: 9535 c Elapsed CPU time: 147.123 s Remaining CPU time: 32.8774 s c =============================================================================== c | 842 | 1993 2480 888296 | 5000 842 1740 | 0.000 % | c =============================================================================== c New solution: 9534 c Elapsed CPU time: 147.79 s Remaining CPU time: 32.2105 s c =============================================================================== c | 849 | 1993 2481 890146 | 5000 849 1740 | 0.000 % | c =============================================================================== c New solution: 9533 c Elapsed CPU time: 148.43 s Remaining CPU time: 31.5696 s c =============================================================================== c | 855 | 1993 2482 891996 | 5000 855 1740 | 0.000 % | c =============================================================================== c New solution: 9532 c Elapsed CPU time: 149.035 s Remaining CPU time: 30.9647 s c =============================================================================== c | 855 | 1993 2483 893846 | 5000 855 1740 | 0.000 % | c =============================================================================== c New solution: 9531 c Elapsed CPU time: 149.689 s Remaining CPU time: 30.3108 s c =============================================================================== c | 863 | 1993 2484 895696 | 5000 863 1740 | 0.000 % | c =============================================================================== c New solution: 9530 c Elapsed CPU time: 150.257 s Remaining CPU time: 29.7428 s c =============================================================================== c | 863 | 1993 2485 897546 | 5000 863 1740 | 0.000 % | c =============================================================================== c New solution: 9529 c Elapsed CPU time: 150.839 s Remaining CPU time: 29.1609 s c =============================================================================== c | 864 | 1993 2486 899396 | 5000 864 1740 | 0.000 % | c =============================================================================== c New solution: 9528 c Elapsed CPU time: 151.525 s Remaining CPU time: 28.475 s c =============================================================================== c | 869 | 1993 2487 901246 | 5000 869 1740 | 0.000 % | c =============================================================================== c New solution: 9527 c Elapsed CPU time: 152.184 s Remaining CPU time: 27.8161 s c =============================================================================== c | 871 | 1993 2488 903096 | 5000 871 1740 | 0.000 % | c =============================================================================== c New solution: 9526 c Elapsed CPU time: 153.075 s Remaining CPU time: 26.9253 s c =============================================================================== c | 919 | 1993 2489 904946 | 5000 919 1740 | 0.000 % | c =============================================================================== c New solution: 9525 c Elapsed CPU time: 153.787 s Remaining CPU time: 26.2134 s c =============================================================================== c | 931 | 1993 2490 906796 | 5000 931 1740 | 0.000 % | c =============================================================================== c New solution: 9524 c Elapsed CPU time: 154.548 s Remaining CPU time: 25.4525 s c =============================================================================== c | 939 | 1993 2491 908646 | 5000 939 1741 | 0.000 % | c =============================================================================== c New solution: 9523 c Elapsed CPU time: 155.314 s Remaining CPU time: 24.6856 s c =============================================================================== c | 947 | 1993 2492 910496 | 5000 947 1741 | 0.000 % | c =============================================================================== c New solution: 9522 c Elapsed CPU time: 155.98 s Remaining CPU time: 24.0197 s c =============================================================================== c | 948 | 1993 2493 912346 | 5000 948 1741 | 0.000 % | c =============================================================================== c New solution: 9521 c Elapsed CPU time: 156.718 s Remaining CPU time: 23.2818 s c =============================================================================== c | 951 | 1993 2494 914196 | 5000 951 1741 | 0.000 % | c =============================================================================== c New solution: 9520 c Elapsed CPU time: 157.4 s Remaining CPU time: 22.5999 s c =============================================================================== c | 953 | 1993 2495 916046 | 5000 953 1741 | 0.000 % | c =============================================================================== c New solution: 9519 c Elapsed CPU time: 158.181 s Remaining CPU time: 21.819 s c =============================================================================== c | 988 | 1993 2496 917896 | 5000 988 1741 | 0.000 % | c =============================================================================== c New solution: 9518 c Elapsed CPU time: 158.935 s Remaining CPU time: 21.0652 s c =============================================================================== c | 1001 | 1993 2497 919746 | 5000 1001 1741 | 0.000 % | c =============================================================================== c New solution: 9517 c Elapsed CPU time: 159.722 s Remaining CPU time: 20.2783 s c =============================================================================== c | 1011 | 1993 2498 921596 | 5000 1011 1741 | 0.000 % | c =============================================================================== c New solution: 9516 c Elapsed CPU time: 160.455 s Remaining CPU time: 19.5454 s c =============================================================================== c | 1018 | 1993 2499 923446 | 5000 1018 1741 | 0.000 % | c =============================================================================== c New solution: 9515 c Elapsed CPU time: 161.123 s Remaining CPU time: 18.8775 s c =============================================================================== c | 1018 | 1993 2500 925296 | 5000 1018 1741 | 0.000 % | c =============================================================================== c New solution: 9514 c Elapsed CPU time: 161.734 s Remaining CPU time: 18.2656 s c =============================================================================== c | 1018 | 1993 2501 927146 | 5000 1018 1741 | 0.000 % | c =============================================================================== c New solution: 9513 c Elapsed CPU time: 162.34 s Remaining CPU time: 17.6597 s c =============================================================================== c | 1018 | 1993 2502 928996 | 5000 1018 1741 | 0.000 % | c =============================================================================== c New solution: 9512 c Elapsed CPU time: 163.11 s Remaining CPU time: 16.8898 s c =============================================================================== c | 1026 | 1993 2503 930846 | 5000 1026 1741 | 0.000 % | c =============================================================================== c New solution: 9511 c Elapsed CPU time: 163.879 s Remaining CPU time: 16.1209 s c =============================================================================== c | 1044 | 1993 2504 932696 | 5000 1044 1741 | 0.000 % | c =============================================================================== c New solution: 9510 c Elapsed CPU time: 164.561 s Remaining CPU time: 15.439 s c =============================================================================== c | 1059 | 1993 2505 934546 | 5000 1059 1741 | 0.000 % | c =============================================================================== c New solution: 9509 c Elapsed CPU time: 165.389 s Remaining CPU time: 14.6111 s c =============================================================================== c | 1069 | 1993 2506 936396 | 5000 1069 1741 | 0.000 % | c =============================================================================== c New solution: 9508 c Elapsed CPU time: 166.189 s Remaining CPU time: 13.8113 s c =============================================================================== c | 1085 | 1993 2507 938246 | 5000 1085 1741 | 0.000 % | c =============================================================================== c New solution: 9507 c Elapsed CPU time: 166.852 s Remaining CPU time: 13.1484 s c =============================================================================== c | 1085 | 1993 2508 940096 | 5000 1085 1741 | 0.000 % | c =============================================================================== c New solution: 9506 c Elapsed CPU time: 167.545 s Remaining CPU time: 12.4555 s c =============================================================================== c | 1086 | 1993 2509 941946 | 5000 1086 1741 | 0.000 % | c =============================================================================== c New solution: 9505 c Elapsed CPU time: 168.195 s Remaining CPU time: 11.8046 s c =============================================================================== c | 1091 | 1993 2510 943796 | 5000 1091 1741 | 0.000 % | c =============================================================================== c New solution: 9504 c Elapsed CPU time: 168.818 s Remaining CPU time: 11.1817 s c =============================================================================== c | 1091 | 1993 2511 945646 | 5000 1091 1741 | 0.000 % | c =============================================================================== c New solution: 9503 c Elapsed CPU time: 169.49 s Remaining CPU time: 10.5098 s c =============================================================================== c | 1091 | 1993 2512 947496 | 5000 1091 1741 | 0.000 % | c =============================================================================== c New solution: 9502 c Elapsed CPU time: 170.17 s Remaining CPU time: 9.82987 s c =============================================================================== c | 1091 | 1993 2513 949346 | 5000 1091 1741 | 0.000 % | c =============================================================================== c New solution: 9501 c Elapsed CPU time: 170.806 s Remaining CPU time: 9.19397 s c =============================================================================== c | 1091 | 1993 2514 951196 | 5000 1091 1741 | 0.000 % | c =============================================================================== c New solution: 9500 c Elapsed CPU time: 171.65 s Remaining CPU time: 8.3501 s c =============================================================================== c | 1131 | 1993 2515 953046 | 5000 1131 1741 | 0.000 % | c =============================================================================== c New solution: 9499 c Elapsed CPU time: 172.577 s Remaining CPU time: 7.42324 s c =============================================================================== c | 1150 | 1993 2516 954896 | 5000 1150 1741 | 0.000 % | c =============================================================================== c New solution: 9498 c Elapsed CPU time: 173.379 s Remaining CPU time: 6.62136 s c =============================================================================== c | 1172 | 1993 2517 956746 | 5000 1172 1741 | 0.000 % | c =============================================================================== c New solution: 9497 c Elapsed CPU time: 174.369 s Remaining CPU time: 5.63051 s c =============================================================================== c | 1220 | 1993 2518 958596 | 5000 1220 1741 | 0.000 % | c =============================================================================== c New solution: 9496 c Elapsed CPU time: 175.15 s Remaining CPU time: 4.84963 s c =============================================================================== c | 1248 | 1993 2519 960446 | 5000 1248 1741 | 0.000 % | c =============================================================================== c New solution: 9495 c Elapsed CPU time: 175.803 s Remaining CPU time: 4.19673 s c =============================================================================== c | 1249 | 1993 2520 962296 | 5000 1249 1741 | 0.000 % | c =============================================================================== c New solution: 9494 c Elapsed CPU time: 176.501 s Remaining CPU time: 3.49883 s c =============================================================================== c | 1254 | 1993 2521 964146 | 5000 1254 1741 | 0.000 % | c =============================================================================== c New solution: 9493 c Elapsed CPU time: 177.152 s Remaining CPU time: 2.84793 s c =============================================================================== c | 1263 | 1993 2522 965996 | 5000 1263 1741 | 0.000 % | c =============================================================================== c New solution: 9492 c Elapsed CPU time: 178.105 s Remaining CPU time: 1.89508 s c =============================================================================== c | 1302 | 1993 2523 967846 | 5000 1302 1741 | 0.000 % | c =============================================================================== c New solution: 9491 c Elapsed CPU time: 178.812 s Remaining CPU time: 1.18818 s c =============================================================================== c | 1305 | 1993 2524 969696 | 5000 1305 1741 | 0.000 % | c =============================================================================== c New solution: 9490 c Elapsed CPU time: 179.524 s Remaining CPU time: 0.476292 s c =============================================================================== c | 1315 | 1993 2525 971546 | 5000 1315 1741 | 0.000 % | c There are 7 assigned variables. 0 in cost function.