c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 4000 | c | Number Clauses: 4000 | 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 | 3983 4002 11850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21233 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 3983 4003 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21230 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 3983 4004 19550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21223 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 3983 4005 23400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21222 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 0 | 3983 4006 27250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21215 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 0 | 3983 4007 31100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21214 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 0 | 3983 4008 34950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21211 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 0 | 3983 4009 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21208 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 0 | 3983 4010 42650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21207 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 0 | 3983 4011 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21206 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 0 | 3983 4012 50350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21200 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 0 | 3983 4013 54200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21199 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 0 | 3983 4014 58050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21198 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 0 | 3983 4015 61900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21197 c Elapsed CPU time: 0.862868 s Remaining CPU time: 179.137 s c =============================================================================== c | 0 | 3983 4016 65750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21195 c Elapsed CPU time: 0.928858 s Remaining CPU time: 179.071 s c =============================================================================== c | 0 | 3983 4017 69600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21193 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 0 | 3983 4018 73450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21192 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 0 | 3983 4019 77300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21191 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s c =============================================================================== c | 0 | 3983 4020 81150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21189 c Elapsed CPU time: 1.21182 s Remaining CPU time: 178.788 s c =============================================================================== c | 0 | 3983 4021 85000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21187 c Elapsed CPU time: 1.2888 s Remaining CPU time: 178.711 s c =============================================================================== c | 0 | 3983 4022 88850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21185 c Elapsed CPU time: 1.36679 s Remaining CPU time: 178.633 s c =============================================================================== c | 0 | 3983 4023 92700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21183 c Elapsed CPU time: 1.44278 s Remaining CPU time: 178.557 s c =============================================================================== c | 0 | 3983 4024 96550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21181 c Elapsed CPU time: 1.52677 s Remaining CPU time: 178.473 s c =============================================================================== c | 0 | 3983 4025 100400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21180 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 0 | 3983 4026 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21179 c Elapsed CPU time: 1.69174 s Remaining CPU time: 178.308 s c =============================================================================== c | 0 | 3983 4027 108100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21175 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s c =============================================================================== c | 0 | 3983 4028 111950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21171 c Elapsed CPU time: 1.86372 s Remaining CPU time: 178.136 s c =============================================================================== c | 0 | 3983 4029 115800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21168 c Elapsed CPU time: 1.9557 s Remaining CPU time: 178.044 s c =============================================================================== c | 0 | 3983 4030 119650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21167 c Elapsed CPU time: 2.04969 s Remaining CPU time: 177.95 s c =============================================================================== c | 0 | 3983 4031 123500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21162 c Elapsed CPU time: 2.14367 s Remaining CPU time: 177.856 s c =============================================================================== c | 0 | 3983 4032 127350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21161 c Elapsed CPU time: 2.23866 s Remaining CPU time: 177.761 s c =============================================================================== c | 0 | 3983 4033 131200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21160 c Elapsed CPU time: 2.33764 s Remaining CPU time: 177.662 s c =============================================================================== c | 0 | 3983 4034 135050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21157 c Elapsed CPU time: 2.43563 s Remaining CPU time: 177.564 s c =============================================================================== c | 0 | 3983 4035 138900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21153 c Elapsed CPU time: 2.54161 s Remaining CPU time: 177.458 s c =============================================================================== c | 0 | 3983 4036 142750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21151 c Elapsed CPU time: 2.6516 s Remaining CPU time: 177.348 s c =============================================================================== c | 0 | 3983 4037 146600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21149 c Elapsed CPU time: 2.76158 s Remaining CPU time: 177.238 s c =============================================================================== c | 0 | 3983 4038 150450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21147 c Elapsed CPU time: 2.87356 s Remaining CPU time: 177.126 s c =============================================================================== c | 0 | 3983 4039 154300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21146 c Elapsed CPU time: 2.98955 s Remaining CPU time: 177.01 s c =============================================================================== c | 0 | 3983 4040 158150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21145 c Elapsed CPU time: 3.10553 s Remaining CPU time: 176.894 s c =============================================================================== c | 0 | 3983 4041 162000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21142 c Elapsed CPU time: 3.22351 s Remaining CPU time: 176.776 s c =============================================================================== c | 0 | 3983 4042 165850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21141 c Elapsed CPU time: 3.34149 s Remaining CPU time: 176.659 s c =============================================================================== c | 0 | 3983 4043 169700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21140 c Elapsed CPU time: 3.46447 s Remaining CPU time: 176.536 s c =============================================================================== c | 0 | 3983 4044 173550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21135 c Elapsed CPU time: 3.58845 s Remaining CPU time: 176.412 s c =============================================================================== c | 0 | 3983 4045 177400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21134 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s c =============================================================================== c | 0 | 3983 4046 181250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21133 c Elapsed CPU time: 3.85141 s Remaining CPU time: 176.149 s c =============================================================================== c | 0 | 3983 4047 185100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21130 c Elapsed CPU time: 3.98339 s Remaining CPU time: 176.017 s c =============================================================================== c | 0 | 3983 4048 188950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21129 c Elapsed CPU time: 4.11937 s Remaining CPU time: 175.881 s c =============================================================================== c | 0 | 3983 4049 192800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21125 c Elapsed CPU time: 4.25335 s Remaining CPU time: 175.747 s c =============================================================================== c | 0 | 3983 4050 196650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21124 c Elapsed CPU time: 4.39833 s Remaining CPU time: 175.602 s c =============================================================================== c | 0 | 3983 4051 200500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21123 c Elapsed CPU time: 4.54131 s Remaining CPU time: 175.459 s c =============================================================================== c | 0 | 3983 4052 204350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21121 c Elapsed CPU time: 4.68229 s Remaining CPU time: 175.318 s c =============================================================================== c | 0 | 3983 4053 208200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21120 c Elapsed CPU time: 4.83326 s Remaining CPU time: 175.167 s c =============================================================================== c | 0 | 3983 4054 212050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21119 c Elapsed CPU time: 4.98024 s Remaining CPU time: 175.02 s c =============================================================================== c | 0 | 3983 4055 215900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21118 c Elapsed CPU time: 5.13522 s Remaining CPU time: 174.865 s c =============================================================================== c | 0 | 3983 4056 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21117 c Elapsed CPU time: 5.2892 s Remaining CPU time: 174.711 s c =============================================================================== c | 0 | 3983 4057 223600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21116 c Elapsed CPU time: 5.45517 s Remaining CPU time: 174.545 s c =============================================================================== c | 0 | 3983 4058 227450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21113 c Elapsed CPU time: 5.61415 s Remaining CPU time: 174.386 s c =============================================================================== c | 0 | 3983 4059 231300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21112 c Elapsed CPU time: 5.78312 s Remaining CPU time: 174.217 s c =============================================================================== c | 0 | 3983 4060 235150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21111 c Elapsed CPU time: 5.9481 s Remaining CPU time: 174.052 s c =============================================================================== c | 0 | 3983 4061 239000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21110 c Elapsed CPU time: 6.11207 s Remaining CPU time: 173.888 s c =============================================================================== c | 0 | 3983 4062 242850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21109 c Elapsed CPU time: 6.28804 s Remaining CPU time: 173.712 s c =============================================================================== c | 0 | 3983 4063 246700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21105 c Elapsed CPU time: 6.46102 s Remaining CPU time: 173.539 s c =============================================================================== c | 0 | 3983 4064 250550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21104 c Elapsed CPU time: 6.63699 s Remaining CPU time: 173.363 s c =============================================================================== c | 0 | 3983 4065 254400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21103 c Elapsed CPU time: 6.81896 s Remaining CPU time: 173.181 s c =============================================================================== c | 0 | 3983 4066 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21099 c Elapsed CPU time: 6.99694 s Remaining CPU time: 173.003 s c =============================================================================== c | 0 | 3983 4067 262100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21096 c Elapsed CPU time: 7.17991 s Remaining CPU time: 172.82 s c =============================================================================== c | 0 | 3983 4068 265950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21093 c Elapsed CPU time: 7.36288 s Remaining CPU time: 172.637 s c =============================================================================== c | 0 | 3983 4069 269800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21091 c Elapsed CPU time: 7.55285 s Remaining CPU time: 172.447 s c =============================================================================== c | 0 | 3983 4070 273650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21090 c Elapsed CPU time: 7.74082 s Remaining CPU time: 172.259 s c =============================================================================== c | 0 | 3983 4071 277500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21088 c Elapsed CPU time: 7.93079 s Remaining CPU time: 172.069 s c =============================================================================== c | 0 | 3983 4072 281350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21087 c Elapsed CPU time: 8.12576 s Remaining CPU time: 171.874 s c =============================================================================== c | 0 | 3983 4073 285200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21086 c Elapsed CPU time: 8.32273 s Remaining CPU time: 171.677 s c =============================================================================== c | 0 | 3983 4074 289050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21084 c Elapsed CPU time: 8.5187 s Remaining CPU time: 171.481 s c =============================================================================== c | 0 | 3983 4075 292900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21083 c Elapsed CPU time: 8.73167 s Remaining CPU time: 171.268 s c =============================================================================== c | 0 | 3983 4076 296750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21079 c Elapsed CPU time: 8.94264 s Remaining CPU time: 171.057 s c =============================================================================== c | 0 | 3983 4077 300600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21078 c Elapsed CPU time: 9.15261 s Remaining CPU time: 170.847 s c =============================================================================== c | 0 | 3983 4078 304450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21076 c Elapsed CPU time: 9.37257 s Remaining CPU time: 170.627 s c =============================================================================== c | 0 | 3983 4079 308300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21074 c Elapsed CPU time: 9.60254 s Remaining CPU time: 170.397 s c =============================================================================== c | 0 | 3983 4080 312150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21072 c Elapsed CPU time: 9.8315 s Remaining CPU time: 170.168 s c =============================================================================== c | 0 | 3983 4081 316000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21071 c Elapsed CPU time: 10.0615 s Remaining CPU time: 169.939 s c =============================================================================== c | 0 | 3983 4082 319850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21070 c Elapsed CPU time: 10.3014 s Remaining CPU time: 169.699 s c =============================================================================== c | 0 | 3983 4083 323700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21067 c Elapsed CPU time: 10.5394 s Remaining CPU time: 169.461 s c =============================================================================== c | 0 | 3983 4084 327550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21066 c Elapsed CPU time: 10.7844 s Remaining CPU time: 169.216 s c =============================================================================== c | 0 | 3983 4085 331400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21064 c Elapsed CPU time: 11.0273 s Remaining CPU time: 168.973 s c =============================================================================== c | 0 | 3983 4086 335250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21062 c Elapsed CPU time: 11.2743 s Remaining CPU time: 168.726 s c =============================================================================== c | 0 | 3983 4087 339100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21061 c Elapsed CPU time: 11.5202 s Remaining CPU time: 168.48 s c =============================================================================== c | 0 | 3983 4088 342950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21060 c Elapsed CPU time: 11.7742 s Remaining CPU time: 168.226 s c =============================================================================== c | 0 | 3983 4089 346800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21059 c Elapsed CPU time: 12.0522 s Remaining CPU time: 167.948 s c =============================================================================== c | 0 | 3983 4090 350650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21058 c Elapsed CPU time: 12.3351 s Remaining CPU time: 167.665 s c =============================================================================== c | 0 | 3983 4091 354500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21057 c Elapsed CPU time: 12.6071 s Remaining CPU time: 167.393 s c =============================================================================== c | 0 | 3983 4092 358350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21056 c Elapsed CPU time: 12.887 s Remaining CPU time: 167.113 s c =============================================================================== c | 0 | 3983 4093 362200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21055 c Elapsed CPU time: 13.17 s Remaining CPU time: 166.83 s c =============================================================================== c | 0 | 3983 4094 366050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21054 c Elapsed CPU time: 13.427 s Remaining CPU time: 166.573 s c =============================================================================== c | 0 | 3983 4095 369900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21053 c Elapsed CPU time: 13.6589 s Remaining CPU time: 166.341 s c =============================================================================== c | 0 | 3983 4096 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21052 c Elapsed CPU time: 13.8969 s Remaining CPU time: 166.103 s c =============================================================================== c | 0 | 3983 4097 377600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21050 c Elapsed CPU time: 14.1369 s Remaining CPU time: 165.863 s c =============================================================================== c | 0 | 3983 4098 381450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21049 c Elapsed CPU time: 14.3928 s Remaining CPU time: 165.607 s c =============================================================================== c | 0 | 3983 4099 385300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21047 c Elapsed CPU time: 14.6648 s Remaining CPU time: 165.335 s c =============================================================================== c | 0 | 3983 4100 389150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21045 c Elapsed CPU time: 14.9577 s Remaining CPU time: 165.042 s c =============================================================================== c | 0 | 3983 4101 393000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21044 c Elapsed CPU time: 15.2487 s Remaining CPU time: 164.751 s c =============================================================================== c | 0 | 3983 4102 396850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21042 c Elapsed CPU time: 15.5426 s Remaining CPU time: 164.457 s c =============================================================================== c | 0 | 3983 4103 400700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21041 c Elapsed CPU time: 15.8406 s Remaining CPU time: 164.159 s c =============================================================================== c | 0 | 3983 4104 404550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21040 c Elapsed CPU time: 16.1505 s Remaining CPU time: 163.849 s c =============================================================================== c | 0 | 3983 4105 408400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21039 c Elapsed CPU time: 16.4625 s Remaining CPU time: 163.538 s c =============================================================================== c | 0 | 3983 4106 412250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21037 c Elapsed CPU time: 16.7884 s Remaining CPU time: 163.212 s c =============================================================================== c | 0 | 3983 4107 416100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21036 c Elapsed CPU time: 17.1034 s Remaining CPU time: 162.897 s c =============================================================================== c | 0 | 3983 4108 419950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21035 c Elapsed CPU time: 17.4293 s Remaining CPU time: 162.571 s c =============================================================================== c | 0 | 3983 4109 423800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21034 c Elapsed CPU time: 17.7593 s Remaining CPU time: 162.241 s c =============================================================================== c | 0 | 3983 4110 427650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21033 c Elapsed CPU time: 18.0892 s Remaining CPU time: 161.911 s c =============================================================================== c | 0 | 3983 4111 431500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21032 c Elapsed CPU time: 18.4222 s Remaining CPU time: 161.578 s c =============================================================================== c | 0 | 3983 4112 435350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21030 c Elapsed CPU time: 18.7521 s Remaining CPU time: 161.248 s c =============================================================================== c | 0 | 3983 4113 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21028 c Elapsed CPU time: 19.0741 s Remaining CPU time: 160.926 s c =============================================================================== c | 0 | 3983 4114 443050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21027 c Elapsed CPU time: 19.407 s Remaining CPU time: 160.593 s c =============================================================================== c | 0 | 3983 4115 446900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21026 c Elapsed CPU time: 19.733 s Remaining CPU time: 160.267 s c =============================================================================== c | 0 | 3983 4116 450750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21025 c Elapsed CPU time: 20.058 s Remaining CPU time: 159.942 s c =============================================================================== c | 0 | 3983 4117 454600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21024 c Elapsed CPU time: 20.4009 s Remaining CPU time: 159.599 s c =============================================================================== c | 0 | 3983 4118 458450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21023 c Elapsed CPU time: 20.7438 s Remaining CPU time: 159.256 s c =============================================================================== c | 0 | 3983 4119 462300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21022 c Elapsed CPU time: 21.0848 s Remaining CPU time: 158.915 s c =============================================================================== c | 0 | 3983 4120 466150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21021 c Elapsed CPU time: 21.4317 s Remaining CPU time: 158.568 s c =============================================================================== c | 0 | 3983 4121 470000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21020 c Elapsed CPU time: 21.7747 s Remaining CPU time: 158.225 s c =============================================================================== c | 0 | 3983 4122 473850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21019 c Elapsed CPU time: 22.1176 s Remaining CPU time: 157.882 s c =============================================================================== c | 0 | 3983 4123 477700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21017 c Elapsed CPU time: 22.4766 s Remaining CPU time: 157.523 s c =============================================================================== c | 0 | 3983 4124 481550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21016 c Elapsed CPU time: 22.8265 s Remaining CPU time: 157.173 s c =============================================================================== c | 0 | 3983 4125 485400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21015 c Elapsed CPU time: 23.1815 s Remaining CPU time: 156.819 s c =============================================================================== c | 0 | 3983 4126 489250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21014 c Elapsed CPU time: 23.5314 s Remaining CPU time: 156.469 s c =============================================================================== c | 0 | 3983 4127 493100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21013 c Elapsed CPU time: 23.8814 s Remaining CPU time: 156.119 s c =============================================================================== c | 0 | 3983 4128 496950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21011 c Elapsed CPU time: 24.2263 s Remaining CPU time: 155.774 s c =============================================================================== c | 0 | 3983 4129 500800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21010 c Elapsed CPU time: 24.6093 s Remaining CPU time: 155.391 s c =============================================================================== c | 0 | 3983 4130 504650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21009 c Elapsed CPU time: 24.9842 s Remaining CPU time: 155.016 s c =============================================================================== c | 0 | 3983 4131 508500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21008 c Elapsed CPU time: 25.3621 s Remaining CPU time: 154.638 s c =============================================================================== c | 0 | 3983 4132 512350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21007 c Elapsed CPU time: 25.7381 s Remaining CPU time: 154.262 s c =============================================================================== c | 0 | 3983 4133 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21005 c Elapsed CPU time: 26.107 s Remaining CPU time: 153.893 s c =============================================================================== c | 0 | 3983 4134 520050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21003 c Elapsed CPU time: 26.478 s Remaining CPU time: 153.522 s c =============================================================================== c | 0 | 3983 4135 523900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21002 c Elapsed CPU time: 26.8689 s Remaining CPU time: 153.131 s c =============================================================================== c | 0 | 3983 4136 527750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20999 c Elapsed CPU time: 27.2579 s Remaining CPU time: 152.742 s c =============================================================================== c | 0 | 3983 4137 531600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20998 c Elapsed CPU time: 27.6528 s Remaining CPU time: 152.347 s c =============================================================================== c | 0 | 3983 4138 535450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20996 c Elapsed CPU time: 28.0367 s Remaining CPU time: 151.963 s c =============================================================================== c | 0 | 3983 4139 539300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20995 c Elapsed CPU time: 28.4367 s Remaining CPU time: 151.563 s c =============================================================================== c | 0 | 3983 4140 543150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20994 c Elapsed CPU time: 28.8256 s Remaining CPU time: 151.174 s c =============================================================================== c | 0 | 3983 4141 547000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20992 c Elapsed CPU time: 29.2276 s Remaining CPU time: 150.772 s c =============================================================================== c | 0 | 3983 4142 550850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20990 c Elapsed CPU time: 29.6235 s Remaining CPU time: 150.377 s c =============================================================================== c | 0 | 3983 4143 554700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20987 c Elapsed CPU time: 30.0114 s Remaining CPU time: 149.989 s c =============================================================================== c | 0 | 3983 4144 558550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20984 c Elapsed CPU time: 30.4024 s Remaining CPU time: 149.598 s c =============================================================================== c | 0 | 3983 4145 562400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20983 c Elapsed CPU time: 30.8093 s Remaining CPU time: 149.191 s c =============================================================================== c | 0 | 3983 4146 566250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20982 c Elapsed CPU time: 31.2243 s Remaining CPU time: 148.776 s c =============================================================================== c | 0 | 3983 4147 570100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20981 c Elapsed CPU time: 31.6292 s Remaining CPU time: 148.371 s c =============================================================================== c | 0 | 3983 4148 573950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20980 c Elapsed CPU time: 32.0361 s Remaining CPU time: 147.964 s c =============================================================================== c | 0 | 3983 4149 577800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20977 c Elapsed CPU time: 32.4421 s Remaining CPU time: 147.558 s c =============================================================================== c | 0 | 3983 4150 581650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20975 c Elapsed CPU time: 32.871 s Remaining CPU time: 147.129 s c =============================================================================== c | 0 | 3983 4151 585500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20974 c Elapsed CPU time: 33.3089 s Remaining CPU time: 146.691 s c =============================================================================== c | 0 | 3983 4152 589350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20973 c Elapsed CPU time: 33.7369 s Remaining CPU time: 146.263 s c =============================================================================== c | 0 | 3983 4153 593200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20972 c Elapsed CPU time: 34.1948 s Remaining CPU time: 145.805 s c =============================================================================== c | 0 | 3983 4154 597050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20971 c Elapsed CPU time: 34.6417 s Remaining CPU time: 145.358 s c =============================================================================== c | 0 | 3983 4155 600900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20970 c Elapsed CPU time: 35.1047 s Remaining CPU time: 144.895 s c =============================================================================== c | 0 | 3983 4156 604750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20969 c Elapsed CPU time: 35.5416 s Remaining CPU time: 144.458 s c =============================================================================== c | 0 | 3983 4157 608600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20968 c Elapsed CPU time: 35.9805 s Remaining CPU time: 144.019 s c =============================================================================== c | 0 | 3983 4158 612450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20967 c Elapsed CPU time: 36.4165 s Remaining CPU time: 143.584 s c =============================================================================== c | 0 | 3983 4159 616300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20966 c Elapsed CPU time: 36.8554 s Remaining CPU time: 143.145 s c =============================================================================== c | 0 | 3983 4160 620150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20964 c Elapsed CPU time: 37.2933 s Remaining CPU time: 142.707 s c =============================================================================== c | 0 | 3983 4161 624000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20962 c Elapsed CPU time: 37.7283 s Remaining CPU time: 142.272 s c =============================================================================== c | 0 | 3983 4162 627850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20961 c Elapsed CPU time: 38.1712 s Remaining CPU time: 141.829 s c =============================================================================== c | 0 | 3983 4163 631700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20958 c Elapsed CPU time: 38.6131 s Remaining CPU time: 141.387 s c =============================================================================== c | 0 | 3983 4164 635550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20957 c Elapsed CPU time: 39.0691 s Remaining CPU time: 140.931 s c =============================================================================== c | 0 | 3983 4165 639400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20956 c Elapsed CPU time: 39.515 s Remaining CPU time: 140.485 s c =============================================================================== c | 0 | 3983 4166 643250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20955 c Elapsed CPU time: 39.9659 s Remaining CPU time: 140.034 s c =============================================================================== c | 0 | 3983 4167 647100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20954 c Elapsed CPU time: 40.4199 s Remaining CPU time: 139.58 s c =============================================================================== c | 0 | 3983 4168 650950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20953 c Elapsed CPU time: 40.8768 s Remaining CPU time: 139.123 s c =============================================================================== c | 0 | 3983 4169 654800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20951 c Elapsed CPU time: 41.3287 s Remaining CPU time: 138.671 s c =============================================================================== c | 0 | 3983 4170 658650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20948 c Elapsed CPU time: 41.7826 s Remaining CPU time: 138.217 s c =============================================================================== c | 0 | 3983 4171 662500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20947 c Elapsed CPU time: 42.2336 s Remaining CPU time: 137.766 s c =============================================================================== c | 0 | 3983 4172 666350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20945 c Elapsed CPU time: 42.6875 s Remaining CPU time: 137.312 s c =============================================================================== c | 0 | 3983 4173 670200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20944 c Elapsed CPU time: 43.1554 s Remaining CPU time: 136.845 s c =============================================================================== c | 0 | 3983 4174 674050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20941 c Elapsed CPU time: 43.6124 s Remaining CPU time: 136.388 s c =============================================================================== c | 0 | 3983 4175 677900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20939 c Elapsed CPU time: 44.1013 s Remaining CPU time: 135.899 s c =============================================================================== c | 0 | 3983 4176 681750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20938 c Elapsed CPU time: 44.5682 s Remaining CPU time: 135.432 s c =============================================================================== c | 0 | 3983 4177 685600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20936 c Elapsed CPU time: 45.0452 s Remaining CPU time: 134.955 s c =============================================================================== c | 0 | 3983 4178 689450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20934 c Elapsed CPU time: 45.5331 s Remaining CPU time: 134.467 s c =============================================================================== c | 0 | 3983 4179 693300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20932 c Elapsed CPU time: 46.017 s Remaining CPU time: 133.983 s c =============================================================================== c | 0 | 3983 4180 697150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20931 c Elapsed CPU time: 46.4939 s Remaining CPU time: 133.506 s c =============================================================================== c | 0 | 3983 4181 701000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20928 c Elapsed CPU time: 46.9669 s Remaining CPU time: 133.033 s c =============================================================================== c | 0 | 3983 4182 704850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20927 c Elapsed CPU time: 47.4568 s Remaining CPU time: 132.543 s c =============================================================================== c | 0 | 3983 4183 708700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20926 c Elapsed CPU time: 47.9427 s Remaining CPU time: 132.057 s c =============================================================================== c | 0 | 3983 4184 712550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20924 c Elapsed CPU time: 48.4246 s Remaining CPU time: 131.575 s c =============================================================================== c | 0 | 3983 4185 716400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20923 c Elapsed CPU time: 48.9176 s Remaining CPU time: 131.082 s c =============================================================================== c | 0 | 3983 4186 720250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20922 c Elapsed CPU time: 49.4125 s Remaining CPU time: 130.588 s c =============================================================================== c | 0 | 3983 4187 724100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20921 c Elapsed CPU time: 49.9024 s Remaining CPU time: 130.098 s c =============================================================================== c | 0 | 3983 4188 727950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20919 c Elapsed CPU time: 50.3923 s Remaining CPU time: 129.608 s c =============================================================================== c | 0 | 3983 4189 731800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20916 c Elapsed CPU time: 50.8833 s Remaining CPU time: 129.117 s c =============================================================================== c | 0 | 3983 4190 735650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20915 c Elapsed CPU time: 51.3842 s Remaining CPU time: 128.616 s c =============================================================================== c | 0 | 3983 4191 739500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20912 c Elapsed CPU time: 51.8871 s Remaining CPU time: 128.113 s c =============================================================================== c | 0 | 3983 4192 743350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20910 c Elapsed CPU time: 52.415 s Remaining CPU time: 127.585 s c =============================================================================== c | 0 | 3983 4193 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20909 c Elapsed CPU time: 52.927 s Remaining CPU time: 127.073 s c =============================================================================== c | 0 | 3983 4194 751050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20908 c Elapsed CPU time: 53.4619 s Remaining CPU time: 126.538 s c =============================================================================== c | 0 | 3983 4195 754900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20907 c Elapsed CPU time: 53.9838 s Remaining CPU time: 126.016 s c =============================================================================== c | 0 | 3983 4196 758750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20906 c Elapsed CPU time: 54.5147 s Remaining CPU time: 125.485 s c =============================================================================== c | 0 | 3983 4197 762600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20905 c Elapsed CPU time: 55.0636 s Remaining CPU time: 124.936 s c =============================================================================== c | 0 | 3983 4198 766450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20904 c Elapsed CPU time: 55.6165 s Remaining CPU time: 124.383 s c =============================================================================== c | 0 | 3983 4199 770300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20903 c Elapsed CPU time: 56.2005 s Remaining CPU time: 123.8 s c =============================================================================== c | 0 | 3983 4200 774150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20902 c Elapsed CPU time: 56.7834 s Remaining CPU time: 123.217 s c =============================================================================== c | 0 | 3983 4201 778000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20901 c Elapsed CPU time: 57.3673 s Remaining CPU time: 122.633 s c =============================================================================== c | 0 | 3983 4202 781850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20900 c Elapsed CPU time: 57.9462 s Remaining CPU time: 122.054 s c =============================================================================== c | 0 | 3983 4203 785700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20899 c Elapsed CPU time: 58.5271 s Remaining CPU time: 121.473 s c =============================================================================== c | 0 | 3983 4204 789550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20898 c Elapsed CPU time: 59.105 s Remaining CPU time: 120.895 s c =============================================================================== c | 0 | 3983 4205 793400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20897 c Elapsed CPU time: 59.6859 s Remaining CPU time: 120.314 s c =============================================================================== c | 0 | 3983 4206 797250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20894 c Elapsed CPU time: 60.2568 s Remaining CPU time: 119.743 s c =============================================================================== c | 0 | 3983 4207 801100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20893 c Elapsed CPU time: 60.8398 s Remaining CPU time: 119.16 s c =============================================================================== c | 0 | 3983 4208 804950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20892 c Elapsed CPU time: 61.4417 s Remaining CPU time: 118.558 s c =============================================================================== c | 0 | 3983 4209 808800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20889 c Elapsed CPU time: 62.0366 s Remaining CPU time: 117.963 s c =============================================================================== c | 0 | 3983 4210 812650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20887 c Elapsed CPU time: 62.6295 s Remaining CPU time: 117.371 s c =============================================================================== c | 0 | 3983 4211 816500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20886 c Elapsed CPU time: 63.2164 s Remaining CPU time: 116.784 s c =============================================================================== c | 0 | 3983 4212 820350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20885 c Elapsed CPU time: 63.8083 s Remaining CPU time: 116.192 s c =============================================================================== c | 0 | 3983 4213 824200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20883 c Elapsed CPU time: 64.4182 s Remaining CPU time: 115.582 s c =============================================================================== c | 0 | 3983 4214 828050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20882 c Elapsed CPU time: 65.0221 s Remaining CPU time: 114.978 s c =============================================================================== c | 0 | 3983 4215 831900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20881 c Elapsed CPU time: 65.629 s Remaining CPU time: 114.371 s c =============================================================================== c | 0 | 3983 4216 835750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20879 c Elapsed CPU time: 66.2199 s Remaining CPU time: 113.78 s c =============================================================================== c | 0 | 3983 4217 839600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20876 c Elapsed CPU time: 66.8118 s Remaining CPU time: 113.188 s c =============================================================================== c | 0 | 3983 4218 843450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20874 c Elapsed CPU time: 67.4068 s Remaining CPU time: 112.593 s c =============================================================================== c | 0 | 3983 4219 847300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20872 c Elapsed CPU time: 67.9907 s Remaining CPU time: 112.009 s c =============================================================================== c | 0 | 3983 4220 851150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20871 c Elapsed CPU time: 68.5796 s Remaining CPU time: 111.42 s c =============================================================================== c | 0 | 3983 4221 855000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20869 c Elapsed CPU time: 69.1875 s Remaining CPU time: 110.813 s c =============================================================================== c | 0 | 3983 4222 858850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20867 c Elapsed CPU time: 69.7764 s Remaining CPU time: 110.224 s c =============================================================================== c | 0 | 3983 4223 862700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20866 c Elapsed CPU time: 70.4303 s Remaining CPU time: 109.57 s c =============================================================================== c | 0 | 3983 4224 866550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20865 c Elapsed CPU time: 71.0932 s Remaining CPU time: 108.907 s c =============================================================================== c | 0 | 3983 4225 870400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20864 c Elapsed CPU time: 71.7341 s Remaining CPU time: 108.266 s c =============================================================================== c | 0 | 3983 4226 874250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20863 c Elapsed CPU time: 72.374 s Remaining CPU time: 107.626 s c =============================================================================== c | 0 | 3983 4227 878100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20861 c Elapsed CPU time: 73.0099 s Remaining CPU time: 106.99 s c =============================================================================== c | 0 | 3983 4228 881950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20860 c Elapsed CPU time: 73.6388 s Remaining CPU time: 106.361 s c =============================================================================== c | 0 | 3983 4229 885800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20859 c Elapsed CPU time: 74.2767 s Remaining CPU time: 105.723 s c =============================================================================== c | 0 | 3983 4230 889650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20858 c Elapsed CPU time: 74.9316 s Remaining CPU time: 105.068 s c =============================================================================== c | 0 | 3983 4231 893500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20857 c Elapsed CPU time: 75.5625 s Remaining CPU time: 104.437 s c =============================================================================== c | 0 | 3983 4232 897350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20854 c Elapsed CPU time: 76.2014 s Remaining CPU time: 103.799 s c =============================================================================== c | 0 | 3983 4233 901200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20853 c Elapsed CPU time: 76.8353 s Remaining CPU time: 103.165 s c =============================================================================== c | 0 | 3983 4234 905050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20852 c Elapsed CPU time: 77.4652 s Remaining CPU time: 102.535 s c =============================================================================== c | 0 | 3983 4235 908900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20851 c Elapsed CPU time: 78.1171 s Remaining CPU time: 101.883 s c =============================================================================== c | 0 | 3983 4236 912750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20850 c Elapsed CPU time: 78.783 s Remaining CPU time: 101.217 s c =============================================================================== c | 0 | 3983 4237 916600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20849 c Elapsed CPU time: 79.4639 s Remaining CPU time: 100.536 s c =============================================================================== c | 0 | 3983 4238 920450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20847 c Elapsed CPU time: 80.1148 s Remaining CPU time: 99.8852 s c =============================================================================== c | 0 | 3983 4239 924300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20845 c Elapsed CPU time: 80.7717 s Remaining CPU time: 99.2283 s c =============================================================================== c | 0 | 3983 4240 928150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20843 c Elapsed CPU time: 81.4296 s Remaining CPU time: 98.5704 s c =============================================================================== c | 0 | 3983 4241 932000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20842 c Elapsed CPU time: 82.0945 s Remaining CPU time: 97.9055 s c =============================================================================== c | 0 | 3983 4242 935850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20841 c Elapsed CPU time: 82.8254 s Remaining CPU time: 97.1746 s c =============================================================================== c | 0 | 3983 4243 939700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20840 c Elapsed CPU time: 83.5383 s Remaining CPU time: 96.4617 s c =============================================================================== c | 0 | 3983 4244 943550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20837 c Elapsed CPU time: 84.2612 s Remaining CPU time: 95.7388 s c =============================================================================== c | 0 | 3983 4245 947400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20836 c Elapsed CPU time: 85.0061 s Remaining CPU time: 94.9939 s c =============================================================================== c | 0 | 3983 4246 951250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20835 c Elapsed CPU time: 85.728 s Remaining CPU time: 94.272 s c =============================================================================== c | 0 | 3983 4247 955100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20834 c Elapsed CPU time: 86.4549 s Remaining CPU time: 93.5451 s c =============================================================================== c | 0 | 3983 4248 958950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20833 c Elapsed CPU time: 87.1987 s Remaining CPU time: 92.8013 s c =============================================================================== c | 0 | 3983 4249 962800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20832 c Elapsed CPU time: 87.9396 s Remaining CPU time: 92.0604 s c =============================================================================== c | 0 | 3983 4250 966650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20831 c Elapsed CPU time: 88.6625 s Remaining CPU time: 91.3375 s c =============================================================================== c | 0 | 3983 4251 970500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20830 c Elapsed CPU time: 89.3954 s Remaining CPU time: 90.6046 s c =============================================================================== c | 0 | 3983 4252 974350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20829 c Elapsed CPU time: 90.1313 s Remaining CPU time: 89.8687 s c =============================================================================== c | 0 | 3983 4253 978200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20827 c Elapsed CPU time: 90.8402 s Remaining CPU time: 89.1598 s c =============================================================================== c | 0 | 3983 4254 982050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20826 c Elapsed CPU time: 91.5681 s Remaining CPU time: 88.4319 s c =============================================================================== c | 0 | 3983 4255 985900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20825 c Elapsed CPU time: 92.267 s Remaining CPU time: 87.733 s c =============================================================================== c | 0 | 3983 4256 989750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20824 c Elapsed CPU time: 92.9709 s Remaining CPU time: 87.0291 s c =============================================================================== c | 0 | 3983 4257 993600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20823 c Elapsed CPU time: 93.6788 s Remaining CPU time: 86.3212 s c =============================================================================== c | 0 | 3983 4258 997450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20822 c Elapsed CPU time: 94.3797 s Remaining CPU time: 85.6203 s c =============================================================================== c | 0 | 3983 4259 1001300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20821 c Elapsed CPU time: 95.0735 s Remaining CPU time: 84.9265 s c =============================================================================== c | 0 | 3983 4260 1005150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20820 c Elapsed CPU time: 95.7704 s Remaining CPU time: 84.2296 s c =============================================================================== c | 0 | 3983 4261 1009000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20819 c Elapsed CPU time: 96.4963 s Remaining CPU time: 83.5037 s c =============================================================================== c | 0 | 3983 4262 1012850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20818 c Elapsed CPU time: 97.1922 s Remaining CPU time: 82.8078 s c =============================================================================== c | 0 | 3983 4263 1016700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20817 c Elapsed CPU time: 97.9141 s Remaining CPU time: 82.0859 s c =============================================================================== c | 0 | 3983 4264 1020550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20815 c Elapsed CPU time: 98.627 s Remaining CPU time: 81.373 s c =============================================================================== c | 0 | 3983 4265 1024400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20812 c Elapsed CPU time: 99.3259 s Remaining CPU time: 80.6741 s c =============================================================================== c | 0 | 3983 4266 1028250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20810 c Elapsed CPU time: 100.031 s Remaining CPU time: 79.9692 s c =============================================================================== c | 0 | 3983 4267 1032100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20809 c Elapsed CPU time: 100.736 s Remaining CPU time: 79.2643 s c =============================================================================== c | 0 | 3983 4268 1035950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20807 c Elapsed CPU time: 101.439 s Remaining CPU time: 78.5614 s c =============================================================================== c | 0 | 3983 4269 1039800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20804 c Elapsed CPU time: 102.155 s Remaining CPU time: 77.8445 s c =============================================================================== c | 0 | 3983 4270 1043650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20803 c Elapsed CPU time: 102.875 s Remaining CPU time: 77.1246 s c =============================================================================== c | 0 | 3983 4271 1047500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20802 c Elapsed CPU time: 103.596 s Remaining CPU time: 76.4038 s c =============================================================================== c | 0 | 3983 4272 1051350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20801 c Elapsed CPU time: 104.315 s Remaining CPU time: 75.6849 s c =============================================================================== c | 0 | 3983 4273 1055200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20798 c Elapsed CPU time: 105.03 s Remaining CPU time: 74.97 s c =============================================================================== c | 0 | 3983 4274 1059050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20797 c Elapsed CPU time: 105.779 s Remaining CPU time: 74.2211 s c =============================================================================== c | 0 | 3983 4275 1062900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20796 c Elapsed CPU time: 106.514 s Remaining CPU time: 73.4862 s c =============================================================================== c | 0 | 3983 4276 1066750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20795 c Elapsed CPU time: 107.262 s Remaining CPU time: 72.7383 s c =============================================================================== c | 0 | 3983 4277 1070600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20794 c Elapsed CPU time: 107.992 s Remaining CPU time: 72.0084 s c =============================================================================== c | 0 | 3983 4278 1074450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20793 c Elapsed CPU time: 108.731 s Remaining CPU time: 71.2685 s c =============================================================================== c | 0 | 3983 4279 1078300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20790 c Elapsed CPU time: 109.481 s Remaining CPU time: 70.5186 s c =============================================================================== c | 0 | 3983 4280 1082150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20789 c Elapsed CPU time: 110.235 s Remaining CPU time: 69.7648 s c =============================================================================== c | 0 | 3983 4281 1086000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20788 c Elapsed CPU time: 110.984 s Remaining CPU time: 69.0159 s c =============================================================================== c | 0 | 3983 4282 1089850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20787 c Elapsed CPU time: 111.728 s Remaining CPU time: 68.272 s c =============================================================================== c | 0 | 3983 4283 1093700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20786 c Elapsed CPU time: 112.482 s Remaining CPU time: 67.5181 s c =============================================================================== c | 0 | 3983 4284 1097550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20785 c Elapsed CPU time: 113.25 s Remaining CPU time: 66.7502 s c =============================================================================== c | 0 | 3983 4285 1101400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20784 c Elapsed CPU time: 114.035 s Remaining CPU time: 65.9653 s c =============================================================================== c | 0 | 3983 4286 1105250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20782 c Elapsed CPU time: 114.812 s Remaining CPU time: 65.1885 s c =============================================================================== c | 0 | 3983 4287 1109100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20781 c Elapsed CPU time: 115.564 s Remaining CPU time: 64.4356 s c =============================================================================== c | 0 | 3983 4288 1112950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20780 c Elapsed CPU time: 116.331 s Remaining CPU time: 63.6687 s c =============================================================================== c | 0 | 3983 4289 1116800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20779 c Elapsed CPU time: 117.128 s Remaining CPU time: 62.8718 s c =============================================================================== c | 0 | 3983 4290 1120650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20778 c Elapsed CPU time: 117.914 s Remaining CPU time: 62.0859 s c =============================================================================== c | 0 | 3983 4291 1124500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20777 c Elapsed CPU time: 118.692 s Remaining CPU time: 61.308 s c =============================================================================== c | 0 | 3983 4292 1128350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20776 c Elapsed CPU time: 119.474 s Remaining CPU time: 60.5262 s c =============================================================================== c | 0 | 3983 4293 1132200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20775 c Elapsed CPU time: 120.24 s Remaining CPU time: 59.7603 s c =============================================================================== c | 0 | 3983 4294 1136050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20772 c Elapsed CPU time: 121.014 s Remaining CPU time: 58.9864 s c =============================================================================== c | 0 | 3983 4295 1139900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20771 c Elapsed CPU time: 121.808 s Remaining CPU time: 58.1915 s c =============================================================================== c | 0 | 3983 4296 1143750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20769 c Elapsed CPU time: 122.583 s Remaining CPU time: 57.4166 s c =============================================================================== c | 0 | 3983 4297 1147600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20766 c Elapsed CPU time: 123.356 s Remaining CPU time: 56.6438 s c =============================================================================== c | 0 | 3983 4298 1151450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20763 c Elapsed CPU time: 124.136 s Remaining CPU time: 55.8639 s c =============================================================================== c | 0 | 3983 4299 1155300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20760 c Elapsed CPU time: 124.922 s Remaining CPU time: 55.078 s c =============================================================================== c | 0 | 3983 4300 1159150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20758 c Elapsed CPU time: 125.727 s Remaining CPU time: 54.2731 s c =============================================================================== c | 0 | 3983 4301 1163000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20754 c Elapsed CPU time: 126.512 s Remaining CPU time: 53.4882 s c =============================================================================== c | 0 | 3983 4302 1166850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20753 c Elapsed CPU time: 127.319 s Remaining CPU time: 52.6814 s c =============================================================================== c | 0 | 3983 4303 1170700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20752 c Elapsed CPU time: 128.115 s Remaining CPU time: 51.8855 s c =============================================================================== c | 0 | 3983 4304 1174550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20750 c Elapsed CPU time: 128.925 s Remaining CPU time: 51.0746 s c =============================================================================== c | 0 | 3983 4305 1178400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20749 c Elapsed CPU time: 129.747 s Remaining CPU time: 50.2527 s c =============================================================================== c | 0 | 3983 4306 1182250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20748 c Elapsed CPU time: 130.573 s Remaining CPU time: 49.4269 s c =============================================================================== c | 0 | 3983 4307 1186100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20746 c Elapsed CPU time: 131.375 s Remaining CPU time: 48.625 s c =============================================================================== c | 0 | 3983 4308 1189950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20745 c Elapsed CPU time: 132.178 s Remaining CPU time: 47.8221 s c =============================================================================== c | 0 | 3983 4309 1193800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20744 c Elapsed CPU time: 133.014 s Remaining CPU time: 46.9862 s c =============================================================================== c | 0 | 3983 4310 1197650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20742 c Elapsed CPU time: 133.831 s Remaining CPU time: 46.1693 s c =============================================================================== c | 0 | 3983 4311 1201500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20740 c Elapsed CPU time: 134.662 s Remaining CPU time: 45.3385 s c =============================================================================== c | 0 | 3983 4312 1205350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20738 c Elapsed CPU time: 135.474 s Remaining CPU time: 44.5256 s c =============================================================================== c | 0 | 3983 4313 1209200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20737 c Elapsed CPU time: 136.301 s Remaining CPU time: 43.6987 s c =============================================================================== c | 0 | 3983 4314 1213050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20736 c Elapsed CPU time: 137.134 s Remaining CPU time: 42.8658 s c =============================================================================== c | 0 | 3983 4315 1216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20734 c Elapsed CPU time: 137.959 s Remaining CPU time: 42.041 s c =============================================================================== c | 0 | 3983 4316 1220750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20732 c Elapsed CPU time: 138.801 s Remaining CPU time: 41.1991 s c =============================================================================== c | 0 | 3983 4317 1224600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20731 c Elapsed CPU time: 139.676 s Remaining CPU time: 40.3242 s c =============================================================================== c | 0 | 3983 4318 1228450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20729 c Elapsed CPU time: 140.497 s Remaining CPU time: 39.5034 s c =============================================================================== c | 0 | 3983 4319 1232300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20727 c Elapsed CPU time: 141.359 s Remaining CPU time: 38.6415 s c =============================================================================== c | 0 | 3983 4320 1236150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20726 c Elapsed CPU time: 142.2 s Remaining CPU time: 37.7996 s c =============================================================================== c | 0 | 3983 4321 1240000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20725 c Elapsed CPU time: 143.05 s Remaining CPU time: 36.9497 s c =============================================================================== c | 0 | 3983 4322 1243850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20723 c Elapsed CPU time: 143.886 s Remaining CPU time: 36.1139 s c =============================================================================== c | 0 | 3983 4323 1247700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20720 c Elapsed CPU time: 144.716 s Remaining CPU time: 35.284 s c =============================================================================== c | 0 | 3983 4324 1251550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20717 c Elapsed CPU time: 145.593 s Remaining CPU time: 34.4071 s c =============================================================================== c | 0 | 3983 4325 1255400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20716 c Elapsed CPU time: 146.462 s Remaining CPU time: 33.5383 s c =============================================================================== c | 0 | 3983 4326 1259250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20715 c Elapsed CPU time: 147.327 s Remaining CPU time: 32.6734 s c =============================================================================== c | 0 | 3983 4327 1263100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20714 c Elapsed CPU time: 148.226 s Remaining CPU time: 31.7735 s c =============================================================================== c | 0 | 3983 4328 1266950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20712 c Elapsed CPU time: 149.125 s Remaining CPU time: 30.8747 s c =============================================================================== c | 0 | 3983 4329 1270800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20711 c Elapsed CPU time: 150.014 s Remaining CPU time: 29.9858 s c =============================================================================== c | 0 | 3983 4330 1274650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20709 c Elapsed CPU time: 150.918 s Remaining CPU time: 29.0819 s c =============================================================================== c | 0 | 3983 4331 1278500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20708 c Elapsed CPU time: 151.82 s Remaining CPU time: 28.1801 s c =============================================================================== c | 0 | 3983 4332 1282350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20705 c Elapsed CPU time: 152.712 s Remaining CPU time: 27.2882 s c =============================================================================== c | 0 | 3983 4333 1286200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20704 c Elapsed CPU time: 153.623 s Remaining CPU time: 26.3774 s c =============================================================================== c | 0 | 3983 4334 1290050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20703 c Elapsed CPU time: 154.538 s Remaining CPU time: 25.4625 s c =============================================================================== c | 0 | 3983 4335 1293900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20700 c Elapsed CPU time: 155.441 s Remaining CPU time: 24.5586 s c =============================================================================== c | 0 | 3983 4336 1297750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20699 c Elapsed CPU time: 156.363 s Remaining CPU time: 23.6368 s c =============================================================================== c | 0 | 3983 4337 1301600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20698 c Elapsed CPU time: 157.285 s Remaining CPU time: 22.7149 s c =============================================================================== c | 0 | 3983 4338 1305450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20697 c Elapsed CPU time: 158.2 s Remaining CPU time: 21.8001 s c =============================================================================== c | 0 | 3983 4339 1309300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20696 c Elapsed CPU time: 159.109 s Remaining CPU time: 20.8912 s c =============================================================================== c | 0 | 3983 4340 1313150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20695 c Elapsed CPU time: 160.026 s Remaining CPU time: 19.9743 s c =============================================================================== c | 0 | 3983 4341 1317000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20694 c Elapsed CPU time: 160.945 s Remaining CPU time: 19.0555 s c =============================================================================== c | 0 | 3983 4342 1320850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20692 c Elapsed CPU time: 161.908 s Remaining CPU time: 18.0916 s c =============================================================================== c | 0 | 3983 4343 1324700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20691 c Elapsed CPU time: 162.822 s Remaining CPU time: 17.1778 s c =============================================================================== c | 0 | 3983 4344 1328550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20689 c Elapsed CPU time: 163.771 s Remaining CPU time: 16.2289 s c =============================================================================== c | 0 | 3983 4345 1332400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20686 c Elapsed CPU time: 164.685 s Remaining CPU time: 15.315 s c =============================================================================== c | 0 | 3983 4346 1336250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20683 c Elapsed CPU time: 165.614 s Remaining CPU time: 14.3862 s c =============================================================================== c | 0 | 3983 4347 1340100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20682 c Elapsed CPU time: 166.555 s Remaining CPU time: 13.4453 s c =============================================================================== c | 0 | 3983 4348 1343950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20681 c Elapsed CPU time: 167.483 s Remaining CPU time: 12.5175 s c =============================================================================== c | 0 | 3983 4349 1347800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20680 c Elapsed CPU time: 168.431 s Remaining CPU time: 11.5686 s c =============================================================================== c | 0 | 3983 4350 1351650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20679 c Elapsed CPU time: 169.371 s Remaining CPU time: 10.6287 s c =============================================================================== c | 0 | 3983 4351 1355500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20678 c Elapsed CPU time: 170.294 s Remaining CPU time: 9.70589 s c =============================================================================== c | 0 | 3983 4352 1359350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20677 c Elapsed CPU time: 171.27 s Remaining CPU time: 8.73004 s c =============================================================================== c | 0 | 3983 4353 1363200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20676 c Elapsed CPU time: 172.257 s Remaining CPU time: 7.74319 s c =============================================================================== c | 0 | 3983 4354 1367050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20675 c Elapsed CPU time: 173.226 s Remaining CPU time: 6.77434 s c =============================================================================== c | 0 | 3983 4355 1370900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20673 c Elapsed CPU time: 174.203 s Remaining CPU time: 5.79748 s c =============================================================================== c | 0 | 3983 4356 1374750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20672 c Elapsed CPU time: 175.207 s Remaining CPU time: 4.79264 s c =============================================================================== c | 0 | 3983 4357 1378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20671 c Elapsed CPU time: 176.18 s Remaining CPU time: 3.81978 s c =============================================================================== c | 0 | 3983 4358 1382450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20670 c Elapsed CPU time: 177.169 s Remaining CPU time: 2.83093 s c =============================================================================== c | 0 | 3983 4359 1386300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20668 c Elapsed CPU time: 178.142 s Remaining CPU time: 1.85808 s c =============================================================================== c | 0 | 3983 4360 1390150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20667 c Elapsed CPU time: 179.126 s Remaining CPU time: 0.874232 s c =============================================================================== c | 0 | 3983 4361 1394000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20666 c Elapsed CPU time: 180.139 s Remaining CPU time: -0.138614 s c =============================================================================== c | 0 | 3983 4362 1397850 | 5000 0 nan | 0.000 % | c There are 17 assigned variables. 4 in cost function.