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 | 4498 4502 13350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 4498 4503 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 4498 4504 22050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 4498 4505 26400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 4498 4506 30750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 4498 4507 35100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 4498 4508 39450 | 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 | 4498 4509 43800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 4498 4510 48150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 4498 4511 52500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 0 | 4498 4512 56850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 4498 4513 61200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 4498 4514 65550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 4498 4515 69900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 4498 4516 74250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 4498 4517 78600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 4498 4518 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 4498 4519 87300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 4498 4520 91650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 0 | 4498 4521 96000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 4498 4522 100350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 0 | 4498 4523 104700 | 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 | 4498 4524 109050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 0 | 4498 4525 113400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 0 | 4498 4526 117750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 0 | 4498 4527 122100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 0 | 4498 4528 126450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 0 | 4498 4529 130800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 4498 4530 135150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 0 | 4498 4531 139500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 0.713891 s Remaining CPU time: 179.286 s c =============================================================================== c | 0 | 4498 4532 143850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s c =============================================================================== c | 0 | 4498 4533 148200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 0 | 4498 4534 152550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 0 | 4498 4535 156900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s c =============================================================================== c | 0 | 4498 4536 161250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 0 | 4498 4537 165600 | 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 | 4498 4538 169950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 1.12883 s Remaining CPU time: 178.871 s c =============================================================================== c | 0 | 4498 4539 174300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 1.20282 s Remaining CPU time: 178.797 s c =============================================================================== c | 0 | 4498 4540 178650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 0 | 4498 4541 183000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 1.35479 s Remaining CPU time: 178.645 s c =============================================================================== c | 0 | 4498 4542 187350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 1.43178 s Remaining CPU time: 178.568 s c =============================================================================== c | 0 | 4498 4543 191700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 0 | 4498 4544 196050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 1.59876 s Remaining CPU time: 178.401 s c =============================================================================== c | 0 | 4498 4545 200400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 1.68974 s Remaining CPU time: 178.31 s c =============================================================================== c | 0 | 4498 4546 204750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 1.78273 s Remaining CPU time: 178.217 s c =============================================================================== c | 0 | 4498 4547 209100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 1.87971 s Remaining CPU time: 178.12 s c =============================================================================== c | 0 | 4498 4548 213450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 1.9737 s Remaining CPU time: 178.026 s c =============================================================================== c | 0 | 4498 4549 217800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 0 | 4498 4550 222150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 2.17567 s Remaining CPU time: 177.824 s c =============================================================================== c | 0 | 4498 4551 226500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 2.28165 s Remaining CPU time: 177.718 s c =============================================================================== c | 0 | 4498 4552 230850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 2.38964 s Remaining CPU time: 177.61 s c =============================================================================== c | 0 | 4498 4553 235200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 2.49862 s Remaining CPU time: 177.501 s c =============================================================================== c | 0 | 4498 4554 239550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 2.6106 s Remaining CPU time: 177.389 s c =============================================================================== c | 0 | 4498 4555 243900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 2.72659 s Remaining CPU time: 177.273 s c =============================================================================== c | 0 | 4498 4556 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 2.84157 s Remaining CPU time: 177.158 s c =============================================================================== c | 0 | 4498 4557 252600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 2.96355 s Remaining CPU time: 177.036 s c =============================================================================== c | 0 | 4498 4558 256950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 3.09053 s Remaining CPU time: 176.909 s c =============================================================================== c | 0 | 4498 4559 261300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 3.22351 s Remaining CPU time: 176.776 s c =============================================================================== c | 0 | 4498 4560 265650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 3.36149 s Remaining CPU time: 176.639 s c =============================================================================== c | 0 | 4498 4561 270000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 3.50347 s Remaining CPU time: 176.497 s c =============================================================================== c | 0 | 4498 4562 274350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 3.64245 s Remaining CPU time: 176.358 s c =============================================================================== c | 0 | 4498 4563 278700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 3.78842 s Remaining CPU time: 176.212 s c =============================================================================== c | 0 | 4498 4564 283050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 3.9404 s Remaining CPU time: 176.06 s c =============================================================================== c | 0 | 4498 4565 287400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 4.09338 s Remaining CPU time: 175.907 s c =============================================================================== c | 0 | 4498 4566 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 4.24635 s Remaining CPU time: 175.754 s c =============================================================================== c | 0 | 4498 4567 296100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 4.40033 s Remaining CPU time: 175.6 s c =============================================================================== c | 0 | 4498 4568 300450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 4.56031 s Remaining CPU time: 175.44 s c =============================================================================== c | 0 | 4498 4569 304800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 4.71828 s Remaining CPU time: 175.282 s c =============================================================================== c | 0 | 4498 4570 309150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 4.88526 s Remaining CPU time: 175.115 s c =============================================================================== c | 0 | 4498 4571 313500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 5.04923 s Remaining CPU time: 174.951 s c =============================================================================== c | 0 | 4498 4572 317850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 5.22221 s Remaining CPU time: 174.778 s c =============================================================================== c | 0 | 4498 4573 322200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 5.39518 s Remaining CPU time: 174.605 s c =============================================================================== c | 0 | 4498 4574 326550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 5.56915 s Remaining CPU time: 174.431 s c =============================================================================== c | 0 | 4498 4575 330900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 5.74613 s Remaining CPU time: 174.254 s c =============================================================================== c | 0 | 4498 4576 335250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 5.9291 s Remaining CPU time: 174.071 s c =============================================================================== c | 0 | 4498 4577 339600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 6.11207 s Remaining CPU time: 173.888 s c =============================================================================== c | 0 | 4498 4578 343950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 6.30004 s Remaining CPU time: 173.7 s c =============================================================================== c | 0 | 4498 4579 348300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 6.48801 s Remaining CPU time: 173.512 s c =============================================================================== c | 0 | 4498 4580 352650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 6.68298 s Remaining CPU time: 173.317 s c =============================================================================== c | 0 | 4498 4581 357000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 6.87595 s Remaining CPU time: 173.124 s c =============================================================================== c | 0 | 4498 4582 361350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 7.07292 s Remaining CPU time: 172.927 s c =============================================================================== c | 0 | 4498 4583 365700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 7.27189 s Remaining CPU time: 172.728 s c =============================================================================== c | 0 | 4498 4584 370050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 7.47486 s Remaining CPU time: 172.525 s c =============================================================================== c | 0 | 4498 4585 374400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 7.67683 s Remaining CPU time: 172.323 s c =============================================================================== c | 0 | 4498 4586 378750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 7.8838 s Remaining CPU time: 172.116 s c =============================================================================== c | 0 | 4498 4587 383100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 8.10277 s Remaining CPU time: 171.897 s c =============================================================================== c | 0 | 4498 4588 387450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 8.32073 s Remaining CPU time: 171.679 s c =============================================================================== c | 0 | 4498 4589 391800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 8.5437 s Remaining CPU time: 171.456 s c =============================================================================== c | 0 | 4498 4590 396150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 8.76967 s Remaining CPU time: 171.23 s c =============================================================================== c | 0 | 4498 4591 400500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 8.99963 s Remaining CPU time: 171 s c =============================================================================== c | 0 | 4498 4592 404850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 9.2326 s Remaining CPU time: 170.767 s c =============================================================================== c | 0 | 4498 4593 409200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 9.48356 s Remaining CPU time: 170.516 s c =============================================================================== c | 0 | 4498 4594 413550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 9.73952 s Remaining CPU time: 170.26 s c =============================================================================== c | 0 | 4498 4595 417900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 9.99748 s Remaining CPU time: 170.003 s c =============================================================================== c | 0 | 4498 4596 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 10.2574 s Remaining CPU time: 169.743 s c =============================================================================== c | 0 | 4498 4597 426600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 10.5164 s Remaining CPU time: 169.484 s c =============================================================================== c | 0 | 4498 4598 430950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 10.7814 s Remaining CPU time: 169.219 s c =============================================================================== c | 0 | 4498 4599 435300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 11.0453 s Remaining CPU time: 168.955 s c =============================================================================== c | 0 | 4498 4600 439650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 11.3163 s Remaining CPU time: 168.684 s c =============================================================================== c | 0 | 4498 4601 444000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 11.5942 s Remaining CPU time: 168.406 s c =============================================================================== c | 0 | 4498 4602 448350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 11.8692 s Remaining CPU time: 168.131 s c =============================================================================== c | 0 | 4498 4603 452700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 12.1492 s Remaining CPU time: 167.851 s c =============================================================================== c | 0 | 4498 4604 457050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 12.4351 s Remaining CPU time: 167.565 s c =============================================================================== c | 0 | 4498 4605 461400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 12.7191 s Remaining CPU time: 167.281 s c =============================================================================== c | 0 | 4498 4606 465750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 13.007 s Remaining CPU time: 166.993 s c =============================================================================== c | 0 | 4498 4607 470100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 13.291 s Remaining CPU time: 166.709 s c =============================================================================== c | 0 | 4498 4608 474450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 13.5829 s Remaining CPU time: 166.417 s c =============================================================================== c | 0 | 4498 4609 478800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 13.8749 s Remaining CPU time: 166.125 s c =============================================================================== c | 0 | 4498 4610 483150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 14.1858 s Remaining CPU time: 165.814 s c =============================================================================== c | 0 | 4498 4611 487500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 14.4948 s Remaining CPU time: 165.505 s c =============================================================================== c | 0 | 4498 4612 491850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 14.8117 s Remaining CPU time: 165.188 s c =============================================================================== c | 0 | 4498 4613 496200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 15.1277 s Remaining CPU time: 164.872 s c =============================================================================== c | 0 | 4498 4614 500550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 15.4477 s Remaining CPU time: 164.552 s c =============================================================================== c | 0 | 4498 4615 504900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 15.8126 s Remaining CPU time: 164.187 s c =============================================================================== c | 5 | 4498 4616 509250 | 5000 5 4239 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 16.1285 s Remaining CPU time: 163.871 s c =============================================================================== c | 9 | 4498 4617 513600 | 5000 9 4239 | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 16.4365 s Remaining CPU time: 163.563 s c =============================================================================== c | 9 | 4498 4618 517950 | 5000 9 4239 | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 16.7465 s Remaining CPU time: 163.254 s c =============================================================================== c | 11 | 4498 4619 522300 | 5000 11 4238 | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 17.0904 s Remaining CPU time: 162.91 s c =============================================================================== c | 23 | 4498 4620 526650 | 5000 23 4237 | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 17.4363 s Remaining CPU time: 162.564 s c =============================================================================== c | 29 | 4498 4621 531000 | 5000 29 4236 | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 17.7683 s Remaining CPU time: 162.232 s c =============================================================================== c | 29 | 4498 4622 535350 | 5000 29 4236 | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 18.0873 s Remaining CPU time: 161.913 s c =============================================================================== c | 29 | 4498 4623 539700 | 5000 29 4236 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 18.4572 s Remaining CPU time: 161.543 s c =============================================================================== c | 29 | 4498 4624 544050 | 5000 29 4236 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 18.8161 s Remaining CPU time: 161.184 s c =============================================================================== c | 29 | 4498 4625 548400 | 5000 29 4236 | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 19.1571 s Remaining CPU time: 160.843 s c =============================================================================== c | 29 | 4498 4626 552750 | 5000 29 4236 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 19.505 s Remaining CPU time: 160.495 s c =============================================================================== c | 31 | 4498 4627 557100 | 5000 31 4099 | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 19.871 s Remaining CPU time: 160.129 s c =============================================================================== c | 58 | 4498 4628 561450 | 5000 58 4159 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 20.1959 s Remaining CPU time: 159.804 s c =============================================================================== c | 58 | 4498 4629 565800 | 5000 58 4159 | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 20.5309 s Remaining CPU time: 159.469 s c =============================================================================== c | 58 | 4498 4630 570150 | 5000 58 4159 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 20.8658 s Remaining CPU time: 159.134 s c =============================================================================== c | 58 | 4498 4631 574500 | 5000 58 4159 | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 21.2108 s Remaining CPU time: 158.789 s c =============================================================================== c | 69 | 4498 4632 578850 | 5000 69 4169 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 21.6697 s Remaining CPU time: 158.33 s c =============================================================================== c | 94 | 4498 4633 583200 | 5000 94 4183 | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 22.0416 s Remaining CPU time: 157.958 s c =============================================================================== c | 99 | 4498 4634 587550 | 5000 99 4185 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 22.4146 s Remaining CPU time: 157.585 s c =============================================================================== c | 99 | 4498 4635 591900 | 5000 99 4185 | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 22.8905 s Remaining CPU time: 157.109 s c =============================================================================== c | 147 | 4498 4636 596250 | 5000 147 4197 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 23.2675 s Remaining CPU time: 156.733 s c =============================================================================== c | 151 | 4498 4637 600600 | 5000 151 4197 | 0.000 % | c | 251 | 4498 4637 600600 | 5500 251 4205 | 0.044 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 24.1343 s Remaining CPU time: 155.866 s c =============================================================================== c | 251 | 4498 4638 604950 | 5000 251 4205 | 0.044 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 24.6103 s Remaining CPU time: 155.39 s c =============================================================================== c | 286 | 4498 4639 609300 | 5000 286 4207 | 0.044 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 25.0092 s Remaining CPU time: 154.991 s c =============================================================================== c | 307 | 4498 4640 613650 | 5000 307 4207 | 0.044 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 25.4141 s Remaining CPU time: 154.586 s c =============================================================================== c | 335 | 4498 4641 618000 | 5000 335 4208 | 0.044 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 25.8161 s Remaining CPU time: 154.184 s c =============================================================================== c | 342 | 4498 4642 622350 | 5000 342 4208 | 0.044 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 26.236 s Remaining CPU time: 153.764 s c =============================================================================== c | 376 | 4498 4643 626700 | 5000 376 4208 | 0.044 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 26.6409 s Remaining CPU time: 153.359 s c =============================================================================== c | 396 | 4498 4644 631050 | 5000 396 4208 | 0.044 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 27.1519 s Remaining CPU time: 152.848 s c =============================================================================== c | 458 | 4498 4645 635400 | 5000 458 4199 | 0.044 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 27.5708 s Remaining CPU time: 152.429 s c =============================================================================== c | 474 | 4498 4646 639750 | 5000 474 4200 | 0.044 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 27.9637 s Remaining CPU time: 152.036 s c =============================================================================== c | 483 | 4498 4647 644100 | 5000 483 4200 | 0.044 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 28.3607 s Remaining CPU time: 151.639 s c =============================================================================== c | 485 | 4498 4648 648450 | 5000 485 4200 | 0.044 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 28.8026 s Remaining CPU time: 151.197 s c =============================================================================== c | 519 | 4498 4649 652800 | 5000 519 4200 | 0.044 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 29.1916 s Remaining CPU time: 150.808 s c =============================================================================== c | 519 | 4498 4650 657150 | 5000 519 4200 | 0.044 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 29.5775 s Remaining CPU time: 150.422 s c =============================================================================== c | 519 | 4498 4651 661500 | 5000 519 4200 | 0.044 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 29.9864 s Remaining CPU time: 150.014 s c =============================================================================== c | 519 | 4498 4652 665850 | 5000 519 4200 | 0.044 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 30.3984 s Remaining CPU time: 149.602 s c =============================================================================== c | 522 | 4498 4653 670200 | 5000 522 4200 | 0.044 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 30.7993 s Remaining CPU time: 149.201 s c =============================================================================== c | 522 | 4498 4654 674550 | 5000 522 4200 | 0.044 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 31.2033 s Remaining CPU time: 148.797 s c =============================================================================== c | 522 | 4498 4655 678900 | 5000 522 4200 | 0.044 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 31.6102 s Remaining CPU time: 148.39 s c =============================================================================== c | 522 | 4498 4656 683250 | 5000 522 4200 | 0.044 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 32.0411 s Remaining CPU time: 147.959 s c =============================================================================== c | 537 | 4498 4657 687600 | 5000 537 4200 | 0.044 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 32.5021 s Remaining CPU time: 147.498 s c =============================================================================== c | 572 | 4498 4658 691950 | 5000 572 4200 | 0.044 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 33.016 s Remaining CPU time: 146.984 s c =============================================================================== c | 610 | 4498 4659 696300 | 5000 610 4200 | 0.044 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 33.5159 s Remaining CPU time: 146.484 s c =============================================================================== c | 648 | 4498 4660 700650 | 5000 648 4200 | 0.044 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 34.2188 s Remaining CPU time: 145.781 s c =============================================================================== c | 718 | 4498 4661 705000 | 5000 718 4193 | 0.044 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 34.7397 s Remaining CPU time: 145.26 s c =============================================================================== c | 743 | 4498 4662 709350 | 5000 743 4193 | 0.044 % | c | 844 | 4498 4662 709350 | 5500 844 4193 | 0.044 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 36.1005 s Remaining CPU time: 143.899 s c =============================================================================== c | 918 | 4498 4663 713700 | 5000 918 4193 | 0.044 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 36.8654 s Remaining CPU time: 143.135 s c =============================================================================== c | 1009 | 4498 4664 718050 | 5000 1009 4193 | 0.044 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 37.3193 s Remaining CPU time: 142.681 s c =============================================================================== c | 1026 | 4498 4665 722400 | 5000 1026 4193 | 0.044 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 37.8432 s Remaining CPU time: 142.157 s c =============================================================================== c | 1061 | 4498 4666 726750 | 5000 1061 4189 | 0.044 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 38.3012 s Remaining CPU time: 141.699 s c =============================================================================== c | 1087 | 4498 4667 731100 | 5000 1087 4189 | 0.044 % | c | 1187 | 4498 4667 731100 | 5500 1187 4189 | 0.044 % | c | 1337 | 4498 4667 731100 | 6050 1337 4189 | 0.044 % | c | 1562 | 4498 4667 731100 | 6655 1562 4186 | 0.044 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 41.3507 s Remaining CPU time: 138.649 s c =============================================================================== c | 1604 | 4498 4668 735450 | 5000 1604 4186 | 0.044 % | c | 1704 | 4498 4668 735450 | 5500 1704 4186 | 0.044 % | c | 1855 | 4498 4668 735450 | 6050 1855 4186 | 0.044 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 43.1024 s Remaining CPU time: 136.898 s c =============================================================================== c | 1862 | 4498 4669 739800 | 5000 1862 4186 | 0.044 % | c | 1962 | 4498 4669 739800 | 5500 1962 4186 | 0.044 % | c | 2112 | 4498 4669 739800 | 6050 2112 4186 | 0.044 % | c | 2337 | 4498 4669 739800 | 6655 2337 4186 | 0.044 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 46.5059 s Remaining CPU time: 133.494 s c =============================================================================== c | 2508 | 4498 4670 744150 | 5000 2508 4186 | 0.044 % | c | 2608 | 4498 4670 744150 | 5500 2608 4186 | 0.044 % | c | 2759 | 4498 4670 744150 | 6050 2759 4186 | 0.044 % | c | 2984 | 4498 4670 744150 | 6655 2984 4186 | 0.044 % | c | 3321 | 4498 4670 744150 | 7320 3321 4185 | 0.044 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 51.8391 s Remaining CPU time: 128.161 s c =============================================================================== c | 3637 | 4498 4671 748500 | 5000 3637 4185 | 0.044 % | c | 3738 | 4498 4671 748500 | 5500 3738 4185 | 0.044 % | c | 3888 | 4498 4671 748500 | 6050 3888 4185 | 0.044 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 54.3047 s Remaining CPU time: 125.695 s c =============================================================================== c | 3993 | 4498 4672 752850 | 5000 3993 4185 | 0.044 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 54.8837 s Remaining CPU time: 125.116 s c =============================================================================== c | 4026 | 4498 4673 757200 | 5000 4026 4185 | 0.044 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 55.5256 s Remaining CPU time: 124.474 s c =============================================================================== c | 4097 | 4498 4674 761550 | 5000 4097 4185 | 0.044 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 56.1105 s Remaining CPU time: 123.89 s c =============================================================================== c | 4150 | 4498 4675 765900 | 5000 4150 4185 | 0.044 % | c | 4251 | 4498 4675 765900 | 5500 4251 4185 | 0.044 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 57.4333 s Remaining CPU time: 122.567 s c =============================================================================== c | 4343 | 4498 4676 770250 | 5000 4343 4185 | 0.044 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 58.1492 s Remaining CPU time: 121.851 s c =============================================================================== c | 4416 | 4498 4677 774600 | 5000 4416 4185 | 0.044 % | c | 4516 | 4498 4677 774600 | 5500 4516 4184 | 0.044 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 59.256 s Remaining CPU time: 120.744 s c =============================================================================== c | 4546 | 4498 4678 778950 | 5000 4546 4184 | 0.044 % | c | 4646 | 4498 4678 778950 | 5500 4646 4184 | 0.044 % | c | 4796 | 4498 4678 778950 | 6050 4796 4183 | 0.044 % | c | 5021 | 4498 4678 778950 | 6655 5021 4182 | 0.044 % | c | 5358 | 4498 4678 778950 | 7320 5358 4182 | 0.044 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 63.6703 s Remaining CPU time: 116.33 s c =============================================================================== c | 5441 | 4498 4679 783300 | 5000 5441 4182 | 0.044 % | c | 5541 | 4498 4679 783300 | 5500 2821 4172 | 0.044 % | c | 5692 | 4498 4679 783300 | 6050 2972 4172 | 0.044 % | c | 5917 | 4498 4679 783300 | 6655 3197 4172 | 0.044 % | c | 6255 | 4498 4679 783300 | 7320 3535 4171 | 0.044 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 70.0384 s Remaining CPU time: 109.962 s c =============================================================================== c | 6627 | 4498 4680 787650 | 5000 3907 4172 | 0.044 % | c | 6727 | 4498 4680 787650 | 5500 4007 4172 | 0.044 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 71.4451 s Remaining CPU time: 108.555 s c =============================================================================== c | 6840 | 4498 4681 792000 | 5000 4120 4172 | 0.044 % | c | 6940 | 4498 4681 792000 | 5500 4220 4172 | 0.044 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 72.8149 s Remaining CPU time: 107.185 s c =============================================================================== c | 7059 | 4498 4682 796350 | 5000 4339 4172 | 0.044 % | c | 7159 | 4498 4682 796350 | 5500 4439 4172 | 0.044 % | c | 7309 | 4498 4682 796350 | 6050 4589 4172 | 0.044 % | c | 7536 | 4498 4682 796350 | 6655 4816 4172 | 0.044 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 75.8585 s Remaining CPU time: 104.142 s c =============================================================================== c | 7672 | 4498 4683 800700 | 5000 4952 4171 | 0.044 % | c | 7772 | 4498 4683 800700 | 5500 5052 4171 | 0.044 % | c | 7923 | 4498 4683 800700 | 6050 5203 4171 | 0.044 % | c | 8149 | 4498 4683 800700 | 6655 5429 4171 | 0.044 % | c | 8486 | 4498 4683 800700 | 7320 5766 4171 | 0.044 % | c | 8993 | 4498 4683 800700 | 8052 6273 4171 | 0.044 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 83.8373 s Remaining CPU time: 96.1627 s c =============================================================================== c | 9663 | 4498 4684 805050 | 5000 6943 4171 | 0.044 % | c | 9763 | 4498 4684 805050 | 5500 3572 4163 | 0.044 % | c | 9915 | 4498 4684 805050 | 6050 3724 4163 | 0.044 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 86.0389 s Remaining CPU time: 93.9611 s c =============================================================================== c | 9994 | 4498 4685 809400 | 5000 3803 4163 | 0.044 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 86.5528 s Remaining CPU time: 93.4472 s c =============================================================================== c | 10019 | 4498 4686 813750 | 5000 3828 4164 | 0.044 % | c | 10119 | 4498 4686 813750 | 5500 3928 4164 | 0.044 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 87.9866 s Remaining CPU time: 92.0134 s c =============================================================================== c | 10264 | 4498 4687 818100 | 5000 4073 4164 | 0.044 % | c | 10365 | 4498 4687 818100 | 5500 4174 4164 | 0.044 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 89.1714 s Remaining CPU time: 90.8286 s c =============================================================================== c | 10404 | 4498 4688 822450 | 5000 4213 4164 | 0.044 % | c | 10504 | 4498 4688 822450 | 5500 4313 4164 | 0.044 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 90.5302 s Remaining CPU time: 89.4698 s c =============================================================================== c | 10613 | 4498 4689 826800 | 5000 4422 4164 | 0.044 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 91.1591 s Remaining CPU time: 88.8409 s c =============================================================================== c | 10647 | 4498 4690 831150 | 5000 4456 4164 | 0.044 % | c | 10748 | 4498 4690 831150 | 5500 4557 4164 | 0.044 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 92.4439 s Remaining CPU time: 87.5561 s c =============================================================================== c | 10843 | 4498 4691 835500 | 5000 4652 4164 | 0.044 % | c | 10943 | 4498 4691 835500 | 5500 4752 4164 | 0.044 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 93.6948 s Remaining CPU time: 86.3052 s c =============================================================================== c | 10991 | 4498 4692 839850 | 5000 4800 4164 | 0.044 % | c | 11091 | 4498 4692 839850 | 5500 4900 4164 | 0.044 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 95.0186 s Remaining CPU time: 84.9814 s c =============================================================================== c | 11131 | 4498 4693 844200 | 5000 4940 4164 | 0.044 % | c | 11233 | 4498 4693 844200 | 5500 5042 4164 | 0.044 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 96.5013 s Remaining CPU time: 83.4987 s c =============================================================================== c | 11331 | 4498 4694 848550 | 5000 5140 4164 | 0.044 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 97.0332 s Remaining CPU time: 82.9668 s c =============================================================================== c | 11338 | 4498 4695 852900 | 5000 2577 4155 | 0.044 % | c | 11439 | 4498 4695 852900 | 5500 2678 4155 | 0.044 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 98.463 s Remaining CPU time: 81.537 s c =============================================================================== c | 11510 | 4498 4696 857250 | 5000 2749 4155 | 0.044 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 99.0349 s Remaining CPU time: 80.9651 s c =============================================================================== c | 11563 | 4498 4697 861600 | 5000 2802 4155 | 0.044 % | c | 11663 | 4498 4697 861600 | 5500 2902 4155 | 0.044 % | c | 11814 | 4498 4697 861600 | 6050 3053 4155 | 0.044 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 101.183 s Remaining CPU time: 78.8174 s c =============================================================================== c | 11956 | 4498 4698 865950 | 5000 3195 4156 | 0.044 % | c | 12056 | 4498 4698 865950 | 5500 3295 4156 | 0.044 % | c | 12207 | 4498 4698 865950 | 6050 3446 4156 | 0.044 % | c | 12433 | 4498 4698 865950 | 6655 3672 4156 | 0.044 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 104.515 s Remaining CPU time: 75.4849 s c =============================================================================== c | 12697 | 4498 4699 870300 | 5000 3936 4156 | 0.044 % | c | 12797 | 4498 4699 870300 | 5500 4036 4156 | 0.044 % | c | 12948 | 4498 4699 870300 | 6050 4187 4156 | 0.044 % | c | 13174 | 4498 4699 870300 | 6655 4413 4155 | 0.044 % | c | 13511 | 4498 4699 870300 | 7320 4750 4155 | 0.044 % | c =============================================================================== c New solution: 4153 c Elapsed CPU time: 108.795 s Remaining CPU time: 71.2045 s c =============================================================================== c | 13699 | 4498 4700 874650 | 5000 4938 4155 | 0.044 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 109.289 s Remaining CPU time: 70.7106 s c =============================================================================== c | 13730 | 4498 4701 879000 | 5000 4969 4155 | 0.044 % | c | 13830 | 4498 4701 879000 | 5500 5069 4155 | 0.044 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 110.491 s Remaining CPU time: 69.5088 s c =============================================================================== c | 13893 | 4498 4702 883350 | 5000 5132 4155 | 0.044 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 111.093 s Remaining CPU time: 68.9069 s c =============================================================================== c | 13959 | 4498 4703 887700 | 5000 2632 4144 | 0.044 % | c | 14060 | 4498 4703 887700 | 5500 2733 4144 | 0.044 % | c | 14211 | 4498 4703 887700 | 6050 2884 4144 | 0.044 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 113.281 s Remaining CPU time: 66.7192 s c =============================================================================== c | 14322 | 4498 4704 892050 | 5000 2995 4145 | 0.044 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 113.754 s Remaining CPU time: 66.2463 s c =============================================================================== c | 14361 | 4498 4705 896400 | 5000 3034 4145 | 0.044 % | c | 14461 | 4498 4705 896400 | 5500 3134 4145 | 0.044 % | c | 14611 | 4498 4705 896400 | 6050 3284 4145 | 0.044 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 115.829 s Remaining CPU time: 64.1706 s c =============================================================================== c | 14625 | 4498 4706 900750 | 5000 3298 4145 | 0.044 % | c | 14725 | 4498 4706 900750 | 5500 3398 4145 | 0.044 % | c | 14875 | 4498 4706 900750 | 6050 3548 4145 | 0.044 % | c | 15100 | 4498 4706 900750 | 6655 3773 4145 | 0.044 % | c | 15438 | 4498 4706 900750 | 7320 4111 4146 | 0.044 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 120.045 s Remaining CPU time: 59.9553 s c =============================================================================== c | 15701 | 4498 4707 905100 | 5000 4374 4145 | 0.044 % | c | 15801 | 4498 4707 905100 | 5500 4474 4145 | 0.044 % | c | 15951 | 4498 4707 905100 | 6050 4624 4145 | 0.044 % | c | 16176 | 4498 4707 905100 | 6655 4849 4145 | 0.044 % | c | 16514 | 4498 4707 905100 | 7320 5187 4145 | 0.044 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 124.68 s Remaining CPU time: 55.32 s c =============================================================================== c | 16743 | 4498 4708 909450 | 5000 5416 4145 | 0.044 % | c | 16844 | 4498 4708 909450 | 5500 2809 4137 | 0.044 % | c | 16995 | 4498 4708 909450 | 6050 2960 4137 | 0.044 % | c | 17220 | 4498 4708 909450 | 6655 3185 4138 | 0.044 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 127.869 s Remaining CPU time: 52.1314 s c =============================================================================== c | 17255 | 4498 4709 913800 | 5000 3220 4138 | 0.044 % | c | 17356 | 4498 4709 913800 | 5500 3321 4138 | 0.044 % | c | 17506 | 4498 4709 913800 | 6050 3471 4138 | 0.044 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 129.699 s Remaining CPU time: 50.3007 s c =============================================================================== c | 17584 | 4498 4710 918150 | 5000 3549 4139 | 0.044 % | c | 17684 | 4498 4710 918150 | 5500 3649 4139 | 0.044 % | c | 17834 | 4498 4710 918150 | 6050 3799 4139 | 0.044 % | c =============================================================================== c New solution: 4142 c Elapsed CPU time: 131.924 s Remaining CPU time: 48.0761 s c =============================================================================== c | 17868 | 4498 4711 922500 | 5000 3833 4139 | 0.044 % | c | 17968 | 4498 4711 922500 | 5500 3933 4139 | 0.044 % | c | 18118 | 4498 4711 922500 | 6050 4083 4139 | 0.044 % | c | 18343 | 4498 4711 922500 | 6655 4308 4140 | 0.044 % | c | 18681 | 4498 4711 922500 | 7320 4646 4140 | 0.044 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 136.628 s Remaining CPU time: 43.3718 s c =============================================================================== c | 18933 | 4498 4712 926850 | 5000 4898 4140 | 0.044 % | c | 19034 | 4498 4712 926850 | 5500 4999 4140 | 0.044 % | c | 19184 | 4498 4712 926850 | 6050 5149 4140 | 0.044 % | c | 19409 | 4498 4712 926850 | 6655 5374 4140 | 0.044 % | c | 19746 | 4498 4712 926850 | 7320 5711 4140 | 0.044 % | c | 20252 | 4498 4712 926850 | 8052 6217 4140 | 0.044 % | c | 21011 | 4498 4712 926850 | 8857 6976 4141 | 0.044 % |