c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 4500 | c | Number Clauses: 4500 | 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 | 4491 4505 13336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 4491 4506 17686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 4491 4507 22036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 4491 4508 26386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 4491 4509 30736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 4491 4510 35086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 4491 4511 39436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 4491 4512 43786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 4491 4513 48136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 4491 4514 52486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 4491 4515 56836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 4491 4516 61186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 4491 4517 65536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 0 | 4491 4518 69886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 0 | 4491 4519 74236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 4491 4520 78586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 4491 4521 82936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 0 | 4491 4522 87286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 0 | 4491 4523 91636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 0 | 4491 4524 95986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 0 | 4491 4525 100336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 0 | 4491 4526 104686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4329 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 0 | 4491 4527 109036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 4491 4528 113386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 0 | 4491 4529 117736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 0 | 4491 4530 122086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 0 | 4491 4531 126436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 0 | 4491 4532 130786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 0 | 4491 4533 135136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 0 | 4491 4534 139486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 0 | 4491 4535 143836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 0 | 4491 4536 148186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 0.813876 s Remaining CPU time: 179.186 s c =============================================================================== c | 0 | 4491 4537 152536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 0.871867 s Remaining CPU time: 179.128 s c =============================================================================== c | 0 | 4491 4538 156886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 0 | 4491 4539 161236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 0 | 4491 4540 165586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s c =============================================================================== c | 0 | 4491 4541 169936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 0 | 4491 4542 174286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 0 | 4491 4543 178636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 1.25081 s Remaining CPU time: 178.749 s c =============================================================================== c | 0 | 4491 4544 182986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 1.3248 s Remaining CPU time: 178.675 s c =============================================================================== c | 0 | 4491 4545 187336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 1.39679 s Remaining CPU time: 178.603 s c =============================================================================== c | 0 | 4491 4546 191686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 1.47677 s Remaining CPU time: 178.523 s c =============================================================================== c | 0 | 4491 4547 196036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s c =============================================================================== c | 0 | 4491 4548 200386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 1.64175 s Remaining CPU time: 178.358 s c =============================================================================== c | 0 | 4491 4549 204736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 1.72774 s Remaining CPU time: 178.272 s c =============================================================================== c | 0 | 4491 4550 209086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 0 | 4491 4551 213436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 1.90271 s Remaining CPU time: 178.097 s c =============================================================================== c | 0 | 4491 4552 217786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 1.9917 s Remaining CPU time: 178.008 s c =============================================================================== c | 0 | 4491 4553 222136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 2.08768 s Remaining CPU time: 177.912 s c =============================================================================== c | 0 | 4491 4554 226486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 2.18367 s Remaining CPU time: 177.816 s c =============================================================================== c | 0 | 4491 4555 230836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 2.28165 s Remaining CPU time: 177.718 s c =============================================================================== c | 0 | 4491 4556 235186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 2.38664 s Remaining CPU time: 177.613 s c =============================================================================== c | 0 | 4491 4557 239536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 2.49362 s Remaining CPU time: 177.506 s c =============================================================================== c | 0 | 4491 4558 243886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 2.6026 s Remaining CPU time: 177.397 s c =============================================================================== c | 0 | 4491 4559 248236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 2.71259 s Remaining CPU time: 177.287 s c =============================================================================== c | 0 | 4491 4560 252586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 2.82957 s Remaining CPU time: 177.17 s c =============================================================================== c | 0 | 4491 4561 256936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 2.94355 s Remaining CPU time: 177.056 s c =============================================================================== c | 0 | 4491 4562 261286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 3.06153 s Remaining CPU time: 176.938 s c =============================================================================== c | 0 | 4491 4563 265636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 3.18252 s Remaining CPU time: 176.817 s c =============================================================================== c | 0 | 4491 4564 269986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 3.3045 s Remaining CPU time: 176.696 s c =============================================================================== c | 0 | 4491 4565 274336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 3.43548 s Remaining CPU time: 176.565 s c =============================================================================== c | 0 | 4491 4566 278686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 3.57146 s Remaining CPU time: 176.429 s c =============================================================================== c | 0 | 4491 4567 283036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 3.71344 s Remaining CPU time: 176.287 s c =============================================================================== c | 0 | 4491 4568 287386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 3.85241 s Remaining CPU time: 176.148 s c =============================================================================== c | 0 | 4491 4569 291736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 3.99639 s Remaining CPU time: 176.004 s c =============================================================================== c | 0 | 4491 4570 296086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 4.14037 s Remaining CPU time: 175.86 s c =============================================================================== c | 0 | 4491 4571 300436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 4.28735 s Remaining CPU time: 175.713 s c =============================================================================== c | 0 | 4491 4572 304786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 4.43832 s Remaining CPU time: 175.562 s c =============================================================================== c | 0 | 4491 4573 309136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 4.5943 s Remaining CPU time: 175.406 s c =============================================================================== c | 0 | 4491 4574 313486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 4.75128 s Remaining CPU time: 175.249 s c =============================================================================== c | 0 | 4491 4575 317836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 4.91125 s Remaining CPU time: 175.089 s c =============================================================================== c | 0 | 4491 4576 322186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 5.07223 s Remaining CPU time: 174.928 s c =============================================================================== c | 0 | 4491 4577 326536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 5.2392 s Remaining CPU time: 174.761 s c =============================================================================== c | 0 | 4491 4578 330886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 5.41118 s Remaining CPU time: 174.589 s c =============================================================================== c | 0 | 4491 4579 335236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 5.58715 s Remaining CPU time: 174.413 s c =============================================================================== c | 0 | 4491 4580 339586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 5.76412 s Remaining CPU time: 174.236 s c =============================================================================== c | 0 | 4491 4581 343936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 5.9421 s Remaining CPU time: 174.058 s c =============================================================================== c | 0 | 4491 4582 348286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 6.12507 s Remaining CPU time: 173.875 s c =============================================================================== c | 0 | 4491 4583 352636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 6.30804 s Remaining CPU time: 173.692 s c =============================================================================== c | 0 | 4491 4584 356986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 6.49201 s Remaining CPU time: 173.508 s c =============================================================================== c | 0 | 4491 4585 361336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 6.67898 s Remaining CPU time: 173.321 s c =============================================================================== c | 0 | 4491 4586 365686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 6.86296 s Remaining CPU time: 173.137 s c =============================================================================== c | 0 | 4491 4587 370036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 7.05393 s Remaining CPU time: 172.946 s c =============================================================================== c | 0 | 4491 4588 374386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 7.2439 s Remaining CPU time: 172.756 s c =============================================================================== c | 0 | 4491 4589 378736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 7.43887 s Remaining CPU time: 172.561 s c =============================================================================== c | 0 | 4491 4590 383086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 7.63584 s Remaining CPU time: 172.364 s c =============================================================================== c | 0 | 4491 4591 387436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 7.83481 s Remaining CPU time: 172.165 s c =============================================================================== c | 0 | 4491 4592 391786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 8.03778 s Remaining CPU time: 171.962 s c =============================================================================== c | 0 | 4491 4593 396136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 8.24575 s Remaining CPU time: 171.754 s c =============================================================================== c | 0 | 4491 4594 400486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 8.45571 s Remaining CPU time: 171.544 s c =============================================================================== c | 0 | 4491 4595 404836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 8.66868 s Remaining CPU time: 171.331 s c =============================================================================== c | 0 | 4491 4596 409186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 8.88465 s Remaining CPU time: 171.115 s c =============================================================================== c | 0 | 4491 4597 413536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 9.10262 s Remaining CPU time: 170.897 s c =============================================================================== c | 0 | 4491 4598 417886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 9.32758 s Remaining CPU time: 170.672 s c =============================================================================== c | 0 | 4491 4599 422236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 9.55255 s Remaining CPU time: 170.447 s c =============================================================================== c | 0 | 4491 4600 426586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 9.77651 s Remaining CPU time: 170.223 s c =============================================================================== c | 0 | 4491 4601 430936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 10.0055 s Remaining CPU time: 169.995 s c =============================================================================== c | 0 | 4491 4602 435286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 10.2374 s Remaining CPU time: 169.763 s c =============================================================================== c | 0 | 4491 4603 439636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 10.4714 s Remaining CPU time: 169.529 s c =============================================================================== c | 0 | 4491 4604 443986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 10.7104 s Remaining CPU time: 169.29 s c =============================================================================== c | 0 | 4491 4605 448336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 10.9503 s Remaining CPU time: 169.05 s c =============================================================================== c | 0 | 4491 4606 452686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 11.1923 s Remaining CPU time: 168.808 s c =============================================================================== c | 0 | 4491 4607 457036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 11.4363 s Remaining CPU time: 168.564 s c =============================================================================== c | 0 | 4491 4608 461386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 11.6832 s Remaining CPU time: 168.317 s c =============================================================================== c | 0 | 4491 4609 465736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 11.9302 s Remaining CPU time: 168.07 s c =============================================================================== c | 0 | 4491 4610 470086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 12.1841 s Remaining CPU time: 167.816 s c =============================================================================== c | 0 | 4491 4611 474436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 12.4401 s Remaining CPU time: 167.56 s c =============================================================================== c | 0 | 4491 4612 478786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 12.6981 s Remaining CPU time: 167.302 s c =============================================================================== c | 0 | 4491 4613 483136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 12.959 s Remaining CPU time: 167.041 s c =============================================================================== c | 0 | 4491 4614 487486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 13.224 s Remaining CPU time: 166.776 s c =============================================================================== c | 0 | 4491 4615 491836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 13.4919 s Remaining CPU time: 166.508 s c =============================================================================== c | 0 | 4491 4616 496186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 13.7629 s Remaining CPU time: 166.237 s c =============================================================================== c | 0 | 4491 4617 500536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 14.0369 s Remaining CPU time: 165.963 s c =============================================================================== c | 0 | 4491 4618 504886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 14.3098 s Remaining CPU time: 165.69 s c =============================================================================== c | 0 | 4491 4619 509236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 14.5898 s Remaining CPU time: 165.41 s c =============================================================================== c | 0 | 4491 4620 513586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 14.8687 s Remaining CPU time: 165.131 s c =============================================================================== c | 0 | 4491 4621 517936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 15.1517 s Remaining CPU time: 164.848 s c =============================================================================== c | 0 | 4491 4622 522286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 15.4377 s Remaining CPU time: 164.562 s c =============================================================================== c | 0 | 4491 4623 526636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 15.7306 s Remaining CPU time: 164.269 s c =============================================================================== c | 0 | 4491 4624 530986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 16.0246 s Remaining CPU time: 163.975 s c =============================================================================== c | 0 | 4491 4625 535336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 16.3165 s Remaining CPU time: 163.683 s c =============================================================================== c | 0 | 4491 4626 539686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 16.6125 s Remaining CPU time: 163.388 s c =============================================================================== c | 0 | 4491 4627 544036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 16.9144 s Remaining CPU time: 163.086 s c =============================================================================== c | 0 | 4491 4628 548386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 17.2164 s Remaining CPU time: 162.784 s c =============================================================================== c | 0 | 4491 4629 552736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 17.5253 s Remaining CPU time: 162.475 s c =============================================================================== c | 0 | 4491 4630 557086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 17.8363 s Remaining CPU time: 162.164 s c =============================================================================== c | 0 | 4491 4631 561436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 18.1462 s Remaining CPU time: 161.854 s c =============================================================================== c | 0 | 4491 4632 565786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 18.4612 s Remaining CPU time: 161.539 s c =============================================================================== c | 0 | 4491 4633 570136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 18.7811 s Remaining CPU time: 161.219 s c =============================================================================== c | 0 | 4491 4634 574486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 19.1021 s Remaining CPU time: 160.898 s c =============================================================================== c | 0 | 4491 4635 578836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 19.422 s Remaining CPU time: 160.578 s c =============================================================================== c | 0 | 4491 4636 583186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 19.749 s Remaining CPU time: 160.251 s c =============================================================================== c | 0 | 4491 4637 587536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 20.0799 s Remaining CPU time: 159.92 s c =============================================================================== c | 0 | 4491 4638 591886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 20.4159 s Remaining CPU time: 159.584 s c =============================================================================== c | 0 | 4491 4639 596236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 20.7538 s Remaining CPU time: 159.246 s c =============================================================================== c | 0 | 4491 4640 600586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 21.0948 s Remaining CPU time: 158.905 s c =============================================================================== c | 0 | 4491 4641 604936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 21.4377 s Remaining CPU time: 158.562 s c =============================================================================== c | 0 | 4491 4642 609286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 21.7767 s Remaining CPU time: 158.223 s c =============================================================================== c | 0 | 4491 4643 613636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 22.1256 s Remaining CPU time: 157.874 s c =============================================================================== c | 0 | 4491 4644 617986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 22.4766 s Remaining CPU time: 157.523 s c =============================================================================== c | 0 | 4491 4645 622336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 22.8375 s Remaining CPU time: 157.162 s c =============================================================================== c | 0 | 4491 4646 626686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 23.2285 s Remaining CPU time: 156.772 s c =============================================================================== c | 0 | 4491 4647 631036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 23.6214 s Remaining CPU time: 156.379 s c =============================================================================== c | 0 | 4491 4648 635386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 24.0243 s Remaining CPU time: 155.976 s c =============================================================================== c | 0 | 4491 4649 639736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 24.4273 s Remaining CPU time: 155.573 s c =============================================================================== c | 0 | 4491 4650 644086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 24.8322 s Remaining CPU time: 155.168 s c =============================================================================== c | 0 | 4491 4651 648436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 25.2382 s Remaining CPU time: 154.762 s c =============================================================================== c | 0 | 4491 4652 652786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 25.6481 s Remaining CPU time: 154.352 s c =============================================================================== c | 0 | 4491 4653 657136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 26.058 s Remaining CPU time: 153.942 s c =============================================================================== c | 0 | 4491 4654 661486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 26.47 s Remaining CPU time: 153.53 s c =============================================================================== c | 0 | 4491 4655 665836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 26.8869 s Remaining CPU time: 153.113 s c =============================================================================== c | 0 | 4491 4656 670186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 27.3078 s Remaining CPU time: 152.692 s c =============================================================================== c | 0 | 4491 4657 674536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 27.7468 s Remaining CPU time: 152.253 s c =============================================================================== c | 1 | 4491 4658 678886 | 5000 1 4200 | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 28.1647 s Remaining CPU time: 151.835 s c =============================================================================== c | 1 | 4491 4659 683236 | 5000 1 4200 | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 28.5797 s Remaining CPU time: 151.42 s c =============================================================================== c | 1 | 4491 4660 687586 | 5000 1 4200 | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 29.0086 s Remaining CPU time: 150.991 s c =============================================================================== c | 1 | 4491 4661 691936 | 5000 1 4200 | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 29.4425 s Remaining CPU time: 150.557 s c =============================================================================== c | 1 | 4491 4662 696286 | 5000 1 4200 | 0.000 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 29.8645 s Remaining CPU time: 150.136 s c =============================================================================== c | 2 | 4491 4663 700636 | 5000 2 4198 | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 30.2964 s Remaining CPU time: 149.704 s c =============================================================================== c | 2 | 4491 4664 704986 | 5000 2 4198 | 0.000 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 30.7743 s Remaining CPU time: 149.226 s c =============================================================================== c | 16 | 4491 4665 709336 | 5000 16 4194 | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 31.2552 s Remaining CPU time: 148.745 s c =============================================================================== c | 16 | 4491 4666 713686 | 5000 16 4194 | 0.000 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 31.8632 s Remaining CPU time: 148.137 s c =============================================================================== c | 76 | 4491 4667 718036 | 5000 76 4192 | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 32.3841 s Remaining CPU time: 147.616 s c =============================================================================== c | 103 | 4491 4668 722386 | 5000 103 4192 | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 32.882 s Remaining CPU time: 147.118 s c =============================================================================== c | 108 | 4491 4669 726736 | 5000 108 4192 | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 33.3959 s Remaining CPU time: 146.604 s c =============================================================================== c | 123 | 4491 4670 731086 | 5000 123 4191 | 0.000 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 33.9258 s Remaining CPU time: 146.074 s c =============================================================================== c | 146 | 4491 4671 735436 | 5000 146 4191 | 0.000 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 34.4588 s Remaining CPU time: 145.541 s c =============================================================================== c | 155 | 4491 4672 739786 | 5000 155 4190 | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 35.2266 s Remaining CPU time: 144.773 s c =============================================================================== c | 233 | 4491 4673 744136 | 5000 233 4189 | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 35.6966 s Remaining CPU time: 144.303 s c =============================================================================== c | 233 | 4491 4674 748486 | 5000 233 4189 | 0.000 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 36.2225 s Remaining CPU time: 143.778 s c =============================================================================== c | 236 | 4491 4675 752836 | 5000 236 4189 | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 36.8764 s Remaining CPU time: 143.124 s c =============================================================================== c | 298 | 4491 4676 757186 | 5000 298 4187 | 0.000 % | c | 400 | 4491 4676 757186 | 5500 400 4186 | 0.200 % | c | 550 | 4491 4676 757186 | 6050 550 4185 | 0.200 % | c | 776 | 4491 4676 757186 | 6655 776 4184 | 0.200 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 41.1967 s Remaining CPU time: 138.803 s c =============================================================================== c | 916 | 4491 4677 761536 | 5000 916 4184 | 0.200 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 41.9896 s Remaining CPU time: 138.01 s c =============================================================================== c | 1012 | 4491 4678 765886 | 5000 1012 4184 | 0.200 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 42.5205 s Remaining CPU time: 137.479 s c =============================================================================== c | 1042 | 4491 4679 770236 | 5000 1042 4183 | 0.200 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 42.9855 s Remaining CPU time: 137.015 s c =============================================================================== c | 1053 | 4491 4680 774586 | 5000 1053 4183 | 0.200 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 43.4834 s Remaining CPU time: 136.517 s c =============================================================================== c | 1068 | 4491 4681 778936 | 5000 1068 4183 | 0.200 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 43.9433 s Remaining CPU time: 136.057 s c =============================================================================== c | 1071 | 4491 4682 783286 | 5000 1071 4183 | 0.200 % | c | 1171 | 4491 4682 783286 | 5500 1171 4183 | 0.200 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 45.3471 s Remaining CPU time: 134.653 s c =============================================================================== c | 1235 | 4491 4683 787636 | 5000 1235 4182 | 0.200 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 45.867 s Remaining CPU time: 134.133 s c =============================================================================== c | 1267 | 4491 4684 791986 | 5000 1267 4182 | 0.200 % | c | 1367 | 4491 4684 791986 | 5500 1367 4182 | 0.200 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 47.0828 s Remaining CPU time: 132.917 s c =============================================================================== c | 1390 | 4491 4685 796336 | 5000 1390 4181 | 0.200 % | c | 1490 | 4491 4685 796336 | 5500 1490 4181 | 0.200 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 48.3766 s Remaining CPU time: 131.623 s c =============================================================================== c | 1526 | 4491 4686 800686 | 5000 1526 4181 | 0.200 % | c | 1626 | 4491 4686 800686 | 5500 1626 4180 | 0.200 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 49.6345 s Remaining CPU time: 130.366 s c =============================================================================== c | 1662 | 4491 4687 805036 | 5000 1662 4180 | 0.200 % | c | 1762 | 4491 4687 805036 | 5500 1762 4179 | 0.200 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 50.8513 s Remaining CPU time: 129.149 s c =============================================================================== c | 1802 | 4491 4688 809386 | 5000 1802 4179 | 0.200 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 51.3612 s Remaining CPU time: 128.639 s c =============================================================================== c | 1813 | 4491 4689 813736 | 5000 1813 4179 | 0.200 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 51.8671 s Remaining CPU time: 128.133 s c =============================================================================== c | 1826 | 4491 4690 818086 | 5000 1826 4179 | 0.200 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 52.42 s Remaining CPU time: 127.58 s c =============================================================================== c | 1862 | 4491 4691 822436 | 5000 1862 4179 | 0.200 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 52.9509 s Remaining CPU time: 127.049 s c =============================================================================== c | 1879 | 4491 4692 826786 | 5000 1879 4179 | 0.200 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 53.5019 s Remaining CPU time: 126.498 s c =============================================================================== c | 1907 | 4491 4693 831136 | 5000 1907 4178 | 0.200 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 54.0058 s Remaining CPU time: 125.994 s c =============================================================================== c | 1921 | 4491 4694 835486 | 5000 1921 4178 | 0.200 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 54.5017 s Remaining CPU time: 125.498 s c =============================================================================== c | 1925 | 4491 4695 839836 | 5000 1925 4178 | 0.200 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 55.0086 s Remaining CPU time: 124.991 s c =============================================================================== c | 1936 | 4491 4696 844186 | 5000 1936 4178 | 0.200 % | c | 2036 | 4491 4696 844186 | 5500 2036 4177 | 0.200 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 56.6784 s Remaining CPU time: 123.322 s c =============================================================================== c | 2183 | 4491 4697 848536 | 5000 2183 4174 | 0.200 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 57.2463 s Remaining CPU time: 122.754 s c =============================================================================== c | 2208 | 4491 4698 852886 | 5000 2208 4174 | 0.200 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 57.8452 s Remaining CPU time: 122.155 s c =============================================================================== c | 2229 | 4491 4699 857236 | 5000 2229 4174 | 0.200 % | c | 2329 | 4491 4699 857236 | 5500 2329 4173 | 0.200 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 59.125 s Remaining CPU time: 120.875 s c =============================================================================== c | 2393 | 4491 4700 861586 | 5000 2393 4173 | 0.200 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 59.6829 s Remaining CPU time: 120.317 s c =============================================================================== c | 2416 | 4491 4701 865936 | 5000 2416 4173 | 0.200 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 60.4138 s Remaining CPU time: 119.586 s c =============================================================================== c | 2487 | 4491 4702 870286 | 5000 2487 4172 | 0.200 % | c =============================================================================== c New solution: 4153 c Elapsed CPU time: 61.0297 s Remaining CPU time: 118.97 s c =============================================================================== c | 2561 | 4491 4703 874636 | 5000 2561 4172 | 0.200 % | c | 2662 | 4491 4703 874636 | 5500 2662 4171 | 0.200 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 62.5045 s Remaining CPU time: 117.496 s c =============================================================================== c | 2693 | 4491 4704 878986 | 5000 2693 4171 | 0.200 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 63.0934 s Remaining CPU time: 116.907 s c =============================================================================== c | 2729 | 4491 4705 883336 | 5000 2729 4171 | 0.200 % | c | 2829 | 4491 4705 883336 | 5500 2829 4170 | 0.200 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 64.5852 s Remaining CPU time: 115.415 s c =============================================================================== c | 2878 | 4491 4706 887686 | 5000 2878 4170 | 0.200 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 65.1331 s Remaining CPU time: 114.867 s c =============================================================================== c | 2896 | 4491 4707 892036 | 5000 2896 4170 | 0.200 % | c | 2996 | 4491 4707 892036 | 5500 2996 4169 | 0.200 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 66.6489 s Remaining CPU time: 113.351 s c =============================================================================== c | 3052 | 4491 4708 896386 | 5000 3052 4169 | 0.200 % | c | 3152 | 4491 4708 896386 | 5500 3152 4168 | 0.200 % | c | 3302 | 4491 4708 896386 | 6050 3302 4167 | 0.200 % | c | 3527 | 4491 4708 896386 | 6655 3527 4166 | 0.200 % | c | 3865 | 4491 4708 896386 | 7320 3865 4165 | 0.200 % | c | 4371 | 4491 4708 896386 | 8052 4371 4162 | 0.200 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 74.5197 s Remaining CPU time: 105.48 s c =============================================================================== c | 4633 | 4491 4709 900736 | 5000 4633 4160 | 0.200 % | c | 4734 | 4491 4709 900736 | 5500 4734 4160 | 0.200 % | c | 4884 | 4491 4709 900736 | 6050 4884 4160 | 0.200 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 76.7033 s Remaining CPU time: 103.297 s c =============================================================================== c | 4924 | 4491 4710 905086 | 5000 4924 4160 | 0.200 % | c | 5024 | 4491 4710 905086 | 5500 5024 4160 | 0.200 % | c | 5174 | 4491 4710 905086 | 6050 5174 4159 | 0.200 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 79.4549 s Remaining CPU time: 100.545 s c =============================================================================== c | 5263 | 4491 4711 909436 | 5000 5263 4159 | 0.200 % | c | 5364 | 4491 4711 909436 | 5500 2733 4145 | 0.200 % | c | 5514 | 4491 4711 909436 | 6050 2883 4145 | 0.200 % | c | 5740 | 4491 4711 909436 | 6655 3109 4146 | 0.200 % | c | 6077 | 4491 4711 909436 | 7320 3446 4146 | 0.200 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 85.442 s Remaining CPU time: 94.558 s c =============================================================================== c | 6457 | 4491 4712 913786 | 5000 3826 4145 | 0.200 % | c | 6557 | 4491 4712 913786 | 5500 3926 4145 | 0.200 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 86.9138 s Remaining CPU time: 93.0862 s c =============================================================================== c | 6596 | 4491 4713 918136 | 5000 3965 4145 | 0.200 % | c | 6696 | 4491 4713 918136 | 5500 4065 4145 | 0.200 % | c | 6846 | 4491 4713 918136 | 6050 4215 4145 | 0.200 % | c =============================================================================== c New solution: 4142 c Elapsed CPU time: 90.2973 s Remaining CPU time: 89.7027 s c =============================================================================== c | 7060 | 4491 4714 922486 | 5000 4429 4145 | 0.200 % | c | 7160 | 4491 4714 922486 | 5500 4529 4145 | 0.200 % | c | 7312 | 4491 4714 922486 | 6050 4681 4145 | 0.200 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 92.6449 s Remaining CPU time: 87.3551 s c =============================================================================== c | 7334 | 4491 4715 926836 | 5000 4703 4145 | 0.200 % | c | 7434 | 4491 4715 926836 | 5500 4803 4145 | 0.200 % | c | 7586 | 4491 4715 926836 | 6050 4955 4145 | 0.200 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 95.5785 s Remaining CPU time: 84.4215 s c =============================================================================== c | 7686 | 4491 4716 931186 | 5000 5055 4144 | 0.200 % | c | 7788 | 4491 4716 931186 | 5500 2630 4139 | 0.200 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 97.2882 s Remaining CPU time: 82.7118 s c =============================================================================== c | 7873 | 4491 4717 935536 | 5000 2715 4139 | 0.200 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 97.9101 s Remaining CPU time: 82.0899 s c =============================================================================== c | 7925 | 4491 4718 939886 | 5000 2767 4139 | 0.200 % | c | 8026 | 4491 4718 939886 | 5500 2868 4139 | 0.200 % | c =============================================================================== c New solution: 4137 c Elapsed CPU time: 99.5109 s Remaining CPU time: 80.4891 s c =============================================================================== c | 8084 | 4491 4719 944236 | 5000 2926 4139 | 0.200 % | c | 8184 | 4491 4719 944236 | 5500 3026 4139 | 0.200 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 101.509 s Remaining CPU time: 78.4914 s c =============================================================================== c | 8331 | 4491 4720 948586 | 5000 3173 4139 | 0.200 % | c =============================================================================== c New solution: 4135 c Elapsed CPU time: 102.138 s Remaining CPU time: 77.8615 s c =============================================================================== c | 8349 | 4491 4721 952936 | 5000 3191 4138 | 0.200 % | c | 8449 | 4491 4721 952936 | 5500 3291 4138 | 0.200 % | c | 8599 | 4491 4721 952936 | 6050 3441 4138 | 0.200 % | c =============================================================================== c New solution: 4134 c Elapsed CPU time: 104.996 s Remaining CPU time: 75.004 s c =============================================================================== c | 8683 | 4491 4722 957286 | 5000 3525 4138 | 0.200 % | c | 8784 | 4491 4722 957286 | 5500 3626 4138 | 0.200 % | c | 8934 | 4491 4722 957286 | 6050 3776 4138 | 0.200 % | c | 9159 | 4491 4722 957286 | 6655 4001 4138 | 0.200 % | c | 9496 | 4491 4722 957286 | 7320 4338 4137 | 0.200 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 111.183 s Remaining CPU time: 68.8169 s c =============================================================================== c | 9599 | 4491 4723 961636 | 5000 4441 4137 | 0.200 % | c | 9699 | 4491 4723 961636 | 5500 4541 4137 | 0.200 % | c | 9849 | 4491 4723 961636 | 6050 4691 4137 | 0.200 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 114.116 s Remaining CPU time: 65.8843 s c =============================================================================== c | 9922 | 4491 4724 965986 | 5000 4764 4137 | 0.200 % | c =============================================================================== c New solution: 4131 c Elapsed CPU time: 114.722 s Remaining CPU time: 65.2784 s c =============================================================================== c | 9947 | 4491 4725 970336 | 5000 4789 4137 | 0.200 % | c | 10047 | 4491 4725 970336 | 5500 4889 4137 | 0.200 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 116.524 s Remaining CPU time: 63.4757 s c =============================================================================== c | 10140 | 4491 4726 974686 | 5000 4982 4137 | 0.200 % | c | 10240 | 4491 4726 974686 | 5500 5082 4137 | 0.200 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 118.125 s Remaining CPU time: 61.875 s c =============================================================================== c | 10265 | 4491 4727 979036 | 5000 5107 4137 | 0.200 % | c | 10366 | 4491 4727 979036 | 5500 2655 4128 | 0.200 % | c | 10516 | 4491 4727 979036 | 6050 2805 4127 | 0.200 % | c | 10741 | 4491 4727 979036 | 6655 3030 4127 | 0.200 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 122.768 s Remaining CPU time: 57.2317 s c =============================================================================== c | 10970 | 4491 4728 983386 | 5000 3259 4128 | 0.200 % | c | 11071 | 4491 4728 983386 | 5500 3360 4128 | 0.200 % | c | 11221 | 4491 4728 983386 | 6050 3510 4128 | 0.200 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 125.813 s Remaining CPU time: 54.1871 s c =============================================================================== c | 11395 | 4491 4729 987736 | 5000 3684 4128 | 0.200 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 126.424 s Remaining CPU time: 53.5762 s c =============================================================================== c | 11418 | 4491 4730 992086 | 5000 3707 4128 | 0.200 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 127.046 s Remaining CPU time: 52.9543 s c =============================================================================== c | 11442 | 4491 4731 996436 | 5000 3731 4128 | 0.200 % | c | 11542 | 4491 4731 996436 | 5500 3831 4128 | 0.200 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 128.822 s Remaining CPU time: 51.1776 s c =============================================================================== c | 11622 | 4491 4732 1000786 | 5000 3911 4128 | 0.200 % | c | 11723 | 4491 4732 1000786 | 5500 4012 4128 | 0.200 % | c | 11873 | 4491 4732 1000786 | 6050 4162 4128 | 0.200 % | c | 12098 | 4491 4732 1000786 | 6655 4387 4128 | 0.200 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 132.482 s Remaining CPU time: 47.5181 s c =============================================================================== c | 12123 | 4491 4733 1005136 | 5000 4412 4128 | 0.200 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 133.139 s Remaining CPU time: 46.8612 s c =============================================================================== c | 12154 | 4491 4734 1009486 | 5000 4443 4128 | 0.200 % | c | 12256 | 4491 4734 1009486 | 5500 4545 4127 | 0.200 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 134.87 s Remaining CPU time: 45.1295 s c =============================================================================== c | 12279 | 4491 4735 1013836 | 5000 4568 4127 | 0.200 % | c | 12380 | 4491 4735 1013836 | 5500 4669 4127 | 0.200 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 136.668 s Remaining CPU time: 43.3318 s c =============================================================================== c | 12393 | 4491 4736 1018186 | 5000 4682 4127 | 0.200 % | c | 12493 | 4491 4736 1018186 | 5500 4782 4127 | 0.200 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 138.647 s Remaining CPU time: 41.3531 s c =============================================================================== c | 12519 | 4491 4737 1022536 | 5000 4808 4127 | 0.200 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 139.481 s Remaining CPU time: 40.5192 s c =============================================================================== c | 12585 | 4491 4738 1026886 | 5000 4874 4127 | 0.200 % | c | 12685 | 4491 4738 1026886 | 5500 4974 4127 | 0.200 % | c | 12835 | 4491 4738 1026886 | 6050 5124 4127 | 0.200 % | c | 13060 | 4491 4738 1026886 | 6655 5349 4126 | 0.200 % | c | 13399 | 4491 4738 1026886 | 7320 5688 4126 | 0.200 % | c | 13907 | 4491 4738 1026886 | 8052 6196 4125 | 0.200 % | c | 14666 | 4491 4738 1026886 | 8857 6955 4125 | 0.200 % | c | 15805 | 4491 4738 1026886 | 9743 8094 4124 | 0.200 % | c | 17513 | 4491 4738 1026886 | 10717 9802 4123 | 0.200 % | c | 20076 | 4491 4738 1026886 | 11789 12365 4123 | 0.200 % |