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 | 4492 4505 13346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 4492 4506 17696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 4492 4507 22046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 4492 4508 26396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 4492 4509 30746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 4492 4510 35096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 4492 4511 39446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 4492 4512 43796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 4492 4513 48146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 4492 4514 52496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 4492 4515 56846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 4492 4516 61196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 0 | 4492 4517 65546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 4492 4518 69896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 4492 4519 74246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 4492 4520 78596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 0 | 4492 4521 82946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 4492 4522 87296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 4492 4523 91646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 0 | 4492 4524 95996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 0 | 4492 4525 100346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 0 | 4492 4526 104696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4329 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 0 | 4492 4527 109046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 0 | 4492 4528 113396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 0 | 4492 4529 117746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 0 | 4492 4530 122096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 0 | 4492 4531 126446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 0 | 4492 4532 130796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 0 | 4492 4533 135146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s c =============================================================================== c | 0 | 4492 4534 139496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s c =============================================================================== c | 0 | 4492 4535 143846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 0 | 4492 4536 148196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 0 | 4492 4537 152546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 0 | 4492 4538 156896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 0 | 4492 4539 161246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 0 | 4492 4540 165596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s c =============================================================================== c | 0 | 4492 4541 169946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 1.19582 s Remaining CPU time: 178.804 s c =============================================================================== c | 0 | 4492 4542 174296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 1.26781 s Remaining CPU time: 178.732 s c =============================================================================== c | 0 | 4492 4543 178646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 0 | 4492 4544 182996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 1.41678 s Remaining CPU time: 178.583 s c =============================================================================== c | 0 | 4492 4545 187346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 1.49477 s Remaining CPU time: 178.505 s c =============================================================================== c | 0 | 4492 4546 191696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 1.58076 s Remaining CPU time: 178.419 s c =============================================================================== c | 0 | 4492 4547 196046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 1.66575 s Remaining CPU time: 178.334 s c =============================================================================== c | 0 | 4492 4548 200396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 1.75473 s Remaining CPU time: 178.245 s c =============================================================================== c | 0 | 4492 4549 204746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 1.84672 s Remaining CPU time: 178.153 s c =============================================================================== c | 0 | 4492 4550 209096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 1.9417 s Remaining CPU time: 178.058 s c =============================================================================== c | 0 | 4492 4551 213446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 2.03869 s Remaining CPU time: 177.961 s c =============================================================================== c | 0 | 4492 4552 217796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 2.13767 s Remaining CPU time: 177.862 s c =============================================================================== c | 0 | 4492 4553 222146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 2.24166 s Remaining CPU time: 177.758 s c =============================================================================== c | 0 | 4492 4554 226496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 2.34464 s Remaining CPU time: 177.655 s c =============================================================================== c | 0 | 4492 4555 230846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 2.45063 s Remaining CPU time: 177.549 s c =============================================================================== c | 0 | 4492 4556 235196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 2.56361 s Remaining CPU time: 177.436 s c =============================================================================== c | 0 | 4492 4557 239546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 2.67659 s Remaining CPU time: 177.323 s c =============================================================================== c | 0 | 4492 4558 243896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 2.79557 s Remaining CPU time: 177.204 s c =============================================================================== c | 0 | 4492 4559 248246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 2.91256 s Remaining CPU time: 177.087 s c =============================================================================== c | 0 | 4492 4560 252596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 3.03454 s Remaining CPU time: 176.965 s c =============================================================================== c | 0 | 4492 4561 256946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 3.15652 s Remaining CPU time: 176.843 s c =============================================================================== c | 0 | 4492 4562 261296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 3.2835 s Remaining CPU time: 176.716 s c =============================================================================== c | 0 | 4492 4563 265646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 3.41448 s Remaining CPU time: 176.586 s c =============================================================================== c | 0 | 4492 4564 269996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 3.55046 s Remaining CPU time: 176.45 s c =============================================================================== c | 0 | 4492 4565 274346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 3.68644 s Remaining CPU time: 176.314 s c =============================================================================== c | 0 | 4492 4566 278696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 3.82542 s Remaining CPU time: 176.175 s c =============================================================================== c | 0 | 4492 4567 283046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 3.9694 s Remaining CPU time: 176.031 s c =============================================================================== c | 0 | 4492 4568 287396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 4.11337 s Remaining CPU time: 175.887 s c =============================================================================== c | 0 | 4492 4569 291746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 4.26135 s Remaining CPU time: 175.739 s c =============================================================================== c | 0 | 4492 4570 296096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 4.41033 s Remaining CPU time: 175.59 s c =============================================================================== c | 0 | 4492 4571 300446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 4.56131 s Remaining CPU time: 175.439 s c =============================================================================== c | 0 | 4492 4572 304796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 4.71628 s Remaining CPU time: 175.284 s c =============================================================================== c | 0 | 4492 4573 309146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 4.87726 s Remaining CPU time: 175.123 s c =============================================================================== c | 0 | 4492 4574 313496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 5.04023 s Remaining CPU time: 174.96 s c =============================================================================== c | 0 | 4492 4575 317846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 5.21021 s Remaining CPU time: 174.79 s c =============================================================================== c | 0 | 4492 4576 322196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 5.37718 s Remaining CPU time: 174.623 s c =============================================================================== c | 0 | 4492 4577 326546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 5.54816 s Remaining CPU time: 174.452 s c =============================================================================== c | 0 | 4492 4578 330896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 5.72513 s Remaining CPU time: 174.275 s c =============================================================================== c | 1 | 4492 4579 335246 | 5000 1 4279 | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 5.9061 s Remaining CPU time: 174.094 s c =============================================================================== c | 1 | 4492 4580 339596 | 5000 1 4279 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 6.08607 s Remaining CPU time: 173.914 s c =============================================================================== c | 1 | 4492 4581 343946 | 5000 1 4279 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 6.26905 s Remaining CPU time: 173.731 s c =============================================================================== c | 1 | 4492 4582 348296 | 5000 1 4279 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 6.45402 s Remaining CPU time: 173.546 s c =============================================================================== c | 1 | 4492 4583 352646 | 5000 1 4279 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 6.64299 s Remaining CPU time: 173.357 s c =============================================================================== c | 1 | 4492 4584 356996 | 5000 1 4279 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 6.84096 s Remaining CPU time: 173.159 s c =============================================================================== c | 1 | 4492 4585 361346 | 5000 1 4279 | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 7.04393 s Remaining CPU time: 172.956 s c =============================================================================== c | 3 | 4492 4586 365696 | 5000 3 4274 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 7.2429 s Remaining CPU time: 172.757 s c =============================================================================== c | 6 | 4492 4587 370046 | 5000 6 4272 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 7.44587 s Remaining CPU time: 172.554 s c =============================================================================== c | 6 | 4492 4588 374396 | 5000 6 4272 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 7.65684 s Remaining CPU time: 172.343 s c =============================================================================== c | 9 | 4492 4589 378746 | 5000 9 4271 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 7.8708 s Remaining CPU time: 172.129 s c =============================================================================== c | 9 | 4492 4590 383096 | 5000 9 4271 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 8.08977 s Remaining CPU time: 171.91 s c =============================================================================== c | 19 | 4492 4591 387446 | 5000 19 4269 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 8.30574 s Remaining CPU time: 171.694 s c =============================================================================== c | 19 | 4492 4592 391796 | 5000 19 4269 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 8.5307 s Remaining CPU time: 171.469 s c =============================================================================== c | 30 | 4492 4593 396146 | 5000 30 4268 | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 8.75367 s Remaining CPU time: 171.246 s c =============================================================================== c | 35 | 4492 4594 400496 | 5000 35 4267 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 8.97164 s Remaining CPU time: 171.028 s c =============================================================================== c | 35 | 4492 4595 404846 | 5000 35 4267 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 9.1936 s Remaining CPU time: 170.806 s c =============================================================================== c | 35 | 4492 4596 409196 | 5000 35 4267 | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 9.41857 s Remaining CPU time: 170.581 s c =============================================================================== c | 36 | 4492 4597 413546 | 5000 36 4267 | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 9.64953 s Remaining CPU time: 170.35 s c =============================================================================== c | 40 | 4492 4598 417896 | 5000 40 4266 | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 9.8885 s Remaining CPU time: 170.112 s c =============================================================================== c | 41 | 4492 4599 422246 | 5000 41 4266 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 10.1405 s Remaining CPU time: 169.86 s c =============================================================================== c | 59 | 4492 4600 426596 | 5000 59 4264 | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 10.3924 s Remaining CPU time: 169.608 s c =============================================================================== c | 68 | 4492 4601 430946 | 5000 68 4263 | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 10.6334 s Remaining CPU time: 169.367 s c =============================================================================== c | 68 | 4492 4602 435296 | 5000 68 4263 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 10.8793 s Remaining CPU time: 169.121 s c =============================================================================== c | 68 | 4492 4603 439646 | 5000 68 4263 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 11.1273 s Remaining CPU time: 168.873 s c =============================================================================== c | 70 | 4492 4604 443996 | 5000 70 4263 | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 11.3813 s Remaining CPU time: 168.619 s c =============================================================================== c | 72 | 4492 4605 448346 | 5000 72 4262 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 11.6302 s Remaining CPU time: 168.37 s c =============================================================================== c | 72 | 4492 4606 452696 | 5000 72 4262 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 11.9102 s Remaining CPU time: 168.09 s c =============================================================================== c | 99 | 4492 4607 457046 | 5000 99 4216 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 12.2221 s Remaining CPU time: 167.778 s c =============================================================================== c | 142 | 4492 4608 461396 | 5000 142 4227 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 12.4861 s Remaining CPU time: 167.514 s c =============================================================================== c | 144 | 4492 4609 465746 | 5000 144 4227 | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 12.7491 s Remaining CPU time: 167.251 s c =============================================================================== c | 146 | 4492 4610 470096 | 5000 146 4227 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 13.012 s Remaining CPU time: 166.988 s c =============================================================================== c | 146 | 4492 4611 474446 | 5000 146 4227 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 13.301 s Remaining CPU time: 166.699 s c =============================================================================== c | 166 | 4492 4612 478796 | 5000 166 4230 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 13.5789 s Remaining CPU time: 166.421 s c =============================================================================== c | 168 | 4492 4613 483146 | 5000 168 4230 | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 13.8999 s Remaining CPU time: 166.1 s c =============================================================================== c | 197 | 4492 4614 487496 | 5000 197 4232 | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 14.2088 s Remaining CPU time: 165.791 s c =============================================================================== c | 218 | 4492 4615 491846 | 5000 218 4233 | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 14.5858 s Remaining CPU time: 165.414 s c =============================================================================== c | 252 | 4492 4616 496196 | 5000 252 4234 | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 14.8707 s Remaining CPU time: 165.129 s c =============================================================================== c | 257 | 4492 4617 500546 | 5000 257 4218 | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 15.1567 s Remaining CPU time: 164.843 s c =============================================================================== c | 262 | 4492 4618 504896 | 5000 262 4218 | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 15.4497 s Remaining CPU time: 164.55 s c =============================================================================== c | 272 | 4492 4619 509246 | 5000 272 4219 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 15.8366 s Remaining CPU time: 164.163 s c =============================================================================== c | 328 | 4492 4620 513596 | 5000 328 4222 | 0.000 % | c | 428 | 4492 4620 513596 | 5500 428 4226 | 0.178 % | c | 578 | 4492 4620 513596 | 6050 578 4229 | 0.178 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 17.3434 s Remaining CPU time: 162.657 s c =============================================================================== c | 656 | 4492 4621 517946 | 5000 656 4230 | 0.178 % | c | 757 | 4492 4621 517946 | 5500 757 4231 | 0.178 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 18.1032 s Remaining CPU time: 161.897 s c =============================================================================== c | 787 | 4492 4622 522296 | 5000 787 4231 | 0.178 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 18.4842 s Remaining CPU time: 161.516 s c =============================================================================== c | 861 | 4492 4623 526646 | 5000 861 4231 | 0.178 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 18.8771 s Remaining CPU time: 161.123 s c =============================================================================== c | 944 | 4492 4624 530996 | 5000 944 4232 | 0.178 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 19.2231 s Remaining CPU time: 160.777 s c =============================================================================== c | 976 | 4492 4625 535346 | 5000 976 4232 | 0.178 % | c | 1077 | 4492 4625 535346 | 5500 1077 4232 | 0.178 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 20.1389 s Remaining CPU time: 159.861 s c =============================================================================== c | 1160 | 4492 4626 539696 | 5000 1160 4232 | 0.178 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 20.6659 s Remaining CPU time: 159.334 s c =============================================================================== c | 1256 | 4492 4627 544046 | 5000 1256 4232 | 0.178 % | c | 1356 | 4492 4627 544046 | 5500 1356 4232 | 0.178 % | c | 1507 | 4492 4627 544046 | 6050 1507 4232 | 0.178 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 21.9257 s Remaining CPU time: 158.074 s c =============================================================================== c | 1531 | 4492 4628 548396 | 5000 1531 4232 | 0.178 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 22.3736 s Remaining CPU time: 157.626 s c =============================================================================== c | 1609 | 4492 4629 552746 | 5000 1609 4231 | 0.178 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 22.6945 s Remaining CPU time: 157.305 s c =============================================================================== c | 1616 | 4492 4630 557096 | 5000 1616 4231 | 0.178 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 23.0105 s Remaining CPU time: 156.989 s c =============================================================================== c | 1618 | 4492 4631 561446 | 5000 1618 4231 | 0.178 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 23.4504 s Remaining CPU time: 156.55 s c =============================================================================== c | 1664 | 4492 4632 565796 | 5000 1664 4231 | 0.178 % | c | 1764 | 4492 4632 565796 | 5500 1764 4231 | 0.178 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 24.2863 s Remaining CPU time: 155.714 s c =============================================================================== c | 1769 | 4492 4633 570146 | 5000 1769 4231 | 0.178 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 24.7232 s Remaining CPU time: 155.277 s c =============================================================================== c | 1825 | 4492 4634 574496 | 5000 1825 4231 | 0.178 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 25.0752 s Remaining CPU time: 154.925 s c =============================================================================== c | 1848 | 4492 4635 578846 | 5000 1848 4231 | 0.178 % | c | 1949 | 4492 4635 578846 | 5500 1949 4230 | 0.178 % | c | 2099 | 4492 4635 578846 | 6050 2099 4230 | 0.178 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 26.9019 s Remaining CPU time: 153.098 s c =============================================================================== c | 2289 | 4492 4636 583196 | 5000 2289 4229 | 0.178 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 27.2679 s Remaining CPU time: 152.732 s c =============================================================================== c | 2304 | 4492 4637 587546 | 5000 2304 4229 | 0.178 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 27.6598 s Remaining CPU time: 152.34 s c =============================================================================== c | 2346 | 4492 4638 591896 | 5000 2346 4229 | 0.178 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 28.0477 s Remaining CPU time: 151.952 s c =============================================================================== c | 2365 | 4492 4639 596246 | 5000 2365 4229 | 0.178 % | c | 2465 | 4492 4639 596246 | 5500 2465 4228 | 0.178 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 28.9676 s Remaining CPU time: 151.032 s c =============================================================================== c | 2476 | 4492 4640 600596 | 5000 2476 4228 | 0.178 % | c | 2577 | 4492 4640 600596 | 5500 2577 4228 | 0.178 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 29.8345 s Remaining CPU time: 150.166 s c =============================================================================== c | 2617 | 4492 4641 604946 | 5000 2617 4228 | 0.178 % | c | 2718 | 4492 4641 604946 | 5500 2718 4227 | 0.178 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 30.8223 s Remaining CPU time: 149.178 s c =============================================================================== c | 2778 | 4492 4642 609296 | 5000 2778 4227 | 0.178 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 31.2313 s Remaining CPU time: 148.769 s c =============================================================================== c | 2826 | 4492 4643 613646 | 5000 2826 4227 | 0.178 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 31.6402 s Remaining CPU time: 148.36 s c =============================================================================== c | 2853 | 4492 4644 617996 | 5000 2853 4227 | 0.178 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 32.0241 s Remaining CPU time: 147.976 s c =============================================================================== c | 2880 | 4492 4645 622346 | 5000 2880 4227 | 0.178 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 32.4501 s Remaining CPU time: 147.55 s c =============================================================================== c | 2932 | 4492 4646 626696 | 5000 2932 4226 | 0.178 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 32.87 s Remaining CPU time: 147.13 s c =============================================================================== c | 2960 | 4492 4647 631046 | 5000 2960 4226 | 0.178 % | c | 3061 | 4492 4647 631046 | 5500 3061 4226 | 0.178 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 33.7839 s Remaining CPU time: 146.216 s c =============================================================================== c | 3079 | 4492 4648 635396 | 5000 3079 4226 | 0.178 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 34.2058 s Remaining CPU time: 145.794 s c =============================================================================== c | 3093 | 4492 4649 639746 | 5000 3093 4226 | 0.178 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 34.5887 s Remaining CPU time: 145.411 s c =============================================================================== c | 3102 | 4492 4650 644096 | 5000 3102 4225 | 0.178 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 35.0187 s Remaining CPU time: 144.981 s c =============================================================================== c | 3129 | 4492 4651 648446 | 5000 3129 4225 | 0.178 % | c | 3229 | 4492 4651 648446 | 5500 3229 4225 | 0.178 % | c | 3380 | 4492 4651 648446 | 6050 3380 4224 | 0.178 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 36.8264 s Remaining CPU time: 143.174 s c =============================================================================== c | 3398 | 4492 4652 652796 | 5000 3398 4224 | 0.178 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 37.2443 s Remaining CPU time: 142.756 s c =============================================================================== c | 3425 | 4492 4653 657146 | 5000 3425 4224 | 0.178 % | c | 3525 | 4492 4653 657146 | 5500 3525 4223 | 0.178 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 38.2172 s Remaining CPU time: 141.783 s c =============================================================================== c | 3547 | 4492 4654 661496 | 5000 3547 4223 | 0.178 % | c | 3647 | 4492 4654 661496 | 5500 3647 4222 | 0.178 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 39.38 s Remaining CPU time: 140.62 s c =============================================================================== c | 3683 | 4492 4655 665846 | 5000 3683 4222 | 0.178 % | c | 3783 | 4492 4655 665846 | 5500 3783 4222 | 0.178 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 40.5008 s Remaining CPU time: 139.499 s c =============================================================================== c | 3845 | 4492 4656 670196 | 5000 3845 4221 | 0.178 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 41.0548 s Remaining CPU time: 138.945 s c =============================================================================== c | 3929 | 4492 4657 674546 | 5000 3929 4221 | 0.178 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 41.5757 s Remaining CPU time: 138.424 s c =============================================================================== c | 3991 | 4492 4658 678896 | 5000 3991 4221 | 0.178 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 41.9726 s Remaining CPU time: 138.027 s c =============================================================================== c | 3993 | 4492 4659 683246 | 5000 3993 4221 | 0.178 % | c | 4094 | 4492 4659 683246 | 5500 4094 4220 | 0.178 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 43.2114 s Remaining CPU time: 136.789 s c =============================================================================== c | 4160 | 4492 4660 687596 | 5000 4160 4220 | 0.178 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 43.6194 s Remaining CPU time: 136.381 s c =============================================================================== c | 4162 | 4492 4661 691946 | 5000 4162 4220 | 0.178 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 44.1943 s Remaining CPU time: 135.806 s c =============================================================================== c | 4220 | 4492 4662 696296 | 5000 4220 4219 | 0.178 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 44.6462 s Remaining CPU time: 135.354 s c =============================================================================== c | 4257 | 4492 4663 700646 | 5000 4257 4219 | 0.178 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 45.1421 s Remaining CPU time: 134.858 s c =============================================================================== c | 4291 | 4492 4664 704996 | 5000 4291 4219 | 0.178 % | c | 4392 | 4492 4664 704996 | 5500 4392 4218 | 0.178 % | c | 4542 | 4492 4664 704996 | 6050 4542 4218 | 0.178 % | c | 4768 | 4492 4664 704996 | 6655 4768 4217 | 0.178 % | c | 5105 | 4492 4664 704996 | 7320 5105 4215 | 0.178 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 50.2744 s Remaining CPU time: 129.726 s c =============================================================================== c | 5147 | 4492 4665 709346 | 5000 5147 4215 | 0.178 % | c | 5247 | 4492 4665 709346 | 5500 2674 4199 | 0.178 % | c | 5397 | 4492 4665 709346 | 6050 2824 4198 | 0.178 % | c | 5623 | 4492 4665 709346 | 6655 3050 4198 | 0.178 % | c | 5960 | 4492 4665 709346 | 7320 3387 4197 | 0.178 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 54.7447 s Remaining CPU time: 125.255 s c =============================================================================== c | 6187 | 4492 4666 713696 | 5000 3614 4197 | 0.178 % | c | 6289 | 4492 4666 713696 | 5500 3716 4197 | 0.178 % | c | 6439 | 4492 4666 713696 | 6050 3866 4197 | 0.178 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 56.6574 s Remaining CPU time: 123.343 s c =============================================================================== c | 6457 | 4492 4667 718046 | 5000 3884 4197 | 0.178 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 57.1563 s Remaining CPU time: 122.844 s c =============================================================================== c | 6498 | 4492 4668 722396 | 5000 3925 4197 | 0.178 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 57.7612 s Remaining CPU time: 122.239 s c =============================================================================== c | 6591 | 4492 4669 726746 | 5000 4018 4196 | 0.178 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 58.2371 s Remaining CPU time: 121.763 s c =============================================================================== c | 6628 | 4492 4670 731096 | 5000 4055 4196 | 0.178 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 58.6971 s Remaining CPU time: 121.303 s c =============================================================================== c | 6656 | 4492 4671 735446 | 5000 4083 4196 | 0.178 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 59.152 s Remaining CPU time: 120.848 s c =============================================================================== c | 6670 | 4492 4672 739796 | 5000 4097 4196 | 0.178 % | c | 6770 | 4492 4672 739796 | 5500 4197 4196 | 0.178 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 60.3858 s Remaining CPU time: 119.614 s c =============================================================================== c | 6853 | 4492 4673 744146 | 5000 4280 4196 | 0.178 % | c | 6953 | 4492 4673 744146 | 5500 4380 4195 | 0.178 % | c | 7103 | 4492 4673 744146 | 6050 4530 4195 | 0.178 % | c | 7328 | 4492 4673 744146 | 6655 4755 4195 | 0.178 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 63.2974 s Remaining CPU time: 116.703 s c =============================================================================== c | 7424 | 4492 4674 748496 | 5000 4851 4194 | 0.178 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 63.8083 s Remaining CPU time: 116.192 s c =============================================================================== c | 7451 | 4492 4675 752846 | 5000 4878 4194 | 0.178 % | c | 7551 | 4492 4675 752846 | 5500 4978 4193 | 0.178 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 64.9831 s Remaining CPU time: 115.017 s c =============================================================================== c | 7603 | 4492 4676 757196 | 5000 5030 4193 | 0.178 % | c | 7703 | 4492 4676 757196 | 5500 2615 4184 | 0.178 % | c | 7854 | 4492 4676 757196 | 6050 2766 4184 | 0.178 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 66.7079 s Remaining CPU time: 113.292 s c =============================================================================== c | 7893 | 4492 4677 761546 | 5000 2805 4184 | 0.178 % | c | 7993 | 4492 4677 761546 | 5500 2905 4184 | 0.178 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 67.8957 s Remaining CPU time: 112.104 s c =============================================================================== c | 8041 | 4492 4678 765896 | 5000 2953 4184 | 0.178 % | c | 8141 | 4492 4678 765896 | 5500 3053 4183 | 0.178 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 69.1715 s Remaining CPU time: 110.829 s c =============================================================================== c | 8235 | 4492 4679 770246 | 5000 3147 4183 | 0.178 % | c | 8335 | 4492 4679 770246 | 5500 3247 4183 | 0.178 % | c | 8486 | 4492 4679 770246 | 6050 3398 4183 | 0.178 % | c | 8711 | 4492 4679 770246 | 6655 3623 4183 | 0.178 % | c | 9048 | 4492 4679 770246 | 7320 3960 4182 | 0.178 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 74.5137 s Remaining CPU time: 105.486 s c =============================================================================== c | 9362 | 4492 4680 774596 | 5000 4274 4182 | 0.178 % | c | 9462 | 4492 4680 774596 | 5500 4374 4182 | 0.178 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 75.8505 s Remaining CPU time: 104.15 s c =============================================================================== c | 9583 | 4492 4681 778946 | 5000 4495 4182 | 0.178 % | c | 9683 | 4492 4681 778946 | 5500 4595 4182 | 0.178 % | c | 9833 | 4492 4681 778946 | 6050 4745 4182 | 0.178 % | c | 10058 | 4492 4681 778946 | 6655 4970 4181 | 0.178 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 78.5831 s Remaining CPU time: 101.417 s c =============================================================================== c | 10068 | 4492 4682 783296 | 5000 4980 4181 | 0.178 % | c | 10168 | 4492 4682 783296 | 5500 5080 4181 | 0.178 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 79.8689 s Remaining CPU time: 100.131 s c =============================================================================== c | 10235 | 4492 4683 787646 | 5000 5147 4181 | 0.178 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 80.3998 s Remaining CPU time: 99.6002 s c =============================================================================== c | 10263 | 4492 4684 791996 | 5000 2602 4173 | 0.178 % | c | 10364 | 4492 4684 791996 | 5500 2703 4174 | 0.178 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 81.6776 s Remaining CPU time: 98.3224 s c =============================================================================== c | 10452 | 4492 4685 796346 | 5000 2791 4174 | 0.178 % | c | 10552 | 4492 4685 796346 | 5500 2891 4173 | 0.178 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 82.9504 s Remaining CPU time: 97.0496 s c =============================================================================== c | 10651 | 4492 4686 800696 | 5000 2990 4173 | 0.178 % | c | 10752 | 4492 4686 800696 | 5500 3091 4173 | 0.178 % | c | 10902 | 4492 4686 800696 | 6050 3241 4173 | 0.178 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 85.1401 s Remaining CPU time: 94.8599 s c =============================================================================== c | 10912 | 4492 4687 805046 | 5000 3251 4173 | 0.178 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 85.658 s Remaining CPU time: 94.342 s c =============================================================================== c | 10934 | 4492 4688 809396 | 5000 3273 4173 | 0.178 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 86.1739 s Remaining CPU time: 93.8261 s c =============================================================================== c | 10969 | 4492 4689 813746 | 5000 3308 4173 | 0.178 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 86.8628 s Remaining CPU time: 93.1372 s c =============================================================================== c | 11027 | 4492 4690 818096 | 5000 3366 4173 | 0.178 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 87.3497 s Remaining CPU time: 92.6503 s c =============================================================================== c | 11036 | 4492 4691 822446 | 5000 3375 4173 | 0.178 % | c | 11137 | 4492 4691 822446 | 5500 3476 4173 | 0.178 % | c | 11287 | 4492 4691 822446 | 6050 3626 4173 | 0.178 % | c | 11513 | 4492 4691 822446 | 6655 3852 4172 | 0.178 % | c | 11851 | 4492 4691 822446 | 7320 4190 4172 | 0.178 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 91.3271 s Remaining CPU time: 88.6729 s c =============================================================================== c | 11932 | 4492 4692 826796 | 5000 4271 4172 | 0.178 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 91.782 s Remaining CPU time: 88.218 s c =============================================================================== c | 11963 | 4492 4693 831146 | 5000 4302 4172 | 0.178 % | c | 12063 | 4492 4693 831146 | 5500 4402 4172 | 0.178 % | c | 12213 | 4492 4693 831146 | 6050 4552 4171 | 0.178 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 93.8027 s Remaining CPU time: 86.1973 s c =============================================================================== c | 12345 | 4492 4694 835496 | 5000 4684 4171 | 0.178 % | c | 12445 | 4492 4694 835496 | 5500 4784 4171 | 0.178 % | c | 12596 | 4492 4694 835496 | 6050 4935 4171 | 0.178 % | c | 12821 | 4492 4694 835496 | 6655 5160 4170 | 0.178 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 97.0442 s Remaining CPU time: 82.9558 s c =============================================================================== c | 12990 | 4492 4695 839846 | 5000 5329 4170 | 0.178 % | c | 13090 | 4492 4695 839846 | 5500 2765 4164 | 0.178 % | c | 13240 | 4492 4695 839846 | 6050 2915 4164 | 0.178 % | c | 13465 | 4492 4695 839846 | 6655 3140 4164 | 0.178 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 100.252 s Remaining CPU time: 79.7482 s c =============================================================================== c | 13763 | 4492 4696 844196 | 5000 3438 4162 | 0.178 % | c | 13863 | 4492 4696 844196 | 5500 3538 4162 | 0.178 % | c | 14013 | 4492 4696 844196 | 6050 3688 4162 | 0.178 % | c | 14238 | 4492 4696 844196 | 6655 3913 4162 | 0.178 % | c | 14575 | 4492 4696 844196 | 7320 4250 4162 | 0.178 % | c | 15081 | 4492 4696 844196 | 8052 4756 4162 | 0.178 % | c | 15840 | 4492 4696 844196 | 8857 5515 4162 | 0.178 % | c | 16979 | 4492 4696 844196 | 9743 6654 4162 | 0.178 % | c | 18687 | 4492 4696 844196 | 10717 8362 4161 | 0.178 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 115.269 s Remaining CPU time: 64.7305 s c =============================================================================== c | 19300 | 4492 4697 848546 | 5000 8975 4160 | 0.178 % | c | 19401 | 4492 4697 848546 | 5500 4589 4156 | 0.178 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 116.923 s Remaining CPU time: 63.0768 s c =============================================================================== c | 19545 | 4492 4698 852896 | 5000 4733 4157 | 0.178 % | c | 19645 | 4492 4698 852896 | 5500 4833 4157 | 0.178 % | c | 19797 | 4492 4698 852896 | 6050 4985 4157 | 0.178 % | c | 20022 | 4492 4698 852896 | 6655 5210 4157 | 0.178 % | c | 20359 | 4492 4698 852896 | 7320 5547 4157 | 0.178 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 120.973 s Remaining CPU time: 59.0274 s c =============================================================================== c | 20518 | 4492 4699 857246 | 5000 5706 4157 | 0.178 % | c | 20620 | 4492 4699 857246 | 5500 2955 4154 | 0.178 % | c | 20770 | 4492 4699 857246 | 6050 3105 4154 | 0.178 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 122.777 s Remaining CPU time: 57.2227 s c =============================================================================== c | 20857 | 4492 4700 861596 | 5000 3192 4154 | 0.178 % | c | 20957 | 4492 4700 861596 | 5500 3292 4154 | 0.178 % | c | 21107 | 4492 4700 861596 | 6050 3442 4154 | 0.178 % | c | 21332 | 4492 4700 861596 | 6655 3667 4155 | 0.178 % | c | 21670 | 4492 4700 861596 | 7320 4005 4155 | 0.178 % | c | 22176 | 4492 4700 861596 | 8052 4511 4155 | 0.178 % |