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 | 1991 2001 5850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10173 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1991 2002 7700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10168 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1991 2003 9550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10166 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1991 2004 11400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10163 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1991 2005 13250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10160 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1991 2006 15100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10157 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 1991 2007 16950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10155 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 0 | 1991 2008 18800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10153 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 1991 2009 20650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10151 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 1991 2010 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10149 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 1991 2011 24350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10148 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 1991 2012 26200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10146 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 1991 2013 28050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10144 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 1991 2014 29900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10143 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 0 | 1991 2015 31750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10141 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 0 | 1991 2016 33600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10140 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 1991 2017 35450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10138 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 1991 2018 37300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10136 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 0 | 1991 2019 39150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10135 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 1991 2020 41000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10134 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 0 | 1991 2021 42850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10132 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 0 | 1991 2022 44700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10131 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 0 | 1991 2023 46550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10130 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 0 | 1991 2024 48400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10129 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 0 | 1991 2025 50250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10128 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 1991 2026 52100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10126 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 0 | 1991 2027 53950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10125 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 0 | 1991 2028 55800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10120 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 0 | 1991 2029 57650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10119 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 0 | 1991 2030 59500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10117 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 0 | 1991 2031 61350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10116 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 0 | 1991 2032 63200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10114 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 0 | 1991 2033 65050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10113 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 0 | 1991 2034 66900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10112 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 0 | 1991 2035 68750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10111 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 0 | 1991 2036 70600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10110 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 0 | 1991 2037 72450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10109 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s c =============================================================================== c | 0 | 1991 2038 74300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10108 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 0 | 1991 2039 76150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10107 c Elapsed CPU time: 0.837872 s Remaining CPU time: 179.162 s c =============================================================================== c | 0 | 1991 2040 78000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10106 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 0 | 1991 2041 79850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10105 c Elapsed CPU time: 0.899863 s Remaining CPU time: 179.1 s c =============================================================================== c | 0 | 1991 2042 81700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10100 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 0 | 1991 2043 83550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10096 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 0 | 1991 2044 85400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10091 c Elapsed CPU time: 0.998848 s Remaining CPU time: 179.001 s c =============================================================================== c | 0 | 1991 2045 87250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10090 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 0 | 1991 2046 89100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10089 c Elapsed CPU time: 1.06584 s Remaining CPU time: 178.934 s c =============================================================================== c | 0 | 1991 2047 90950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10084 c Elapsed CPU time: 1.09883 s Remaining CPU time: 178.901 s c =============================================================================== c | 0 | 1991 2048 92800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10078 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 0 | 1991 2049 94650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10075 c Elapsed CPU time: 1.17882 s Remaining CPU time: 178.821 s c =============================================================================== c | 0 | 1991 2050 96500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10074 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 0 | 1991 2051 98350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10072 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 0 | 1991 2052 100200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10071 c Elapsed CPU time: 1.2968 s Remaining CPU time: 178.703 s c =============================================================================== c | 0 | 1991 2053 102050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10067 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 0 | 1991 2054 103900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10065 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 0 | 1991 2055 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10064 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s c =============================================================================== c | 0 | 1991 2056 107600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10062 c Elapsed CPU time: 1.46978 s Remaining CPU time: 178.53 s c =============================================================================== c | 0 | 1991 2057 109450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10059 c Elapsed CPU time: 1.51577 s Remaining CPU time: 178.484 s c =============================================================================== c | 0 | 1991 2058 111300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10058 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 0 | 1991 2059 113150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10056 c Elapsed CPU time: 1.60875 s Remaining CPU time: 178.391 s c =============================================================================== c | 0 | 1991 2060 115000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10055 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 0 | 1991 2061 116850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10052 c Elapsed CPU time: 1.70674 s Remaining CPU time: 178.293 s c =============================================================================== c | 0 | 1991 2062 118700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10050 c Elapsed CPU time: 1.75973 s Remaining CPU time: 178.24 s c =============================================================================== c | 0 | 1991 2063 120550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10049 c Elapsed CPU time: 1.81472 s Remaining CPU time: 178.185 s c =============================================================================== c | 0 | 1991 2064 122400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10048 c Elapsed CPU time: 1.86572 s Remaining CPU time: 178.134 s c =============================================================================== c | 0 | 1991 2065 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10046 c Elapsed CPU time: 1.91771 s Remaining CPU time: 178.082 s c =============================================================================== c | 0 | 1991 2066 126100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10045 c Elapsed CPU time: 1.9747 s Remaining CPU time: 178.025 s c =============================================================================== c | 0 | 1991 2067 127950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10044 c Elapsed CPU time: 2.02869 s Remaining CPU time: 177.971 s c =============================================================================== c | 0 | 1991 2068 129800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10043 c Elapsed CPU time: 2.08468 s Remaining CPU time: 177.915 s c =============================================================================== c | 0 | 1991 2069 131650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10042 c Elapsed CPU time: 2.14167 s Remaining CPU time: 177.858 s c =============================================================================== c | 0 | 1991 2070 133500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10040 c Elapsed CPU time: 2.19966 s Remaining CPU time: 177.8 s c =============================================================================== c | 0 | 1991 2071 135350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10038 c Elapsed CPU time: 2.25466 s Remaining CPU time: 177.745 s c =============================================================================== c | 0 | 1991 2072 137200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10037 c Elapsed CPU time: 2.31165 s Remaining CPU time: 177.688 s c =============================================================================== c | 0 | 1991 2073 139050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10036 c Elapsed CPU time: 2.37164 s Remaining CPU time: 177.628 s c =============================================================================== c | 0 | 1991 2074 140900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10035 c Elapsed CPU time: 2.43063 s Remaining CPU time: 177.569 s c =============================================================================== c | 0 | 1991 2075 142750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10032 c Elapsed CPU time: 2.49262 s Remaining CPU time: 177.507 s c =============================================================================== c | 0 | 1991 2076 144600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10031 c Elapsed CPU time: 2.55461 s Remaining CPU time: 177.445 s c =============================================================================== c | 0 | 1991 2077 146450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10030 c Elapsed CPU time: 2.6156 s Remaining CPU time: 177.384 s c =============================================================================== c | 0 | 1991 2078 148300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10029 c Elapsed CPU time: 2.67759 s Remaining CPU time: 177.322 s c =============================================================================== c | 0 | 1991 2079 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10028 c Elapsed CPU time: 2.74158 s Remaining CPU time: 177.258 s c =============================================================================== c | 0 | 1991 2080 152000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10025 c Elapsed CPU time: 2.80957 s Remaining CPU time: 177.19 s c =============================================================================== c | 0 | 1991 2081 153850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10023 c Elapsed CPU time: 2.87556 s Remaining CPU time: 177.124 s c =============================================================================== c | 0 | 1991 2082 155700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10020 c Elapsed CPU time: 2.94655 s Remaining CPU time: 177.053 s c =============================================================================== c | 0 | 1991 2083 157550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10019 c Elapsed CPU time: 3.01754 s Remaining CPU time: 176.982 s c =============================================================================== c | 0 | 1991 2084 159400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10018 c Elapsed CPU time: 3.09153 s Remaining CPU time: 176.908 s c =============================================================================== c | 0 | 1991 2085 161250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10016 c Elapsed CPU time: 3.16452 s Remaining CPU time: 176.835 s c =============================================================================== c | 0 | 1991 2086 163100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10015 c Elapsed CPU time: 3.23651 s Remaining CPU time: 176.763 s c =============================================================================== c | 0 | 1991 2087 164950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10014 c Elapsed CPU time: 3.3135 s Remaining CPU time: 176.687 s c =============================================================================== c | 0 | 1991 2088 166800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10010 c Elapsed CPU time: 3.38948 s Remaining CPU time: 176.611 s c =============================================================================== c | 0 | 1991 2089 168650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10007 c Elapsed CPU time: 3.46147 s Remaining CPU time: 176.539 s c =============================================================================== c | 0 | 1991 2090 170500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10006 c Elapsed CPU time: 3.53746 s Remaining CPU time: 176.463 s c =============================================================================== c | 0 | 1991 2091 172350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10005 c Elapsed CPU time: 3.61145 s Remaining CPU time: 176.389 s c =============================================================================== c | 0 | 1991 2092 174200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10004 c Elapsed CPU time: 3.68844 s Remaining CPU time: 176.312 s c =============================================================================== c | 0 | 1991 2093 176050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10002 c Elapsed CPU time: 3.76843 s Remaining CPU time: 176.232 s c =============================================================================== c | 0 | 1991 2094 177900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10001 c Elapsed CPU time: 3.85341 s Remaining CPU time: 176.147 s c =============================================================================== c | 0 | 1991 2095 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 10000 c Elapsed CPU time: 3.9404 s Remaining CPU time: 176.06 s c =============================================================================== c | 0 | 1991 2096 181600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9999 c Elapsed CPU time: 4.02739 s Remaining CPU time: 175.973 s c =============================================================================== c | 0 | 1991 2097 183450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9996 c Elapsed CPU time: 4.11237 s Remaining CPU time: 175.888 s c =============================================================================== c | 0 | 1991 2098 185300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9993 c Elapsed CPU time: 4.20036 s Remaining CPU time: 175.8 s c =============================================================================== c | 0 | 1991 2099 187150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9992 c Elapsed CPU time: 4.28635 s Remaining CPU time: 175.714 s c =============================================================================== c | 0 | 1991 2100 189000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9990 c Elapsed CPU time: 4.37434 s Remaining CPU time: 175.626 s c =============================================================================== c | 0 | 1991 2101 190850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9988 c Elapsed CPU time: 4.46332 s Remaining CPU time: 175.537 s c =============================================================================== c | 0 | 1991 2102 192700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9987 c Elapsed CPU time: 4.55231 s Remaining CPU time: 175.448 s c =============================================================================== c | 0 | 1991 2103 194550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9985 c Elapsed CPU time: 4.64129 s Remaining CPU time: 175.359 s c =============================================================================== c | 0 | 1991 2104 196400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9980 c Elapsed CPU time: 4.73128 s Remaining CPU time: 175.269 s c =============================================================================== c | 0 | 1991 2105 198250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9976 c Elapsed CPU time: 4.82127 s Remaining CPU time: 175.179 s c =============================================================================== c | 0 | 1991 2106 200100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9974 c Elapsed CPU time: 4.91225 s Remaining CPU time: 175.088 s c =============================================================================== c | 0 | 1991 2107 201950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9973 c Elapsed CPU time: 5.00724 s Remaining CPU time: 174.993 s c =============================================================================== c | 0 | 1991 2108 203800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9972 c Elapsed CPU time: 5.10322 s Remaining CPU time: 174.897 s c =============================================================================== c | 0 | 1991 2109 205650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9971 c Elapsed CPU time: 5.19821 s Remaining CPU time: 174.802 s c =============================================================================== c | 0 | 1991 2110 207500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9970 c Elapsed CPU time: 5.2872 s Remaining CPU time: 174.713 s c =============================================================================== c | 0 | 1991 2111 209350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9969 c Elapsed CPU time: 5.38318 s Remaining CPU time: 174.617 s c =============================================================================== c | 0 | 1991 2112 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9965 c Elapsed CPU time: 5.47717 s Remaining CPU time: 174.523 s c =============================================================================== c | 0 | 1991 2113 213050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9963 c Elapsed CPU time: 5.57415 s Remaining CPU time: 174.426 s c =============================================================================== c | 0 | 1991 2114 214900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9962 c Elapsed CPU time: 5.67214 s Remaining CPU time: 174.328 s c =============================================================================== c | 0 | 1991 2115 216750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9961 c Elapsed CPU time: 5.79212 s Remaining CPU time: 174.208 s c =============================================================================== c | 0 | 1991 2116 218600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9960 c Elapsed CPU time: 5.9051 s Remaining CPU time: 174.095 s c =============================================================================== c | 0 | 1991 2117 220450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9956 c Elapsed CPU time: 6.02108 s Remaining CPU time: 173.979 s c =============================================================================== c | 0 | 1991 2118 222300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9953 c Elapsed CPU time: 6.13607 s Remaining CPU time: 173.864 s c =============================================================================== c | 0 | 1991 2119 224150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9952 c Elapsed CPU time: 6.25705 s Remaining CPU time: 173.743 s c =============================================================================== c | 0 | 1991 2120 226000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9951 c Elapsed CPU time: 6.37903 s Remaining CPU time: 173.621 s c =============================================================================== c | 0 | 1991 2121 227850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9950 c Elapsed CPU time: 6.49901 s Remaining CPU time: 173.501 s c =============================================================================== c | 0 | 1991 2122 229700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9949 c Elapsed CPU time: 6.61599 s Remaining CPU time: 173.384 s c =============================================================================== c | 0 | 1991 2123 231550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9948 c Elapsed CPU time: 6.73698 s Remaining CPU time: 173.263 s c =============================================================================== c | 0 | 1991 2124 233400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9947 c Elapsed CPU time: 6.85696 s Remaining CPU time: 173.143 s c =============================================================================== c | 0 | 1991 2125 235250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9946 c Elapsed CPU time: 6.97694 s Remaining CPU time: 173.023 s c =============================================================================== c | 0 | 1991 2126 237100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9945 c Elapsed CPU time: 7.09392 s Remaining CPU time: 172.906 s c =============================================================================== c | 0 | 1991 2127 238950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9944 c Elapsed CPU time: 7.2139 s Remaining CPU time: 172.786 s c =============================================================================== c | 0 | 1991 2128 240800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9942 c Elapsed CPU time: 7.33588 s Remaining CPU time: 172.664 s c =============================================================================== c | 0 | 1991 2129 242650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9941 c Elapsed CPU time: 7.46187 s Remaining CPU time: 172.538 s c =============================================================================== c | 0 | 1991 2130 244500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9940 c Elapsed CPU time: 7.58385 s Remaining CPU time: 172.416 s c =============================================================================== c | 0 | 1991 2131 246350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9938 c Elapsed CPU time: 7.70383 s Remaining CPU time: 172.296 s c =============================================================================== c | 0 | 1991 2132 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9935 c Elapsed CPU time: 7.82281 s Remaining CPU time: 172.177 s c =============================================================================== c | 0 | 1991 2133 250050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9932 c Elapsed CPU time: 7.94379 s Remaining CPU time: 172.056 s c =============================================================================== c | 0 | 1991 2134 251900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9928 c Elapsed CPU time: 8.06577 s Remaining CPU time: 171.934 s c =============================================================================== c | 0 | 1991 2135 253750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9926 c Elapsed CPU time: 8.19175 s Remaining CPU time: 171.808 s c =============================================================================== c | 0 | 1991 2136 255600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9923 c Elapsed CPU time: 8.31374 s Remaining CPU time: 171.686 s c =============================================================================== c | 0 | 1991 2137 257450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9922 c Elapsed CPU time: 8.43972 s Remaining CPU time: 171.56 s c =============================================================================== c | 0 | 1991 2138 259300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9921 c Elapsed CPU time: 8.5657 s Remaining CPU time: 171.434 s c =============================================================================== c | 0 | 1991 2139 261150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9920 c Elapsed CPU time: 8.69668 s Remaining CPU time: 171.303 s c =============================================================================== c | 0 | 1991 2140 263000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9919 c Elapsed CPU time: 8.83166 s Remaining CPU time: 171.168 s c =============================================================================== c | 0 | 1991 2141 264850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9917 c Elapsed CPU time: 8.96464 s Remaining CPU time: 171.035 s c =============================================================================== c | 0 | 1991 2142 266700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9916 c Elapsed CPU time: 9.10162 s Remaining CPU time: 170.898 s c =============================================================================== c | 0 | 1991 2143 268550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9915 c Elapsed CPU time: 9.2386 s Remaining CPU time: 170.761 s c =============================================================================== c | 0 | 1991 2144 270400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9914 c Elapsed CPU time: 9.38157 s Remaining CPU time: 170.618 s c =============================================================================== c | 0 | 1991 2145 272250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9913 c Elapsed CPU time: 9.52255 s Remaining CPU time: 170.477 s c =============================================================================== c | 0 | 1991 2146 274100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9912 c Elapsed CPU time: 9.66053 s Remaining CPU time: 170.339 s c =============================================================================== c | 0 | 1991 2147 275950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9911 c Elapsed CPU time: 9.80051 s Remaining CPU time: 170.199 s c =============================================================================== c | 0 | 1991 2148 277800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9910 c Elapsed CPU time: 9.93949 s Remaining CPU time: 170.061 s c =============================================================================== c | 0 | 1991 2149 279650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9908 c Elapsed CPU time: 10.0805 s Remaining CPU time: 169.92 s c =============================================================================== c | 0 | 1991 2150 281500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9907 c Elapsed CPU time: 10.2194 s Remaining CPU time: 169.781 s c =============================================================================== c | 0 | 1991 2151 283350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9906 c Elapsed CPU time: 10.3644 s Remaining CPU time: 169.636 s c =============================================================================== c | 0 | 1991 2152 285200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9902 c Elapsed CPU time: 10.5084 s Remaining CPU time: 169.492 s c =============================================================================== c | 0 | 1991 2153 287050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9901 c Elapsed CPU time: 10.6594 s Remaining CPU time: 169.341 s c =============================================================================== c | 0 | 1991 2154 288900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9900 c Elapsed CPU time: 10.8034 s Remaining CPU time: 169.197 s c =============================================================================== c | 0 | 1991 2155 290750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9899 c Elapsed CPU time: 10.9593 s Remaining CPU time: 169.041 s c =============================================================================== c | 0 | 1991 2156 292600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9898 c Elapsed CPU time: 11.1073 s Remaining CPU time: 168.893 s c =============================================================================== c | 0 | 1991 2157 294450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9897 c Elapsed CPU time: 11.2563 s Remaining CPU time: 168.744 s c =============================================================================== c | 0 | 1991 2158 296300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9896 c Elapsed CPU time: 11.4113 s Remaining CPU time: 168.589 s c =============================================================================== c | 1 | 1991 2159 298150 | 5000 1 1810 | 0.000 % | c =============================================================================== c New solution: 9895 c Elapsed CPU time: 11.5672 s Remaining CPU time: 168.433 s c =============================================================================== c | 1 | 1991 2160 300000 | 5000 1 1810 | 0.000 % | c =============================================================================== c New solution: 9893 c Elapsed CPU time: 11.7212 s Remaining CPU time: 168.279 s c =============================================================================== c | 2 | 1991 2161 301850 | 5000 2 906 | 0.000 % | c =============================================================================== c New solution: 9892 c Elapsed CPU time: 11.8782 s Remaining CPU time: 168.122 s c =============================================================================== c | 2 | 1991 2162 303700 | 5000 2 906 | 0.000 % | c =============================================================================== c New solution: 9891 c Elapsed CPU time: 12.0232 s Remaining CPU time: 167.977 s c =============================================================================== c | 2 | 1991 2163 305550 | 5000 2 906 | 0.000 % | c =============================================================================== c New solution: 9890 c Elapsed CPU time: 12.1682 s Remaining CPU time: 167.832 s c =============================================================================== c | 3 | 1991 2164 307400 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9889 c Elapsed CPU time: 12.3251 s Remaining CPU time: 167.675 s c =============================================================================== c | 3 | 1991 2165 309250 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9888 c Elapsed CPU time: 12.4781 s Remaining CPU time: 167.522 s c =============================================================================== c | 3 | 1991 2166 311100 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9887 c Elapsed CPU time: 12.6391 s Remaining CPU time: 167.361 s c =============================================================================== c | 3 | 1991 2167 312950 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9886 c Elapsed CPU time: 12.7991 s Remaining CPU time: 167.201 s c =============================================================================== c | 3 | 1991 2168 314800 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9885 c Elapsed CPU time: 12.957 s Remaining CPU time: 167.043 s c =============================================================================== c | 3 | 1991 2169 316650 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9884 c Elapsed CPU time: 13.111 s Remaining CPU time: 166.889 s c =============================================================================== c | 3 | 1991 2170 318500 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9883 c Elapsed CPU time: 13.269 s Remaining CPU time: 166.731 s c =============================================================================== c | 3 | 1991 2171 320350 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9882 c Elapsed CPU time: 13.423 s Remaining CPU time: 166.577 s c =============================================================================== c | 3 | 1991 2172 322200 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9881 c Elapsed CPU time: 13.5849 s Remaining CPU time: 166.415 s c =============================================================================== c | 3 | 1991 2173 324050 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9880 c Elapsed CPU time: 13.7399 s Remaining CPU time: 166.26 s c =============================================================================== c | 3 | 1991 2174 325900 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9879 c Elapsed CPU time: 13.8979 s Remaining CPU time: 166.102 s c =============================================================================== c | 3 | 1991 2175 327750 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9878 c Elapsed CPU time: 14.0539 s Remaining CPU time: 165.946 s c =============================================================================== c | 3 | 1991 2176 329600 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9877 c Elapsed CPU time: 14.2168 s Remaining CPU time: 165.783 s c =============================================================================== c | 3 | 1991 2177 331450 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9876 c Elapsed CPU time: 14.3788 s Remaining CPU time: 165.621 s c =============================================================================== c | 3 | 1991 2178 333300 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9875 c Elapsed CPU time: 14.5428 s Remaining CPU time: 165.457 s c =============================================================================== c | 4 | 1991 2179 335150 | 5000 4 1356 | 0.000 % | c =============================================================================== c New solution: 9874 c Elapsed CPU time: 14.7118 s Remaining CPU time: 165.288 s c =============================================================================== c | 4 | 1991 2180 337000 | 5000 4 1356 | 0.000 % | c =============================================================================== c New solution: 9873 c Elapsed CPU time: 14.8857 s Remaining CPU time: 165.114 s c =============================================================================== c | 4 | 1991 2181 338850 | 5000 4 1356 | 0.000 % | c =============================================================================== c New solution: 9872 c Elapsed CPU time: 15.0537 s Remaining CPU time: 164.946 s c =============================================================================== c | 4 | 1991 2182 340700 | 5000 4 1356 | 0.000 % | c =============================================================================== c New solution: 9871 c Elapsed CPU time: 15.2297 s Remaining CPU time: 164.77 s c =============================================================================== c | 4 | 1991 2183 342550 | 5000 4 1356 | 0.000 % | c =============================================================================== c New solution: 9870 c Elapsed CPU time: 15.4037 s Remaining CPU time: 164.596 s c =============================================================================== c | 4 | 1991 2184 344400 | 5000 4 1356 | 0.000 % | c =============================================================================== c New solution: 9869 c Elapsed CPU time: 15.5796 s Remaining CPU time: 164.42 s c =============================================================================== c | 4 | 1991 2185 346250 | 5000 4 1356 | 0.000 % | c =============================================================================== c New solution: 9868 c Elapsed CPU time: 15.7666 s Remaining CPU time: 164.233 s c =============================================================================== c | 5 | 1991 2186 348100 | 5000 5 1445 | 0.000 % | c =============================================================================== c New solution: 9867 c Elapsed CPU time: 15.9506 s Remaining CPU time: 164.049 s c =============================================================================== c | 6 | 1991 2187 349950 | 5000 6 1505 | 0.000 % | c =============================================================================== c New solution: 9866 c Elapsed CPU time: 16.1235 s Remaining CPU time: 163.876 s c =============================================================================== c | 7 | 1991 2188 351800 | 5000 7 1290 | 0.000 % | c =============================================================================== c New solution: 9865 c Elapsed CPU time: 16.3015 s Remaining CPU time: 163.698 s c =============================================================================== c | 7 | 1991 2189 353650 | 5000 7 1290 | 0.000 % | c =============================================================================== c New solution: 9864 c Elapsed CPU time: 16.4845 s Remaining CPU time: 163.516 s c =============================================================================== c | 7 | 1991 2190 355500 | 5000 7 1290 | 0.000 % | c =============================================================================== c New solution: 9863 c Elapsed CPU time: 16.6715 s Remaining CPU time: 163.329 s c =============================================================================== c | 7 | 1991 2191 357350 | 5000 7 1290 | 0.000 % | c =============================================================================== c New solution: 9862 c Elapsed CPU time: 16.8494 s Remaining CPU time: 163.151 s c =============================================================================== c | 7 | 1991 2192 359200 | 5000 7 1290 | 0.000 % | c =============================================================================== c New solution: 9861 c Elapsed CPU time: 17.0294 s Remaining CPU time: 162.971 s c =============================================================================== c | 7 | 1991 2193 361050 | 5000 7 1290 | 0.000 % | c =============================================================================== c New solution: 9860 c Elapsed CPU time: 17.2044 s Remaining CPU time: 162.796 s c =============================================================================== c | 7 | 1991 2194 362900 | 5000 7 1290 | 0.000 % | c =============================================================================== c New solution: 9859 c Elapsed CPU time: 17.4024 s Remaining CPU time: 162.598 s c =============================================================================== c | 7 | 1991 2195 364750 | 5000 7 1290 | 0.000 % | c =============================================================================== c New solution: 9858 c Elapsed CPU time: 17.5963 s Remaining CPU time: 162.404 s c =============================================================================== c | 8 | 1991 2196 366600 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9857 c Elapsed CPU time: 17.7843 s Remaining CPU time: 162.216 s c =============================================================================== c | 8 | 1991 2197 368450 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9856 c Elapsed CPU time: 17.9653 s Remaining CPU time: 162.035 s c =============================================================================== c | 8 | 1991 2198 370300 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9855 c Elapsed CPU time: 18.1552 s Remaining CPU time: 161.845 s c =============================================================================== c | 8 | 1991 2199 372150 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9854 c Elapsed CPU time: 18.3402 s Remaining CPU time: 161.66 s c =============================================================================== c | 8 | 1991 2200 374000 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9853 c Elapsed CPU time: 18.5332 s Remaining CPU time: 161.467 s c =============================================================================== c | 8 | 1991 2201 375850 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9852 c Elapsed CPU time: 18.7222 s Remaining CPU time: 161.278 s c =============================================================================== c | 8 | 1991 2202 377700 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9851 c Elapsed CPU time: 18.9131 s Remaining CPU time: 161.087 s c =============================================================================== c | 8 | 1991 2203 379550 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9850 c Elapsed CPU time: 19.1151 s Remaining CPU time: 160.885 s c =============================================================================== c | 8 | 1991 2204 381400 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9849 c Elapsed CPU time: 19.3071 s Remaining CPU time: 160.693 s c =============================================================================== c | 8 | 1991 2205 383250 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9848 c Elapsed CPU time: 19.506 s Remaining CPU time: 160.494 s c =============================================================================== c | 8 | 1991 2206 385100 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9847 c Elapsed CPU time: 19.69 s Remaining CPU time: 160.31 s c =============================================================================== c | 8 | 1991 2207 386950 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9846 c Elapsed CPU time: 19.887 s Remaining CPU time: 160.113 s c =============================================================================== c | 8 | 1991 2208 388800 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9845 c Elapsed CPU time: 20.0829 s Remaining CPU time: 159.917 s c =============================================================================== c | 8 | 1991 2209 390650 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9844 c Elapsed CPU time: 20.2939 s Remaining CPU time: 159.706 s c =============================================================================== c | 8 | 1991 2210 392500 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9843 c Elapsed CPU time: 20.4849 s Remaining CPU time: 159.515 s c =============================================================================== c | 8 | 1991 2211 394350 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9842 c Elapsed CPU time: 20.6919 s Remaining CPU time: 159.308 s c =============================================================================== c | 8 | 1991 2212 396200 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9841 c Elapsed CPU time: 20.9058 s Remaining CPU time: 159.094 s c =============================================================================== c | 8 | 1991 2213 398050 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9840 c Elapsed CPU time: 21.1348 s Remaining CPU time: 158.865 s c =============================================================================== c | 8 | 1991 2214 399900 | 5000 8 1354 | 0.000 % | c =============================================================================== c New solution: 9839 c Elapsed CPU time: 21.3448 s Remaining CPU time: 158.655 s c =============================================================================== c | 10 | 1991 2215 401750 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9838 c Elapsed CPU time: 21.5607 s Remaining CPU time: 158.439 s c =============================================================================== c | 10 | 1991 2216 403600 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9837 c Elapsed CPU time: 21.7607 s Remaining CPU time: 158.239 s c =============================================================================== c | 10 | 1991 2217 405450 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9836 c Elapsed CPU time: 21.9757 s Remaining CPU time: 158.024 s c =============================================================================== c | 10 | 1991 2218 407300 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9835 c Elapsed CPU time: 22.1866 s Remaining CPU time: 157.813 s c =============================================================================== c | 10 | 1991 2219 409150 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9834 c Elapsed CPU time: 22.4036 s Remaining CPU time: 157.596 s c =============================================================================== c | 10 | 1991 2220 411000 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9833 c Elapsed CPU time: 22.6186 s Remaining CPU time: 157.381 s c =============================================================================== c | 10 | 1991 2221 412850 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9832 c Elapsed CPU time: 22.8285 s Remaining CPU time: 157.171 s c =============================================================================== c | 10 | 1991 2222 414700 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9831 c Elapsed CPU time: 23.0385 s Remaining CPU time: 156.962 s c =============================================================================== c | 10 | 1991 2223 416550 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9830 c Elapsed CPU time: 23.2505 s Remaining CPU time: 156.75 s c =============================================================================== c | 10 | 1991 2224 418400 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9829 c Elapsed CPU time: 23.4564 s Remaining CPU time: 156.544 s c =============================================================================== c | 10 | 1991 2225 420250 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9828 c Elapsed CPU time: 23.6814 s Remaining CPU time: 156.319 s c =============================================================================== c | 10 | 1991 2226 422100 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9827 c Elapsed CPU time: 23.8974 s Remaining CPU time: 156.103 s c =============================================================================== c | 10 | 1991 2227 423950 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9826 c Elapsed CPU time: 24.1163 s Remaining CPU time: 155.884 s c =============================================================================== c | 10 | 1991 2228 425800 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9825 c Elapsed CPU time: 24.3393 s Remaining CPU time: 155.661 s c =============================================================================== c | 10 | 1991 2229 427650 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9824 c Elapsed CPU time: 24.5523 s Remaining CPU time: 155.448 s c =============================================================================== c | 10 | 1991 2230 429500 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9823 c Elapsed CPU time: 24.7762 s Remaining CPU time: 155.224 s c =============================================================================== c | 10 | 1991 2231 431350 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9822 c Elapsed CPU time: 24.9832 s Remaining CPU time: 155.017 s c =============================================================================== c | 10 | 1991 2232 433200 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9821 c Elapsed CPU time: 25.1982 s Remaining CPU time: 154.802 s c =============================================================================== c | 10 | 1991 2233 435050 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9820 c Elapsed CPU time: 25.4131 s Remaining CPU time: 154.587 s c =============================================================================== c | 10 | 1991 2234 436900 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9819 c Elapsed CPU time: 25.6171 s Remaining CPU time: 154.383 s c =============================================================================== c | 10 | 1991 2235 438750 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9818 c Elapsed CPU time: 25.8291 s Remaining CPU time: 154.171 s c =============================================================================== c | 10 | 1991 2236 440600 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9817 c Elapsed CPU time: 26.043 s Remaining CPU time: 153.957 s c =============================================================================== c | 10 | 1991 2237 442450 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9816 c Elapsed CPU time: 26.26 s Remaining CPU time: 153.74 s c =============================================================================== c | 10 | 1991 2238 444300 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9815 c Elapsed CPU time: 26.526 s Remaining CPU time: 153.474 s c =============================================================================== c | 10 | 1991 2239 446150 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9814 c Elapsed CPU time: 26.7679 s Remaining CPU time: 153.232 s c =============================================================================== c | 10 | 1991 2240 448000 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9813 c Elapsed CPU time: 27.0009 s Remaining CPU time: 152.999 s c =============================================================================== c | 10 | 1991 2241 449850 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9812 c Elapsed CPU time: 27.2389 s Remaining CPU time: 152.761 s c =============================================================================== c | 10 | 1991 2242 451700 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9811 c Elapsed CPU time: 27.5038 s Remaining CPU time: 152.496 s c =============================================================================== c | 10 | 1991 2243 453550 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9810 c Elapsed CPU time: 27.7408 s Remaining CPU time: 152.259 s c =============================================================================== c | 10 | 1991 2244 455400 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9809 c Elapsed CPU time: 27.9747 s Remaining CPU time: 152.025 s c =============================================================================== c | 10 | 1991 2245 457250 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9808 c Elapsed CPU time: 28.2287 s Remaining CPU time: 151.771 s c =============================================================================== c | 10 | 1991 2246 459100 | 5000 10 1443 | 0.000 % | c =============================================================================== c New solution: 9807 c Elapsed CPU time: 28.4567 s Remaining CPU time: 151.543 s c =============================================================================== c | 11 | 1991 2247 460950 | 5000 11 1475 | 0.000 % | c =============================================================================== c New solution: 9806 c Elapsed CPU time: 28.6916 s Remaining CPU time: 151.308 s c =============================================================================== c | 11 | 1991 2248 462800 | 5000 11 1475 | 0.000 % | c =============================================================================== c New solution: 9805 c Elapsed CPU time: 28.9216 s Remaining CPU time: 151.078 s c =============================================================================== c | 11 | 1991 2249 464650 | 5000 11 1475 | 0.000 % | c =============================================================================== c New solution: 9804 c Elapsed CPU time: 29.1556 s Remaining CPU time: 150.844 s c =============================================================================== c | 11 | 1991 2250 466500 | 5000 11 1475 | 0.000 % | c =============================================================================== c New solution: 9803 c Elapsed CPU time: 29.3985 s Remaining CPU time: 150.601 s c =============================================================================== c | 11 | 1991 2251 468350 | 5000 11 1475 | 0.000 % | c =============================================================================== c New solution: 9802 c Elapsed CPU time: 29.6455 s Remaining CPU time: 150.355 s c =============================================================================== c | 11 | 1991 2252 470200 | 5000 11 1475 | 0.000 % | c =============================================================================== c New solution: 9801 c Elapsed CPU time: 29.8945 s Remaining CPU time: 150.106 s c =============================================================================== c | 11 | 1991 2253 472050 | 5000 11 1475 | 0.000 % | c =============================================================================== c New solution: 9800 c Elapsed CPU time: 30.1424 s Remaining CPU time: 149.858 s c =============================================================================== c | 11 | 1991 2254 473900 | 5000 11 1475 | 0.000 % | c =============================================================================== c New solution: 9799 c Elapsed CPU time: 30.3914 s Remaining CPU time: 149.609 s c =============================================================================== c | 12 | 1991 2255 475750 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9798 c Elapsed CPU time: 30.6473 s Remaining CPU time: 149.353 s c =============================================================================== c | 12 | 1991 2256 477600 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9797 c Elapsed CPU time: 30.8853 s Remaining CPU time: 149.115 s c =============================================================================== c | 12 | 1991 2257 479450 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9796 c Elapsed CPU time: 31.1453 s Remaining CPU time: 148.855 s c =============================================================================== c | 12 | 1991 2258 481300 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9795 c Elapsed CPU time: 31.3822 s Remaining CPU time: 148.618 s c =============================================================================== c | 12 | 1991 2259 483150 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9794 c Elapsed CPU time: 31.6222 s Remaining CPU time: 148.378 s c =============================================================================== c | 12 | 1991 2260 485000 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9793 c Elapsed CPU time: 31.8642 s Remaining CPU time: 148.136 s c =============================================================================== c | 12 | 1991 2261 486850 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9792 c Elapsed CPU time: 32.1181 s Remaining CPU time: 147.882 s c =============================================================================== c | 12 | 1991 2262 488700 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9791 c Elapsed CPU time: 32.3851 s Remaining CPU time: 147.615 s c =============================================================================== c | 12 | 1991 2263 490550 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9790 c Elapsed CPU time: 32.644 s Remaining CPU time: 147.356 s c =============================================================================== c | 12 | 1991 2264 492400 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9789 c Elapsed CPU time: 32.891 s Remaining CPU time: 147.109 s c =============================================================================== c | 12 | 1991 2265 494250 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9788 c Elapsed CPU time: 33.142 s Remaining CPU time: 146.858 s c =============================================================================== c | 12 | 1991 2266 496100 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9787 c Elapsed CPU time: 33.3909 s Remaining CPU time: 146.609 s c =============================================================================== c | 12 | 1991 2267 497950 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9786 c Elapsed CPU time: 33.6519 s Remaining CPU time: 146.348 s c =============================================================================== c | 12 | 1991 2268 499800 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9785 c Elapsed CPU time: 33.9268 s Remaining CPU time: 146.073 s c =============================================================================== c | 12 | 1991 2269 501650 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9784 c Elapsed CPU time: 34.1878 s Remaining CPU time: 145.812 s c =============================================================================== c | 12 | 1991 2270 503500 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9783 c Elapsed CPU time: 34.4498 s Remaining CPU time: 145.55 s c =============================================================================== c | 12 | 1991 2271 505350 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9782 c Elapsed CPU time: 34.7087 s Remaining CPU time: 145.291 s c =============================================================================== c | 12 | 1991 2272 507200 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9781 c Elapsed CPU time: 34.9777 s Remaining CPU time: 145.022 s c =============================================================================== c | 12 | 1991 2273 509050 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9780 c Elapsed CPU time: 35.2466 s Remaining CPU time: 144.753 s c =============================================================================== c | 12 | 1991 2274 510900 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9779 c Elapsed CPU time: 35.5256 s Remaining CPU time: 144.474 s c =============================================================================== c | 12 | 1991 2275 512750 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9778 c Elapsed CPU time: 35.7926 s Remaining CPU time: 144.207 s c =============================================================================== c | 12 | 1991 2276 514600 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9777 c Elapsed CPU time: 36.0655 s Remaining CPU time: 143.934 s c =============================================================================== c | 12 | 1991 2277 516450 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9776 c Elapsed CPU time: 36.3475 s Remaining CPU time: 143.653 s c =============================================================================== c | 12 | 1991 2278 518300 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9775 c Elapsed CPU time: 36.6274 s Remaining CPU time: 143.373 s c =============================================================================== c | 12 | 1991 2279 520150 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9774 c Elapsed CPU time: 36.8964 s Remaining CPU time: 143.104 s c =============================================================================== c | 12 | 1991 2280 522000 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9773 c Elapsed CPU time: 37.1653 s Remaining CPU time: 142.835 s c =============================================================================== c | 12 | 1991 2281 523850 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9772 c Elapsed CPU time: 37.4283 s Remaining CPU time: 142.572 s c =============================================================================== c | 12 | 1991 2282 525700 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9771 c Elapsed CPU time: 37.6823 s Remaining CPU time: 142.318 s c =============================================================================== c | 12 | 1991 2283 527550 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9770 c Elapsed CPU time: 37.9522 s Remaining CPU time: 142.048 s c =============================================================================== c | 12 | 1991 2284 529400 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9769 c Elapsed CPU time: 38.2242 s Remaining CPU time: 141.776 s c =============================================================================== c | 12 | 1991 2285 531250 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9768 c Elapsed CPU time: 38.4961 s Remaining CPU time: 141.504 s c =============================================================================== c | 12 | 1991 2286 533100 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9767 c Elapsed CPU time: 38.7651 s Remaining CPU time: 141.235 s c =============================================================================== c | 12 | 1991 2287 534950 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9766 c Elapsed CPU time: 39.0421 s Remaining CPU time: 140.958 s c =============================================================================== c | 12 | 1991 2288 536800 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9765 c Elapsed CPU time: 39.315 s Remaining CPU time: 140.685 s c =============================================================================== c | 12 | 1991 2289 538650 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9764 c Elapsed CPU time: 39.593 s Remaining CPU time: 140.407 s c =============================================================================== c | 12 | 1991 2290 540500 | 5000 12 1501 | 0.000 % | c =============================================================================== c New solution: 9763 c Elapsed CPU time: 39.8949 s Remaining CPU time: 140.105 s c =============================================================================== c | 13 | 1991 2291 542350 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9762 c Elapsed CPU time: 40.1849 s Remaining CPU time: 139.815 s c =============================================================================== c | 13 | 1991 2292 544200 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9761 c Elapsed CPU time: 40.4528 s Remaining CPU time: 139.547 s c =============================================================================== c | 13 | 1991 2293 546050 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9760 c Elapsed CPU time: 40.7538 s Remaining CPU time: 139.246 s c =============================================================================== c | 13 | 1991 2294 547900 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9759 c Elapsed CPU time: 41.0528 s Remaining CPU time: 138.947 s c =============================================================================== c | 13 | 1991 2295 549750 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9758 c Elapsed CPU time: 41.3587 s Remaining CPU time: 138.641 s c =============================================================================== c | 13 | 1991 2296 551600 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9757 c Elapsed CPU time: 41.6677 s Remaining CPU time: 138.332 s c =============================================================================== c | 13 | 1991 2297 553450 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9756 c Elapsed CPU time: 41.9676 s Remaining CPU time: 138.032 s c =============================================================================== c | 13 | 1991 2298 555300 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9755 c Elapsed CPU time: 42.2706 s Remaining CPU time: 137.729 s c =============================================================================== c | 13 | 1991 2299 557150 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9754 c Elapsed CPU time: 42.5545 s Remaining CPU time: 137.445 s c =============================================================================== c | 13 | 1991 2300 559000 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9753 c Elapsed CPU time: 42.8485 s Remaining CPU time: 137.152 s c =============================================================================== c | 13 | 1991 2301 560850 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9752 c Elapsed CPU time: 43.1474 s Remaining CPU time: 136.853 s c =============================================================================== c | 13 | 1991 2302 562700 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9751 c Elapsed CPU time: 43.4454 s Remaining CPU time: 136.555 s c =============================================================================== c | 13 | 1991 2303 564550 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9750 c Elapsed CPU time: 43.7274 s Remaining CPU time: 136.273 s c =============================================================================== c | 13 | 1991 2304 566400 | 5000 13 1386 | 0.000 % | c =============================================================================== c New solution: 9749 c Elapsed CPU time: 44.0183 s Remaining CPU time: 135.982 s c =============================================================================== c | 14 | 1991 2305 568250 | 5000 14 1414 | 0.000 % | c =============================================================================== c New solution: 9748 c Elapsed CPU time: 44.3153 s Remaining CPU time: 135.685 s c =============================================================================== c | 14 | 1991 2306 570100 | 5000 14 1414 | 0.000 % | c =============================================================================== c New solution: 9747 c Elapsed CPU time: 44.6202 s Remaining CPU time: 135.38 s c =============================================================================== c | 15 | 1991 2307 571950 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9746 c Elapsed CPU time: 44.9102 s Remaining CPU time: 135.09 s c =============================================================================== c | 15 | 1991 2308 573800 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9745 c Elapsed CPU time: 45.2001 s Remaining CPU time: 134.8 s c =============================================================================== c | 15 | 1991 2309 575650 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9744 c Elapsed CPU time: 45.4981 s Remaining CPU time: 134.502 s c =============================================================================== c | 15 | 1991 2310 577500 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9743 c Elapsed CPU time: 45.795 s Remaining CPU time: 134.205 s c =============================================================================== c | 15 | 1991 2311 579350 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9742 c Elapsed CPU time: 46.097 s Remaining CPU time: 133.903 s c =============================================================================== c | 15 | 1991 2312 581200 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9741 c Elapsed CPU time: 46.4009 s Remaining CPU time: 133.599 s c =============================================================================== c | 15 | 1991 2313 583050 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9740 c Elapsed CPU time: 46.6969 s Remaining CPU time: 133.303 s c =============================================================================== c | 15 | 1991 2314 584900 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9739 c Elapsed CPU time: 47.0139 s Remaining CPU time: 132.986 s c =============================================================================== c | 15 | 1991 2315 586750 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9738 c Elapsed CPU time: 47.3308 s Remaining CPU time: 132.669 s c =============================================================================== c | 15 | 1991 2316 588600 | 5000 15 1439 | 0.000 % | c =============================================================================== c New solution: 9737 c Elapsed CPU time: 47.6927 s Remaining CPU time: 132.307 s c =============================================================================== c | 22 | 1991 2317 590450 | 5000 22 1548 | 0.000 % | c =============================================================================== c New solution: 9736 c Elapsed CPU time: 47.9987 s Remaining CPU time: 132.001 s c =============================================================================== c | 22 | 1991 2318 592300 | 5000 22 1548 | 0.000 % | c =============================================================================== c New solution: 9735 c Elapsed CPU time: 48.3027 s Remaining CPU time: 131.697 s c =============================================================================== c | 22 | 1991 2319 594150 | 5000 22 1548 | 0.000 % | c =============================================================================== c New solution: 9734 c Elapsed CPU time: 48.6176 s Remaining CPU time: 131.382 s c =============================================================================== c | 22 | 1991 2320 596000 | 5000 22 1548 | 0.000 % | c =============================================================================== c New solution: 9733 c Elapsed CPU time: 48.9286 s Remaining CPU time: 131.071 s c =============================================================================== c | 22 | 1991 2321 597850 | 5000 22 1548 | 0.000 % | c =============================================================================== c New solution: 9732 c Elapsed CPU time: 49.2355 s Remaining CPU time: 130.764 s c =============================================================================== c | 22 | 1991 2322 599700 | 5000 22 1548 | 0.000 % | c =============================================================================== c New solution: 9731 c Elapsed CPU time: 49.5505 s Remaining CPU time: 130.45 s c =============================================================================== c | 22 | 1991 2323 601550 | 5000 22 1548 | 0.000 % | c =============================================================================== c New solution: 9730 c Elapsed CPU time: 49.8724 s Remaining CPU time: 130.128 s c =============================================================================== c | 22 | 1991 2324 603400 | 5000 22 1548 | 0.000 % | c =============================================================================== c New solution: 9729 c Elapsed CPU time: 50.1904 s Remaining CPU time: 129.81 s c =============================================================================== c | 22 | 1991 2325 605250 | 5000 22 1548 | 0.000 % | c =============================================================================== c New solution: 9728 c Elapsed CPU time: 50.5173 s Remaining CPU time: 129.483 s c =============================================================================== c | 23 | 1991 2326 607100 | 5000 23 1558 | 0.000 % | c =============================================================================== c New solution: 9727 c Elapsed CPU time: 50.8613 s Remaining CPU time: 129.139 s c =============================================================================== c | 23 | 1991 2327 608950 | 5000 23 1558 | 0.000 % | c =============================================================================== c New solution: 9726 c Elapsed CPU time: 51.2112 s Remaining CPU time: 128.789 s c =============================================================================== c | 24 | 1991 2328 610800 | 5000 24 1493 | 0.000 % | c =============================================================================== c New solution: 9725 c Elapsed CPU time: 51.5392 s Remaining CPU time: 128.461 s c =============================================================================== c | 27 | 1991 2329 612650 | 5000 27 1524 | 0.000 % | c =============================================================================== c New solution: 9724 c Elapsed CPU time: 51.8721 s Remaining CPU time: 128.128 s c =============================================================================== c | 27 | 1991 2330 614500 | 5000 27 1524 | 0.000 % | c =============================================================================== c New solution: 9723 c Elapsed CPU time: 52.2051 s Remaining CPU time: 127.795 s c =============================================================================== c | 27 | 1991 2331 616350 | 5000 27 1524 | 0.000 % | c =============================================================================== c New solution: 9722 c Elapsed CPU time: 52.536 s Remaining CPU time: 127.464 s c =============================================================================== c | 27 | 1991 2332 618200 | 5000 27 1524 | 0.000 % | c =============================================================================== c New solution: 9721 c Elapsed CPU time: 52.871 s Remaining CPU time: 127.129 s c =============================================================================== c | 27 | 1991 2333 620050 | 5000 27 1524 | 0.000 % | c =============================================================================== c New solution: 9720 c Elapsed CPU time: 53.1969 s Remaining CPU time: 126.803 s c =============================================================================== c | 27 | 1991 2334 621900 | 5000 27 1524 | 0.000 % | c =============================================================================== c New solution: 9719 c Elapsed CPU time: 53.5099 s Remaining CPU time: 126.49 s c =============================================================================== c | 27 | 1991 2335 623750 | 5000 27 1524 | 0.000 % | c =============================================================================== c New solution: 9718 c Elapsed CPU time: 53.8318 s Remaining CPU time: 126.168 s c =============================================================================== c | 27 | 1991 2336 625600 | 5000 27 1524 | 0.000 % | c =============================================================================== c New solution: 9717 c Elapsed CPU time: 54.1618 s Remaining CPU time: 125.838 s c =============================================================================== c | 27 | 1991 2337 627450 | 5000 27 1524 | 0.000 % | c =============================================================================== c New solution: 9716 c Elapsed CPU time: 54.4867 s Remaining CPU time: 125.513 s c =============================================================================== c | 28 | 1991 2338 629300 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9715 c Elapsed CPU time: 54.8227 s Remaining CPU time: 125.177 s c =============================================================================== c | 28 | 1991 2339 631150 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9714 c Elapsed CPU time: 55.1676 s Remaining CPU time: 124.832 s c =============================================================================== c | 28 | 1991 2340 633000 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9713 c Elapsed CPU time: 55.5096 s Remaining CPU time: 124.49 s c =============================================================================== c | 28 | 1991 2341 634850 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9712 c Elapsed CPU time: 55.8495 s Remaining CPU time: 124.15 s c =============================================================================== c | 28 | 1991 2342 636700 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9711 c Elapsed CPU time: 56.1975 s Remaining CPU time: 123.803 s c =============================================================================== c | 28 | 1991 2343 638550 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9710 c Elapsed CPU time: 56.5534 s Remaining CPU time: 123.447 s c =============================================================================== c | 28 | 1991 2344 640400 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9709 c Elapsed CPU time: 56.8874 s Remaining CPU time: 123.113 s c =============================================================================== c | 28 | 1991 2345 642250 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9708 c Elapsed CPU time: 57.2353 s Remaining CPU time: 122.765 s c =============================================================================== c | 28 | 1991 2346 644100 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9707 c Elapsed CPU time: 57.5782 s Remaining CPU time: 122.422 s c =============================================================================== c | 28 | 1991 2347 645950 | 5000 28 1533 | 0.000 % | c =============================================================================== c New solution: 9706 c Elapsed CPU time: 57.9322 s Remaining CPU time: 122.068 s c =============================================================================== c | 31 | 1991 2348 647800 | 5000 31 1557 | 0.000 % | c =============================================================================== c New solution: 9705 c Elapsed CPU time: 58.2871 s Remaining CPU time: 121.713 s c =============================================================================== c | 31 | 1991 2349 649650 | 5000 31 1557 | 0.000 % | c =============================================================================== c New solution: 9704 c Elapsed CPU time: 58.6481 s Remaining CPU time: 121.352 s c =============================================================================== c | 31 | 1991 2350 651500 | 5000 31 1557 | 0.000 % | c =============================================================================== c New solution: 9703 c Elapsed CPU time: 59.005 s Remaining CPU time: 120.995 s c =============================================================================== c | 31 | 1991 2351 653350 | 5000 31 1557 | 0.000 % | c =============================================================================== c New solution: 9702 c Elapsed CPU time: 59.367 s Remaining CPU time: 120.633 s c =============================================================================== c | 31 | 1991 2352 655200 | 5000 31 1557 | 0.000 % | c =============================================================================== c New solution: 9701 c Elapsed CPU time: 59.7009 s Remaining CPU time: 120.299 s c =============================================================================== c | 31 | 1991 2353 657050 | 5000 31 1557 | 0.000 % | c =============================================================================== c New solution: 9700 c Elapsed CPU time: 60.0629 s Remaining CPU time: 119.937 s c =============================================================================== c | 44 | 1991 2354 658900 | 5000 44 1621 | 0.000 % | c =============================================================================== c New solution: 9699 c Elapsed CPU time: 60.4108 s Remaining CPU time: 119.589 s c =============================================================================== c | 44 | 1991 2355 660750 | 5000 44 1621 | 0.000 % | c =============================================================================== c New solution: 9698 c Elapsed CPU time: 60.7408 s Remaining CPU time: 119.259 s c =============================================================================== c | 44 | 1991 2356 662600 | 5000 44 1621 | 0.000 % | c =============================================================================== c New solution: 9697 c Elapsed CPU time: 61.1157 s Remaining CPU time: 118.884 s c =============================================================================== c | 44 | 1991 2357 664450 | 5000 44 1621 | 0.000 % | c =============================================================================== c New solution: 9696 c Elapsed CPU time: 61.4747 s Remaining CPU time: 118.525 s c =============================================================================== c | 44 | 1991 2358 666300 | 5000 44 1621 | 0.000 % | c =============================================================================== c New solution: 9695 c Elapsed CPU time: 61.8166 s Remaining CPU time: 118.183 s c =============================================================================== c | 44 | 1991 2359 668150 | 5000 44 1621 | 0.000 % | c =============================================================================== c New solution: 9694 c Elapsed CPU time: 62.1865 s Remaining CPU time: 117.813 s c =============================================================================== c | 44 | 1991 2360 670000 | 5000 44 1621 | 0.000 % | c =============================================================================== c New solution: 9693 c Elapsed CPU time: 62.5685 s Remaining CPU time: 117.432 s c =============================================================================== c | 49 | 1991 2361 671850 | 5000 49 1636 | 0.000 % | c =============================================================================== c New solution: 9692 c Elapsed CPU time: 62.9994 s Remaining CPU time: 117.001 s c =============================================================================== c | 55 | 1991 2362 673700 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9691 c Elapsed CPU time: 63.3524 s Remaining CPU time: 116.648 s c =============================================================================== c | 55 | 1991 2363 675550 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9690 c Elapsed CPU time: 63.7193 s Remaining CPU time: 116.281 s c =============================================================================== c | 55 | 1991 2364 677400 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9689 c Elapsed CPU time: 64.1153 s Remaining CPU time: 115.885 s c =============================================================================== c | 55 | 1991 2365 679250 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9688 c Elapsed CPU time: 64.4792 s Remaining CPU time: 115.521 s c =============================================================================== c | 55 | 1991 2366 681100 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9687 c Elapsed CPU time: 64.8571 s Remaining CPU time: 115.143 s c =============================================================================== c | 55 | 1991 2367 682950 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9686 c Elapsed CPU time: 65.2521 s Remaining CPU time: 114.748 s c =============================================================================== c | 55 | 1991 2368 684800 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9685 c Elapsed CPU time: 65.639 s Remaining CPU time: 114.361 s c =============================================================================== c | 55 | 1991 2369 686650 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9684 c Elapsed CPU time: 66.007 s Remaining CPU time: 113.993 s c =============================================================================== c | 55 | 1991 2370 688500 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9683 c Elapsed CPU time: 66.3839 s Remaining CPU time: 113.616 s c =============================================================================== c | 55 | 1991 2371 690350 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9682 c Elapsed CPU time: 66.7499 s Remaining CPU time: 113.25 s c =============================================================================== c | 55 | 1991 2372 692200 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9681 c Elapsed CPU time: 67.1358 s Remaining CPU time: 112.864 s c =============================================================================== c | 55 | 1991 2373 694050 | 5000 55 1651 | 0.000 % | c =============================================================================== c New solution: 9680 c Elapsed CPU time: 67.5047 s Remaining CPU time: 112.495 s c =============================================================================== c | 59 | 1991 2374 695900 | 5000 59 1659 | 0.000 % | c =============================================================================== c New solution: 9679 c Elapsed CPU time: 67.8657 s Remaining CPU time: 112.134 s c =============================================================================== c | 59 | 1991 2375 697750 | 5000 59 1659 | 0.000 % | c =============================================================================== c New solution: 9678 c Elapsed CPU time: 68.2586 s Remaining CPU time: 111.741 s c =============================================================================== c | 59 | 1991 2376 699600 | 5000 59 1659 | 0.000 % | c =============================================================================== c New solution: 9677 c Elapsed CPU time: 68.6466 s Remaining CPU time: 111.353 s c =============================================================================== c | 59 | 1991 2377 701450 | 5000 59 1659 | 0.000 % | c =============================================================================== c New solution: 9676 c Elapsed CPU time: 69.0545 s Remaining CPU time: 110.945 s c =============================================================================== c | 59 | 1991 2378 703300 | 5000 59 1659 | 0.000 % | c =============================================================================== c New solution: 9675 c Elapsed CPU time: 69.4514 s Remaining CPU time: 110.549 s c =============================================================================== c | 59 | 1991 2379 705150 | 5000 59 1659 | 0.000 % | c =============================================================================== c New solution: 9674 c Elapsed CPU time: 69.8294 s Remaining CPU time: 110.171 s c =============================================================================== c | 59 | 1991 2380 707000 | 5000 59 1659 | 0.000 % | c =============================================================================== c New solution: 9673 c Elapsed CPU time: 70.2223 s Remaining CPU time: 109.778 s c =============================================================================== c | 59 | 1991 2381 708850 | 5000 59 1659 | 0.000 % | c =============================================================================== c New solution: 9672 c Elapsed CPU time: 70.5953 s Remaining CPU time: 109.405 s c =============================================================================== c | 59 | 1991 2382 710700 | 5000 59 1659 | 0.000 % | c =============================================================================== c New solution: 9671 c Elapsed CPU time: 71.1042 s Remaining CPU time: 108.896 s c =============================================================================== c | 71 | 1991 2383 712550 | 5000 71 1678 | 0.000 % | c =============================================================================== c New solution: 9670 c Elapsed CPU time: 71.4831 s Remaining CPU time: 108.517 s c =============================================================================== c | 72 | 1991 2384 714400 | 5000 72 1679 | 0.000 % | c =============================================================================== c New solution: 9669 c Elapsed CPU time: 71.8391 s Remaining CPU time: 108.161 s c =============================================================================== c | 72 | 1991 2385 716250 | 5000 72 1679 | 0.000 % | c =============================================================================== c New solution: 9668 c Elapsed CPU time: 72.227 s Remaining CPU time: 107.773 s c =============================================================================== c | 73 | 1991 2386 718100 | 5000 73 1680 | 0.000 % | c =============================================================================== c New solution: 9667 c Elapsed CPU time: 72.8619 s Remaining CPU time: 107.138 s c =============================================================================== c | 105 | 1991 2387 719950 | 5000 105 1706 | 0.000 % | c =============================================================================== c New solution: 9666 c Elapsed CPU time: 73.2469 s Remaining CPU time: 106.753 s c =============================================================================== c | 107 | 1991 2388 721800 | 5000 107 1675 | 0.000 % | c =============================================================================== c New solution: 9665 c Elapsed CPU time: 73.6288 s Remaining CPU time: 106.371 s c =============================================================================== c | 107 | 1991 2389 723650 | 5000 107 1675 | 0.000 % | c =============================================================================== c New solution: 9664 c Elapsed CPU time: 74.0177 s Remaining CPU time: 105.982 s c =============================================================================== c | 107 | 1991 2390 725500 | 5000 107 1675 | 0.000 % | c =============================================================================== c New solution: 9663 c Elapsed CPU time: 74.3957 s Remaining CPU time: 105.604 s c =============================================================================== c | 107 | 1991 2391 727350 | 5000 107 1675 | 0.000 % | c =============================================================================== c New solution: 9662 c Elapsed CPU time: 74.7956 s Remaining CPU time: 105.204 s c =============================================================================== c | 116 | 1991 2392 729200 | 5000 116 1682 | 0.000 % | c =============================================================================== c New solution: 9661 c Elapsed CPU time: 75.1976 s Remaining CPU time: 104.802 s c =============================================================================== c | 116 | 1991 2393 731050 | 5000 116 1682 | 0.000 % | c =============================================================================== c New solution: 9660 c Elapsed CPU time: 75.5745 s Remaining CPU time: 104.425 s c =============================================================================== c | 116 | 1991 2394 732900 | 5000 116 1682 | 0.000 % | c =============================================================================== c New solution: 9659 c Elapsed CPU time: 75.9685 s Remaining CPU time: 104.032 s c =============================================================================== c | 117 | 1991 2395 734750 | 5000 117 1682 | 0.000 % | c =============================================================================== c New solution: 9658 c Elapsed CPU time: 76.3824 s Remaining CPU time: 103.618 s c =============================================================================== c | 120 | 1991 2396 736600 | 5000 120 1684 | 0.000 % | c =============================================================================== c New solution: 9657 c Elapsed CPU time: 76.7833 s Remaining CPU time: 103.217 s c =============================================================================== c | 120 | 1991 2397 738450 | 5000 120 1684 | 0.000 % | c =============================================================================== c New solution: 9656 c Elapsed CPU time: 77.1853 s Remaining CPU time: 102.815 s c =============================================================================== c | 120 | 1991 2398 740300 | 5000 120 1684 | 0.000 % | c =============================================================================== c New solution: 9655 c Elapsed CPU time: 77.5912 s Remaining CPU time: 102.409 s c =============================================================================== c | 120 | 1991 2399 742150 | 5000 120 1684 | 0.000 % | c =============================================================================== c New solution: 9654 c Elapsed CPU time: 78.0371 s Remaining CPU time: 101.963 s c =============================================================================== c | 122 | 1991 2400 744000 | 5000 122 1686 | 0.000 % | c =============================================================================== c New solution: 9653 c Elapsed CPU time: 78.4991 s Remaining CPU time: 101.501 s c =============================================================================== c | 127 | 1991 2401 745850 | 5000 127 1689 | 0.000 % | c =============================================================================== c New solution: 9652 c Elapsed CPU time: 78.905 s Remaining CPU time: 101.095 s c =============================================================================== c | 127 | 1991 2402 747700 | 5000 127 1689 | 0.000 % | c =============================================================================== c New solution: 9651 c Elapsed CPU time: 79.3019 s Remaining CPU time: 100.698 s c =============================================================================== c | 127 | 1991 2403 749550 | 5000 127 1689 | 0.000 % | c =============================================================================== c New solution: 9650 c Elapsed CPU time: 79.6889 s Remaining CPU time: 100.311 s c =============================================================================== c | 127 | 1991 2404 751400 | 5000 127 1689 | 0.000 % | c =============================================================================== c New solution: 9649 c Elapsed CPU time: 80.0948 s Remaining CPU time: 99.9052 s c =============================================================================== c | 127 | 1991 2405 753250 | 5000 127 1689 | 0.000 % | c =============================================================================== c New solution: 9648 c Elapsed CPU time: 80.5268 s Remaining CPU time: 99.4732 s c =============================================================================== c | 129 | 1991 2406 755100 | 5000 129 1690 | 0.000 % | c =============================================================================== c New solution: 9647 c Elapsed CPU time: 80.9347 s Remaining CPU time: 99.0653 s c =============================================================================== c | 129 | 1991 2407 756950 | 5000 129 1690 | 0.000 % | c =============================================================================== c New solution: 9646 c Elapsed CPU time: 81.4186 s Remaining CPU time: 98.5814 s c =============================================================================== c | 145 | 1991 2408 758800 | 5000 145 1698 | 0.000 % | c =============================================================================== c New solution: 9645 c Elapsed CPU time: 81.8326 s Remaining CPU time: 98.1674 s c =============================================================================== c | 147 | 1991 2409 760650 | 5000 147 1699 | 0.000 % | c =============================================================================== c New solution: 9644 c Elapsed CPU time: 82.2325 s Remaining CPU time: 97.7675 s c =============================================================================== c | 147 | 1991 2410 762500 | 5000 147 1699 | 0.000 % | c =============================================================================== c New solution: 9643 c Elapsed CPU time: 82.6384 s Remaining CPU time: 97.3616 s c =============================================================================== c | 147 | 1991 2411 764350 | 5000 147 1699 | 0.000 % | c =============================================================================== c New solution: 9642 c Elapsed CPU time: 83.0974 s Remaining CPU time: 96.9026 s c =============================================================================== c | 150 | 1991 2412 766200 | 5000 150 1688 | 0.000 % | c =============================================================================== c New solution: 9641 c Elapsed CPU time: 83.5063 s Remaining CPU time: 96.4937 s c =============================================================================== c | 150 | 1991 2413 768050 | 5000 150 1688 | 0.000 % | c =============================================================================== c New solution: 9640 c Elapsed CPU time: 84.0102 s Remaining CPU time: 95.9898 s c =============================================================================== c | 160 | 1991 2414 769900 | 5000 160 1693 | 0.000 % | c =============================================================================== c New solution: 9639 c Elapsed CPU time: 84.4122 s Remaining CPU time: 95.5878 s c =============================================================================== c | 160 | 1991 2415 771750 | 5000 160 1693 | 0.000 % | c =============================================================================== c New solution: 9638 c Elapsed CPU time: 84.8281 s Remaining CPU time: 95.1719 s c =============================================================================== c | 160 | 1991 2416 773600 | 5000 160 1693 | 0.000 % | c =============================================================================== c New solution: 9637 c Elapsed CPU time: 85.236 s Remaining CPU time: 94.764 s c =============================================================================== c | 160 | 1991 2417 775450 | 5000 160 1693 | 0.000 % | c =============================================================================== c New solution: 9636 c Elapsed CPU time: 85.658 s Remaining CPU time: 94.342 s c =============================================================================== c | 161 | 1991 2418 777300 | 5000 161 1693 | 0.000 % | c =============================================================================== c New solution: 9635 c Elapsed CPU time: 86.0689 s Remaining CPU time: 93.9311 s c =============================================================================== c | 162 | 1991 2419 779150 | 5000 162 1694 | 0.000 % | c =============================================================================== c New solution: 9634 c Elapsed CPU time: 86.4789 s Remaining CPU time: 93.5211 s c =============================================================================== c | 162 | 1991 2420 781000 | 5000 162 1694 | 0.000 % | c =============================================================================== c New solution: 9633 c Elapsed CPU time: 86.8998 s Remaining CPU time: 93.1002 s c =============================================================================== c | 162 | 1991 2421 782850 | 5000 162 1694 | 0.000 % | c =============================================================================== c New solution: 9632 c Elapsed CPU time: 87.3157 s Remaining CPU time: 92.6843 s c =============================================================================== c | 162 | 1991 2422 784700 | 5000 162 1694 | 0.000 % | c =============================================================================== c New solution: 9631 c Elapsed CPU time: 87.8686 s Remaining CPU time: 92.1314 s c =============================================================================== c | 180 | 1991 2423 786550 | 5000 180 1700 | 0.000 % | c =============================================================================== c New solution: 9630 c Elapsed CPU time: 88.2876 s Remaining CPU time: 91.7124 s c =============================================================================== c | 180 | 1991 2424 788400 | 5000 180 1700 | 0.000 % | c =============================================================================== c New solution: 9629 c Elapsed CPU time: 88.7775 s Remaining CPU time: 91.2225 s c =============================================================================== c | 185 | 1991 2425 790250 | 5000 185 1702 | 0.000 % | c =============================================================================== c New solution: 9628 c Elapsed CPU time: 89.2104 s Remaining CPU time: 90.7896 s c =============================================================================== c | 185 | 1991 2426 792100 | 5000 185 1702 | 0.000 % | c =============================================================================== c New solution: 9627 c Elapsed CPU time: 89.6364 s Remaining CPU time: 90.3636 s c =============================================================================== c | 185 | 1991 2427 793950 | 5000 185 1702 | 0.000 % | c =============================================================================== c New solution: 9626 c Elapsed CPU time: 90.0853 s Remaining CPU time: 89.9147 s c =============================================================================== c | 185 | 1991 2428 795800 | 5000 185 1702 | 0.000 % | c =============================================================================== c New solution: 9625 c Elapsed CPU time: 90.4992 s Remaining CPU time: 89.5008 s c =============================================================================== c | 185 | 1991 2429 797650 | 5000 185 1702 | 0.000 % | c =============================================================================== c New solution: 9624 c Elapsed CPU time: 90.9432 s Remaining CPU time: 89.0568 s c =============================================================================== c | 185 | 1991 2430 799500 | 5000 185 1702 | 0.000 % | c =============================================================================== c New solution: 9623 c Elapsed CPU time: 91.4021 s Remaining CPU time: 88.5979 s c =============================================================================== c | 198 | 1991 2431 801350 | 5000 198 1706 | 0.000 % | c =============================================================================== c New solution: 9622 c Elapsed CPU time: 91.848 s Remaining CPU time: 88.152 s c =============================================================================== c | 201 | 1991 2432 803200 | 5000 201 1698 | 0.000 % | c =============================================================================== c New solution: 9621 c Elapsed CPU time: 92.256 s Remaining CPU time: 87.744 s c =============================================================================== c | 203 | 1991 2433 805050 | 5000 203 1698 | 0.000 % | c =============================================================================== c New solution: 9620 c Elapsed CPU time: 92.7139 s Remaining CPU time: 87.2861 s c =============================================================================== c | 209 | 1991 2434 806900 | 5000 209 1700 | 0.000 % | c =============================================================================== c New solution: 9619 c Elapsed CPU time: 93.1338 s Remaining CPU time: 86.8662 s c =============================================================================== c | 209 | 1991 2435 808750 | 5000 209 1700 | 0.000 % | c =============================================================================== c New solution: 9618 c Elapsed CPU time: 93.5528 s Remaining CPU time: 86.4472 s c =============================================================================== c | 210 | 1991 2436 810600 | 5000 210 1700 | 0.000 % | c =============================================================================== c New solution: 9617 c Elapsed CPU time: 93.9607 s Remaining CPU time: 86.0393 s c =============================================================================== c | 210 | 1991 2437 812450 | 5000 210 1700 | 0.000 % | c =============================================================================== c New solution: 9616 c Elapsed CPU time: 94.4016 s Remaining CPU time: 85.5984 s c =============================================================================== c | 212 | 1991 2438 814300 | 5000 212 1701 | 0.000 % | c =============================================================================== c New solution: 9615 c Elapsed CPU time: 94.8466 s Remaining CPU time: 85.1534 s c =============================================================================== c | 212 | 1991 2439 816150 | 5000 212 1701 | 0.000 % | c =============================================================================== c New solution: 9614 c Elapsed CPU time: 95.2855 s Remaining CPU time: 84.7145 s c =============================================================================== c | 212 | 1991 2440 818000 | 5000 212 1701 | 0.000 % | c =============================================================================== c New solution: 9613 c Elapsed CPU time: 95.7184 s Remaining CPU time: 84.2816 s c =============================================================================== c | 213 | 1991 2441 819850 | 5000 213 1701 | 0.000 % | c =============================================================================== c New solution: 9612 c Elapsed CPU time: 96.1784 s Remaining CPU time: 83.8216 s c =============================================================================== c | 215 | 1991 2442 821700 | 5000 215 1702 | 0.000 % | c =============================================================================== c New solution: 9611 c Elapsed CPU time: 96.6183 s Remaining CPU time: 83.3817 s c =============================================================================== c | 215 | 1991 2443 823550 | 5000 215 1702 | 0.000 % | c =============================================================================== c New solution: 9610 c Elapsed CPU time: 97.0662 s Remaining CPU time: 82.9338 s c =============================================================================== c | 216 | 1991 2444 825400 | 5000 216 1702 | 0.000 % | c =============================================================================== c New solution: 9609 c Elapsed CPU time: 97.5072 s Remaining CPU time: 82.4928 s c =============================================================================== c | 216 | 1991 2445 827250 | 5000 216 1702 | 0.000 % | c =============================================================================== c New solution: 9608 c Elapsed CPU time: 97.9281 s Remaining CPU time: 82.0719 s c =============================================================================== c | 216 | 1991 2446 829100 | 5000 216 1702 | 0.000 % | c =============================================================================== c New solution: 9607 c Elapsed CPU time: 98.371 s Remaining CPU time: 81.629 s c =============================================================================== c | 216 | 1991 2447 830950 | 5000 216 1702 | 0.000 % | c =============================================================================== c New solution: 9606 c Elapsed CPU time: 98.797 s Remaining CPU time: 81.203 s c =============================================================================== c | 216 | 1991 2448 832800 | 5000 216 1702 | 0.000 % | c =============================================================================== c New solution: 9605 c Elapsed CPU time: 99.2269 s Remaining CPU time: 80.7731 s c =============================================================================== c | 217 | 1991 2449 834650 | 5000 217 1694 | 0.000 % | c =============================================================================== c New solution: 9604 c Elapsed CPU time: 99.7748 s Remaining CPU time: 80.2252 s c =============================================================================== c | 224 | 1991 2450 836500 | 5000 224 1696 | 0.000 % | c =============================================================================== c New solution: 9603 c Elapsed CPU time: 100.221 s Remaining CPU time: 79.7792 s c =============================================================================== c | 226 | 1991 2451 838350 | 5000 226 1697 | 0.000 % | c =============================================================================== c New solution: 9602 c Elapsed CPU time: 100.662 s Remaining CPU time: 79.3383 s c =============================================================================== c | 227 | 1991 2452 840200 | 5000 227 1697 | 0.000 % | c =============================================================================== c New solution: 9601 c Elapsed CPU time: 101.112 s Remaining CPU time: 78.8884 s c =============================================================================== c | 228 | 1991 2453 842050 | 5000 228 1697 | 0.000 % | c =============================================================================== c New solution: 9600 c Elapsed CPU time: 101.563 s Remaining CPU time: 78.4374 s c =============================================================================== c | 228 | 1991 2454 843900 | 5000 228 1697 | 0.000 % | c =============================================================================== c New solution: 9599 c Elapsed CPU time: 102.003 s Remaining CPU time: 77.9965 s c =============================================================================== c | 228 | 1991 2455 845750 | 5000 228 1697 | 0.000 % | c =============================================================================== c New solution: 9598 c Elapsed CPU time: 102.533 s Remaining CPU time: 77.4666 s c =============================================================================== c | 240 | 1991 2456 847600 | 5000 240 1700 | 0.000 % | c =============================================================================== c New solution: 9597 c Elapsed CPU time: 103.003 s Remaining CPU time: 76.9967 s c =============================================================================== c | 244 | 1991 2457 849450 | 5000 244 1701 | 0.000 % | c =============================================================================== c New solution: 9596 c Elapsed CPU time: 103.482 s Remaining CPU time: 76.5177 s c =============================================================================== c | 247 | 1991 2458 851300 | 5000 247 1702 | 0.000 % | c =============================================================================== c New solution: 9595 c Elapsed CPU time: 103.997 s Remaining CPU time: 76.0028 s c =============================================================================== c | 261 | 1991 2459 853150 | 5000 261 1704 | 0.000 % | c =============================================================================== c New solution: 9594 c Elapsed CPU time: 104.458 s Remaining CPU time: 75.5419 s c =============================================================================== c | 264 | 1991 2460 855000 | 5000 264 1705 | 0.000 % | c =============================================================================== c New solution: 9593 c Elapsed CPU time: 104.949 s Remaining CPU time: 75.051 s c =============================================================================== c | 271 | 1991 2461 856850 | 5000 271 1706 | 0.000 % | c =============================================================================== c New solution: 9592 c Elapsed CPU time: 105.446 s Remaining CPU time: 74.554 s c =============================================================================== c | 273 | 1991 2462 858700 | 5000 273 1707 | 0.000 % | c =============================================================================== c New solution: 9591 c Elapsed CPU time: 106.086 s Remaining CPU time: 73.9141 s c =============================================================================== c | 299 | 1991 2463 860550 | 5000 299 1711 | 0.000 % | c =============================================================================== c New solution: 9590 c Elapsed CPU time: 106.581 s Remaining CPU time: 73.4192 s c =============================================================================== c | 299 | 1991 2464 862400 | 5000 299 1711 | 0.000 % | c =============================================================================== c New solution: 9589 c Elapsed CPU time: 107.046 s Remaining CPU time: 72.9543 s c =============================================================================== c | 299 | 1991 2465 864250 | 5000 299 1711 | 0.000 % | c =============================================================================== c New solution: 9588 c Elapsed CPU time: 107.61 s Remaining CPU time: 72.3904 s c =============================================================================== c | 308 | 1991 2466 866100 | 5000 308 1712 | 0.000 % | c =============================================================================== c New solution: 9587 c Elapsed CPU time: 108.177 s Remaining CPU time: 71.8234 s c =============================================================================== c | 315 | 1991 2467 867950 | 5000 315 1713 | 0.000 % | c =============================================================================== c New solution: 9586 c Elapsed CPU time: 108.66 s Remaining CPU time: 71.3395 s c =============================================================================== c | 320 | 1991 2468 869800 | 5000 320 1714 | 0.000 % | c =============================================================================== c New solution: 9585 c Elapsed CPU time: 109.124 s Remaining CPU time: 70.8756 s c =============================================================================== c | 320 | 1991 2469 871650 | 5000 320 1714 | 0.000 % | c =============================================================================== c New solution: 9584 c Elapsed CPU time: 109.61 s Remaining CPU time: 70.3897 s c =============================================================================== c | 320 | 1991 2470 873500 | 5000 320 1714 | 0.000 % | c =============================================================================== c New solution: 9583 c Elapsed CPU time: 110.062 s Remaining CPU time: 69.9377 s c =============================================================================== c | 320 | 1991 2471 875350 | 5000 320 1714 | 0.000 % | c =============================================================================== c New solution: 9582 c Elapsed CPU time: 110.616 s Remaining CPU time: 69.3838 s c =============================================================================== c | 329 | 1991 2472 877200 | 5000 329 1715 | 0.000 % | c =============================================================================== c New solution: 9581 c Elapsed CPU time: 111.104 s Remaining CPU time: 68.8959 s c =============================================================================== c | 329 | 1991 2473 879050 | 5000 329 1715 | 0.000 % | c =============================================================================== c New solution: 9580 c Elapsed CPU time: 111.602 s Remaining CPU time: 68.398 s c =============================================================================== c | 329 | 1991 2474 880900 | 5000 329 1715 | 0.000 % | c =============================================================================== c New solution: 9579 c Elapsed CPU time: 112.102 s Remaining CPU time: 67.898 s c =============================================================================== c | 333 | 1991 2475 882750 | 5000 333 1715 | 0.000 % | c =============================================================================== c New solution: 9578 c Elapsed CPU time: 112.596 s Remaining CPU time: 67.4041 s c =============================================================================== c | 333 | 1991 2476 884600 | 5000 333 1715 | 0.000 % | c =============================================================================== c New solution: 9577 c Elapsed CPU time: 113.096 s Remaining CPU time: 66.9042 s c =============================================================================== c | 336 | 1991 2477 886450 | 5000 336 1715 | 0.000 % | c =============================================================================== c New solution: 9576 c Elapsed CPU time: 113.674 s Remaining CPU time: 66.3263 s c =============================================================================== c | 345 | 1991 2478 888300 | 5000 345 1716 | 0.000 % | c =============================================================================== c New solution: 9575 c Elapsed CPU time: 114.142 s Remaining CPU time: 65.8584 s c =============================================================================== c | 347 | 1991 2479 890150 | 5000 347 1717 | 0.000 % | c =============================================================================== c New solution: 9574 c Elapsed CPU time: 114.626 s Remaining CPU time: 65.3744 s c =============================================================================== c | 347 | 1991 2480 892000 | 5000 347 1717 | 0.000 % | c =============================================================================== c New solution: 9573 c Elapsed CPU time: 115.09 s Remaining CPU time: 64.9105 s c =============================================================================== c | 348 | 1991 2481 893850 | 5000 348 1717 | 0.000 % | c =============================================================================== c New solution: 9572 c Elapsed CPU time: 115.713 s Remaining CPU time: 64.2866 s c =============================================================================== c | 378 | 1991 2482 895700 | 5000 378 1719 | 0.000 % | c =============================================================================== c New solution: 9571 c Elapsed CPU time: 116.263 s Remaining CPU time: 63.7367 s c =============================================================================== c | 385 | 1991 2483 897550 | 5000 385 1720 | 0.000 % | c =============================================================================== c New solution: 9570 c Elapsed CPU time: 116.717 s Remaining CPU time: 63.2827 s c =============================================================================== c | 386 | 1991 2484 899400 | 5000 386 1720 | 0.000 % | c =============================================================================== c New solution: 9569 c Elapsed CPU time: 117.419 s Remaining CPU time: 62.5809 s c =============================================================================== c | 422 | 1991 2485 901250 | 5000 422 1722 | 0.000 % | c =============================================================================== c New solution: 9568 c Elapsed CPU time: 117.985 s Remaining CPU time: 62.0149 s c =============================================================================== c | 430 | 1991 2486 903100 | 5000 430 1723 | 0.000 % | c =============================================================================== c New solution: 9567 c Elapsed CPU time: 118.636 s Remaining CPU time: 61.364 s c =============================================================================== c | 443 | 1991 2487 904950 | 5000 443 1724 | 0.000 % | c =============================================================================== c New solution: 9566 c Elapsed CPU time: 119.255 s Remaining CPU time: 60.7451 s c =============================================================================== c | 452 | 1991 2488 906800 | 5000 452 1724 | 0.000 % | c =============================================================================== c New solution: 9565 c Elapsed CPU time: 119.746 s Remaining CPU time: 60.2542 s c =============================================================================== c | 454 | 1991 2489 908650 | 5000 454 1724 | 0.000 % | c =============================================================================== c New solution: 9564 c Elapsed CPU time: 120.262 s Remaining CPU time: 59.7383 s c =============================================================================== c | 456 | 1991 2490 910500 | 5000 456 1724 | 0.000 % | c =============================================================================== c New solution: 9563 c Elapsed CPU time: 120.794 s Remaining CPU time: 59.2064 s c =============================================================================== c | 458 | 1991 2491 912350 | 5000 458 1725 | 0.000 % | c =============================================================================== c New solution: 9562 c Elapsed CPU time: 121.358 s Remaining CPU time: 58.6424 s c =============================================================================== c | 460 | 1991 2492 914200 | 5000 460 1725 | 0.000 % | c =============================================================================== c New solution: 9561 c Elapsed CPU time: 121.919 s Remaining CPU time: 58.0805 s c =============================================================================== c | 462 | 1991 2493 916050 | 5000 462 1725 | 0.000 % | c =============================================================================== c New solution: 9560 c Elapsed CPU time: 122.453 s Remaining CPU time: 57.5466 s c =============================================================================== c | 464 | 1991 2494 917900 | 5000 464 1725 | 0.000 % | c =============================================================================== c New solution: 9559 c Elapsed CPU time: 122.96 s Remaining CPU time: 57.0397 s c =============================================================================== c | 464 | 1991 2495 919750 | 5000 464 1725 | 0.000 % | c =============================================================================== c New solution: 9558 c Elapsed CPU time: 123.852 s Remaining CPU time: 56.1478 s c =============================================================================== c | 506 | 1991 2496 921600 | 5000 506 1727 | 0.000 % | c =============================================================================== c New solution: 9557 c Elapsed CPU time: 124.531 s Remaining CPU time: 55.4689 s c =============================================================================== c | 531 | 1991 2497 923450 | 5000 531 1725 | 0.000 % | c =============================================================================== c New solution: 9556 c Elapsed CPU time: 125.345 s Remaining CPU time: 54.6551 s c =============================================================================== c | 576 | 1991 2498 925300 | 5000 576 1723 | 0.000 % | c =============================================================================== c New solution: 9555 c Elapsed CPU time: 125.91 s Remaining CPU time: 54.0901 s c =============================================================================== c | 583 | 1991 2499 927150 | 5000 583 1724 | 0.000 % | c =============================================================================== c New solution: 9554 c Elapsed CPU time: 126.398 s Remaining CPU time: 53.6022 s c =============================================================================== c | 585 | 1991 2500 929000 | 5000 585 1724 | 0.000 % | c =============================================================================== c New solution: 9553 c Elapsed CPU time: 126.95 s Remaining CPU time: 53.0503 s c =============================================================================== c | 587 | 1991 2501 930850 | 5000 587 1724 | 0.000 % | c =============================================================================== c New solution: 9552 c Elapsed CPU time: 127.504 s Remaining CPU time: 52.4964 s c =============================================================================== c | 588 | 1991 2502 932700 | 5000 588 1724 | 0.000 % | c =============================================================================== c New solution: 9551 c Elapsed CPU time: 128.171 s Remaining CPU time: 51.8295 s c =============================================================================== c | 593 | 1991 2503 934550 | 5000 593 1724 | 0.000 % | c =============================================================================== c New solution: 9550 c Elapsed CPU time: 128.684 s Remaining CPU time: 51.3156 s c =============================================================================== c | 594 | 1991 2504 936400 | 5000 594 1724 | 0.000 % | c =============================================================================== c New solution: 9549 c Elapsed CPU time: 129.523 s Remaining CPU time: 50.4767 s c =============================================================================== c | 629 | 1991 2505 938250 | 5000 629 1725 | 0.000 % | c =============================================================================== c New solution: 9548 c Elapsed CPU time: 130.678 s Remaining CPU time: 49.3219 s c =============================================================================== c | 715 | 1991 2506 940100 | 5000 715 1728 | 0.000 % | c =============================================================================== c New solution: 9547 c Elapsed CPU time: 131.278 s Remaining CPU time: 48.722 s c =============================================================================== c | 721 | 1991 2507 941950 | 5000 721 1728 | 0.000 % | c =============================================================================== c New solution: 9546 c Elapsed CPU time: 131.993 s Remaining CPU time: 48.0071 s c =============================================================================== c | 749 | 1991 2508 943800 | 5000 749 1728 | 0.000 % | c =============================================================================== c New solution: 9545 c Elapsed CPU time: 132.522 s Remaining CPU time: 47.4781 s c =============================================================================== c | 754 | 1991 2509 945650 | 5000 754 1729 | 0.000 % | c =============================================================================== c New solution: 9544 c Elapsed CPU time: 133.056 s Remaining CPU time: 46.9442 s c =============================================================================== c | 755 | 1991 2510 947500 | 5000 755 1729 | 0.000 % | c =============================================================================== c New solution: 9543 c Elapsed CPU time: 133.632 s Remaining CPU time: 46.3683 s c =============================================================================== c | 760 | 1991 2511 949350 | 5000 760 1729 | 0.000 % | c =============================================================================== c New solution: 9542 c Elapsed CPU time: 134.168 s Remaining CPU time: 45.8324 s c =============================================================================== c | 765 | 1991 2512 951200 | 5000 765 1729 | 0.000 % | c =============================================================================== c New solution: 9541 c Elapsed CPU time: 135.376 s Remaining CPU time: 44.6236 s c =============================================================================== c | 811 | 1991 2513 953050 | 5000 811 1730 | 0.000 % | c =============================================================================== c New solution: 9540 c Elapsed CPU time: 136.277 s Remaining CPU time: 43.7227 s c =============================================================================== c | 837 | 1991 2514 954900 | 5000 837 1730 | 0.000 % | c =============================================================================== c New solution: 9539 c Elapsed CPU time: 137.294 s Remaining CPU time: 42.7059 s c =============================================================================== c | 896 | 1991 2515 956750 | 5000 896 1731 | 0.000 % | c =============================================================================== c New solution: 9538 c Elapsed CPU time: 137.838 s Remaining CPU time: 42.162 s c =============================================================================== c | 897 | 1991 2516 958600 | 5000 897 1731 | 0.000 % | c =============================================================================== c New solution: 9537 c Elapsed CPU time: 138.452 s Remaining CPU time: 41.548 s c =============================================================================== c | 906 | 1991 2517 960450 | 5000 906 1731 | 0.000 % | c =============================================================================== c New solution: 9536 c Elapsed CPU time: 139.219 s Remaining CPU time: 40.7812 s c =============================================================================== c | 930 | 1991 2518 962300 | 5000 930 1729 | 0.000 % | c =============================================================================== c New solution: 9535 c Elapsed CPU time: 139.77 s Remaining CPU time: 40.2302 s c =============================================================================== c | 937 | 1991 2519 964150 | 5000 937 1730 | 0.000 % | c =============================================================================== c New solution: 9534 c Elapsed CPU time: 140.389 s Remaining CPU time: 39.6113 s c =============================================================================== c | 942 | 1991 2520 966000 | 5000 942 1730 | 0.000 % | c =============================================================================== c New solution: 9533 c Elapsed CPU time: 140.902 s Remaining CPU time: 39.0984 s c =============================================================================== c | 942 | 1991 2521 967850 | 5000 942 1730 | 0.000 % | c =============================================================================== c New solution: 9532 c Elapsed CPU time: 141.423 s Remaining CPU time: 38.5765 s c =============================================================================== c | 942 | 1991 2522 969700 | 5000 942 1730 | 0.000 % | c =============================================================================== c New solution: 9531 c Elapsed CPU time: 141.945 s Remaining CPU time: 38.0546 s c =============================================================================== c | 942 | 1991 2523 971550 | 5000 942 1730 | 0.000 % | c =============================================================================== c New solution: 9530 c Elapsed CPU time: 142.635 s Remaining CPU time: 37.3647 s c =============================================================================== c | 948 | 1991 2524 973400 | 5000 948 1730 | 0.000 % | c =============================================================================== c New solution: 9529 c Elapsed CPU time: 143.323 s Remaining CPU time: 36.6768 s c =============================================================================== c | 960 | 1991 2525 975250 | 5000 960 1730 | 0.000 % | c =============================================================================== c New solution: 9528 c Elapsed CPU time: 143.907 s Remaining CPU time: 36.0929 s c =============================================================================== c | 961 | 1991 2526 977100 | 5000 961 1730 | 0.000 % | c =============================================================================== c New solution: 9527 c Elapsed CPU time: 144.548 s Remaining CPU time: 35.452 s c =============================================================================== c | 971 | 1991 2527 978950 | 5000 971 1730 | 0.000 % | c =============================================================================== c New solution: 9526 c Elapsed CPU time: 145.273 s Remaining CPU time: 34.7271 s c =============================================================================== c | 982 | 1991 2528 980800 | 5000 982 1730 | 0.000 % | c =============================================================================== c New solution: 9525 c Elapsed CPU time: 145.821 s Remaining CPU time: 34.1792 s c =============================================================================== c | 985 | 1991 2529 982650 | 5000 985 1730 | 0.000 % | c =============================================================================== c New solution: 9524 c Elapsed CPU time: 146.418 s Remaining CPU time: 33.5823 s c =============================================================================== c | 994 | 1991 2530 984500 | 5000 994 1730 | 0.000 % | c =============================================================================== c New solution: 9523 c Elapsed CPU time: 146.953 s Remaining CPU time: 33.0473 s c =============================================================================== c | 994 | 1991 2531 986350 | 5000 994 1730 | 0.000 % | c =============================================================================== c New solution: 9522 c Elapsed CPU time: 147.498 s Remaining CPU time: 32.5024 s c =============================================================================== c | 1001 | 1991 2532 988200 | 5000 1001 1730 | 0.000 % | c =============================================================================== c New solution: 9521 c Elapsed CPU time: 148.033 s Remaining CPU time: 31.9665 s c =============================================================================== c | 1002 | 1991 2533 990050 | 5000 1002 1729 | 0.000 % | c =============================================================================== c New solution: 9520 c Elapsed CPU time: 148.598 s Remaining CPU time: 31.4016 s c =============================================================================== c | 1009 | 1991 2534 991900 | 5000 1009 1729 | 0.000 % | c =============================================================================== c New solution: 9519 c Elapsed CPU time: 149.132 s Remaining CPU time: 30.8677 s c =============================================================================== c | 1009 | 1991 2535 993750 | 5000 1009 1729 | 0.000 % | c =============================================================================== c New solution: 9518 c Elapsed CPU time: 149.688 s Remaining CPU time: 30.3118 s c =============================================================================== c | 1009 | 1991 2536 995600 | 5000 1009 1729 | 0.000 % | c =============================================================================== c New solution: 9517 c Elapsed CPU time: 150.488 s Remaining CPU time: 29.5119 s c =============================================================================== c | 1032 | 1991 2537 997450 | 5000 1032 1729 | 0.000 % | c =============================================================================== c New solution: 9516 c Elapsed CPU time: 151.258 s Remaining CPU time: 28.742 s c =============================================================================== c | 1042 | 1991 2538 999300 | 5000 1042 1729 | 0.000 % | c =============================================================================== c New solution: 9515 c Elapsed CPU time: 151.836 s Remaining CPU time: 28.1641 s c =============================================================================== c | 1044 | 1991 2539 1001150 | 5000 1044 1729 | 0.000 % | c =============================================================================== c New solution: 9514 c Elapsed CPU time: 152.393 s Remaining CPU time: 27.6072 s c =============================================================================== c | 1044 | 1991 2540 1003000 | 5000 1044 1729 | 0.000 % | c =============================================================================== c New solution: 9513 c Elapsed CPU time: 153.406 s Remaining CPU time: 26.5943 s c =============================================================================== c | 1088 | 1991 2541 1004850 | 5000 1088 1730 | 0.000 % | c =============================================================================== c New solution: 9512 c Elapsed CPU time: 154.252 s Remaining CPU time: 25.7484 s c =============================================================================== c | 1108 | 1991 2542 1006700 | 5000 1108 1730 | 0.000 % | c =============================================================================== c New solution: 9511 c Elapsed CPU time: 154.84 s Remaining CPU time: 25.1595 s c =============================================================================== c | 1109 | 1991 2543 1008550 | 5000 1109 1730 | 0.000 % | c =============================================================================== c New solution: 9510 c Elapsed CPU time: 156.028 s Remaining CPU time: 23.9717 s c =============================================================================== c | 1159 | 1991 2544 1010400 | 5000 1159 1730 | 0.000 % | c =============================================================================== c New solution: 9509 c Elapsed CPU time: 156.728 s Remaining CPU time: 23.2718 s c =============================================================================== c | 1209 | 1991 2545 1012250 | 5000 1209 1731 | 0.000 % | c =============================================================================== c New solution: 9508 c Elapsed CPU time: 157.925 s Remaining CPU time: 22.075 s c =============================================================================== c | 1284 | 1991 2546 1014100 | 5000 1284 1729 | 0.000 % | c =============================================================================== c New solution: 9507 c Elapsed CPU time: 158.907 s Remaining CPU time: 21.0932 s c =============================================================================== c | 1321 | 1991 2547 1015950 | 5000 1321 1730 | 0.000 % | c =============================================================================== c New solution: 9506 c Elapsed CPU time: 159.837 s Remaining CPU time: 20.1633 s c =============================================================================== c | 1369 | 1991 2548 1017800 | 5000 1369 1730 | 0.000 % | c =============================================================================== c New solution: 9505 c Elapsed CPU time: 160.703 s Remaining CPU time: 19.2974 s c =============================================================================== c | 1402 | 1991 2549 1019650 | 5000 1402 1730 | 0.000 % | c =============================================================================== c New solution: 9504 c Elapsed CPU time: 161.321 s Remaining CPU time: 18.6785 s c =============================================================================== c | 1411 | 1991 2550 1021500 | 5000 1411 1730 | 0.000 % | c =============================================================================== c New solution: 9503 c Elapsed CPU time: 161.918 s Remaining CPU time: 18.0816 s c =============================================================================== c | 1432 | 1991 2551 1023350 | 5000 1432 1730 | 0.000 % | c =============================================================================== c New solution: 9502 c Elapsed CPU time: 162.646 s Remaining CPU time: 17.3537 s c =============================================================================== c | 1455 | 1991 2552 1025200 | 5000 1455 1730 | 0.000 % | c =============================================================================== c New solution: 9501 c Elapsed CPU time: 163.86 s Remaining CPU time: 16.1399 s c =============================================================================== c | 1507 | 1991 2553 1027050 | 5000 1507 1730 | 0.000 % | c =============================================================================== c New solution: 9500 c Elapsed CPU time: 164.608 s Remaining CPU time: 15.392 s c =============================================================================== c | 1536 | 1991 2554 1028900 | 5000 1536 1730 | 0.000 % | c =============================================================================== c New solution: 9499 c Elapsed CPU time: 165.518 s Remaining CPU time: 14.4822 s c =============================================================================== c | 1566 | 1991 2555 1030750 | 5000 1566 1730 | 0.000 % | c =============================================================================== c New solution: 9498 c Elapsed CPU time: 166.144 s Remaining CPU time: 13.8563 s c =============================================================================== c | 1578 | 1991 2556 1032600 | 5000 1578 1730 | 0.000 % | c =============================================================================== c New solution: 9497 c Elapsed CPU time: 166.694 s Remaining CPU time: 13.3063 s c =============================================================================== c | 1580 | 1991 2557 1034450 | 5000 1580 1730 | 0.000 % | c =============================================================================== c New solution: 9496 c Elapsed CPU time: 167.319 s Remaining CPU time: 12.6814 s c =============================================================================== c | 1589 | 1991 2558 1036300 | 5000 1589 1730 | 0.000 % | c =============================================================================== c New solution: 9495 c Elapsed CPU time: 168.037 s Remaining CPU time: 11.9625 s c =============================================================================== c | 1604 | 1991 2559 1038150 | 5000 1604 1731 | 0.000 % | c =============================================================================== c New solution: 9494 c Elapsed CPU time: 168.697 s Remaining CPU time: 11.3026 s c =============================================================================== c | 1646 | 1991 2560 1040000 | 5000 1646 1731 | 0.000 % | c =============================================================================== c New solution: 9493 c Elapsed CPU time: 169.505 s Remaining CPU time: 10.4948 s c =============================================================================== c | 1697 | 1991 2561 1041850 | 5000 1697 1731 | 0.000 % | c =============================================================================== c New solution: 9492 c Elapsed CPU time: 170.172 s Remaining CPU time: 9.82787 s c =============================================================================== c | 1713 | 1991 2562 1043700 | 5000 1713 1731 | 0.000 % | c | 1814 | 1991 2562 1043700 | 5500 1814 1731 | 0.450 % | c =============================================================================== c New solution: 9491 c Elapsed CPU time: 172.368 s Remaining CPU time: 7.6322 s c =============================================================================== c | 1867 | 1991 2563 1045550 | 5000 1867 1731 | 0.450 % | c =============================================================================== c New solution: 9490 c Elapsed CPU time: 173.318 s Remaining CPU time: 6.68235 s c =============================================================================== c | 1913 | 1991 2564 1047400 | 5000 1913 1731 | 0.450 % | c =============================================================================== c New solution: 9489 c Elapsed CPU time: 174.398 s Remaining CPU time: 5.60151 s c =============================================================================== c | 1978 | 1991 2565 1049250 | 5000 1978 1729 | 0.450 % | c =============================================================================== c New solution: 9488 c Elapsed CPU time: 175.373 s Remaining CPU time: 4.62666 s c =============================================================================== c | 2037 | 1991 2566 1051100 | 5000 2037 1729 | 0.450 % | c =============================================================================== c New solution: 9487 c Elapsed CPU time: 176.348 s Remaining CPU time: 3.65181 s c =============================================================================== c | 2095 | 1991 2567 1052950 | 5000 2095 1729 | 0.450 % | c =============================================================================== c New solution: 9486 c Elapsed CPU time: 177.42 s Remaining CPU time: 2.57997 s c =============================================================================== c | 2118 | 1991 2568 1054800 | 5000 2118 1729 | 0.450 % | c =============================================================================== c New solution: 9485 c Elapsed CPU time: 178.326 s Remaining CPU time: 1.67411 s c =============================================================================== c | 2154 | 1991 2569 1056650 | 5000 2154 1729 | 0.450 % | c =============================================================================== c New solution: 9484 c Elapsed CPU time: 179.182 s Remaining CPU time: 0.81824 s c =============================================================================== c | 2214 | 1991 2570 1058500 | 5000 2214 1729 | 0.450 % | c There are 9 assigned variables. 1 in cost function.