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 | 3992 4007 11833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21333 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 3992 4008 15683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21332 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 3992 4009 19533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21325 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 3992 4010 23383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21324 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 3992 4011 27233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21321 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 0 | 3992 4012 31083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21316 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 0 | 3992 4013 34933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21315 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 0 | 3992 4014 38783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21314 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 0 | 3992 4015 42633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21307 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 0 | 3992 4016 46483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21306 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 0 | 3992 4017 50333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21303 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 0 | 3992 4018 54183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21302 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 0 | 3992 4019 58033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21301 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 0 | 3992 4020 61883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21300 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 0 | 3992 4021 65733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21299 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s c =============================================================================== c | 0 | 3992 4022 69583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21298 c Elapsed CPU time: 0.98185 s Remaining CPU time: 179.018 s c =============================================================================== c | 0 | 3992 4023 73433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21297 c Elapsed CPU time: 1.05384 s Remaining CPU time: 178.946 s c =============================================================================== c | 0 | 3992 4024 77283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21291 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 0 | 3992 4025 81133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21290 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 0 | 3992 4026 84983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21288 c Elapsed CPU time: 1.27481 s Remaining CPU time: 178.725 s c =============================================================================== c | 0 | 3992 4027 88833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21285 c Elapsed CPU time: 1.34979 s Remaining CPU time: 178.65 s c =============================================================================== c | 0 | 3992 4028 92683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21283 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 0 | 3992 4029 96533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21282 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c | 0 | 3992 4030 100383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21281 c Elapsed CPU time: 1.59176 s Remaining CPU time: 178.408 s c =============================================================================== c | 0 | 3992 4031 104233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21280 c Elapsed CPU time: 1.67575 s Remaining CPU time: 178.324 s c =============================================================================== c | 0 | 3992 4032 108083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21278 c Elapsed CPU time: 1.76273 s Remaining CPU time: 178.237 s c =============================================================================== c | 0 | 3992 4033 111933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21277 c Elapsed CPU time: 1.85272 s Remaining CPU time: 178.147 s c =============================================================================== c | 0 | 3992 4034 115783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21275 c Elapsed CPU time: 1.9457 s Remaining CPU time: 178.054 s c =============================================================================== c | 0 | 3992 4035 119633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21273 c Elapsed CPU time: 2.04069 s Remaining CPU time: 177.959 s c =============================================================================== c | 0 | 3992 4036 123483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21272 c Elapsed CPU time: 2.13667 s Remaining CPU time: 177.863 s c =============================================================================== c | 0 | 3992 4037 127333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21271 c Elapsed CPU time: 2.23166 s Remaining CPU time: 177.768 s c =============================================================================== c | 0 | 3992 4038 131183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21268 c Elapsed CPU time: 2.32765 s Remaining CPU time: 177.672 s c =============================================================================== c | 0 | 3992 4039 135033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21267 c Elapsed CPU time: 2.43063 s Remaining CPU time: 177.569 s c =============================================================================== c | 0 | 3992 4040 138883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21263 c Elapsed CPU time: 2.53361 s Remaining CPU time: 177.466 s c =============================================================================== c | 0 | 3992 4041 142733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21259 c Elapsed CPU time: 2.6376 s Remaining CPU time: 177.362 s c =============================================================================== c | 0 | 3992 4042 146583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21258 c Elapsed CPU time: 2.74358 s Remaining CPU time: 177.256 s c =============================================================================== c | 0 | 3992 4043 150433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21257 c Elapsed CPU time: 2.85757 s Remaining CPU time: 177.142 s c =============================================================================== c | 0 | 3992 4044 154283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21256 c Elapsed CPU time: 2.96655 s Remaining CPU time: 177.033 s c =============================================================================== c | 0 | 3992 4045 158133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21252 c Elapsed CPU time: 3.07753 s Remaining CPU time: 176.922 s c =============================================================================== c | 0 | 3992 4046 161983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21249 c Elapsed CPU time: 3.19051 s Remaining CPU time: 176.809 s c =============================================================================== c | 0 | 3992 4047 165833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21246 c Elapsed CPU time: 3.3075 s Remaining CPU time: 176.693 s c =============================================================================== c | 0 | 3992 4048 169683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21245 c Elapsed CPU time: 3.43048 s Remaining CPU time: 176.57 s c =============================================================================== c | 0 | 3992 4049 173533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21241 c Elapsed CPU time: 3.55346 s Remaining CPU time: 176.447 s c =============================================================================== c | 0 | 3992 4050 177383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21240 c Elapsed CPU time: 3.67844 s Remaining CPU time: 176.322 s c =============================================================================== c | 0 | 3992 4051 181233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21238 c Elapsed CPU time: 3.80842 s Remaining CPU time: 176.192 s c =============================================================================== c | 0 | 3992 4052 185083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21237 c Elapsed CPU time: 3.9394 s Remaining CPU time: 176.061 s c =============================================================================== c | 0 | 3992 4053 188933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21235 c Elapsed CPU time: 4.07538 s Remaining CPU time: 175.925 s c =============================================================================== c | 0 | 3992 4054 192783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21234 c Elapsed CPU time: 4.20836 s Remaining CPU time: 175.792 s c =============================================================================== c | 0 | 3992 4055 196633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21232 c Elapsed CPU time: 4.34234 s Remaining CPU time: 175.658 s c =============================================================================== c | 0 | 3992 4056 200483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21231 c Elapsed CPU time: 4.48132 s Remaining CPU time: 175.519 s c =============================================================================== c | 0 | 3992 4057 204333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21230 c Elapsed CPU time: 4.6243 s Remaining CPU time: 175.376 s c =============================================================================== c | 0 | 3992 4058 208183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21228 c Elapsed CPU time: 4.77027 s Remaining CPU time: 175.23 s c =============================================================================== c | 0 | 3992 4059 212033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21225 c Elapsed CPU time: 4.92025 s Remaining CPU time: 175.08 s c =============================================================================== c | 0 | 3992 4060 215883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21222 c Elapsed CPU time: 5.06723 s Remaining CPU time: 174.933 s c =============================================================================== c | 0 | 3992 4061 219733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21220 c Elapsed CPU time: 5.21521 s Remaining CPU time: 174.785 s c =============================================================================== c | 0 | 3992 4062 223583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21218 c Elapsed CPU time: 5.37118 s Remaining CPU time: 174.629 s c =============================================================================== c | 0 | 3992 4063 227433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21217 c Elapsed CPU time: 5.52416 s Remaining CPU time: 174.476 s c =============================================================================== c | 0 | 3992 4064 231283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21213 c Elapsed CPU time: 5.68914 s Remaining CPU time: 174.311 s c =============================================================================== c | 0 | 3992 4065 235133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21208 c Elapsed CPU time: 5.85311 s Remaining CPU time: 174.147 s c =============================================================================== c | 0 | 3992 4066 238983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21204 c Elapsed CPU time: 6.01509 s Remaining CPU time: 173.985 s c =============================================================================== c | 0 | 3992 4067 242833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21200 c Elapsed CPU time: 6.18306 s Remaining CPU time: 173.817 s c =============================================================================== c | 0 | 3992 4068 246683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21197 c Elapsed CPU time: 6.35603 s Remaining CPU time: 173.644 s c =============================================================================== c | 0 | 3992 4069 250533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21196 c Elapsed CPU time: 6.53301 s Remaining CPU time: 173.467 s c =============================================================================== c | 0 | 3992 4070 254383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21195 c Elapsed CPU time: 6.70598 s Remaining CPU time: 173.294 s c =============================================================================== c | 0 | 3992 4071 258233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21194 c Elapsed CPU time: 6.88295 s Remaining CPU time: 173.117 s c =============================================================================== c | 0 | 3992 4072 262083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21193 c Elapsed CPU time: 7.05993 s Remaining CPU time: 172.94 s c =============================================================================== c | 0 | 3992 4073 265933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21192 c Elapsed CPU time: 7.2409 s Remaining CPU time: 172.759 s c =============================================================================== c | 0 | 3992 4074 269783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21191 c Elapsed CPU time: 7.42687 s Remaining CPU time: 172.573 s c =============================================================================== c | 0 | 3992 4075 273633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21189 c Elapsed CPU time: 7.61584 s Remaining CPU time: 172.384 s c =============================================================================== c | 0 | 3992 4076 277483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21187 c Elapsed CPU time: 7.80381 s Remaining CPU time: 172.196 s c =============================================================================== c | 0 | 3992 4077 281333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21186 c Elapsed CPU time: 7.99478 s Remaining CPU time: 172.005 s c =============================================================================== c | 0 | 3992 4078 285183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21184 c Elapsed CPU time: 8.18975 s Remaining CPU time: 171.81 s c =============================================================================== c | 0 | 3992 4079 289033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21183 c Elapsed CPU time: 8.38172 s Remaining CPU time: 171.618 s c =============================================================================== c | 0 | 3992 4080 292883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21177 c Elapsed CPU time: 8.5747 s Remaining CPU time: 171.425 s c =============================================================================== c | 0 | 3992 4081 296733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21176 c Elapsed CPU time: 8.78366 s Remaining CPU time: 171.216 s c =============================================================================== c | 0 | 3992 4082 300583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21175 c Elapsed CPU time: 8.99363 s Remaining CPU time: 171.006 s c =============================================================================== c | 0 | 3992 4083 304433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21172 c Elapsed CPU time: 9.2036 s Remaining CPU time: 170.796 s c =============================================================================== c | 0 | 3992 4084 308283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21169 c Elapsed CPU time: 9.40657 s Remaining CPU time: 170.593 s c =============================================================================== c | 0 | 3992 4085 312133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21166 c Elapsed CPU time: 9.61854 s Remaining CPU time: 170.381 s c =============================================================================== c | 0 | 3992 4086 315983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21165 c Elapsed CPU time: 9.8425 s Remaining CPU time: 170.157 s c =============================================================================== c | 0 | 3992 4087 319833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21164 c Elapsed CPU time: 10.0655 s Remaining CPU time: 169.935 s c =============================================================================== c | 0 | 3992 4088 323683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21162 c Elapsed CPU time: 10.2914 s Remaining CPU time: 169.709 s c =============================================================================== c | 0 | 3992 4089 327533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21160 c Elapsed CPU time: 10.5184 s Remaining CPU time: 169.482 s c =============================================================================== c | 0 | 3992 4090 331383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21158 c Elapsed CPU time: 10.7494 s Remaining CPU time: 169.251 s c =============================================================================== c | 0 | 3992 4091 335233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21157 c Elapsed CPU time: 10.9883 s Remaining CPU time: 169.012 s c =============================================================================== c | 0 | 3992 4092 339083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21155 c Elapsed CPU time: 11.2263 s Remaining CPU time: 168.774 s c =============================================================================== c | 0 | 3992 4093 342933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21154 c Elapsed CPU time: 11.4713 s Remaining CPU time: 168.529 s c =============================================================================== c | 0 | 3992 4094 346783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21153 c Elapsed CPU time: 11.7162 s Remaining CPU time: 168.284 s c =============================================================================== c | 0 | 3992 4095 350633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21152 c Elapsed CPU time: 11.9532 s Remaining CPU time: 168.047 s c =============================================================================== c | 0 | 3992 4096 354483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21150 c Elapsed CPU time: 12.1961 s Remaining CPU time: 167.804 s c =============================================================================== c | 0 | 3992 4097 358333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21149 c Elapsed CPU time: 12.4361 s Remaining CPU time: 167.564 s c =============================================================================== c | 0 | 3992 4098 362183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21146 c Elapsed CPU time: 12.6801 s Remaining CPU time: 167.32 s c =============================================================================== c | 0 | 3992 4099 366033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21145 c Elapsed CPU time: 12.925 s Remaining CPU time: 167.075 s c =============================================================================== c | 0 | 3992 4100 369883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21142 c Elapsed CPU time: 13.179 s Remaining CPU time: 166.821 s c =============================================================================== c | 0 | 3992 4101 373733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21140 c Elapsed CPU time: 13.43 s Remaining CPU time: 166.57 s c =============================================================================== c | 0 | 3992 4102 377583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21138 c Elapsed CPU time: 13.6909 s Remaining CPU time: 166.309 s c =============================================================================== c | 0 | 3992 4103 381433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21137 c Elapsed CPU time: 13.9479 s Remaining CPU time: 166.052 s c =============================================================================== c | 0 | 3992 4104 385283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21135 c Elapsed CPU time: 14.2108 s Remaining CPU time: 165.789 s c =============================================================================== c | 0 | 3992 4105 389133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21132 c Elapsed CPU time: 14.4748 s Remaining CPU time: 165.525 s c =============================================================================== c | 0 | 3992 4106 392983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21126 c Elapsed CPU time: 14.7398 s Remaining CPU time: 165.26 s c =============================================================================== c | 0 | 3992 4107 396833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21122 c Elapsed CPU time: 15.0067 s Remaining CPU time: 164.993 s c =============================================================================== c | 0 | 3992 4108 400683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21119 c Elapsed CPU time: 15.2747 s Remaining CPU time: 164.725 s c =============================================================================== c | 0 | 3992 4109 404533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21114 c Elapsed CPU time: 15.5436 s Remaining CPU time: 164.456 s c =============================================================================== c | 0 | 3992 4110 408383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21112 c Elapsed CPU time: 15.8226 s Remaining CPU time: 164.177 s c =============================================================================== c | 0 | 3992 4111 412233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21111 c Elapsed CPU time: 16.0986 s Remaining CPU time: 163.901 s c =============================================================================== c | 0 | 3992 4112 416083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21108 c Elapsed CPU time: 16.3795 s Remaining CPU time: 163.62 s c =============================================================================== c | 0 | 3992 4113 419933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21106 c Elapsed CPU time: 16.6665 s Remaining CPU time: 163.334 s c =============================================================================== c | 0 | 3992 4114 423783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21104 c Elapsed CPU time: 16.9544 s Remaining CPU time: 163.046 s c =============================================================================== c | 0 | 3992 4115 427633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21103 c Elapsed CPU time: 17.2544 s Remaining CPU time: 162.746 s c =============================================================================== c | 0 | 3992 4116 431483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21102 c Elapsed CPU time: 17.5813 s Remaining CPU time: 162.419 s c =============================================================================== c | 0 | 3992 4117 435333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21100 c Elapsed CPU time: 17.9063 s Remaining CPU time: 162.094 s c =============================================================================== c | 0 | 3992 4118 439183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21099 c Elapsed CPU time: 18.2242 s Remaining CPU time: 161.776 s c =============================================================================== c | 0 | 3992 4119 443033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21098 c Elapsed CPU time: 18.5462 s Remaining CPU time: 161.454 s c =============================================================================== c | 0 | 3992 4120 446883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21096 c Elapsed CPU time: 18.8691 s Remaining CPU time: 161.131 s c =============================================================================== c | 0 | 3992 4121 450733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21095 c Elapsed CPU time: 19.2221 s Remaining CPU time: 160.778 s c =============================================================================== c | 0 | 3992 4122 454583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21093 c Elapsed CPU time: 19.569 s Remaining CPU time: 160.431 s c =============================================================================== c | 0 | 3992 4123 458433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21092 c Elapsed CPU time: 19.925 s Remaining CPU time: 160.075 s c =============================================================================== c | 0 | 3992 4124 462283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21091 c Elapsed CPU time: 20.2869 s Remaining CPU time: 159.713 s c =============================================================================== c | 0 | 3992 4125 466133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21090 c Elapsed CPU time: 20.6709 s Remaining CPU time: 159.329 s c =============================================================================== c | 0 | 3992 4126 469983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21088 c Elapsed CPU time: 21.0758 s Remaining CPU time: 158.924 s c =============================================================================== c | 0 | 3992 4127 473833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21086 c Elapsed CPU time: 21.4757 s Remaining CPU time: 158.524 s c =============================================================================== c | 0 | 3992 4128 477683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21085 c Elapsed CPU time: 21.8787 s Remaining CPU time: 158.121 s c =============================================================================== c | 0 | 3992 4129 481533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21083 c Elapsed CPU time: 22.2816 s Remaining CPU time: 157.718 s c =============================================================================== c | 0 | 3992 4130 485383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21082 c Elapsed CPU time: 22.6826 s Remaining CPU time: 157.317 s c =============================================================================== c | 0 | 3992 4131 489233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21081 c Elapsed CPU time: 23.0905 s Remaining CPU time: 156.91 s c =============================================================================== c | 0 | 3992 4132 493083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21079 c Elapsed CPU time: 23.5024 s Remaining CPU time: 156.498 s c =============================================================================== c | 0 | 3992 4133 496933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21078 c Elapsed CPU time: 23.9174 s Remaining CPU time: 156.083 s c =============================================================================== c | 0 | 3992 4134 500783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21077 c Elapsed CPU time: 24.3373 s Remaining CPU time: 155.663 s c =============================================================================== c | 0 | 3992 4135 504633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21076 c Elapsed CPU time: 24.7552 s Remaining CPU time: 155.245 s c =============================================================================== c | 0 | 3992 4136 508483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21075 c Elapsed CPU time: 25.1712 s Remaining CPU time: 154.829 s c =============================================================================== c | 0 | 3992 4137 512333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21073 c Elapsed CPU time: 25.5841 s Remaining CPU time: 154.416 s c =============================================================================== c | 0 | 3992 4138 516183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21071 c Elapsed CPU time: 26.008 s Remaining CPU time: 153.992 s c =============================================================================== c | 0 | 3992 4139 520033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21070 c Elapsed CPU time: 26.44 s Remaining CPU time: 153.56 s c =============================================================================== c | 0 | 3992 4140 523883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21069 c Elapsed CPU time: 26.8559 s Remaining CPU time: 153.144 s c =============================================================================== c | 0 | 3992 4141 527733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21068 c Elapsed CPU time: 27.2839 s Remaining CPU time: 152.716 s c =============================================================================== c | 0 | 3992 4142 531583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21067 c Elapsed CPU time: 27.7008 s Remaining CPU time: 152.299 s c =============================================================================== c | 0 | 3992 4143 535433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21066 c Elapsed CPU time: 28.1237 s Remaining CPU time: 151.876 s c =============================================================================== c | 0 | 3992 4144 539283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21065 c Elapsed CPU time: 28.5517 s Remaining CPU time: 151.448 s c =============================================================================== c | 0 | 3992 4145 543133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21064 c Elapsed CPU time: 28.9906 s Remaining CPU time: 151.009 s c =============================================================================== c | 0 | 3992 4146 546983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21063 c Elapsed CPU time: 29.4225 s Remaining CPU time: 150.577 s c =============================================================================== c | 0 | 3992 4147 550833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21059 c Elapsed CPU time: 29.8615 s Remaining CPU time: 150.139 s c =============================================================================== c | 0 | 3992 4148 554683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21058 c Elapsed CPU time: 30.2994 s Remaining CPU time: 149.701 s c =============================================================================== c | 0 | 3992 4149 558533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21057 c Elapsed CPU time: 30.7343 s Remaining CPU time: 149.266 s c =============================================================================== c | 0 | 3992 4150 562383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21056 c Elapsed CPU time: 31.1733 s Remaining CPU time: 148.827 s c =============================================================================== c | 0 | 3992 4151 566233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21054 c Elapsed CPU time: 31.6152 s Remaining CPU time: 148.385 s c =============================================================================== c | 0 | 3992 4152 570083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21051 c Elapsed CPU time: 32.0501 s Remaining CPU time: 147.95 s c =============================================================================== c | 0 | 3992 4153 573933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21050 c Elapsed CPU time: 32.5021 s Remaining CPU time: 147.498 s c =============================================================================== c | 0 | 3992 4154 577783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21049 c Elapsed CPU time: 32.942 s Remaining CPU time: 147.058 s c =============================================================================== c | 0 | 3992 4155 581633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21046 c Elapsed CPU time: 33.3889 s Remaining CPU time: 146.611 s c =============================================================================== c | 0 | 3992 4156 585483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21045 c Elapsed CPU time: 33.8399 s Remaining CPU time: 146.16 s c =============================================================================== c | 0 | 3992 4157 589333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21044 c Elapsed CPU time: 34.2938 s Remaining CPU time: 145.706 s c =============================================================================== c | 0 | 3992 4158 593183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21043 c Elapsed CPU time: 34.7387 s Remaining CPU time: 145.261 s c =============================================================================== c | 0 | 3992 4159 597033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21042 c Elapsed CPU time: 35.1887 s Remaining CPU time: 144.811 s c =============================================================================== c | 0 | 3992 4160 600883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21041 c Elapsed CPU time: 35.6526 s Remaining CPU time: 144.347 s c =============================================================================== c | 0 | 3992 4161 604733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21040 c Elapsed CPU time: 36.1225 s Remaining CPU time: 143.877 s c =============================================================================== c | 0 | 3992 4162 608583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21039 c Elapsed CPU time: 36.6024 s Remaining CPU time: 143.398 s c =============================================================================== c | 0 | 3992 4163 612433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21038 c Elapsed CPU time: 37.0744 s Remaining CPU time: 142.926 s c =============================================================================== c | 0 | 3992 4164 616283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21037 c Elapsed CPU time: 37.5623 s Remaining CPU time: 142.438 s c =============================================================================== c | 0 | 3992 4165 620133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21036 c Elapsed CPU time: 38.0252 s Remaining CPU time: 141.975 s c =============================================================================== c | 0 | 3992 4166 623983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21035 c Elapsed CPU time: 38.4961 s Remaining CPU time: 141.504 s c =============================================================================== c | 0 | 3992 4167 627833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21034 c Elapsed CPU time: 38.9761 s Remaining CPU time: 141.024 s c =============================================================================== c | 0 | 3992 4168 631683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21033 c Elapsed CPU time: 39.455 s Remaining CPU time: 140.545 s c =============================================================================== c | 0 | 3992 4169 635533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21032 c Elapsed CPU time: 39.9709 s Remaining CPU time: 140.029 s c =============================================================================== c | 0 | 3992 4170 639383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21031 c Elapsed CPU time: 40.4708 s Remaining CPU time: 139.529 s c =============================================================================== c | 0 | 3992 4171 643233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21028 c Elapsed CPU time: 40.9538 s Remaining CPU time: 139.046 s c =============================================================================== c | 0 | 3992 4172 647083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21027 c Elapsed CPU time: 41.4547 s Remaining CPU time: 138.545 s c =============================================================================== c | 0 | 3992 4173 650933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21026 c Elapsed CPU time: 41.9476 s Remaining CPU time: 138.052 s c =============================================================================== c | 0 | 3992 4174 654783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21025 c Elapsed CPU time: 42.4495 s Remaining CPU time: 137.55 s c =============================================================================== c | 0 | 3992 4175 658633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21024 c Elapsed CPU time: 42.9585 s Remaining CPU time: 137.042 s c =============================================================================== c | 0 | 3992 4176 662483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21023 c Elapsed CPU time: 43.4654 s Remaining CPU time: 136.535 s c =============================================================================== c | 0 | 3992 4177 666333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21022 c Elapsed CPU time: 43.9903 s Remaining CPU time: 136.01 s c =============================================================================== c | 0 | 3992 4178 670183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21021 c Elapsed CPU time: 44.5202 s Remaining CPU time: 135.48 s c =============================================================================== c | 0 | 3992 4179 674033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21020 c Elapsed CPU time: 45.0482 s Remaining CPU time: 134.952 s c =============================================================================== c | 0 | 3992 4180 677883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21018 c Elapsed CPU time: 45.5661 s Remaining CPU time: 134.434 s c =============================================================================== c | 0 | 3992 4181 681733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21016 c Elapsed CPU time: 46.084 s Remaining CPU time: 133.916 s c =============================================================================== c | 0 | 3992 4182 685583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21014 c Elapsed CPU time: 46.6029 s Remaining CPU time: 133.397 s c =============================================================================== c | 0 | 3992 4183 689433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21013 c Elapsed CPU time: 47.1198 s Remaining CPU time: 132.88 s c =============================================================================== c | 0 | 3992 4184 693283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21012 c Elapsed CPU time: 47.6218 s Remaining CPU time: 132.378 s c =============================================================================== c | 0 | 3992 4185 697133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21011 c Elapsed CPU time: 48.1407 s Remaining CPU time: 131.859 s c =============================================================================== c | 0 | 3992 4186 700983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21010 c Elapsed CPU time: 48.6526 s Remaining CPU time: 131.347 s c =============================================================================== c | 0 | 3992 4187 704833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21009 c Elapsed CPU time: 49.1715 s Remaining CPU time: 130.828 s c =============================================================================== c | 0 | 3992 4188 708683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21007 c Elapsed CPU time: 49.6754 s Remaining CPU time: 130.325 s c =============================================================================== c | 0 | 3992 4189 712533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21006 c Elapsed CPU time: 50.1874 s Remaining CPU time: 129.813 s c =============================================================================== c | 0 | 3992 4190 716383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21005 c Elapsed CPU time: 50.7113 s Remaining CPU time: 129.289 s c =============================================================================== c | 0 | 3992 4191 720233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21004 c Elapsed CPU time: 51.2192 s Remaining CPU time: 128.781 s c =============================================================================== c | 0 | 3992 4192 724083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21003 c Elapsed CPU time: 51.7441 s Remaining CPU time: 128.256 s c =============================================================================== c | 0 | 3992 4193 727933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21002 c Elapsed CPU time: 52.2761 s Remaining CPU time: 127.724 s c =============================================================================== c | 0 | 3992 4194 731783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21000 c Elapsed CPU time: 52.78 s Remaining CPU time: 127.22 s c =============================================================================== c | 0 | 3992 4195 735633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20998 c Elapsed CPU time: 53.2889 s Remaining CPU time: 126.711 s c =============================================================================== c | 0 | 3992 4196 739483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20997 c Elapsed CPU time: 53.7988 s Remaining CPU time: 126.201 s c =============================================================================== c | 0 | 3992 4197 743333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20996 c Elapsed CPU time: 54.3247 s Remaining CPU time: 125.675 s c =============================================================================== c | 0 | 3992 4198 747183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20995 c Elapsed CPU time: 54.8577 s Remaining CPU time: 125.142 s c =============================================================================== c | 0 | 3992 4199 751033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20994 c Elapsed CPU time: 55.3756 s Remaining CPU time: 124.624 s c =============================================================================== c | 0 | 3992 4200 754883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20993 c Elapsed CPU time: 55.9035 s Remaining CPU time: 124.096 s c =============================================================================== c | 0 | 3992 4201 758733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20992 c Elapsed CPU time: 56.4464 s Remaining CPU time: 123.554 s c =============================================================================== c | 0 | 3992 4202 762583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20991 c Elapsed CPU time: 56.9933 s Remaining CPU time: 123.007 s c =============================================================================== c | 0 | 3992 4203 766433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20989 c Elapsed CPU time: 57.5233 s Remaining CPU time: 122.477 s c =============================================================================== c | 0 | 3992 4204 770283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20988 c Elapsed CPU time: 58.0662 s Remaining CPU time: 121.934 s c =============================================================================== c | 0 | 3992 4205 774133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20986 c Elapsed CPU time: 58.5961 s Remaining CPU time: 121.404 s c =============================================================================== c | 0 | 3992 4206 777983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20985 c Elapsed CPU time: 59.131 s Remaining CPU time: 120.869 s c =============================================================================== c | 0 | 3992 4207 781833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20984 c Elapsed CPU time: 59.6709 s Remaining CPU time: 120.329 s c =============================================================================== c | 0 | 3992 4208 785683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20983 c Elapsed CPU time: 60.2118 s Remaining CPU time: 119.788 s c =============================================================================== c | 0 | 3992 4209 789533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20982 c Elapsed CPU time: 60.7618 s Remaining CPU time: 119.238 s c =============================================================================== c | 0 | 3992 4210 793383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20981 c Elapsed CPU time: 61.3117 s Remaining CPU time: 118.688 s c =============================================================================== c | 0 | 3992 4211 797233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20978 c Elapsed CPU time: 61.8626 s Remaining CPU time: 118.137 s c =============================================================================== c | 0 | 3992 4212 801083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20977 c Elapsed CPU time: 62.4385 s Remaining CPU time: 117.561 s c =============================================================================== c | 0 | 3992 4213 804933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20976 c Elapsed CPU time: 62.9944 s Remaining CPU time: 117.006 s c =============================================================================== c | 0 | 3992 4214 808783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20975 c Elapsed CPU time: 63.5623 s Remaining CPU time: 116.438 s c =============================================================================== c | 0 | 3992 4215 812633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20974 c Elapsed CPU time: 64.1392 s Remaining CPU time: 115.861 s c =============================================================================== c | 0 | 3992 4216 816483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20972 c Elapsed CPU time: 64.7112 s Remaining CPU time: 115.289 s c =============================================================================== c | 0 | 3992 4217 820333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20970 c Elapsed CPU time: 65.2831 s Remaining CPU time: 114.717 s c =============================================================================== c | 0 | 3992 4218 824183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20969 c Elapsed CPU time: 65.858 s Remaining CPU time: 114.142 s c =============================================================================== c | 0 | 3992 4219 828033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20967 c Elapsed CPU time: 66.4299 s Remaining CPU time: 113.57 s c =============================================================================== c | 0 | 3992 4220 831883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20965 c Elapsed CPU time: 67.0328 s Remaining CPU time: 112.967 s c =============================================================================== c | 0 | 3992 4221 835733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20964 c Elapsed CPU time: 67.6517 s Remaining CPU time: 112.348 s c =============================================================================== c | 0 | 3992 4222 839583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20963 c Elapsed CPU time: 68.2656 s Remaining CPU time: 111.734 s c =============================================================================== c | 0 | 3992 4223 843433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20962 c Elapsed CPU time: 68.8725 s Remaining CPU time: 111.127 s c =============================================================================== c | 0 | 3992 4224 847283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20961 c Elapsed CPU time: 69.4674 s Remaining CPU time: 110.533 s c =============================================================================== c | 0 | 3992 4225 851133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20960 c Elapsed CPU time: 70.0653 s Remaining CPU time: 109.935 s c =============================================================================== c | 0 | 3992 4226 854983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20959 c Elapsed CPU time: 70.6773 s Remaining CPU time: 109.323 s c =============================================================================== c | 0 | 3992 4227 858833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20958 c Elapsed CPU time: 71.2782 s Remaining CPU time: 108.722 s c =============================================================================== c | 0 | 3992 4228 862683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20957 c Elapsed CPU time: 71.8811 s Remaining CPU time: 108.119 s c =============================================================================== c | 0 | 3992 4229 866533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20956 c Elapsed CPU time: 72.497 s Remaining CPU time: 107.503 s c =============================================================================== c | 0 | 3992 4230 870383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20955 c Elapsed CPU time: 73.1129 s Remaining CPU time: 106.887 s c =============================================================================== c | 0 | 3992 4231 874233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20953 c Elapsed CPU time: 73.7238 s Remaining CPU time: 106.276 s c =============================================================================== c | 0 | 3992 4232 878083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20952 c Elapsed CPU time: 74.3227 s Remaining CPU time: 105.677 s c =============================================================================== c | 0 | 3992 4233 881933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20950 c Elapsed CPU time: 74.9636 s Remaining CPU time: 105.036 s c =============================================================================== c | 0 | 3992 4234 885783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20948 c Elapsed CPU time: 75.5915 s Remaining CPU time: 104.408 s c =============================================================================== c | 0 | 3992 4235 889633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20947 c Elapsed CPU time: 76.2404 s Remaining CPU time: 103.76 s c =============================================================================== c | 0 | 3992 4236 893483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20946 c Elapsed CPU time: 76.8683 s Remaining CPU time: 103.132 s c =============================================================================== c | 0 | 3992 4237 897333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20945 c Elapsed CPU time: 77.4962 s Remaining CPU time: 102.504 s c =============================================================================== c | 0 | 3992 4238 901183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20944 c Elapsed CPU time: 78.1451 s Remaining CPU time: 101.855 s c =============================================================================== c | 0 | 3992 4239 905033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20940 c Elapsed CPU time: 78.784 s Remaining CPU time: 101.216 s c =============================================================================== c | 0 | 3992 4240 908883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20938 c Elapsed CPU time: 79.4329 s Remaining CPU time: 100.567 s c =============================================================================== c | 0 | 3992 4241 912733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20937 c Elapsed CPU time: 80.0858 s Remaining CPU time: 99.9142 s c =============================================================================== c | 0 | 3992 4242 916583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20935 c Elapsed CPU time: 80.7257 s Remaining CPU time: 99.2743 s c =============================================================================== c | 0 | 3992 4243 920433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20934 c Elapsed CPU time: 81.3916 s Remaining CPU time: 98.6084 s c =============================================================================== c | 0 | 3992 4244 924283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20933 c Elapsed CPU time: 82.0445 s Remaining CPU time: 97.9555 s c =============================================================================== c | 0 | 3992 4245 928133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20929 c Elapsed CPU time: 82.6934 s Remaining CPU time: 97.3066 s c =============================================================================== c | 0 | 3992 4246 931983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20928 c Elapsed CPU time: 83.3713 s Remaining CPU time: 96.6287 s c =============================================================================== c | 0 | 3992 4247 935833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20927 c Elapsed CPU time: 84.0522 s Remaining CPU time: 95.9478 s c =============================================================================== c | 0 | 3992 4248 939683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20926 c Elapsed CPU time: 84.7451 s Remaining CPU time: 95.2549 s c =============================================================================== c | 0 | 3992 4249 943533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20925 c Elapsed CPU time: 85.469 s Remaining CPU time: 94.531 s c =============================================================================== c | 0 | 3992 4250 947383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20924 c Elapsed CPU time: 86.1659 s Remaining CPU time: 93.8341 s c =============================================================================== c | 0 | 3992 4251 951233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20923 c Elapsed CPU time: 86.8878 s Remaining CPU time: 93.1122 s c =============================================================================== c | 0 | 3992 4252 955083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20922 c Elapsed CPU time: 87.5977 s Remaining CPU time: 92.4023 s c =============================================================================== c | 0 | 3992 4253 958933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20921 c Elapsed CPU time: 88.3146 s Remaining CPU time: 91.6854 s c =============================================================================== c | 0 | 3992 4254 962783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20920 c Elapsed CPU time: 89.0255 s Remaining CPU time: 90.9745 s c =============================================================================== c | 0 | 3992 4255 966633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20919 c Elapsed CPU time: 89.7614 s Remaining CPU time: 90.2386 s c =============================================================================== c | 0 | 3992 4256 970483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20916 c Elapsed CPU time: 90.4872 s Remaining CPU time: 89.5128 s c =============================================================================== c | 0 | 3992 4257 974333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20915 c Elapsed CPU time: 91.2221 s Remaining CPU time: 88.7779 s c =============================================================================== c | 0 | 3992 4258 978183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20914 c Elapsed CPU time: 91.962 s Remaining CPU time: 88.038 s c =============================================================================== c | 0 | 3992 4259 982033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20912 c Elapsed CPU time: 92.6829 s Remaining CPU time: 87.3171 s c =============================================================================== c | 0 | 3992 4260 985883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20910 c Elapsed CPU time: 93.4018 s Remaining CPU time: 86.5982 s c =============================================================================== c | 0 | 3992 4261 989733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20908 c Elapsed CPU time: 94.1317 s Remaining CPU time: 85.8683 s c =============================================================================== c | 0 | 3992 4262 993583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20907 c Elapsed CPU time: 94.8856 s Remaining CPU time: 85.1144 s c =============================================================================== c | 0 | 3992 4263 997433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20906 c Elapsed CPU time: 95.6145 s Remaining CPU time: 84.3855 s c =============================================================================== c | 1 | 3992 4264 1001283 | 5000 1 3788 | 0.000 % | c =============================================================================== c New solution: 20905 c Elapsed CPU time: 96.3574 s Remaining CPU time: 83.6426 s c =============================================================================== c | 1 | 3992 4265 1005133 | 5000 1 3788 | 0.000 % | c =============================================================================== c New solution: 20904 c Elapsed CPU time: 97.1402 s Remaining CPU time: 82.8598 s c =============================================================================== c | 1 | 3992 4266 1008983 | 5000 1 3788 | 0.000 % | c =============================================================================== c New solution: 20902 c Elapsed CPU time: 97.9701 s Remaining CPU time: 82.0299 s c =============================================================================== c | 1 | 3992 4267 1012833 | 5000 1 3788 | 0.000 % | c =============================================================================== c New solution: 20901 c Elapsed CPU time: 98.746 s Remaining CPU time: 81.254 s c =============================================================================== c | 2 | 3992 4268 1016683 | 5000 2 1895 | 0.000 % | c =============================================================================== c New solution: 20900 c Elapsed CPU time: 99.5479 s Remaining CPU time: 80.4521 s c =============================================================================== c | 2 | 3992 4269 1020533 | 5000 2 1895 | 0.000 % | c =============================================================================== c New solution: 20899 c Elapsed CPU time: 100.303 s Remaining CPU time: 79.6972 s c =============================================================================== c | 2 | 3992 4270 1024383 | 5000 2 1895 | 0.000 % | c =============================================================================== c New solution: 20898 c Elapsed CPU time: 101.044 s Remaining CPU time: 78.9564 s c =============================================================================== c | 2 | 3992 4271 1028233 | 5000 2 1895 | 0.000 % | c =============================================================================== c New solution: 20897 c Elapsed CPU time: 101.807 s Remaining CPU time: 78.1935 s c =============================================================================== c | 2 | 3992 4272 1032083 | 5000 2 1895 | 0.000 % | c =============================================================================== c New solution: 20896 c Elapsed CPU time: 102.544 s Remaining CPU time: 77.4556 s c =============================================================================== c | 2 | 3992 4273 1035933 | 5000 2 1895 | 0.000 % | c =============================================================================== c New solution: 20895 c Elapsed CPU time: 103.281 s Remaining CPU time: 76.7187 s c =============================================================================== c | 4 | 3992 4274 1039783 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20894 c Elapsed CPU time: 104.015 s Remaining CPU time: 75.9848 s c =============================================================================== c | 4 | 3992 4275 1043633 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20893 c Elapsed CPU time: 104.748 s Remaining CPU time: 75.2519 s c =============================================================================== c | 4 | 3992 4276 1047483 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20892 c Elapsed CPU time: 105.487 s Remaining CPU time: 74.513 s c =============================================================================== c | 4 | 3992 4277 1051333 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20891 c Elapsed CPU time: 106.236 s Remaining CPU time: 73.7642 s c =============================================================================== c | 4 | 3992 4278 1055183 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20890 c Elapsed CPU time: 106.976 s Remaining CPU time: 73.0243 s c =============================================================================== c | 4 | 3992 4279 1059033 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20889 c Elapsed CPU time: 107.698 s Remaining CPU time: 72.3024 s c =============================================================================== c | 4 | 3992 4280 1062883 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20888 c Elapsed CPU time: 108.452 s Remaining CPU time: 71.5485 s c =============================================================================== c | 4 | 3992 4281 1066733 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20886 c Elapsed CPU time: 109.203 s Remaining CPU time: 70.7966 s c =============================================================================== c | 4 | 3992 4282 1070583 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20885 c Elapsed CPU time: 109.937 s Remaining CPU time: 70.0627 s c =============================================================================== c | 4 | 3992 4283 1074433 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20884 c Elapsed CPU time: 110.685 s Remaining CPU time: 69.3148 s c =============================================================================== c | 4 | 3992 4284 1078283 | 5000 4 2840 | 0.000 % | c =============================================================================== c New solution: 20883 c Elapsed CPU time: 111.447 s Remaining CPU time: 68.5529 s c =============================================================================== c | 5 | 3992 4285 1082133 | 5000 5 3029 | 0.000 % | c =============================================================================== c New solution: 20882 c Elapsed CPU time: 112.202 s Remaining CPU time: 67.7981 s c =============================================================================== c | 5 | 3992 4286 1085983 | 5000 5 3029 | 0.000 % | c =============================================================================== c New solution: 20881 c Elapsed CPU time: 112.99 s Remaining CPU time: 67.0102 s c =============================================================================== c | 11 | 3992 4287 1089833 | 5000 11 3440 | 0.000 % | c =============================================================================== c New solution: 20880 c Elapsed CPU time: 113.855 s Remaining CPU time: 66.1453 s c =============================================================================== c | 11 | 3992 4288 1093683 | 5000 11 3440 | 0.000 % | c =============================================================================== c New solution: 20879 c Elapsed CPU time: 114.852 s Remaining CPU time: 65.1485 s c =============================================================================== c | 11 | 3992 4289 1097533 | 5000 11 3440 | 0.000 % | c =============================================================================== c New solution: 20878 c Elapsed CPU time: 115.812 s Remaining CPU time: 64.1876 s c =============================================================================== c | 21 | 3992 4290 1101383 | 5000 21 3603 | 0.000 % | c =============================================================================== c New solution: 20877 c Elapsed CPU time: 116.702 s Remaining CPU time: 63.2977 s c =============================================================================== c | 23 | 3992 4291 1105233 | 5000 23 3619 | 0.000 % | c =============================================================================== c New solution: 20876 c Elapsed CPU time: 117.631 s Remaining CPU time: 62.3689 s c =============================================================================== c | 23 | 3992 4292 1109083 | 5000 23 3619 | 0.000 % | c =============================================================================== c New solution: 20875 c Elapsed CPU time: 118.515 s Remaining CPU time: 61.485 s c =============================================================================== c | 23 | 3992 4293 1112933 | 5000 23 3619 | 0.000 % | c =============================================================================== c New solution: 20874 c Elapsed CPU time: 119.352 s Remaining CPU time: 60.6481 s c =============================================================================== c | 23 | 3992 4294 1116783 | 5000 23 3619 | 0.000 % | c =============================================================================== c New solution: 20873 c Elapsed CPU time: 120.2 s Remaining CPU time: 59.8003 s c =============================================================================== c | 28 | 3992 4295 1120633 | 5000 28 3648 | 0.000 % | c =============================================================================== c New solution: 20872 c Elapsed CPU time: 121.079 s Remaining CPU time: 58.9214 s c =============================================================================== c | 28 | 3992 4296 1124483 | 5000 28 3648 | 0.000 % | c =============================================================================== c New solution: 20871 c Elapsed CPU time: 121.951 s Remaining CPU time: 58.0485 s c =============================================================================== c | 28 | 3992 4297 1128333 | 5000 28 3648 | 0.000 % | c =============================================================================== c New solution: 20870 c Elapsed CPU time: 122.848 s Remaining CPU time: 57.1517 s c =============================================================================== c | 28 | 3992 4298 1132183 | 5000 28 3648 | 0.000 % | c =============================================================================== c New solution: 20869 c Elapsed CPU time: 123.8 s Remaining CPU time: 56.1998 s c =============================================================================== c | 28 | 3992 4299 1136033 | 5000 28 3648 | 0.000 % | c =============================================================================== c New solution: 20868 c Elapsed CPU time: 124.7 s Remaining CPU time: 55.3 s c =============================================================================== c | 28 | 3992 4300 1139883 | 5000 28 3648 | 0.000 % | c =============================================================================== c New solution: 20867 c Elapsed CPU time: 125.627 s Remaining CPU time: 54.3731 s c =============================================================================== c | 32 | 3992 4301 1143733 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20866 c Elapsed CPU time: 126.581 s Remaining CPU time: 53.4192 s c =============================================================================== c | 36 | 3992 4302 1147583 | 5000 36 3677 | 0.000 % | c =============================================================================== c New solution: 20865 c Elapsed CPU time: 127.461 s Remaining CPU time: 52.5394 s c =============================================================================== c | 36 | 3992 4303 1151433 | 5000 36 3677 | 0.000 % | c =============================================================================== c New solution: 20864 c Elapsed CPU time: 128.333 s Remaining CPU time: 51.6665 s c =============================================================================== c | 36 | 3992 4304 1155283 | 5000 36 3677 | 0.000 % | c =============================================================================== c New solution: 20863 c Elapsed CPU time: 129.211 s Remaining CPU time: 50.7886 s c =============================================================================== c | 36 | 3992 4305 1159133 | 5000 36 3677 | 0.000 % | c =============================================================================== c New solution: 20862 c Elapsed CPU time: 130.057 s Remaining CPU time: 49.9428 s c =============================================================================== c | 36 | 3992 4306 1162983 | 5000 36 3677 | 0.000 % | c =============================================================================== c New solution: 20861 c Elapsed CPU time: 130.944 s Remaining CPU time: 49.0559 s c =============================================================================== c | 36 | 3992 4307 1166833 | 5000 36 3677 | 0.000 % | c =============================================================================== c New solution: 20860 c Elapsed CPU time: 131.795 s Remaining CPU time: 48.205 s c =============================================================================== c | 40 | 3992 4308 1170683 | 5000 40 3687 | 0.000 % | c =============================================================================== c New solution: 20859 c Elapsed CPU time: 132.606 s Remaining CPU time: 47.3942 s c =============================================================================== c | 41 | 3992 4309 1174533 | 5000 41 3598 | 0.000 % | c =============================================================================== c New solution: 20858 c Elapsed CPU time: 133.429 s Remaining CPU time: 46.5713 s c =============================================================================== c | 41 | 3992 4310 1178383 | 5000 41 3598 | 0.000 % | c =============================================================================== c New solution: 20857 c Elapsed CPU time: 134.254 s Remaining CPU time: 45.7464 s c =============================================================================== c | 41 | 3992 4311 1182233 | 5000 41 3598 | 0.000 % | c =============================================================================== c New solution: 20856 c Elapsed CPU time: 135.118 s Remaining CPU time: 44.8815 s c =============================================================================== c | 41 | 3992 4312 1186083 | 5000 41 3598 | 0.000 % | c =============================================================================== c New solution: 20855 c Elapsed CPU time: 135.981 s Remaining CPU time: 44.0187 s c =============================================================================== c | 41 | 3992 4313 1189933 | 5000 41 3598 | 0.000 % | c =============================================================================== c New solution: 20854 c Elapsed CPU time: 136.864 s Remaining CPU time: 43.1358 s c =============================================================================== c | 45 | 3992 4314 1193783 | 5000 45 3613 | 0.000 % | c =============================================================================== c New solution: 20853 c Elapsed CPU time: 137.78 s Remaining CPU time: 42.2199 s c =============================================================================== c | 45 | 3992 4315 1197633 | 5000 45 3613 | 0.000 % | c =============================================================================== c New solution: 20852 c Elapsed CPU time: 138.671 s Remaining CPU time: 41.3291 s c =============================================================================== c | 45 | 3992 4316 1201483 | 5000 45 3613 | 0.000 % | c =============================================================================== c New solution: 20851 c Elapsed CPU time: 139.562 s Remaining CPU time: 40.4382 s c =============================================================================== c | 45 | 3992 4317 1205333 | 5000 45 3613 | 0.000 % | c =============================================================================== c New solution: 20850 c Elapsed CPU time: 140.485 s Remaining CPU time: 39.5154 s c =============================================================================== c | 45 | 3992 4318 1209183 | 5000 45 3613 | 0.000 % | c =============================================================================== c New solution: 20849 c Elapsed CPU time: 141.44 s Remaining CPU time: 38.5595 s c =============================================================================== c | 45 | 3992 4319 1213033 | 5000 45 3613 | 0.000 % | c =============================================================================== c New solution: 20848 c Elapsed CPU time: 142.347 s Remaining CPU time: 37.6526 s c =============================================================================== c | 45 | 3992 4320 1216883 | 5000 45 3613 | 0.000 % | c =============================================================================== c New solution: 20847 c Elapsed CPU time: 143.205 s Remaining CPU time: 36.7948 s c =============================================================================== c | 52 | 3992 4321 1220733 | 5000 52 3635 | 0.000 % | c =============================================================================== c New solution: 20846 c Elapsed CPU time: 144.091 s Remaining CPU time: 35.9089 s c =============================================================================== c | 52 | 3992 4322 1224583 | 5000 52 3635 | 0.000 % | c =============================================================================== c New solution: 20845 c Elapsed CPU time: 144.988 s Remaining CPU time: 35.012 s c =============================================================================== c | 52 | 3992 4323 1228433 | 5000 52 3635 | 0.000 % | c =============================================================================== c New solution: 20844 c Elapsed CPU time: 145.876 s Remaining CPU time: 34.1242 s c =============================================================================== c | 52 | 3992 4324 1232283 | 5000 52 3635 | 0.000 % | c =============================================================================== c New solution: 20843 c Elapsed CPU time: 146.891 s Remaining CPU time: 33.1093 s c =============================================================================== c | 56 | 3992 4325 1236133 | 5000 56 3646 | 0.000 % | c =============================================================================== c New solution: 20842 c Elapsed CPU time: 147.844 s Remaining CPU time: 32.1565 s c =============================================================================== c | 56 | 3992 4326 1239983 | 5000 56 3646 | 0.000 % | c =============================================================================== c New solution: 20841 c Elapsed CPU time: 148.775 s Remaining CPU time: 31.2246 s c =============================================================================== c | 56 | 3992 4327 1243833 | 5000 56 3646 | 0.000 % | c =============================================================================== c New solution: 20840 c Elapsed CPU time: 149.733 s Remaining CPU time: 30.2668 s c =============================================================================== c | 57 | 3992 4328 1247683 | 5000 57 3648 | 0.000 % | c =============================================================================== c New solution: 20839 c Elapsed CPU time: 150.683 s Remaining CPU time: 29.3169 s c =============================================================================== c | 57 | 3992 4329 1251533 | 5000 57 3648 | 0.000 % | c =============================================================================== c New solution: 20838 c Elapsed CPU time: 151.69 s Remaining CPU time: 28.3101 s c =============================================================================== c | 60 | 3992 4330 1255383 | 5000 60 3654 | 0.000 % | c =============================================================================== c New solution: 20837 c Elapsed CPU time: 152.657 s Remaining CPU time: 27.3432 s c =============================================================================== c | 60 | 3992 4331 1259233 | 5000 60 3654 | 0.000 % | c =============================================================================== c New solution: 20836 c Elapsed CPU time: 153.606 s Remaining CPU time: 26.3944 s c =============================================================================== c | 60 | 3992 4332 1263083 | 5000 60 3654 | 0.000 % | c =============================================================================== c New solution: 20835 c Elapsed CPU time: 154.574 s Remaining CPU time: 25.4265 s c =============================================================================== c | 61 | 3992 4333 1266933 | 5000 61 3656 | 0.000 % | c =============================================================================== c New solution: 20834 c Elapsed CPU time: 155.486 s Remaining CPU time: 24.5136 s c =============================================================================== c | 62 | 3992 4334 1270783 | 5000 62 3658 | 0.000 % | c =============================================================================== c New solution: 20833 c Elapsed CPU time: 156.39 s Remaining CPU time: 23.6098 s c =============================================================================== c | 62 | 3992 4335 1274633 | 5000 62 3658 | 0.000 % | c =============================================================================== c New solution: 20832 c Elapsed CPU time: 157.506 s Remaining CPU time: 22.4939 s c =============================================================================== c | 69 | 3992 4336 1278483 | 5000 69 3670 | 0.000 % | c =============================================================================== c New solution: 20831 c Elapsed CPU time: 158.465 s Remaining CPU time: 21.5351 s c =============================================================================== c | 69 | 3992 4337 1282333 | 5000 69 3670 | 0.000 % | c =============================================================================== c New solution: 20830 c Elapsed CPU time: 159.435 s Remaining CPU time: 20.5652 s c =============================================================================== c | 69 | 3992 4338 1286183 | 5000 69 3670 | 0.000 % | c =============================================================================== c New solution: 20829 c Elapsed CPU time: 160.354 s Remaining CPU time: 19.6464 s c =============================================================================== c | 69 | 3992 4339 1290033 | 5000 69 3670 | 0.000 % | c =============================================================================== c New solution: 20828 c Elapsed CPU time: 161.294 s Remaining CPU time: 18.7055 s c =============================================================================== c | 69 | 3992 4340 1293883 | 5000 69 3670 | 0.000 % | c =============================================================================== c New solution: 20827 c Elapsed CPU time: 162.232 s Remaining CPU time: 17.7677 s c =============================================================================== c | 73 | 3992 4341 1297733 | 5000 73 3676 | 0.000 % | c =============================================================================== c New solution: 20826 c Elapsed CPU time: 163.287 s Remaining CPU time: 16.7128 s c =============================================================================== c | 73 | 3992 4342 1301583 | 5000 73 3676 | 0.000 % | c =============================================================================== c New solution: 20825 c Elapsed CPU time: 164.408 s Remaining CPU time: 15.592 s c =============================================================================== c | 73 | 3992 4343 1305433 | 5000 73 3676 | 0.000 % | c =============================================================================== c New solution: 20824 c Elapsed CPU time: 165.436 s Remaining CPU time: 14.5642 s c =============================================================================== c | 78 | 3992 4344 1309283 | 5000 78 3682 | 0.000 % | c =============================================================================== c New solution: 20823 c Elapsed CPU time: 166.471 s Remaining CPU time: 13.5293 s c =============================================================================== c | 90 | 3992 4345 1313133 | 5000 90 3694 | 0.000 % | c =============================================================================== c New solution: 20822 c Elapsed CPU time: 167.49 s Remaining CPU time: 12.5105 s c =============================================================================== c | 92 | 3992 4346 1316983 | 5000 92 3695 | 0.000 % | c =============================================================================== c New solution: 20821 c Elapsed CPU time: 168.557 s Remaining CPU time: 11.4426 s c =============================================================================== c | 95 | 3992 4347 1320833 | 5000 95 3698 | 0.000 % | c =============================================================================== c New solution: 20820 c Elapsed CPU time: 169.812 s Remaining CPU time: 10.1878 s c =============================================================================== c | 105 | 3992 4348 1324683 | 5000 105 3705 | 0.000 % | c =============================================================================== c New solution: 20819 c Elapsed CPU time: 170.901 s Remaining CPU time: 9.09898 s c =============================================================================== c | 105 | 3992 4349 1328533 | 5000 105 3705 | 0.000 % | c =============================================================================== c New solution: 20818 c Elapsed CPU time: 171.932 s Remaining CPU time: 8.06814 s c =============================================================================== c | 109 | 3992 4350 1332383 | 5000 109 3707 | 0.000 % | c =============================================================================== c New solution: 20817 c Elapsed CPU time: 173.014 s Remaining CPU time: 6.9863 s c =============================================================================== c | 109 | 3992 4351 1336233 | 5000 109 3707 | 0.000 % | c =============================================================================== c New solution: 20816 c Elapsed CPU time: 174.09 s Remaining CPU time: 5.91047 s c =============================================================================== c | 110 | 3992 4352 1340083 | 5000 110 3708 | 0.000 % | c =============================================================================== c New solution: 20815 c Elapsed CPU time: 175.146 s Remaining CPU time: 4.85363 s c =============================================================================== c | 110 | 3992 4353 1343933 | 5000 110 3708 | 0.000 % | c =============================================================================== c New solution: 20814 c Elapsed CPU time: 176.165 s Remaining CPU time: 3.83478 s c =============================================================================== c | 110 | 3992 4354 1347783 | 5000 110 3708 | 0.000 % | c =============================================================================== c New solution: 20813 c Elapsed CPU time: 177.306 s Remaining CPU time: 2.69395 s c =============================================================================== c | 110 | 3992 4355 1351633 | 5000 110 3708 | 0.000 % | c =============================================================================== c New solution: 20812 c Elapsed CPU time: 178.392 s Remaining CPU time: 1.60812 s c =============================================================================== c | 111 | 3992 4356 1355483 | 5000 111 3708 | 0.000 % | c =============================================================================== c New solution: 20811 c Elapsed CPU time: 179.541 s Remaining CPU time: 0.459295 s c =============================================================================== c | 114 | 3992 4357 1359333 | 5000 114 3710 | 0.000 % | c There are 8 assigned variables. 0 in cost function.