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 | 1998 2001 5850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9989 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1998 2002 7700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9986 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1998 2003 9550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9984 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1998 2004 11400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9981 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1998 2005 13250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9978 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 1998 2006 15100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9976 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 1998 2007 16950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9973 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 1998 2008 18800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9970 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 1998 2009 20650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9969 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 1998 2010 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9967 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 0 | 1998 2011 24350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9964 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 1998 2012 26200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9961 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 1998 2013 28050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9960 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 1998 2014 29900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9958 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 1998 2015 31750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9955 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 1998 2016 33600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9952 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 0 | 1998 2017 35450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9949 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 0 | 1998 2018 37300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9946 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 1998 2019 39150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9943 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 0 | 1998 2020 41000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9941 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 0 | 1998 2021 42850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9938 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 0 | 1998 2022 44700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9935 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 0 | 1998 2023 46550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9932 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 0 | 1998 2024 48400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9931 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 0 | 1998 2025 50250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9929 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 0 | 1998 2026 52100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9927 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s c =============================================================================== c | 0 | 1998 2027 53950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9926 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 0 | 1998 2028 55800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9924 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 0 | 1998 2029 57650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9921 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 0 | 1998 2030 59500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9920 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 0 | 1998 2031 61350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9918 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 0 | 1998 2032 63200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9916 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 0 | 1998 2033 65050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9915 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 0 | 1998 2034 66900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9914 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 0 | 1998 2035 68750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9913 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 0 | 1998 2036 70600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9912 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s c =============================================================================== c | 0 | 1998 2037 72450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9911 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 0 | 1998 2038 74300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9909 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 0 | 1998 2039 76150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9907 c Elapsed CPU time: 0.968852 s Remaining CPU time: 179.031 s c =============================================================================== c | 0 | 1998 2040 78000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9904 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 0 | 1998 2041 79850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9903 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s c =============================================================================== c | 0 | 1998 2042 81700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9902 c Elapsed CPU time: 1.10083 s Remaining CPU time: 178.899 s c =============================================================================== c | 0 | 1998 2043 83550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9901 c Elapsed CPU time: 1.14783 s Remaining CPU time: 178.852 s c =============================================================================== c | 0 | 1998 2044 85400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9900 c Elapsed CPU time: 1.19282 s Remaining CPU time: 178.807 s c =============================================================================== c | 0 | 1998 2045 87250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9898 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s c =============================================================================== c | 0 | 1998 2046 89100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9897 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s c =============================================================================== c | 0 | 1998 2047 90950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9896 c Elapsed CPU time: 1.3328 s Remaining CPU time: 178.667 s c =============================================================================== c | 0 | 1998 2048 92800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9895 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s c =============================================================================== c | 0 | 1998 2049 94650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9894 c Elapsed CPU time: 1.43578 s Remaining CPU time: 178.564 s c =============================================================================== c | 0 | 1998 2050 96500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9892 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s c =============================================================================== c | 0 | 1998 2051 98350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9891 c Elapsed CPU time: 1.54177 s Remaining CPU time: 178.458 s c =============================================================================== c | 0 | 1998 2052 100200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9890 c Elapsed CPU time: 1.59576 s Remaining CPU time: 178.404 s c =============================================================================== c | 0 | 1998 2053 102050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9889 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 0 | 1998 2054 103900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9888 c Elapsed CPU time: 1.70674 s Remaining CPU time: 178.293 s c =============================================================================== c | 0 | 1998 2055 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9887 c Elapsed CPU time: 1.76173 s Remaining CPU time: 178.238 s c =============================================================================== c | 0 | 1998 2056 107600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9886 c Elapsed CPU time: 1.81872 s Remaining CPU time: 178.181 s c =============================================================================== c | 0 | 1998 2057 109450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9885 c Elapsed CPU time: 1.87671 s Remaining CPU time: 178.123 s c =============================================================================== c | 0 | 1998 2058 111300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9884 c Elapsed CPU time: 1.9367 s Remaining CPU time: 178.063 s c =============================================================================== c | 0 | 1998 2059 113150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9883 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s c =============================================================================== c | 0 | 1998 2060 115000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9882 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s c =============================================================================== c | 0 | 1998 2061 116850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9879 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s c =============================================================================== c | 0 | 1998 2062 118700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9878 c Elapsed CPU time: 2.18067 s Remaining CPU time: 177.819 s c =============================================================================== c | 0 | 1998 2063 120550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9876 c Elapsed CPU time: 2.24766 s Remaining CPU time: 177.752 s c =============================================================================== c | 0 | 1998 2064 122400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9875 c Elapsed CPU time: 2.31565 s Remaining CPU time: 177.684 s c =============================================================================== c | 0 | 1998 2065 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9874 c Elapsed CPU time: 2.38364 s Remaining CPU time: 177.616 s c =============================================================================== c | 0 | 1998 2066 126100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9872 c Elapsed CPU time: 2.45163 s Remaining CPU time: 177.548 s c =============================================================================== c | 0 | 1998 2067 127950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9871 c Elapsed CPU time: 2.52462 s Remaining CPU time: 177.475 s c =============================================================================== c | 0 | 1998 2068 129800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9870 c Elapsed CPU time: 2.59461 s Remaining CPU time: 177.405 s c =============================================================================== c | 0 | 1998 2069 131650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9869 c Elapsed CPU time: 2.66359 s Remaining CPU time: 177.336 s c =============================================================================== c | 0 | 1998 2070 133500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9867 c Elapsed CPU time: 2.73658 s Remaining CPU time: 177.263 s c =============================================================================== c | 0 | 1998 2071 135350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9866 c Elapsed CPU time: 2.80957 s Remaining CPU time: 177.19 s c =============================================================================== c | 0 | 1998 2072 137200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9865 c Elapsed CPU time: 2.88256 s Remaining CPU time: 177.117 s c =============================================================================== c | 0 | 1998 2073 139050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9862 c Elapsed CPU time: 2.95755 s Remaining CPU time: 177.042 s c =============================================================================== c | 0 | 1998 2074 140900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9859 c Elapsed CPU time: 3.03554 s Remaining CPU time: 176.964 s c =============================================================================== c | 0 | 1998 2075 142750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9858 c Elapsed CPU time: 3.11253 s Remaining CPU time: 176.887 s c =============================================================================== c | 0 | 1998 2076 144600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9856 c Elapsed CPU time: 3.19051 s Remaining CPU time: 176.809 s c =============================================================================== c | 0 | 1998 2077 146450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9854 c Elapsed CPU time: 3.2755 s Remaining CPU time: 176.724 s c =============================================================================== c | 0 | 1998 2078 148300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9853 c Elapsed CPU time: 3.36449 s Remaining CPU time: 176.636 s c =============================================================================== c | 0 | 1998 2079 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9852 c Elapsed CPU time: 3.45547 s Remaining CPU time: 176.545 s c =============================================================================== c | 0 | 1998 2080 152000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9851 c Elapsed CPU time: 3.54646 s Remaining CPU time: 176.454 s c =============================================================================== c | 0 | 1998 2081 153850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9850 c Elapsed CPU time: 3.64145 s Remaining CPU time: 176.359 s c =============================================================================== c | 0 | 1998 2082 155700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9849 c Elapsed CPU time: 3.73443 s Remaining CPU time: 176.266 s c =============================================================================== c | 0 | 1998 2083 157550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9848 c Elapsed CPU time: 3.82742 s Remaining CPU time: 176.173 s c =============================================================================== c | 0 | 1998 2084 159400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9846 c Elapsed CPU time: 3.9244 s Remaining CPU time: 176.076 s c =============================================================================== c | 0 | 1998 2085 161250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9845 c Elapsed CPU time: 4.02039 s Remaining CPU time: 175.98 s c =============================================================================== c | 0 | 1998 2086 163100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9844 c Elapsed CPU time: 4.11637 s Remaining CPU time: 175.884 s c =============================================================================== c | 0 | 1998 2087 164950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9841 c Elapsed CPU time: 4.21336 s Remaining CPU time: 175.787 s c =============================================================================== c | 0 | 1998 2088 166800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9838 c Elapsed CPU time: 4.30835 s Remaining CPU time: 175.692 s c =============================================================================== c | 0 | 1998 2089 168650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9837 c Elapsed CPU time: 4.40933 s Remaining CPU time: 175.591 s c =============================================================================== c | 0 | 1998 2090 170500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9836 c Elapsed CPU time: 4.51431 s Remaining CPU time: 175.486 s c =============================================================================== c | 0 | 1998 2091 172350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9834 c Elapsed CPU time: 4.6143 s Remaining CPU time: 175.386 s c =============================================================================== c | 0 | 1998 2092 174200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9833 c Elapsed CPU time: 4.71628 s Remaining CPU time: 175.284 s c =============================================================================== c | 0 | 1998 2093 176050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9832 c Elapsed CPU time: 4.82127 s Remaining CPU time: 175.179 s c =============================================================================== c | 0 | 1998 2094 177900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9831 c Elapsed CPU time: 4.93125 s Remaining CPU time: 175.069 s c =============================================================================== c | 0 | 1998 2095 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9829 c Elapsed CPU time: 5.03623 s Remaining CPU time: 174.964 s c =============================================================================== c | 0 | 1998 2096 181600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9827 c Elapsed CPU time: 5.13922 s Remaining CPU time: 174.861 s c =============================================================================== c | 0 | 1998 2097 183450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9826 c Elapsed CPU time: 5.2462 s Remaining CPU time: 174.754 s c =============================================================================== c | 0 | 1998 2098 185300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9825 c Elapsed CPU time: 5.35419 s Remaining CPU time: 174.646 s c =============================================================================== c | 0 | 1998 2099 187150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9824 c Elapsed CPU time: 5.46017 s Remaining CPU time: 174.54 s c =============================================================================== c | 0 | 1998 2100 189000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9823 c Elapsed CPU time: 5.57115 s Remaining CPU time: 174.429 s c =============================================================================== c | 0 | 1998 2101 190850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9822 c Elapsed CPU time: 5.67914 s Remaining CPU time: 174.321 s c =============================================================================== c | 0 | 1998 2102 192700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9821 c Elapsed CPU time: 5.79012 s Remaining CPU time: 174.21 s c =============================================================================== c | 0 | 1998 2103 194550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9819 c Elapsed CPU time: 5.9011 s Remaining CPU time: 174.099 s c =============================================================================== c | 0 | 1998 2104 196400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9817 c Elapsed CPU time: 6.01408 s Remaining CPU time: 173.986 s c =============================================================================== c | 0 | 1998 2105 198250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9815 c Elapsed CPU time: 6.12707 s Remaining CPU time: 173.873 s c =============================================================================== c | 0 | 1998 2106 200100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9814 c Elapsed CPU time: 6.24305 s Remaining CPU time: 173.757 s c =============================================================================== c | 0 | 1998 2107 201950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9812 c Elapsed CPU time: 6.37003 s Remaining CPU time: 173.63 s c =============================================================================== c | 0 | 1998 2108 203800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9810 c Elapsed CPU time: 6.49101 s Remaining CPU time: 173.509 s c =============================================================================== c | 0 | 1998 2109 205650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9809 c Elapsed CPU time: 6.61599 s Remaining CPU time: 173.384 s c =============================================================================== c | 0 | 1998 2110 207500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9808 c Elapsed CPU time: 6.74097 s Remaining CPU time: 173.259 s c =============================================================================== c | 0 | 1998 2111 209350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9807 c Elapsed CPU time: 6.86396 s Remaining CPU time: 173.136 s c =============================================================================== c | 0 | 1998 2112 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9806 c Elapsed CPU time: 6.98894 s Remaining CPU time: 173.011 s c =============================================================================== c | 0 | 1998 2113 213050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9805 c Elapsed CPU time: 7.11792 s Remaining CPU time: 172.882 s c =============================================================================== c | 0 | 1998 2114 214900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9801 c Elapsed CPU time: 7.2479 s Remaining CPU time: 172.752 s c =============================================================================== c | 0 | 1998 2115 216750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9800 c Elapsed CPU time: 7.38488 s Remaining CPU time: 172.615 s c =============================================================================== c | 0 | 1998 2116 218600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9799 c Elapsed CPU time: 7.52186 s Remaining CPU time: 172.478 s c =============================================================================== c | 0 | 1998 2117 220450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9796 c Elapsed CPU time: 7.65484 s Remaining CPU time: 172.345 s c =============================================================================== c | 0 | 1998 2118 222300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9795 c Elapsed CPU time: 7.78981 s Remaining CPU time: 172.21 s c =============================================================================== c | 0 | 1998 2119 224150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9794 c Elapsed CPU time: 7.92479 s Remaining CPU time: 172.075 s c =============================================================================== c | 0 | 1998 2120 226000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9793 c Elapsed CPU time: 8.06177 s Remaining CPU time: 171.938 s c =============================================================================== c | 0 | 1998 2121 227850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9792 c Elapsed CPU time: 8.19875 s Remaining CPU time: 171.801 s c =============================================================================== c | 0 | 1998 2122 229700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9789 c Elapsed CPU time: 8.33573 s Remaining CPU time: 171.664 s c =============================================================================== c | 0 | 1998 2123 231550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9786 c Elapsed CPU time: 8.47671 s Remaining CPU time: 171.523 s c =============================================================================== c | 0 | 1998 2124 233400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9785 c Elapsed CPU time: 8.61569 s Remaining CPU time: 171.384 s c =============================================================================== c | 0 | 1998 2125 235250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9784 c Elapsed CPU time: 8.76067 s Remaining CPU time: 171.239 s c =============================================================================== c | 0 | 1998 2126 237100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9783 c Elapsed CPU time: 8.90065 s Remaining CPU time: 171.099 s c =============================================================================== c | 0 | 1998 2127 238950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9779 c Elapsed CPU time: 9.04363 s Remaining CPU time: 170.956 s c =============================================================================== c | 0 | 1998 2128 240800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9778 c Elapsed CPU time: 9.1856 s Remaining CPU time: 170.814 s c =============================================================================== c | 0 | 1998 2129 242650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9776 c Elapsed CPU time: 9.32958 s Remaining CPU time: 170.67 s c =============================================================================== c | 0 | 1998 2130 244500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9774 c Elapsed CPU time: 9.47656 s Remaining CPU time: 170.523 s c =============================================================================== c | 0 | 1998 2131 246350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9773 c Elapsed CPU time: 9.62354 s Remaining CPU time: 170.376 s c =============================================================================== c | 0 | 1998 2132 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9772 c Elapsed CPU time: 9.77151 s Remaining CPU time: 170.228 s c =============================================================================== c | 0 | 1998 2133 250050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9771 c Elapsed CPU time: 9.93349 s Remaining CPU time: 170.067 s c =============================================================================== c | 0 | 1998 2134 251900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9770 c Elapsed CPU time: 10.0865 s Remaining CPU time: 169.914 s c =============================================================================== c | 0 | 1998 2135 253750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9769 c Elapsed CPU time: 10.2424 s Remaining CPU time: 169.758 s c =============================================================================== c | 0 | 1998 2136 255600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9768 c Elapsed CPU time: 10.3974 s Remaining CPU time: 169.603 s c =============================================================================== c | 0 | 1998 2137 257450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9766 c Elapsed CPU time: 10.5544 s Remaining CPU time: 169.446 s c =============================================================================== c | 0 | 1998 2138 259300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9764 c Elapsed CPU time: 10.7164 s Remaining CPU time: 169.284 s c =============================================================================== c | 0 | 1998 2139 261150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9761 c Elapsed CPU time: 10.8823 s Remaining CPU time: 169.118 s c =============================================================================== c | 0 | 1998 2140 263000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9760 c Elapsed CPU time: 11.0573 s Remaining CPU time: 168.943 s c =============================================================================== c | 0 | 1998 2141 264850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9759 c Elapsed CPU time: 11.2293 s Remaining CPU time: 168.771 s c =============================================================================== c | 0 | 1998 2142 266700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9758 c Elapsed CPU time: 11.4003 s Remaining CPU time: 168.6 s c =============================================================================== c | 0 | 1998 2143 268550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9757 c Elapsed CPU time: 11.5692 s Remaining CPU time: 168.431 s c =============================================================================== c | 0 | 1998 2144 270400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9756 c Elapsed CPU time: 11.7392 s Remaining CPU time: 168.261 s c =============================================================================== c | 0 | 1998 2145 272250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9755 c Elapsed CPU time: 11.9102 s Remaining CPU time: 168.09 s c =============================================================================== c | 0 | 1998 2146 274100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9753 c Elapsed CPU time: 12.0742 s Remaining CPU time: 167.926 s c =============================================================================== c | 0 | 1998 2147 275950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9752 c Elapsed CPU time: 12.2401 s Remaining CPU time: 167.76 s c =============================================================================== c | 0 | 1998 2148 277800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9751 c Elapsed CPU time: 12.4151 s Remaining CPU time: 167.585 s c =============================================================================== c | 0 | 1998 2149 279650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9749 c Elapsed CPU time: 12.5861 s Remaining CPU time: 167.414 s c =============================================================================== c | 0 | 1998 2150 281500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9747 c Elapsed CPU time: 12.7591 s Remaining CPU time: 167.241 s c =============================================================================== c | 0 | 1998 2151 283350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9746 c Elapsed CPU time: 12.93 s Remaining CPU time: 167.07 s c =============================================================================== c | 0 | 1998 2152 285200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9745 c Elapsed CPU time: 13.106 s Remaining CPU time: 166.894 s c =============================================================================== c | 0 | 1998 2153 287050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9742 c Elapsed CPU time: 13.282 s Remaining CPU time: 166.718 s c =============================================================================== c | 0 | 1998 2154 288900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9741 c Elapsed CPU time: 13.467 s Remaining CPU time: 166.533 s c =============================================================================== c | 0 | 1998 2155 290750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9740 c Elapsed CPU time: 13.6439 s Remaining CPU time: 166.356 s c =============================================================================== c | 0 | 1998 2156 292600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9739 c Elapsed CPU time: 13.8189 s Remaining CPU time: 166.181 s c =============================================================================== c | 0 | 1998 2157 294450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9738 c Elapsed CPU time: 14.0049 s Remaining CPU time: 165.995 s c =============================================================================== c | 0 | 1998 2158 296300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9736 c Elapsed CPU time: 14.1898 s Remaining CPU time: 165.81 s c =============================================================================== c | 0 | 1998 2159 298150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9735 c Elapsed CPU time: 14.3718 s Remaining CPU time: 165.628 s c =============================================================================== c | 0 | 1998 2160 300000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9734 c Elapsed CPU time: 14.5588 s Remaining CPU time: 165.441 s c =============================================================================== c | 0 | 1998 2161 301850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9733 c Elapsed CPU time: 14.7498 s Remaining CPU time: 165.25 s c =============================================================================== c | 0 | 1998 2162 303700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9732 c Elapsed CPU time: 14.9397 s Remaining CPU time: 165.06 s c =============================================================================== c | 0 | 1998 2163 305550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9730 c Elapsed CPU time: 15.1227 s Remaining CPU time: 164.877 s c =============================================================================== c | 0 | 1998 2164 307400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9729 c Elapsed CPU time: 15.3097 s Remaining CPU time: 164.69 s c =============================================================================== c | 0 | 1998 2165 309250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9728 c Elapsed CPU time: 15.4976 s Remaining CPU time: 164.502 s c =============================================================================== c | 0 | 1998 2166 311100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9727 c Elapsed CPU time: 15.6886 s Remaining CPU time: 164.311 s c =============================================================================== c | 0 | 1998 2167 312950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9725 c Elapsed CPU time: 15.8806 s Remaining CPU time: 164.119 s c =============================================================================== c | 0 | 1998 2168 314800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9723 c Elapsed CPU time: 16.0706 s Remaining CPU time: 163.929 s c =============================================================================== c | 0 | 1998 2169 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9719 c Elapsed CPU time: 16.2635 s Remaining CPU time: 163.736 s c =============================================================================== c | 0 | 1998 2170 318500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9718 c Elapsed CPU time: 16.4615 s Remaining CPU time: 163.539 s c =============================================================================== c | 0 | 1998 2171 320350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9717 c Elapsed CPU time: 16.6525 s Remaining CPU time: 163.348 s c =============================================================================== c | 0 | 1998 2172 322200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9716 c Elapsed CPU time: 16.8474 s Remaining CPU time: 163.153 s c =============================================================================== c | 0 | 1998 2173 324050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9715 c Elapsed CPU time: 17.0444 s Remaining CPU time: 162.956 s c =============================================================================== c | 0 | 1998 2174 325900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9713 c Elapsed CPU time: 17.2554 s Remaining CPU time: 162.745 s c =============================================================================== c | 0 | 1998 2175 327750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9710 c Elapsed CPU time: 17.4673 s Remaining CPU time: 162.533 s c =============================================================================== c | 0 | 1998 2176 329600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9708 c Elapsed CPU time: 17.6843 s Remaining CPU time: 162.316 s c =============================================================================== c | 0 | 1998 2177 331450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9707 c Elapsed CPU time: 17.8963 s Remaining CPU time: 162.104 s c =============================================================================== c | 0 | 1998 2178 333300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9706 c Elapsed CPU time: 18.1112 s Remaining CPU time: 161.889 s c =============================================================================== c | 0 | 1998 2179 335150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9705 c Elapsed CPU time: 18.3242 s Remaining CPU time: 161.676 s c =============================================================================== c | 0 | 1998 2180 337000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9704 c Elapsed CPU time: 18.5372 s Remaining CPU time: 161.463 s c =============================================================================== c | 0 | 1998 2181 338850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9703 c Elapsed CPU time: 18.7531 s Remaining CPU time: 161.247 s c =============================================================================== c | 0 | 1998 2182 340700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9699 c Elapsed CPU time: 18.9681 s Remaining CPU time: 161.032 s c =============================================================================== c | 0 | 1998 2183 342550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9698 c Elapsed CPU time: 19.1841 s Remaining CPU time: 160.816 s c =============================================================================== c | 0 | 1998 2184 344400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9697 c Elapsed CPU time: 19.402 s Remaining CPU time: 160.598 s c =============================================================================== c | 0 | 1998 2185 346250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9696 c Elapsed CPU time: 19.621 s Remaining CPU time: 160.379 s c =============================================================================== c | 0 | 1998 2186 348100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9695 c Elapsed CPU time: 19.845 s Remaining CPU time: 160.155 s c =============================================================================== c | 0 | 1998 2187 349950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9693 c Elapsed CPU time: 20.0669 s Remaining CPU time: 159.933 s c =============================================================================== c | 0 | 1998 2188 351800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9692 c Elapsed CPU time: 20.2879 s Remaining CPU time: 159.712 s c =============================================================================== c | 0 | 1998 2189 353650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9689 c Elapsed CPU time: 20.5119 s Remaining CPU time: 159.488 s c =============================================================================== c | 2 | 1998 2190 355500 | 5000 2 1809 | 0.000 % | c =============================================================================== c New solution: 9688 c Elapsed CPU time: 20.7468 s Remaining CPU time: 159.253 s c =============================================================================== c | 2 | 1998 2191 357350 | 5000 2 1809 | 0.000 % | c =============================================================================== c New solution: 9687 c Elapsed CPU time: 20.9858 s Remaining CPU time: 159.014 s c =============================================================================== c | 3 | 1998 2192 359200 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9686 c Elapsed CPU time: 21.2108 s Remaining CPU time: 158.789 s c =============================================================================== c | 3 | 1998 2193 361050 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9684 c Elapsed CPU time: 21.4577 s Remaining CPU time: 158.542 s c =============================================================================== c | 3 | 1998 2194 362900 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9683 c Elapsed CPU time: 21.6777 s Remaining CPU time: 158.322 s c =============================================================================== c | 3 | 1998 2195 364750 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9681 c Elapsed CPU time: 21.8997 s Remaining CPU time: 158.1 s c =============================================================================== c | 3 | 1998 2196 366600 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9680 c Elapsed CPU time: 22.1306 s Remaining CPU time: 157.869 s c =============================================================================== c | 3 | 1998 2197 368450 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9678 c Elapsed CPU time: 22.3966 s Remaining CPU time: 157.603 s c =============================================================================== c | 3 | 1998 2198 370300 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9676 c Elapsed CPU time: 22.6496 s Remaining CPU time: 157.35 s c =============================================================================== c | 3 | 1998 2199 372150 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9675 c Elapsed CPU time: 22.9005 s Remaining CPU time: 157.099 s c =============================================================================== c | 3 | 1998 2200 374000 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9674 c Elapsed CPU time: 23.1525 s Remaining CPU time: 156.848 s c =============================================================================== c | 3 | 1998 2201 375850 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9671 c Elapsed CPU time: 23.4134 s Remaining CPU time: 156.587 s c =============================================================================== c | 3 | 1998 2202 377700 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9669 c Elapsed CPU time: 23.6714 s Remaining CPU time: 156.329 s c =============================================================================== c | 3 | 1998 2203 379550 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9668 c Elapsed CPU time: 23.9264 s Remaining CPU time: 156.074 s c =============================================================================== c | 3 | 1998 2204 381400 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9667 c Elapsed CPU time: 24.1843 s Remaining CPU time: 155.816 s c =============================================================================== c | 3 | 1998 2205 383250 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9666 c Elapsed CPU time: 24.4373 s Remaining CPU time: 155.563 s c =============================================================================== c | 3 | 1998 2206 385100 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9665 c Elapsed CPU time: 24.6962 s Remaining CPU time: 155.304 s c =============================================================================== c | 3 | 1998 2207 386950 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9664 c Elapsed CPU time: 24.9312 s Remaining CPU time: 155.069 s c =============================================================================== c | 3 | 1998 2208 388800 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9661 c Elapsed CPU time: 25.1782 s Remaining CPU time: 154.822 s c =============================================================================== c | 3 | 1998 2209 390650 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9660 c Elapsed CPU time: 25.4351 s Remaining CPU time: 154.565 s c =============================================================================== c | 3 | 1998 2210 392500 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9659 c Elapsed CPU time: 25.6881 s Remaining CPU time: 154.312 s c =============================================================================== c | 3 | 1998 2211 394350 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9656 c Elapsed CPU time: 25.9421 s Remaining CPU time: 154.058 s c =============================================================================== c | 3 | 1998 2212 396200 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9655 c Elapsed CPU time: 26.195 s Remaining CPU time: 153.805 s c =============================================================================== c | 3 | 1998 2213 398050 | 5000 3 1207 | 0.000 % | c =============================================================================== c New solution: 9653 c Elapsed CPU time: 26.451 s Remaining CPU time: 153.549 s c =============================================================================== c | 4 | 1998 2214 399900 | 5000 4 1355 | 0.000 % | c =============================================================================== c New solution: 9651 c Elapsed CPU time: 26.7009 s Remaining CPU time: 153.299 s c =============================================================================== c | 5 | 1998 2215 401750 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9650 c Elapsed CPU time: 26.9559 s Remaining CPU time: 153.044 s c =============================================================================== c | 5 | 1998 2216 403600 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9648 c Elapsed CPU time: 27.2119 s Remaining CPU time: 152.788 s c =============================================================================== c | 5 | 1998 2217 405450 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9647 c Elapsed CPU time: 27.4778 s Remaining CPU time: 152.522 s c =============================================================================== c | 5 | 1998 2218 407300 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9646 c Elapsed CPU time: 27.7468 s Remaining CPU time: 152.253 s c =============================================================================== c | 5 | 1998 2219 409150 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9645 c Elapsed CPU time: 28.0227 s Remaining CPU time: 151.977 s c =============================================================================== c | 5 | 1998 2220 411000 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9644 c Elapsed CPU time: 28.2837 s Remaining CPU time: 151.716 s c =============================================================================== c | 5 | 1998 2221 412850 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9643 c Elapsed CPU time: 28.5407 s Remaining CPU time: 151.459 s c =============================================================================== c | 5 | 1998 2222 414700 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9641 c Elapsed CPU time: 28.8046 s Remaining CPU time: 151.195 s c =============================================================================== c | 5 | 1998 2223 416550 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9640 c Elapsed CPU time: 29.0906 s Remaining CPU time: 150.909 s c =============================================================================== c | 5 | 1998 2224 418400 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9639 c Elapsed CPU time: 29.3625 s Remaining CPU time: 150.637 s c =============================================================================== c | 5 | 1998 2225 420250 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9637 c Elapsed CPU time: 29.6255 s Remaining CPU time: 150.375 s c =============================================================================== c | 5 | 1998 2226 422100 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9635 c Elapsed CPU time: 29.8995 s Remaining CPU time: 150.101 s c =============================================================================== c | 5 | 1998 2227 423950 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9633 c Elapsed CPU time: 30.1804 s Remaining CPU time: 149.82 s c =============================================================================== c | 5 | 1998 2228 425800 | 5000 5 1443 | 0.000 % | c =============================================================================== c New solution: 9632 c Elapsed CPU time: 30.4674 s Remaining CPU time: 149.533 s c =============================================================================== c | 6 | 1998 2229 427650 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9631 c Elapsed CPU time: 30.7503 s Remaining CPU time: 149.25 s c =============================================================================== c | 6 | 1998 2230 429500 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9630 c Elapsed CPU time: 31.0393 s Remaining CPU time: 148.961 s c =============================================================================== c | 6 | 1998 2231 431350 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9628 c Elapsed CPU time: 31.3282 s Remaining CPU time: 148.672 s c =============================================================================== c | 6 | 1998 2232 433200 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9627 c Elapsed CPU time: 31.6162 s Remaining CPU time: 148.384 s c =============================================================================== c | 6 | 1998 2233 435050 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9626 c Elapsed CPU time: 31.8971 s Remaining CPU time: 148.103 s c =============================================================================== c | 6 | 1998 2234 436900 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9625 c Elapsed CPU time: 32.1671 s Remaining CPU time: 147.833 s c =============================================================================== c | 6 | 1998 2235 438750 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9623 c Elapsed CPU time: 32.4451 s Remaining CPU time: 147.555 s c =============================================================================== c | 6 | 1998 2236 440600 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9622 c Elapsed CPU time: 32.745 s Remaining CPU time: 147.255 s c =============================================================================== c | 6 | 1998 2237 442450 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9620 c Elapsed CPU time: 33.034 s Remaining CPU time: 146.966 s c =============================================================================== c | 6 | 1998 2238 444300 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9619 c Elapsed CPU time: 33.3349 s Remaining CPU time: 146.665 s c =============================================================================== c | 6 | 1998 2239 446150 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9618 c Elapsed CPU time: 33.6379 s Remaining CPU time: 146.362 s c =============================================================================== c | 6 | 1998 2240 448000 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9617 c Elapsed CPU time: 33.9518 s Remaining CPU time: 146.048 s c =============================================================================== c | 6 | 1998 2241 449850 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9616 c Elapsed CPU time: 34.2508 s Remaining CPU time: 145.749 s c =============================================================================== c | 6 | 1998 2242 451700 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9615 c Elapsed CPU time: 34.5507 s Remaining CPU time: 145.449 s c =============================================================================== c | 6 | 1998 2243 453550 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9614 c Elapsed CPU time: 34.8457 s Remaining CPU time: 145.154 s c =============================================================================== c | 6 | 1998 2244 455400 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9613 c Elapsed CPU time: 35.1557 s Remaining CPU time: 144.844 s c =============================================================================== c | 6 | 1998 2245 457250 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9612 c Elapsed CPU time: 35.4636 s Remaining CPU time: 144.536 s c =============================================================================== c | 6 | 1998 2246 459100 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9611 c Elapsed CPU time: 35.7856 s Remaining CPU time: 144.214 s c =============================================================================== c | 6 | 1998 2247 460950 | 5000 6 1502 | 0.000 % | c =============================================================================== c New solution: 9610 c Elapsed CPU time: 36.1035 s Remaining CPU time: 143.896 s c =============================================================================== c | 7 | 1998 2248 462800 | 5000 7 1542 | 0.000 % | c =============================================================================== c New solution: 9609 c Elapsed CPU time: 36.4095 s Remaining CPU time: 143.591 s c =============================================================================== c | 8 | 1998 2249 464650 | 5000 8 1573 | 0.000 % | c =============================================================================== c New solution: 9608 c Elapsed CPU time: 36.7244 s Remaining CPU time: 143.276 s c =============================================================================== c | 8 | 1998 2250 466500 | 5000 8 1573 | 0.000 % | c =============================================================================== c New solution: 9607 c Elapsed CPU time: 37.0354 s Remaining CPU time: 142.965 s c =============================================================================== c | 9 | 1998 2251 468350 | 5000 9 1597 | 0.000 % | c =============================================================================== c New solution: 9606 c Elapsed CPU time: 37.3243 s Remaining CPU time: 142.676 s c =============================================================================== c | 9 | 1998 2252 470200 | 5000 9 1597 | 0.000 % | c =============================================================================== c New solution: 9605 c Elapsed CPU time: 37.6153 s Remaining CPU time: 142.385 s c =============================================================================== c | 9 | 1998 2253 472050 | 5000 9 1597 | 0.000 % | c =============================================================================== c New solution: 9604 c Elapsed CPU time: 37.9202 s Remaining CPU time: 142.08 s c =============================================================================== c | 11 | 1998 2254 473900 | 5000 11 1469 | 0.000 % | c =============================================================================== c New solution: 9603 c Elapsed CPU time: 38.2252 s Remaining CPU time: 141.775 s c =============================================================================== c | 11 | 1998 2255 475750 | 5000 11 1469 | 0.000 % | c =============================================================================== c New solution: 9602 c Elapsed CPU time: 38.5331 s Remaining CPU time: 141.467 s c =============================================================================== c | 11 | 1998 2256 477600 | 5000 11 1469 | 0.000 % | c =============================================================================== c New solution: 9601 c Elapsed CPU time: 38.8581 s Remaining CPU time: 141.142 s c =============================================================================== c | 11 | 1998 2257 479450 | 5000 11 1469 | 0.000 % | c =============================================================================== c New solution: 9600 c Elapsed CPU time: 39.183 s Remaining CPU time: 140.817 s c =============================================================================== c | 14 | 1998 2258 481300 | 5000 14 1537 | 0.000 % | c =============================================================================== c New solution: 9599 c Elapsed CPU time: 39.497 s Remaining CPU time: 140.503 s c =============================================================================== c | 14 | 1998 2259 483150 | 5000 14 1537 | 0.000 % | c =============================================================================== c New solution: 9598 c Elapsed CPU time: 39.8089 s Remaining CPU time: 140.191 s c =============================================================================== c | 14 | 1998 2260 485000 | 5000 14 1537 | 0.000 % | c =============================================================================== c New solution: 9597 c Elapsed CPU time: 40.1229 s Remaining CPU time: 139.877 s c =============================================================================== c | 14 | 1998 2261 486850 | 5000 14 1537 | 0.000 % | c =============================================================================== c New solution: 9596 c Elapsed CPU time: 40.4379 s Remaining CPU time: 139.562 s c =============================================================================== c | 15 | 1998 2262 488700 | 5000 15 1554 | 0.000 % | c =============================================================================== c New solution: 9595 c Elapsed CPU time: 40.7438 s Remaining CPU time: 139.256 s c =============================================================================== c | 16 | 1998 2263 490550 | 5000 16 1569 | 0.000 % | c =============================================================================== c New solution: 9594 c Elapsed CPU time: 41.0558 s Remaining CPU time: 138.944 s c =============================================================================== c | 19 | 1998 2264 492400 | 5000 19 1603 | 0.000 % | c =============================================================================== c New solution: 9593 c Elapsed CPU time: 41.3927 s Remaining CPU time: 138.607 s c =============================================================================== c | 20 | 1998 2265 494250 | 5000 20 1612 | 0.000 % | c =============================================================================== c New solution: 9592 c Elapsed CPU time: 41.7207 s Remaining CPU time: 138.279 s c =============================================================================== c | 20 | 1998 2266 496100 | 5000 20 1612 | 0.000 % | c =============================================================================== c New solution: 9591 c Elapsed CPU time: 42.0536 s Remaining CPU time: 137.946 s c =============================================================================== c | 22 | 1998 2267 497950 | 5000 22 1627 | 0.000 % | c =============================================================================== c New solution: 9590 c Elapsed CPU time: 42.3756 s Remaining CPU time: 137.624 s c =============================================================================== c | 22 | 1998 2268 499800 | 5000 22 1627 | 0.000 % | c =============================================================================== c New solution: 9589 c Elapsed CPU time: 42.7125 s Remaining CPU time: 137.287 s c =============================================================================== c | 22 | 1998 2269 501650 | 5000 22 1627 | 0.000 % | c =============================================================================== c New solution: 9588 c Elapsed CPU time: 43.0445 s Remaining CPU time: 136.956 s c =============================================================================== c | 22 | 1998 2270 503500 | 5000 22 1627 | 0.000 % | c =============================================================================== c New solution: 9587 c Elapsed CPU time: 43.3874 s Remaining CPU time: 136.613 s c =============================================================================== c | 23 | 1998 2271 505350 | 5000 23 1634 | 0.000 % | c =============================================================================== c New solution: 9586 c Elapsed CPU time: 43.7074 s Remaining CPU time: 136.293 s c =============================================================================== c | 23 | 1998 2272 507200 | 5000 23 1634 | 0.000 % | c =============================================================================== c New solution: 9585 c Elapsed CPU time: 44.0383 s Remaining CPU time: 135.962 s c =============================================================================== c | 23 | 1998 2273 509050 | 5000 23 1634 | 0.000 % | c =============================================================================== c New solution: 9584 c Elapsed CPU time: 44.3633 s Remaining CPU time: 135.637 s c =============================================================================== c | 24 | 1998 2274 510900 | 5000 24 1640 | 0.000 % | c =============================================================================== c New solution: 9583 c Elapsed CPU time: 44.7012 s Remaining CPU time: 135.299 s c =============================================================================== c | 25 | 1998 2275 512750 | 5000 25 1646 | 0.000 % | c =============================================================================== c New solution: 9582 c Elapsed CPU time: 45.0422 s Remaining CPU time: 134.958 s c =============================================================================== c | 25 | 1998 2276 514600 | 5000 25 1646 | 0.000 % | c =============================================================================== c New solution: 9581 c Elapsed CPU time: 45.3751 s Remaining CPU time: 134.625 s c =============================================================================== c | 26 | 1998 2277 516450 | 5000 26 1651 | 0.000 % | c =============================================================================== c New solution: 9580 c Elapsed CPU time: 45.723 s Remaining CPU time: 134.277 s c =============================================================================== c | 28 | 1998 2278 518300 | 5000 28 1660 | 0.000 % | c =============================================================================== c New solution: 9579 c Elapsed CPU time: 46.09 s Remaining CPU time: 133.91 s c =============================================================================== c | 28 | 1998 2279 520150 | 5000 28 1660 | 0.000 % | c =============================================================================== c New solution: 9578 c Elapsed CPU time: 46.4469 s Remaining CPU time: 133.553 s c =============================================================================== c | 28 | 1998 2280 522000 | 5000 28 1660 | 0.000 % | c =============================================================================== c New solution: 9577 c Elapsed CPU time: 46.7929 s Remaining CPU time: 133.207 s c =============================================================================== c | 29 | 1998 2281 523850 | 5000 29 1603 | 0.000 % | c =============================================================================== c New solution: 9576 c Elapsed CPU time: 47.1438 s Remaining CPU time: 132.856 s c =============================================================================== c | 30 | 1998 2282 525700 | 5000 30 1609 | 0.000 % | c =============================================================================== c New solution: 9575 c Elapsed CPU time: 47.4968 s Remaining CPU time: 132.503 s c =============================================================================== c | 31 | 1998 2283 527550 | 5000 31 1615 | 0.000 % | c =============================================================================== c New solution: 9574 c Elapsed CPU time: 47.8437 s Remaining CPU time: 132.156 s c =============================================================================== c | 31 | 1998 2284 529400 | 5000 31 1615 | 0.000 % | c =============================================================================== c New solution: 9573 c Elapsed CPU time: 48.1937 s Remaining CPU time: 131.806 s c =============================================================================== c | 32 | 1998 2285 531250 | 5000 32 1620 | 0.000 % | c =============================================================================== c New solution: 9572 c Elapsed CPU time: 48.5566 s Remaining CPU time: 131.443 s c =============================================================================== c | 33 | 1998 2286 533100 | 5000 33 1625 | 0.000 % | c =============================================================================== c New solution: 9571 c Elapsed CPU time: 48.9206 s Remaining CPU time: 131.079 s c =============================================================================== c | 34 | 1998 2287 534950 | 5000 34 1629 | 0.000 % | c =============================================================================== c New solution: 9570 c Elapsed CPU time: 49.2845 s Remaining CPU time: 130.715 s c =============================================================================== c | 34 | 1998 2288 536800 | 5000 34 1629 | 0.000 % | c =============================================================================== c New solution: 9569 c Elapsed CPU time: 49.6435 s Remaining CPU time: 130.357 s c =============================================================================== c | 34 | 1998 2289 538650 | 5000 34 1629 | 0.000 % | c =============================================================================== c New solution: 9568 c Elapsed CPU time: 50.0044 s Remaining CPU time: 129.996 s c =============================================================================== c | 35 | 1998 2290 540500 | 5000 35 1633 | 0.000 % | c =============================================================================== c New solution: 9567 c Elapsed CPU time: 50.3653 s Remaining CPU time: 129.635 s c =============================================================================== c | 35 | 1998 2291 542350 | 5000 35 1633 | 0.000 % | c =============================================================================== c New solution: 9566 c Elapsed CPU time: 50.7343 s Remaining CPU time: 129.266 s c =============================================================================== c | 35 | 1998 2292 544200 | 5000 35 1633 | 0.000 % | c =============================================================================== c New solution: 9565 c Elapsed CPU time: 51.0872 s Remaining CPU time: 128.913 s c =============================================================================== c | 36 | 1998 2293 546050 | 5000 36 1637 | 0.000 % | c =============================================================================== c New solution: 9564 c Elapsed CPU time: 51.4392 s Remaining CPU time: 128.561 s c =============================================================================== c | 38 | 1998 2294 547900 | 5000 38 1645 | 0.000 % | c =============================================================================== c New solution: 9563 c Elapsed CPU time: 51.7871 s Remaining CPU time: 128.213 s c =============================================================================== c | 38 | 1998 2295 549750 | 5000 38 1645 | 0.000 % | c =============================================================================== c New solution: 9562 c Elapsed CPU time: 52.1501 s Remaining CPU time: 127.85 s c =============================================================================== c | 38 | 1998 2296 551600 | 5000 38 1645 | 0.000 % | c =============================================================================== c New solution: 9561 c Elapsed CPU time: 52.494 s Remaining CPU time: 127.506 s c =============================================================================== c | 38 | 1998 2297 553450 | 5000 38 1645 | 0.000 % | c =============================================================================== c New solution: 9560 c Elapsed CPU time: 52.852 s Remaining CPU time: 127.148 s c =============================================================================== c | 38 | 1998 2298 555300 | 5000 38 1645 | 0.000 % | c =============================================================================== c New solution: 9559 c Elapsed CPU time: 53.2159 s Remaining CPU time: 126.784 s c =============================================================================== c | 39 | 1998 2299 557150 | 5000 39 1648 | 0.000 % | c =============================================================================== c New solution: 9558 c Elapsed CPU time: 53.5889 s Remaining CPU time: 126.411 s c =============================================================================== c | 39 | 1998 2300 559000 | 5000 39 1648 | 0.000 % | c =============================================================================== c New solution: 9557 c Elapsed CPU time: 53.9528 s Remaining CPU time: 126.047 s c =============================================================================== c | 40 | 1998 2301 560850 | 5000 40 1651 | 0.000 % | c =============================================================================== c New solution: 9556 c Elapsed CPU time: 54.3927 s Remaining CPU time: 125.607 s c =============================================================================== c | 45 | 1998 2302 562700 | 5000 45 1665 | 0.000 % | c =============================================================================== c New solution: 9555 c Elapsed CPU time: 54.7677 s Remaining CPU time: 125.232 s c =============================================================================== c | 46 | 1998 2303 564550 | 5000 46 1668 | 0.000 % | c =============================================================================== c New solution: 9554 c Elapsed CPU time: 55.1336 s Remaining CPU time: 124.866 s c =============================================================================== c | 46 | 1998 2304 566400 | 5000 46 1668 | 0.000 % | c =============================================================================== c New solution: 9553 c Elapsed CPU time: 55.4976 s Remaining CPU time: 124.502 s c =============================================================================== c | 46 | 1998 2305 568250 | 5000 46 1668 | 0.000 % | c =============================================================================== c New solution: 9552 c Elapsed CPU time: 55.8595 s Remaining CPU time: 124.14 s c =============================================================================== c | 46 | 1998 2306 570100 | 5000 46 1668 | 0.000 % | c =============================================================================== c New solution: 9551 c Elapsed CPU time: 56.2255 s Remaining CPU time: 123.775 s c =============================================================================== c | 46 | 1998 2307 571950 | 5000 46 1668 | 0.000 % | c =============================================================================== c New solution: 9550 c Elapsed CPU time: 56.5934 s Remaining CPU time: 123.407 s c =============================================================================== c | 50 | 1998 2308 573800 | 5000 50 1676 | 0.000 % | c =============================================================================== c New solution: 9549 c Elapsed CPU time: 56.9633 s Remaining CPU time: 123.037 s c =============================================================================== c | 50 | 1998 2309 575650 | 5000 50 1676 | 0.000 % | c =============================================================================== c New solution: 9548 c Elapsed CPU time: 57.3343 s Remaining CPU time: 122.666 s c =============================================================================== c | 51 | 1998 2310 577500 | 5000 51 1678 | 0.000 % | c =============================================================================== c New solution: 9547 c Elapsed CPU time: 57.7532 s Remaining CPU time: 122.247 s c =============================================================================== c | 73 | 1998 2311 579350 | 5000 73 1707 | 0.000 % | c =============================================================================== c New solution: 9546 c Elapsed CPU time: 58.1302 s Remaining CPU time: 121.87 s c =============================================================================== c | 74 | 1998 2312 581200 | 5000 74 1708 | 0.000 % | c =============================================================================== c New solution: 9545 c Elapsed CPU time: 58.5741 s Remaining CPU time: 121.426 s c =============================================================================== c | 82 | 1998 2313 583050 | 5000 82 1715 | 0.000 % | c =============================================================================== c New solution: 9544 c Elapsed CPU time: 58.966 s Remaining CPU time: 121.034 s c =============================================================================== c | 82 | 1998 2314 584900 | 5000 82 1715 | 0.000 % | c =============================================================================== c New solution: 9543 c Elapsed CPU time: 59.339 s Remaining CPU time: 120.661 s c =============================================================================== c | 82 | 1998 2315 586750 | 5000 82 1715 | 0.000 % | c =============================================================================== c New solution: 9542 c Elapsed CPU time: 59.7399 s Remaining CPU time: 120.26 s c =============================================================================== c | 83 | 1998 2316 588600 | 5000 83 1715 | 0.000 % | c =============================================================================== c New solution: 9541 c Elapsed CPU time: 60.1479 s Remaining CPU time: 119.852 s c =============================================================================== c | 83 | 1998 2317 590450 | 5000 83 1715 | 0.000 % | c =============================================================================== c New solution: 9540 c Elapsed CPU time: 60.5588 s Remaining CPU time: 119.441 s c =============================================================================== c | 83 | 1998 2318 592300 | 5000 83 1715 | 0.000 % | c =============================================================================== c New solution: 9539 c Elapsed CPU time: 60.9707 s Remaining CPU time: 119.029 s c =============================================================================== c | 84 | 1998 2319 594150 | 5000 84 1716 | 0.000 % | c =============================================================================== c New solution: 9538 c Elapsed CPU time: 61.3557 s Remaining CPU time: 118.644 s c =============================================================================== c | 84 | 1998 2320 596000 | 5000 84 1716 | 0.000 % | c =============================================================================== c New solution: 9537 c Elapsed CPU time: 61.7576 s Remaining CPU time: 118.242 s c =============================================================================== c | 84 | 1998 2321 597850 | 5000 84 1716 | 0.000 % | c =============================================================================== c New solution: 9536 c Elapsed CPU time: 62.1695 s Remaining CPU time: 117.83 s c =============================================================================== c | 84 | 1998 2322 599700 | 5000 84 1716 | 0.000 % | c =============================================================================== c New solution: 9535 c Elapsed CPU time: 62.5945 s Remaining CPU time: 117.406 s c =============================================================================== c | 84 | 1998 2323 601550 | 5000 84 1716 | 0.000 % | c =============================================================================== c New solution: 9534 c Elapsed CPU time: 63.0444 s Remaining CPU time: 116.956 s c =============================================================================== c | 84 | 1998 2324 603400 | 5000 84 1716 | 0.000 % | c =============================================================================== c New solution: 9533 c Elapsed CPU time: 63.4504 s Remaining CPU time: 116.55 s c =============================================================================== c | 84 | 1998 2325 605250 | 5000 84 1716 | 0.000 % | c =============================================================================== c New solution: 9532 c Elapsed CPU time: 63.9423 s Remaining CPU time: 116.058 s c =============================================================================== c | 84 | 1998 2326 607100 | 5000 84 1716 | 0.000 % | c =============================================================================== c New solution: 9531 c Elapsed CPU time: 64.3492 s Remaining CPU time: 115.651 s c =============================================================================== c | 85 | 1998 2327 608950 | 5000 85 1717 | 0.000 % | c =============================================================================== c New solution: 9530 c Elapsed CPU time: 64.7452 s Remaining CPU time: 115.255 s c =============================================================================== c | 85 | 1998 2328 610800 | 5000 85 1717 | 0.000 % | c =============================================================================== c New solution: 9529 c Elapsed CPU time: 65.1631 s Remaining CPU time: 114.837 s c =============================================================================== c | 85 | 1998 2329 612650 | 5000 85 1717 | 0.000 % | c =============================================================================== c New solution: 9528 c Elapsed CPU time: 65.571 s Remaining CPU time: 114.429 s c =============================================================================== c | 86 | 1998 2330 614500 | 5000 86 1717 | 0.000 % | c =============================================================================== c New solution: 9527 c Elapsed CPU time: 65.966 s Remaining CPU time: 114.034 s c =============================================================================== c | 86 | 1998 2331 616350 | 5000 86 1717 | 0.000 % | c =============================================================================== c New solution: 9526 c Elapsed CPU time: 66.4009 s Remaining CPU time: 113.599 s c =============================================================================== c | 87 | 1998 2332 618200 | 5000 87 1698 | 0.000 % | c =============================================================================== c New solution: 9525 c Elapsed CPU time: 66.8188 s Remaining CPU time: 113.181 s c =============================================================================== c | 87 | 1998 2333 620050 | 5000 87 1698 | 0.000 % | c =============================================================================== c New solution: 9524 c Elapsed CPU time: 67.2268 s Remaining CPU time: 112.773 s c =============================================================================== c | 88 | 1998 2334 621900 | 5000 88 1698 | 0.000 % | c =============================================================================== c New solution: 9523 c Elapsed CPU time: 67.6147 s Remaining CPU time: 112.385 s c =============================================================================== c | 88 | 1998 2335 623750 | 5000 88 1698 | 0.000 % | c =============================================================================== c New solution: 9522 c Elapsed CPU time: 68.0107 s Remaining CPU time: 111.989 s c =============================================================================== c | 88 | 1998 2336 625600 | 5000 88 1698 | 0.000 % | c =============================================================================== c New solution: 9521 c Elapsed CPU time: 68.4226 s Remaining CPU time: 111.577 s c =============================================================================== c | 96 | 1998 2337 627450 | 5000 96 1704 | 0.000 % | c =============================================================================== c New solution: 9520 c Elapsed CPU time: 68.8445 s Remaining CPU time: 111.155 s c =============================================================================== c | 96 | 1998 2338 629300 | 5000 96 1704 | 0.000 % | c =============================================================================== c New solution: 9519 c Elapsed CPU time: 69.2405 s Remaining CPU time: 110.76 s c =============================================================================== c | 96 | 1998 2339 631150 | 5000 96 1704 | 0.000 % | c =============================================================================== c New solution: 9518 c Elapsed CPU time: 69.6614 s Remaining CPU time: 110.339 s c =============================================================================== c | 96 | 1998 2340 633000 | 5000 96 1704 | 0.000 % | c =============================================================================== c New solution: 9517 c Elapsed CPU time: 70.0593 s Remaining CPU time: 109.941 s c =============================================================================== c | 96 | 1998 2341 634850 | 5000 96 1704 | 0.000 % | c =============================================================================== c New solution: 9516 c Elapsed CPU time: 70.4703 s Remaining CPU time: 109.53 s c =============================================================================== c | 96 | 1998 2342 636700 | 5000 96 1704 | 0.000 % | c =============================================================================== c New solution: 9515 c Elapsed CPU time: 70.8822 s Remaining CPU time: 109.118 s c =============================================================================== c | 97 | 1998 2343 638550 | 5000 97 1705 | 0.000 % | c =============================================================================== c New solution: 9514 c Elapsed CPU time: 71.3162 s Remaining CPU time: 108.684 s c =============================================================================== c | 97 | 1998 2344 640400 | 5000 97 1705 | 0.000 % | c =============================================================================== c New solution: 9513 c Elapsed CPU time: 71.7661 s Remaining CPU time: 108.234 s c =============================================================================== c | 103 | 1998 2345 642250 | 5000 103 1708 | 0.000 % | c =============================================================================== c New solution: 9512 c Elapsed CPU time: 72.197 s Remaining CPU time: 107.803 s c =============================================================================== c | 105 | 1998 2346 644100 | 5000 105 1710 | 0.000 % | c =============================================================================== c New solution: 9511 c Elapsed CPU time: 72.635 s Remaining CPU time: 107.365 s c =============================================================================== c | 105 | 1998 2347 645950 | 5000 105 1710 | 0.000 % | c =============================================================================== c New solution: 9510 c Elapsed CPU time: 73.0869 s Remaining CPU time: 106.913 s c =============================================================================== c | 105 | 1998 2348 647800 | 5000 105 1710 | 0.000 % | c =============================================================================== c New solution: 9509 c Elapsed CPU time: 73.5268 s Remaining CPU time: 106.473 s c =============================================================================== c | 106 | 1998 2349 649650 | 5000 106 1710 | 0.000 % | c =============================================================================== c New solution: 9508 c Elapsed CPU time: 73.9828 s Remaining CPU time: 106.017 s c =============================================================================== c | 106 | 1998 2350 651500 | 5000 106 1710 | 0.000 % | c =============================================================================== c New solution: 9507 c Elapsed CPU time: 74.4047 s Remaining CPU time: 105.595 s c =============================================================================== c | 106 | 1998 2351 653350 | 5000 106 1710 | 0.000 % | c =============================================================================== c New solution: 9506 c Elapsed CPU time: 74.8466 s Remaining CPU time: 105.153 s c =============================================================================== c | 106 | 1998 2352 655200 | 5000 106 1710 | 0.000 % | c =============================================================================== c New solution: 9505 c Elapsed CPU time: 75.2726 s Remaining CPU time: 104.727 s c =============================================================================== c | 106 | 1998 2353 657050 | 5000 106 1710 | 0.000 % | c =============================================================================== c New solution: 9504 c Elapsed CPU time: 75.7115 s Remaining CPU time: 104.289 s c =============================================================================== c | 106 | 1998 2354 658900 | 5000 106 1710 | 0.000 % | c =============================================================================== c New solution: 9503 c Elapsed CPU time: 76.1544 s Remaining CPU time: 103.846 s c =============================================================================== c | 107 | 1998 2355 660750 | 5000 107 1711 | 0.000 % | c =============================================================================== c New solution: 9502 c Elapsed CPU time: 76.5954 s Remaining CPU time: 103.405 s c =============================================================================== c | 107 | 1998 2356 662600 | 5000 107 1711 | 0.000 % | c =============================================================================== c New solution: 9501 c Elapsed CPU time: 77.0333 s Remaining CPU time: 102.967 s c =============================================================================== c | 108 | 1998 2357 664450 | 5000 108 1711 | 0.000 % | c =============================================================================== c New solution: 9500 c Elapsed CPU time: 77.5152 s Remaining CPU time: 102.485 s c =============================================================================== c | 115 | 1998 2358 666300 | 5000 115 1714 | 0.000 % | c =============================================================================== c New solution: 9499 c Elapsed CPU time: 77.9521 s Remaining CPU time: 102.048 s c =============================================================================== c | 115 | 1998 2359 668150 | 5000 115 1714 | 0.000 % | c =============================================================================== c New solution: 9498 c Elapsed CPU time: 78.4181 s Remaining CPU time: 101.582 s c =============================================================================== c | 115 | 1998 2360 670000 | 5000 115 1714 | 0.000 % | c =============================================================================== c New solution: 9497 c Elapsed CPU time: 78.882 s Remaining CPU time: 101.118 s c =============================================================================== c | 115 | 1998 2361 671850 | 5000 115 1714 | 0.000 % | c =============================================================================== c New solution: 9496 c Elapsed CPU time: 79.3419 s Remaining CPU time: 100.658 s c =============================================================================== c | 117 | 1998 2362 673700 | 5000 117 1715 | 0.000 % | c =============================================================================== c New solution: 9495 c Elapsed CPU time: 79.8019 s Remaining CPU time: 100.198 s c =============================================================================== c | 119 | 1998 2363 675550 | 5000 119 1716 | 0.000 % | c =============================================================================== c New solution: 9494 c Elapsed CPU time: 80.2448 s Remaining CPU time: 99.7552 s c =============================================================================== c | 120 | 1998 2364 677400 | 5000 120 1716 | 0.000 % | c =============================================================================== c New solution: 9493 c Elapsed CPU time: 80.6867 s Remaining CPU time: 99.3133 s c =============================================================================== c | 121 | 1998 2365 679250 | 5000 121 1717 | 0.000 % | c =============================================================================== c New solution: 9492 c Elapsed CPU time: 81.1447 s Remaining CPU time: 98.8553 s c =============================================================================== c | 121 | 1998 2366 681100 | 5000 121 1717 | 0.000 % | c =============================================================================== c New solution: 9491 c Elapsed CPU time: 81.6286 s Remaining CPU time: 98.3714 s c =============================================================================== c | 127 | 1998 2367 682950 | 5000 127 1719 | 0.000 % | c =============================================================================== c New solution: 9490 c Elapsed CPU time: 82.1045 s Remaining CPU time: 97.8955 s c =============================================================================== c | 131 | 1998 2368 684800 | 5000 131 1720 | 0.000 % | c =============================================================================== c New solution: 9489 c Elapsed CPU time: 82.5614 s Remaining CPU time: 97.4386 s c =============================================================================== c | 131 | 1998 2369 686650 | 5000 131 1720 | 0.000 % | c =============================================================================== c New solution: 9488 c Elapsed CPU time: 83.0564 s Remaining CPU time: 96.9436 s c =============================================================================== c | 134 | 1998 2370 688500 | 5000 134 1721 | 0.000 % | c =============================================================================== c New solution: 9487 c Elapsed CPU time: 83.5283 s Remaining CPU time: 96.4717 s c =============================================================================== c | 135 | 1998 2371 690350 | 5000 135 1722 | 0.000 % | c =============================================================================== c New solution: 9486 c Elapsed CPU time: 84.0532 s Remaining CPU time: 95.9468 s c =============================================================================== c | 146 | 1998 2372 692200 | 5000 146 1713 | 0.000 % | c =============================================================================== c New solution: 9485 c Elapsed CPU time: 84.5431 s Remaining CPU time: 95.4569 s c =============================================================================== c | 148 | 1998 2373 694050 | 5000 148 1713 | 0.000 % | c =============================================================================== c New solution: 9484 c Elapsed CPU time: 85.0271 s Remaining CPU time: 94.9729 s c =============================================================================== c | 148 | 1998 2374 695900 | 5000 148 1713 | 0.000 % | c =============================================================================== c New solution: 9483 c Elapsed CPU time: 85.52 s Remaining CPU time: 94.48 s c =============================================================================== c | 148 | 1998 2375 697750 | 5000 148 1713 | 0.000 % | c =============================================================================== c New solution: 9482 c Elapsed CPU time: 86.0269 s Remaining CPU time: 93.9731 s c =============================================================================== c | 148 | 1998 2376 699600 | 5000 148 1713 | 0.000 % | c =============================================================================== c New solution: 9481 c Elapsed CPU time: 86.5008 s Remaining CPU time: 93.4992 s c =============================================================================== c | 148 | 1998 2377 701450 | 5000 148 1713 | 0.000 % | c =============================================================================== c New solution: 9480 c Elapsed CPU time: 86.9708 s Remaining CPU time: 93.0292 s c =============================================================================== c | 148 | 1998 2378 703300 | 5000 148 1713 | 0.000 % | c =============================================================================== c New solution: 9479 c Elapsed CPU time: 87.4227 s Remaining CPU time: 92.5773 s c =============================================================================== c | 148 | 1998 2379 705150 | 5000 148 1713 | 0.000 % | c =============================================================================== c New solution: 9478 c Elapsed CPU time: 87.9206 s Remaining CPU time: 92.0794 s c =============================================================================== c | 150 | 1998 2380 707000 | 5000 150 1714 | 0.000 % | c =============================================================================== c New solution: 9477 c Elapsed CPU time: 88.3986 s Remaining CPU time: 91.6014 s c =============================================================================== c | 150 | 1998 2381 708850 | 5000 150 1714 | 0.000 % | c =============================================================================== c New solution: 9476 c Elapsed CPU time: 88.8445 s Remaining CPU time: 91.1555 s c =============================================================================== c | 150 | 1998 2382 710700 | 5000 150 1714 | 0.000 % | c =============================================================================== c New solution: 9475 c Elapsed CPU time: 89.3334 s Remaining CPU time: 90.6666 s c =============================================================================== c | 150 | 1998 2383 712550 | 5000 150 1714 | 0.000 % | c =============================================================================== c New solution: 9474 c Elapsed CPU time: 89.7863 s Remaining CPU time: 90.2137 s c =============================================================================== c | 150 | 1998 2384 714400 | 5000 150 1714 | 0.000 % | c =============================================================================== c New solution: 9473 c Elapsed CPU time: 90.3173 s Remaining CPU time: 89.6827 s c =============================================================================== c | 151 | 1998 2385 716250 | 5000 151 1714 | 0.000 % | c =============================================================================== c New solution: 9472 c Elapsed CPU time: 90.8322 s Remaining CPU time: 89.1678 s c =============================================================================== c | 151 | 1998 2386 718100 | 5000 151 1714 | 0.000 % | c =============================================================================== c New solution: 9471 c Elapsed CPU time: 91.3451 s Remaining CPU time: 88.6549 s c =============================================================================== c | 152 | 1998 2387 719950 | 5000 152 1715 | 0.000 % | c =============================================================================== c New solution: 9470 c Elapsed CPU time: 91.85 s Remaining CPU time: 88.15 s c =============================================================================== c | 152 | 1998 2388 721800 | 5000 152 1715 | 0.000 % | c =============================================================================== c New solution: 9469 c Elapsed CPU time: 92.348 s Remaining CPU time: 87.652 s c =============================================================================== c | 156 | 1998 2389 723650 | 5000 156 1716 | 0.000 % | c =============================================================================== c New solution: 9468 c Elapsed CPU time: 92.8179 s Remaining CPU time: 87.1821 s c =============================================================================== c | 156 | 1998 2390 725500 | 5000 156 1716 | 0.000 % | c =============================================================================== c New solution: 9467 c Elapsed CPU time: 93.3098 s Remaining CPU time: 86.6902 s c =============================================================================== c | 156 | 1998 2391 727350 | 5000 156 1716 | 0.000 % | c =============================================================================== c New solution: 9466 c Elapsed CPU time: 93.7817 s Remaining CPU time: 86.2183 s c =============================================================================== c | 156 | 1998 2392 729200 | 5000 156 1716 | 0.000 % | c =============================================================================== c New solution: 9465 c Elapsed CPU time: 94.2687 s Remaining CPU time: 85.7313 s c =============================================================================== c | 156 | 1998 2393 731050 | 5000 156 1716 | 0.000 % | c =============================================================================== c New solution: 9464 c Elapsed CPU time: 94.7756 s Remaining CPU time: 85.2244 s c =============================================================================== c | 160 | 1998 2394 732900 | 5000 160 1717 | 0.000 % | c =============================================================================== c New solution: 9463 c Elapsed CPU time: 95.3055 s Remaining CPU time: 84.6945 s c =============================================================================== c | 172 | 1998 2395 734750 | 5000 172 1720 | 0.000 % | c =============================================================================== c New solution: 9462 c Elapsed CPU time: 95.8054 s Remaining CPU time: 84.1946 s c =============================================================================== c | 173 | 1998 2396 736600 | 5000 173 1720 | 0.000 % | c =============================================================================== c New solution: 9461 c Elapsed CPU time: 96.3014 s Remaining CPU time: 83.6986 s c =============================================================================== c | 179 | 1998 2397 738450 | 5000 179 1721 | 0.000 % | c =============================================================================== c New solution: 9460 c Elapsed CPU time: 96.7873 s Remaining CPU time: 83.2127 s c =============================================================================== c | 179 | 1998 2398 740300 | 5000 179 1721 | 0.000 % | c =============================================================================== c New solution: 9459 c Elapsed CPU time: 97.2822 s Remaining CPU time: 82.7178 s c =============================================================================== c | 179 | 1998 2399 742150 | 5000 179 1721 | 0.000 % | c =============================================================================== c New solution: 9458 c Elapsed CPU time: 97.7511 s Remaining CPU time: 82.2489 s c =============================================================================== c | 180 | 1998 2400 744000 | 5000 180 1722 | 0.000 % | c =============================================================================== c New solution: 9457 c Elapsed CPU time: 98.2301 s Remaining CPU time: 81.7699 s c =============================================================================== c | 181 | 1998 2401 745850 | 5000 181 1722 | 0.000 % | c =============================================================================== c New solution: 9456 c Elapsed CPU time: 98.8 s Remaining CPU time: 81.2 s c =============================================================================== c | 193 | 1998 2402 747700 | 5000 193 1724 | 0.000 % | c =============================================================================== c New solution: 9455 c Elapsed CPU time: 99.2659 s Remaining CPU time: 80.7341 s c =============================================================================== c | 193 | 1998 2403 749550 | 5000 193 1724 | 0.000 % | c =============================================================================== c New solution: 9454 c Elapsed CPU time: 99.6578 s Remaining CPU time: 80.3422 s c =============================================================================== c | 193 | 1998 2404 751400 | 5000 193 1724 | 0.000 % | c =============================================================================== c New solution: 9453 c Elapsed CPU time: 100.08 s Remaining CPU time: 79.9202 s c =============================================================================== c | 197 | 1998 2405 753250 | 5000 197 1725 | 0.000 % | c =============================================================================== c New solution: 9452 c Elapsed CPU time: 100.486 s Remaining CPU time: 79.5143 s c =============================================================================== c | 197 | 1998 2406 755100 | 5000 197 1725 | 0.000 % | c =============================================================================== c New solution: 9451 c Elapsed CPU time: 100.893 s Remaining CPU time: 79.1073 s c =============================================================================== c | 197 | 1998 2407 756950 | 5000 197 1725 | 0.000 % | c =============================================================================== c New solution: 9450 c Elapsed CPU time: 101.346 s Remaining CPU time: 78.6544 s c =============================================================================== c | 200 | 1998 2408 758800 | 5000 200 1725 | 0.000 % | c =============================================================================== c New solution: 9449 c Elapsed CPU time: 101.75 s Remaining CPU time: 78.2505 s c =============================================================================== c | 200 | 1998 2409 760650 | 5000 200 1725 | 0.000 % | c =============================================================================== c New solution: 9448 c Elapsed CPU time: 102.22 s Remaining CPU time: 77.7795 s c =============================================================================== c | 211 | 1998 2410 762500 | 5000 211 1727 | 0.000 % | c =============================================================================== c New solution: 9447 c Elapsed CPU time: 102.632 s Remaining CPU time: 77.3676 s c =============================================================================== c | 211 | 1998 2411 764350 | 5000 211 1727 | 0.000 % | c =============================================================================== c New solution: 9446 c Elapsed CPU time: 103.051 s Remaining CPU time: 76.9487 s c =============================================================================== c | 211 | 1998 2412 766200 | 5000 211 1727 | 0.000 % | c =============================================================================== c New solution: 9445 c Elapsed CPU time: 103.467 s Remaining CPU time: 76.5327 s c =============================================================================== c | 211 | 1998 2413 768050 | 5000 211 1727 | 0.000 % | c =============================================================================== c New solution: 9444 c Elapsed CPU time: 104.004 s Remaining CPU time: 75.9958 s c =============================================================================== c | 211 | 1998 2414 769900 | 5000 211 1727 | 0.000 % | c =============================================================================== c New solution: 9443 c Elapsed CPU time: 104.539 s Remaining CPU time: 75.4609 s c =============================================================================== c | 211 | 1998 2415 771750 | 5000 211 1727 | 0.000 % | c =============================================================================== c New solution: 9442 c Elapsed CPU time: 105.188 s Remaining CPU time: 74.812 s c =============================================================================== c | 233 | 1998 2416 773600 | 5000 233 1729 | 0.000 % | c =============================================================================== c New solution: 9441 c Elapsed CPU time: 105.853 s Remaining CPU time: 74.1471 s c =============================================================================== c | 243 | 1998 2417 775450 | 5000 243 1723 | 0.000 % | c =============================================================================== c New solution: 9440 c Elapsed CPU time: 106.392 s Remaining CPU time: 73.6082 s c =============================================================================== c | 243 | 1998 2418 777300 | 5000 243 1723 | 0.000 % | c =============================================================================== c New solution: 9439 c Elapsed CPU time: 106.91 s Remaining CPU time: 73.0903 s c =============================================================================== c | 244 | 1998 2419 779150 | 5000 244 1723 | 0.000 % | c =============================================================================== c New solution: 9438 c Elapsed CPU time: 107.572 s Remaining CPU time: 72.4284 s c =============================================================================== c | 268 | 1998 2420 781000 | 5000 268 1726 | 0.000 % | c =============================================================================== c New solution: 9437 c Elapsed CPU time: 108.169 s Remaining CPU time: 71.8314 s c =============================================================================== c | 281 | 1998 2421 782850 | 5000 281 1727 | 0.000 % | c =============================================================================== c New solution: 9436 c Elapsed CPU time: 108.709 s Remaining CPU time: 71.2905 s c =============================================================================== c | 281 | 1998 2422 784700 | 5000 281 1727 | 0.000 % | c =============================================================================== c New solution: 9435 c Elapsed CPU time: 109.277 s Remaining CPU time: 70.7226 s c =============================================================================== c | 293 | 1998 2423 786550 | 5000 293 1728 | 0.000 % | c =============================================================================== c New solution: 9434 c Elapsed CPU time: 109.814 s Remaining CPU time: 70.1857 s c =============================================================================== c | 298 | 1998 2424 788400 | 5000 298 1729 | 0.000 % | c =============================================================================== c New solution: 9433 c Elapsed CPU time: 110.348 s Remaining CPU time: 69.6518 s c =============================================================================== c | 308 | 1998 2425 790250 | 5000 308 1729 | 0.000 % | c =============================================================================== c New solution: 9432 c Elapsed CPU time: 110.944 s Remaining CPU time: 69.0559 s c =============================================================================== c | 324 | 1998 2426 792100 | 5000 324 1725 | 0.000 % | c =============================================================================== c New solution: 9431 c Elapsed CPU time: 111.472 s Remaining CPU time: 68.5279 s c =============================================================================== c | 325 | 1998 2427 793950 | 5000 325 1725 | 0.000 % | c =============================================================================== c New solution: 9430 c Elapsed CPU time: 112.014 s Remaining CPU time: 67.986 s c =============================================================================== c | 327 | 1998 2428 795800 | 5000 327 1725 | 0.000 % | c =============================================================================== c New solution: 9429 c Elapsed CPU time: 112.604 s Remaining CPU time: 67.3961 s c =============================================================================== c | 329 | 1998 2429 797650 | 5000 329 1726 | 0.000 % | c =============================================================================== c New solution: 9428 c Elapsed CPU time: 113.151 s Remaining CPU time: 66.8492 s c =============================================================================== c | 330 | 1998 2430 799500 | 5000 330 1726 | 0.000 % | c =============================================================================== c New solution: 9427 c Elapsed CPU time: 113.687 s Remaining CPU time: 66.3133 s c =============================================================================== c | 330 | 1998 2431 801350 | 5000 330 1726 | 0.000 % | c =============================================================================== c New solution: 9426 c Elapsed CPU time: 114.215 s Remaining CPU time: 65.7854 s c =============================================================================== c | 330 | 1998 2432 803200 | 5000 330 1726 | 0.000 % | c =============================================================================== c New solution: 9425 c Elapsed CPU time: 114.733 s Remaining CPU time: 65.2674 s c =============================================================================== c | 330 | 1998 2433 805050 | 5000 330 1726 | 0.000 % | c =============================================================================== c New solution: 9424 c Elapsed CPU time: 115.279 s Remaining CPU time: 64.7205 s c =============================================================================== c | 331 | 1998 2434 806900 | 5000 331 1726 | 0.000 % | c =============================================================================== c New solution: 9423 c Elapsed CPU time: 115.808 s Remaining CPU time: 64.1916 s c =============================================================================== c | 332 | 1998 2435 808750 | 5000 332 1726 | 0.000 % | c =============================================================================== c New solution: 9422 c Elapsed CPU time: 116.72 s Remaining CPU time: 63.2797 s c =============================================================================== c | 407 | 1998 2436 810600 | 5000 407 1731 | 0.000 % | c =============================================================================== c New solution: 9421 c Elapsed CPU time: 117.442 s Remaining CPU time: 62.5579 s c =============================================================================== c | 428 | 1998 2437 812450 | 5000 428 1732 | 0.000 % | c =============================================================================== c New solution: 9420 c Elapsed CPU time: 117.981 s Remaining CPU time: 62.0189 s c =============================================================================== c | 428 | 1998 2438 814300 | 5000 428 1732 | 0.000 % | c =============================================================================== c New solution: 9419 c Elapsed CPU time: 118.522 s Remaining CPU time: 61.478 s c =============================================================================== c | 438 | 1998 2439 816150 | 5000 438 1732 | 0.000 % | c =============================================================================== c New solution: 9418 c Elapsed CPU time: 119.091 s Remaining CPU time: 60.9091 s c =============================================================================== c | 442 | 1998 2440 818000 | 5000 442 1732 | 0.000 % | c =============================================================================== c New solution: 9417 c Elapsed CPU time: 119.607 s Remaining CPU time: 60.3932 s c =============================================================================== c | 443 | 1998 2441 819850 | 5000 443 1732 | 0.000 % | c =============================================================================== c New solution: 9416 c Elapsed CPU time: 120.12 s Remaining CPU time: 59.8803 s c =============================================================================== c | 448 | 1998 2442 821700 | 5000 448 1733 | 0.000 % | c =============================================================================== c New solution: 9415 c Elapsed CPU time: 120.649 s Remaining CPU time: 59.3513 s c =============================================================================== c | 453 | 1998 2443 823550 | 5000 453 1733 | 0.000 % | c =============================================================================== c New solution: 9414 c Elapsed CPU time: 121.193 s Remaining CPU time: 58.8074 s c =============================================================================== c | 454 | 1998 2444 825400 | 5000 454 1733 | 0.000 % | c =============================================================================== c New solution: 9413 c Elapsed CPU time: 121.915 s Remaining CPU time: 58.0845 s c =============================================================================== c | 477 | 1998 2445 827250 | 5000 477 1734 | 0.000 % | c =============================================================================== c New solution: 9412 c Elapsed CPU time: 122.527 s Remaining CPU time: 57.4726 s c =============================================================================== c | 491 | 1998 2446 829100 | 5000 491 1734 | 0.000 % | c =============================================================================== c New solution: 9411 c Elapsed CPU time: 123.071 s Remaining CPU time: 56.9287 s c =============================================================================== c | 493 | 1998 2447 830950 | 5000 493 1734 | 0.000 % | c =============================================================================== c New solution: 9410 c Elapsed CPU time: 123.649 s Remaining CPU time: 56.3508 s c =============================================================================== c | 495 | 1998 2448 832800 | 5000 495 1734 | 0.000 % | c =============================================================================== c New solution: 9409 c Elapsed CPU time: 124.221 s Remaining CPU time: 55.7789 s c =============================================================================== c | 499 | 1998 2449 834650 | 5000 499 1734 | 0.000 % | c =============================================================================== c New solution: 9408 c Elapsed CPU time: 124.77 s Remaining CPU time: 55.23 s c =============================================================================== c | 499 | 1998 2450 836500 | 5000 499 1734 | 0.000 % | c =============================================================================== c New solution: 9407 c Elapsed CPU time: 125.295 s Remaining CPU time: 54.705 s c =============================================================================== c | 499 | 1998 2451 838350 | 5000 499 1734 | 0.000 % | c =============================================================================== c New solution: 9406 c Elapsed CPU time: 125.83 s Remaining CPU time: 54.1701 s c =============================================================================== c | 499 | 1998 2452 840200 | 5000 499 1734 | 0.000 % | c =============================================================================== c New solution: 9405 c Elapsed CPU time: 126.492 s Remaining CPU time: 53.5082 s c =============================================================================== c | 522 | 1998 2453 842050 | 5000 522 1735 | 0.000 % | c =============================================================================== c New solution: 9404 c Elapsed CPU time: 127.057 s Remaining CPU time: 52.9433 s c =============================================================================== c | 522 | 1998 2454 843900 | 5000 522 1735 | 0.000 % | c =============================================================================== c New solution: 9403 c Elapsed CPU time: 127.583 s Remaining CPU time: 52.4174 s c =============================================================================== c | 522 | 1998 2455 845750 | 5000 522 1735 | 0.000 % | c =============================================================================== c New solution: 9402 c Elapsed CPU time: 128.144 s Remaining CPU time: 51.8565 s c =============================================================================== c | 525 | 1998 2456 847600 | 5000 525 1735 | 0.000 % | c =============================================================================== c New solution: 9401 c Elapsed CPU time: 128.715 s Remaining CPU time: 51.2846 s c =============================================================================== c | 526 | 1998 2457 849450 | 5000 526 1735 | 0.000 % | c =============================================================================== c New solution: 9400 c Elapsed CPU time: 129.298 s Remaining CPU time: 50.7017 s c =============================================================================== c | 531 | 1998 2458 851300 | 5000 531 1735 | 0.000 % | c =============================================================================== c New solution: 9399 c Elapsed CPU time: 129.903 s Remaining CPU time: 50.0967 s c =============================================================================== c | 533 | 1998 2459 853150 | 5000 533 1735 | 0.000 % | c =============================================================================== c New solution: 9398 c Elapsed CPU time: 130.583 s Remaining CPU time: 49.4169 s c =============================================================================== c | 550 | 1998 2460 855000 | 5000 550 1736 | 0.000 % | c =============================================================================== c New solution: 9397 c Elapsed CPU time: 131.174 s Remaining CPU time: 48.8259 s c =============================================================================== c | 554 | 1998 2461 856850 | 5000 554 1736 | 0.000 % | c =============================================================================== c New solution: 9396 c Elapsed CPU time: 131.722 s Remaining CPU time: 48.278 s c =============================================================================== c | 554 | 1998 2462 858700 | 5000 554 1736 | 0.000 % | c =============================================================================== c New solution: 9395 c Elapsed CPU time: 132.262 s Remaining CPU time: 47.7381 s c =============================================================================== c | 554 | 1998 2463 860550 | 5000 554 1736 | 0.000 % | c =============================================================================== c New solution: 9394 c Elapsed CPU time: 132.816 s Remaining CPU time: 47.1842 s c =============================================================================== c | 554 | 1998 2464 862400 | 5000 554 1736 | 0.000 % | c =============================================================================== c New solution: 9393 c Elapsed CPU time: 133.377 s Remaining CPU time: 46.6233 s c =============================================================================== c | 555 | 1998 2465 864250 | 5000 555 1736 | 0.000 % | c =============================================================================== c New solution: 9392 c Elapsed CPU time: 133.95 s Remaining CPU time: 46.0504 s c =============================================================================== c | 555 | 1998 2466 866100 | 5000 555 1736 | 0.000 % | c =============================================================================== c New solution: 9391 c Elapsed CPU time: 134.521 s Remaining CPU time: 45.4795 s c =============================================================================== c | 557 | 1998 2467 867950 | 5000 557 1736 | 0.000 % | c =============================================================================== c New solution: 9390 c Elapsed CPU time: 135.073 s Remaining CPU time: 44.9265 s c =============================================================================== c | 559 | 1998 2468 869800 | 5000 559 1736 | 0.000 % | c =============================================================================== c New solution: 9389 c Elapsed CPU time: 135.654 s Remaining CPU time: 44.3456 s c =============================================================================== c | 562 | 1998 2469 871650 | 5000 562 1736 | 0.000 % | c =============================================================================== c New solution: 9388 c Elapsed CPU time: 136.215 s Remaining CPU time: 43.7847 s c =============================================================================== c | 562 | 1998 2470 873500 | 5000 562 1736 | 0.000 % | c =============================================================================== c New solution: 9387 c Elapsed CPU time: 136.806 s Remaining CPU time: 43.1938 s c =============================================================================== c | 562 | 1998 2471 875350 | 5000 562 1736 | 0.000 % | c =============================================================================== c New solution: 9386 c Elapsed CPU time: 137.661 s Remaining CPU time: 42.3389 s c =============================================================================== c | 587 | 1998 2472 877200 | 5000 587 1737 | 0.000 % | c =============================================================================== c New solution: 9385 c Elapsed CPU time: 138.426 s Remaining CPU time: 41.574 s c =============================================================================== c | 615 | 1998 2473 879050 | 5000 615 1737 | 0.000 % | c =============================================================================== c New solution: 9384 c Elapsed CPU time: 139.009 s Remaining CPU time: 40.9911 s c =============================================================================== c | 622 | 1998 2474 880900 | 5000 622 1737 | 0.000 % | c =============================================================================== c New solution: 9383 c Elapsed CPU time: 139.714 s Remaining CPU time: 40.2862 s c =============================================================================== c | 633 | 1998 2475 882750 | 5000 633 1737 | 0.000 % | c =============================================================================== c New solution: 9382 c Elapsed CPU time: 140.329 s Remaining CPU time: 39.6713 s c =============================================================================== c | 636 | 1998 2476 884600 | 5000 636 1737 | 0.000 % | c =============================================================================== c New solution: 9381 c Elapsed CPU time: 140.962 s Remaining CPU time: 39.0384 s c =============================================================================== c | 640 | 1998 2477 886450 | 5000 640 1737 | 0.000 % | c =============================================================================== c New solution: 9380 c Elapsed CPU time: 141.561 s Remaining CPU time: 38.4385 s c =============================================================================== c | 643 | 1998 2478 888300 | 5000 643 1737 | 0.000 % | c =============================================================================== c New solution: 9379 c Elapsed CPU time: 142.118 s Remaining CPU time: 37.8816 s c =============================================================================== c | 646 | 1998 2479 890150 | 5000 646 1738 | 0.000 % | c =============================================================================== c New solution: 9378 c Elapsed CPU time: 142.724 s Remaining CPU time: 37.2757 s c =============================================================================== c | 649 | 1998 2480 892000 | 5000 649 1738 | 0.000 % | c =============================================================================== c New solution: 9377 c Elapsed CPU time: 143.307 s Remaining CPU time: 36.6928 s c =============================================================================== c | 658 | 1998 2481 893850 | 5000 658 1738 | 0.000 % | c =============================================================================== c New solution: 9376 c Elapsed CPU time: 143.899 s Remaining CPU time: 36.1009 s c =============================================================================== c | 658 | 1998 2482 895700 | 5000 658 1738 | 0.000 % | c =============================================================================== c New solution: 9375 c Elapsed CPU time: 144.536 s Remaining CPU time: 35.464 s c =============================================================================== c | 660 | 1998 2483 897550 | 5000 660 1738 | 0.000 % | c =============================================================================== c New solution: 9374 c Elapsed CPU time: 145.199 s Remaining CPU time: 34.8011 s c =============================================================================== c | 679 | 1998 2484 899400 | 5000 679 1738 | 0.000 % | c =============================================================================== c New solution: 9373 c Elapsed CPU time: 145.82 s Remaining CPU time: 34.1802 s c =============================================================================== c | 681 | 1998 2485 901250 | 5000 681 1738 | 0.000 % | c =============================================================================== c New solution: 9372 c Elapsed CPU time: 146.421 s Remaining CPU time: 33.5793 s c =============================================================================== c | 683 | 1998 2486 903100 | 5000 683 1738 | 0.000 % | c =============================================================================== c New solution: 9371 c Elapsed CPU time: 147.083 s Remaining CPU time: 32.9174 s c =============================================================================== c | 686 | 1998 2487 904950 | 5000 686 1738 | 0.000 % | c =============================================================================== c New solution: 9370 c Elapsed CPU time: 147.657 s Remaining CPU time: 32.3434 s c =============================================================================== c | 687 | 1998 2488 906800 | 5000 687 1738 | 0.000 % | c =============================================================================== c New solution: 9369 c Elapsed CPU time: 148.263 s Remaining CPU time: 31.7365 s c =============================================================================== c | 689 | 1998 2489 908650 | 5000 689 1738 | 0.000 % | c =============================================================================== c New solution: 9368 c Elapsed CPU time: 148.866 s Remaining CPU time: 31.1336 s c =============================================================================== c | 694 | 1998 2490 910500 | 5000 694 1738 | 0.000 % | c =============================================================================== c New solution: 9367 c Elapsed CPU time: 149.541 s Remaining CPU time: 30.4587 s c =============================================================================== c | 744 | 1998 2491 912350 | 5000 744 1738 | 0.000 % | c =============================================================================== c New solution: 9366 c Elapsed CPU time: 150.205 s Remaining CPU time: 29.7948 s c =============================================================================== c | 758 | 1998 2492 914200 | 5000 758 1739 | 0.000 % | c =============================================================================== c New solution: 9365 c Elapsed CPU time: 150.851 s Remaining CPU time: 29.1489 s c =============================================================================== c | 778 | 1998 2493 916050 | 5000 778 1739 | 0.000 % | c =============================================================================== c New solution: 9364 c Elapsed CPU time: 151.483 s Remaining CPU time: 28.517 s c =============================================================================== c | 781 | 1998 2494 917900 | 5000 781 1739 | 0.000 % | c =============================================================================== c New solution: 9363 c Elapsed CPU time: 152.149 s Remaining CPU time: 27.8511 s c =============================================================================== c | 784 | 1998 2495 919750 | 5000 784 1739 | 0.000 % | c =============================================================================== c New solution: 9362 c Elapsed CPU time: 152.766 s Remaining CPU time: 27.2342 s c =============================================================================== c | 784 | 1998 2496 921600 | 5000 784 1739 | 0.000 % | c =============================================================================== c New solution: 9361 c Elapsed CPU time: 153.389 s Remaining CPU time: 26.6113 s c =============================================================================== c | 785 | 1998 2497 923450 | 5000 785 1737 | 0.000 % | c =============================================================================== c New solution: 9360 c Elapsed CPU time: 154.007 s Remaining CPU time: 25.9934 s c =============================================================================== c | 786 | 1998 2498 925300 | 5000 786 1737 | 0.000 % | c =============================================================================== c New solution: 9359 c Elapsed CPU time: 154.593 s Remaining CPU time: 25.4065 s c =============================================================================== c | 786 | 1998 2499 927150 | 5000 786 1737 | 0.000 % | c =============================================================================== c New solution: 9358 c Elapsed CPU time: 155.223 s Remaining CPU time: 24.7766 s c =============================================================================== c | 786 | 1998 2500 929000 | 5000 786 1737 | 0.000 % | c =============================================================================== c New solution: 9357 c Elapsed CPU time: 155.848 s Remaining CPU time: 24.1517 s c =============================================================================== c | 787 | 1998 2501 930850 | 5000 787 1737 | 0.000 % | c =============================================================================== c New solution: 9356 c Elapsed CPU time: 156.807 s Remaining CPU time: 23.1928 s c =============================================================================== c | 814 | 1998 2502 932700 | 5000 814 1737 | 0.000 % | c =============================================================================== c New solution: 9355 c Elapsed CPU time: 157.393 s Remaining CPU time: 22.6069 s c =============================================================================== c | 814 | 1998 2503 934550 | 5000 814 1737 | 0.000 % | c =============================================================================== c New solution: 9354 c Elapsed CPU time: 158.05 s Remaining CPU time: 21.95 s c =============================================================================== c | 821 | 1998 2504 936400 | 5000 821 1737 | 0.000 % | c =============================================================================== c New solution: 9353 c Elapsed CPU time: 158.648 s Remaining CPU time: 21.3521 s c =============================================================================== c | 821 | 1998 2505 938250 | 5000 821 1737 | 0.000 % | c =============================================================================== c New solution: 9352 c Elapsed CPU time: 159.393 s Remaining CPU time: 20.6072 s c =============================================================================== c | 836 | 1998 2506 940100 | 5000 836 1737 | 0.000 % | c =============================================================================== c New solution: 9351 c Elapsed CPU time: 160.009 s Remaining CPU time: 19.9913 s c =============================================================================== c | 840 | 1998 2507 941950 | 5000 840 1737 | 0.000 % | c =============================================================================== c New solution: 9350 c Elapsed CPU time: 160.706 s Remaining CPU time: 19.2944 s c =============================================================================== c | 848 | 1998 2508 943800 | 5000 848 1737 | 0.000 % | c =============================================================================== c New solution: 9349 c Elapsed CPU time: 161.341 s Remaining CPU time: 18.6585 s c =============================================================================== c | 849 | 1998 2509 945650 | 5000 849 1737 | 0.000 % | c =============================================================================== c New solution: 9348 c Elapsed CPU time: 161.992 s Remaining CPU time: 18.0076 s c =============================================================================== c | 851 | 1998 2510 947500 | 5000 851 1737 | 0.000 % | c =============================================================================== c New solution: 9347 c Elapsed CPU time: 162.609 s Remaining CPU time: 17.3907 s c =============================================================================== c | 852 | 1998 2511 949350 | 5000 852 1737 | 0.000 % | c =============================================================================== c New solution: 9346 c Elapsed CPU time: 163.232 s Remaining CPU time: 16.7678 s c =============================================================================== c | 852 | 1998 2512 951200 | 5000 852 1737 | 0.000 % | c =============================================================================== c New solution: 9345 c Elapsed CPU time: 163.835 s Remaining CPU time: 16.1649 s c =============================================================================== c | 857 | 1998 2513 953050 | 5000 857 1737 | 0.000 % | c =============================================================================== c New solution: 9344 c Elapsed CPU time: 164.561 s Remaining CPU time: 15.439 s c =============================================================================== c | 883 | 1998 2514 954900 | 5000 883 1737 | 0.000 % | c =============================================================================== c New solution: 9343 c Elapsed CPU time: 165.21 s Remaining CPU time: 14.7901 s c =============================================================================== c | 891 | 1998 2515 956750 | 5000 891 1737 | 0.000 % | c =============================================================================== c New solution: 9342 c Elapsed CPU time: 165.878 s Remaining CPU time: 14.1222 s c =============================================================================== c | 892 | 1998 2516 958600 | 5000 892 1737 | 0.000 % | c =============================================================================== c New solution: 9341 c Elapsed CPU time: 166.6 s Remaining CPU time: 13.4003 s c =============================================================================== c | 929 | 1998 2517 960450 | 5000 929 1737 | 0.000 % | c =============================================================================== c New solution: 9340 c Elapsed CPU time: 167.215 s Remaining CPU time: 12.7854 s c =============================================================================== c | 930 | 1998 2518 962300 | 5000 930 1737 | 0.000 % | c =============================================================================== c New solution: 9339 c Elapsed CPU time: 167.896 s Remaining CPU time: 12.1035 s c =============================================================================== c | 936 | 1998 2519 964150 | 5000 936 1737 | 0.000 % | c =============================================================================== c New solution: 9338 c Elapsed CPU time: 168.63 s Remaining CPU time: 11.3696 s c =============================================================================== c | 943 | 1998 2520 966000 | 5000 943 1737 | 0.000 % | c =============================================================================== c New solution: 9337 c Elapsed CPU time: 169.262 s Remaining CPU time: 10.7377 s c =============================================================================== c | 943 | 1998 2521 967850 | 5000 943 1737 | 0.000 % | c =============================================================================== c New solution: 9336 c Elapsed CPU time: 169.96 s Remaining CPU time: 10.0398 s c =============================================================================== c | 948 | 1998 2522 969700 | 5000 948 1737 | 0.000 % | c =============================================================================== c New solution: 9335 c Elapsed CPU time: 170.66 s Remaining CPU time: 9.33995 s c =============================================================================== c | 949 | 1998 2523 971550 | 5000 949 1737 | 0.000 % | c =============================================================================== c New solution: 9334 c Elapsed CPU time: 171.422 s Remaining CPU time: 8.57806 s c =============================================================================== c | 973 | 1998 2524 973400 | 5000 973 1737 | 0.000 % | c =============================================================================== c New solution: 9333 c Elapsed CPU time: 172.265 s Remaining CPU time: 7.73519 s c =============================================================================== c | 1000 | 1998 2525 975250 | 5000 1000 1737 | 0.000 % | c =============================================================================== c New solution: 9332 c Elapsed CPU time: 172.921 s Remaining CPU time: 7.07929 s c =============================================================================== c | 1002 | 1998 2526 977100 | 5000 1002 1737 | 0.000 % | c =============================================================================== c New solution: 9331 c Elapsed CPU time: 173.638 s Remaining CPU time: 6.3624 s c =============================================================================== c | 1009 | 1998 2527 978950 | 5000 1009 1738 | 0.000 % | c =============================================================================== c New solution: 9330 c Elapsed CPU time: 174.384 s Remaining CPU time: 5.61551 s c =============================================================================== c | 1039 | 1998 2528 980800 | 5000 1039 1737 | 0.000 % | c =============================================================================== c New solution: 9329 c Elapsed CPU time: 175.347 s Remaining CPU time: 4.65266 s c =============================================================================== c | 1071 | 1998 2529 982650 | 5000 1071 1737 | 0.000 % | c =============================================================================== c New solution: 9328 c Elapsed CPU time: 176.043 s Remaining CPU time: 3.95676 s c =============================================================================== c | 1078 | 1998 2530 984500 | 5000 1078 1737 | 0.000 % | c =============================================================================== c New solution: 9327 c Elapsed CPU time: 176.705 s Remaining CPU time: 3.29486 s c =============================================================================== c | 1079 | 1998 2531 986350 | 5000 1079 1737 | 0.000 % | c =============================================================================== c New solution: 9326 c Elapsed CPU time: 177.324 s Remaining CPU time: 2.67596 s c =============================================================================== c | 1079 | 1998 2532 988200 | 5000 1079 1737 | 0.000 % | c =============================================================================== c New solution: 9325 c Elapsed CPU time: 177.957 s Remaining CPU time: 2.04305 s c =============================================================================== c | 1080 | 1998 2533 990050 | 5000 1080 1737 | 0.000 % | c =============================================================================== c New solution: 9324 c Elapsed CPU time: 178.706 s Remaining CPU time: 1.29417 s c =============================================================================== c | 1086 | 1998 2534 991900 | 5000 1086 1737 | 0.000 % | c =============================================================================== c New solution: 9323 c Elapsed CPU time: 179.361 s Remaining CPU time: 0.639267 s c =============================================================================== c | 1087 | 1998 2535 993750 | 5000 1087 1737 | 0.000 % | c =============================================================================== c New solution: 9322 c Elapsed CPU time: 180.002 s Remaining CPU time: -0.001635 s c =============================================================================== c | 1088 | 1998 2536 995600 | 5000 1088 1737 | 0.000 % | c There are 2 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 402 4535 6133 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 418 4549 6159 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 422 4553 6166 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 441 4569 6199 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 462 4584 6244 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 475 4594 6271 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 482 4599 6291 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 488 4604 6298 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 494 4609 6309 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 500 4614 6316 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 506 4619 6323 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 513 4623 6348 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 521 4630 6359 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 529 4637 6376 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 537 4644 6385 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 550 4656 6415 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 557 4662 6425 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 564 4668 6437 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 572 4675 6448 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 580 4682 6463 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 589 4690 6477 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 598 4696 6500 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 605 4702 6520 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 612 4708 6528 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 620 4713 6546 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 628 4718 6560 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 636 4723 6578 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 645 4727 6596 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 652 4733 6604 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 661 4737 6620 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 668 4743 6628 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 676 4750 6643 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 686 4755 6672 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 695 4761 6691 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 703 4766 6719 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 710 4770 6730 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 719 4776 6749 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 726 4782 6757 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 734 4787 6771 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 741 4793 6783 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 748 4799 6799 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 754 4803 6814 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 762 4810 6827 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 769 4816 6835 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 775 4821 6844 | 5000 0 nan | 0.000 % | c ===============================================================================