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 | 4496 4504 13332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23758 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 4496 4505 17682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23756 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 4496 4506 22032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23749 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 4496 4507 26382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23747 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 4496 4508 30732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23745 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 4496 4509 35082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23744 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 0 | 4496 4510 39432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23743 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 0 | 4496 4511 43782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23742 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 0 | 4496 4512 48132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23741 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 0 | 4496 4513 52482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23738 c Elapsed CPU time: 0.745886 s Remaining CPU time: 179.254 s c =============================================================================== c | 0 | 4496 4514 56832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23737 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 0 | 4496 4515 61182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23734 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 0 | 4496 4516 65532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23733 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 0 | 4496 4517 69882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23732 c Elapsed CPU time: 1.07584 s Remaining CPU time: 178.924 s c =============================================================================== c | 0 | 4496 4518 74232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23731 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 0 | 4496 4519 78582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23730 c Elapsed CPU time: 1.24981 s Remaining CPU time: 178.75 s c =============================================================================== c | 0 | 4496 4520 82932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23729 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s c =============================================================================== c | 0 | 4496 4521 87282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23728 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s c =============================================================================== c | 0 | 4496 4522 91632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23725 c Elapsed CPU time: 1.53477 s Remaining CPU time: 178.465 s c =============================================================================== c | 0 | 4496 4523 95982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23724 c Elapsed CPU time: 1.63575 s Remaining CPU time: 178.364 s c =============================================================================== c | 0 | 4496 4524 100332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23723 c Elapsed CPU time: 1.73474 s Remaining CPU time: 178.265 s c =============================================================================== c | 0 | 4496 4525 104682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23722 c Elapsed CPU time: 1.83972 s Remaining CPU time: 178.16 s c =============================================================================== c | 0 | 4496 4526 109032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23721 c Elapsed CPU time: 1.9447 s Remaining CPU time: 178.055 s c =============================================================================== c | 0 | 4496 4527 113382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23720 c Elapsed CPU time: 2.04869 s Remaining CPU time: 177.951 s c =============================================================================== c | 0 | 4496 4528 117732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23719 c Elapsed CPU time: 2.15367 s Remaining CPU time: 177.846 s c =============================================================================== c | 0 | 4496 4529 122082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23718 c Elapsed CPU time: 2.26066 s Remaining CPU time: 177.739 s c =============================================================================== c | 0 | 4496 4530 126432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23715 c Elapsed CPU time: 2.36364 s Remaining CPU time: 177.636 s c =============================================================================== c | 0 | 4496 4531 130782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23714 c Elapsed CPU time: 2.47762 s Remaining CPU time: 177.522 s c =============================================================================== c | 0 | 4496 4532 135132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23710 c Elapsed CPU time: 2.59161 s Remaining CPU time: 177.408 s c =============================================================================== c | 0 | 4496 4533 139482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23707 c Elapsed CPU time: 2.70559 s Remaining CPU time: 177.294 s c =============================================================================== c | 0 | 4496 4534 143832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23706 c Elapsed CPU time: 2.82357 s Remaining CPU time: 177.176 s c =============================================================================== c | 0 | 4496 4535 148182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23705 c Elapsed CPU time: 2.94155 s Remaining CPU time: 177.058 s c =============================================================================== c | 0 | 4496 4536 152532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23701 c Elapsed CPU time: 3.06153 s Remaining CPU time: 176.938 s c =============================================================================== c | 0 | 4496 4537 156882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23699 c Elapsed CPU time: 3.18851 s Remaining CPU time: 176.811 s c =============================================================================== c | 0 | 4496 4538 161232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23696 c Elapsed CPU time: 3.31549 s Remaining CPU time: 176.685 s c =============================================================================== c | 0 | 4496 4539 165582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23695 c Elapsed CPU time: 3.44148 s Remaining CPU time: 176.559 s c =============================================================================== c | 0 | 4496 4540 169932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23693 c Elapsed CPU time: 3.56946 s Remaining CPU time: 176.431 s c =============================================================================== c | 0 | 4496 4541 174282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23691 c Elapsed CPU time: 3.70044 s Remaining CPU time: 176.3 s c =============================================================================== c | 0 | 4496 4542 178632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23690 c Elapsed CPU time: 3.84042 s Remaining CPU time: 176.16 s c =============================================================================== c | 0 | 4496 4543 182982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23689 c Elapsed CPU time: 3.98439 s Remaining CPU time: 176.016 s c =============================================================================== c | 0 | 4496 4544 187332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23688 c Elapsed CPU time: 4.13137 s Remaining CPU time: 175.869 s c =============================================================================== c | 0 | 4496 4545 191682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23686 c Elapsed CPU time: 4.27635 s Remaining CPU time: 175.724 s c =============================================================================== c | 0 | 4496 4546 196032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23685 c Elapsed CPU time: 4.42433 s Remaining CPU time: 175.576 s c =============================================================================== c | 0 | 4496 4547 200382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23684 c Elapsed CPU time: 4.5763 s Remaining CPU time: 175.424 s c =============================================================================== c | 0 | 4496 4548 204732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23681 c Elapsed CPU time: 4.73028 s Remaining CPU time: 175.27 s c =============================================================================== c | 0 | 4496 4549 209082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23679 c Elapsed CPU time: 4.88326 s Remaining CPU time: 175.117 s c =============================================================================== c | 0 | 4496 4550 213432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23676 c Elapsed CPU time: 5.04023 s Remaining CPU time: 174.96 s c =============================================================================== c | 0 | 4496 4551 217782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23675 c Elapsed CPU time: 5.20421 s Remaining CPU time: 174.796 s c =============================================================================== c | 0 | 4496 4552 222132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23674 c Elapsed CPU time: 5.36718 s Remaining CPU time: 174.633 s c =============================================================================== c | 0 | 4496 4553 226482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23668 c Elapsed CPU time: 5.53416 s Remaining CPU time: 174.466 s c =============================================================================== c | 0 | 4496 4554 230832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23667 c Elapsed CPU time: 5.71213 s Remaining CPU time: 174.288 s c =============================================================================== c | 0 | 4496 4555 235182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23665 c Elapsed CPU time: 5.8881 s Remaining CPU time: 174.112 s c =============================================================================== c | 0 | 4496 4556 239532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23664 c Elapsed CPU time: 6.06708 s Remaining CPU time: 173.933 s c =============================================================================== c | 0 | 4496 4557 243882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23663 c Elapsed CPU time: 6.24105 s Remaining CPU time: 173.759 s c =============================================================================== c | 0 | 4496 4558 248232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23659 c Elapsed CPU time: 6.41902 s Remaining CPU time: 173.581 s c =============================================================================== c | 0 | 4496 4559 252582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23657 c Elapsed CPU time: 6.602 s Remaining CPU time: 173.398 s c =============================================================================== c | 0 | 4496 4560 256932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23655 c Elapsed CPU time: 6.78197 s Remaining CPU time: 173.218 s c =============================================================================== c | 0 | 4496 4561 261282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23654 c Elapsed CPU time: 6.97294 s Remaining CPU time: 173.027 s c =============================================================================== c | 0 | 4496 4562 265632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23652 c Elapsed CPU time: 7.16391 s Remaining CPU time: 172.836 s c =============================================================================== c | 0 | 4496 4563 269982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23651 c Elapsed CPU time: 7.36288 s Remaining CPU time: 172.637 s c =============================================================================== c | 0 | 4496 4564 274332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23650 c Elapsed CPU time: 7.56985 s Remaining CPU time: 172.43 s c =============================================================================== c | 0 | 4496 4565 278682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23649 c Elapsed CPU time: 7.77382 s Remaining CPU time: 172.226 s c =============================================================================== c | 0 | 4496 4566 283032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23648 c Elapsed CPU time: 7.97979 s Remaining CPU time: 172.02 s c =============================================================================== c | 0 | 4496 4567 287382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23647 c Elapsed CPU time: 8.18375 s Remaining CPU time: 171.816 s c =============================================================================== c | 0 | 4496 4568 291732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23646 c Elapsed CPU time: 8.39372 s Remaining CPU time: 171.606 s c =============================================================================== c | 0 | 4496 4569 296082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23645 c Elapsed CPU time: 8.60369 s Remaining CPU time: 171.396 s c =============================================================================== c | 0 | 4496 4570 300432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23644 c Elapsed CPU time: 8.82366 s Remaining CPU time: 171.176 s c =============================================================================== c | 0 | 4496 4571 304782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23643 c Elapsed CPU time: 9.03862 s Remaining CPU time: 170.961 s c =============================================================================== c | 0 | 4496 4572 309132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23642 c Elapsed CPU time: 9.25959 s Remaining CPU time: 170.74 s c =============================================================================== c | 0 | 4496 4573 313482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23640 c Elapsed CPU time: 9.48156 s Remaining CPU time: 170.518 s c =============================================================================== c | 0 | 4496 4574 317832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23636 c Elapsed CPU time: 9.70652 s Remaining CPU time: 170.293 s c =============================================================================== c | 0 | 4496 4575 322182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23633 c Elapsed CPU time: 9.94049 s Remaining CPU time: 170.06 s c =============================================================================== c | 0 | 4496 4576 326532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23632 c Elapsed CPU time: 10.1715 s Remaining CPU time: 169.829 s c =============================================================================== c | 0 | 4496 4577 330882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23628 c Elapsed CPU time: 10.4084 s Remaining CPU time: 169.592 s c =============================================================================== c | 0 | 4496 4578 335232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23626 c Elapsed CPU time: 10.6504 s Remaining CPU time: 169.35 s c =============================================================================== c | 0 | 4496 4579 339582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23625 c Elapsed CPU time: 10.8963 s Remaining CPU time: 169.104 s c =============================================================================== c | 0 | 4496 4580 343932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23624 c Elapsed CPU time: 11.1343 s Remaining CPU time: 168.866 s c =============================================================================== c | 0 | 4496 4581 348282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23623 c Elapsed CPU time: 11.3813 s Remaining CPU time: 168.619 s c =============================================================================== c | 0 | 4496 4582 352632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23622 c Elapsed CPU time: 11.6272 s Remaining CPU time: 168.373 s c =============================================================================== c | 0 | 4496 4583 356982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23621 c Elapsed CPU time: 11.8782 s Remaining CPU time: 168.122 s c =============================================================================== c | 0 | 4496 4584 361332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23618 c Elapsed CPU time: 12.1342 s Remaining CPU time: 167.866 s c =============================================================================== c | 0 | 4496 4585 365682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23617 c Elapsed CPU time: 12.3871 s Remaining CPU time: 167.613 s c =============================================================================== c | 0 | 4496 4586 370032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23616 c Elapsed CPU time: 12.6491 s Remaining CPU time: 167.351 s c =============================================================================== c | 0 | 4496 4587 374382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23614 c Elapsed CPU time: 12.912 s Remaining CPU time: 167.088 s c =============================================================================== c | 0 | 4496 4588 378732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23611 c Elapsed CPU time: 13.177 s Remaining CPU time: 166.823 s c =============================================================================== c | 0 | 4496 4589 383082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23607 c Elapsed CPU time: 13.455 s Remaining CPU time: 166.545 s c =============================================================================== c | 0 | 4496 4590 387432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23606 c Elapsed CPU time: 13.7379 s Remaining CPU time: 166.262 s c =============================================================================== c | 0 | 4496 4591 391782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23604 c Elapsed CPU time: 14.0249 s Remaining CPU time: 165.975 s c =============================================================================== c | 0 | 4496 4592 396132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23603 c Elapsed CPU time: 14.3128 s Remaining CPU time: 165.687 s c =============================================================================== c | 0 | 4496 4593 400482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23602 c Elapsed CPU time: 14.6048 s Remaining CPU time: 165.395 s c =============================================================================== c | 0 | 4496 4594 404832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23600 c Elapsed CPU time: 14.9007 s Remaining CPU time: 165.099 s c =============================================================================== c | 0 | 4496 4595 409182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23599 c Elapsed CPU time: 15.1887 s Remaining CPU time: 164.811 s c =============================================================================== c | 0 | 4496 4596 413532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23598 c Elapsed CPU time: 15.4806 s Remaining CPU time: 164.519 s c =============================================================================== c | 0 | 4496 4597 417882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23597 c Elapsed CPU time: 15.7886 s Remaining CPU time: 164.211 s c =============================================================================== c | 0 | 4496 4598 422232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23596 c Elapsed CPU time: 16.0906 s Remaining CPU time: 163.909 s c =============================================================================== c | 0 | 4496 4599 426582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23593 c Elapsed CPU time: 16.3885 s Remaining CPU time: 163.611 s c =============================================================================== c | 0 | 4496 4600 430932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23592 c Elapsed CPU time: 16.6895 s Remaining CPU time: 163.311 s c =============================================================================== c | 0 | 4496 4601 435282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23591 c Elapsed CPU time: 16.9934 s Remaining CPU time: 163.007 s c =============================================================================== c | 0 | 4496 4602 439632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23590 c Elapsed CPU time: 17.3094 s Remaining CPU time: 162.691 s c =============================================================================== c | 0 | 4496 4603 443982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23587 c Elapsed CPU time: 17.6213 s Remaining CPU time: 162.379 s c =============================================================================== c | 0 | 4496 4604 448332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23586 c Elapsed CPU time: 17.9423 s Remaining CPU time: 162.058 s c =============================================================================== c | 0 | 4496 4605 452682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23585 c Elapsed CPU time: 18.2562 s Remaining CPU time: 161.744 s c =============================================================================== c | 0 | 4496 4606 457032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23584 c Elapsed CPU time: 18.5852 s Remaining CPU time: 161.415 s c =============================================================================== c | 0 | 4496 4607 461382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23583 c Elapsed CPU time: 18.9161 s Remaining CPU time: 161.084 s c =============================================================================== c | 0 | 4496 4608 465732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23582 c Elapsed CPU time: 19.2521 s Remaining CPU time: 160.748 s c =============================================================================== c | 0 | 4496 4609 470082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23580 c Elapsed CPU time: 19.589 s Remaining CPU time: 160.411 s c =============================================================================== c | 0 | 4496 4610 474432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23579 c Elapsed CPU time: 19.93 s Remaining CPU time: 160.07 s c =============================================================================== c | 0 | 4496 4611 478782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23578 c Elapsed CPU time: 20.2769 s Remaining CPU time: 159.723 s c =============================================================================== c | 0 | 4496 4612 483132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23577 c Elapsed CPU time: 20.6259 s Remaining CPU time: 159.374 s c =============================================================================== c | 0 | 4496 4613 487482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23571 c Elapsed CPU time: 20.9918 s Remaining CPU time: 159.008 s c =============================================================================== c | 0 | 4496 4614 491832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23570 c Elapsed CPU time: 21.3668 s Remaining CPU time: 158.633 s c =============================================================================== c | 0 | 4496 4615 496182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23567 c Elapsed CPU time: 21.7457 s Remaining CPU time: 158.254 s c =============================================================================== c | 0 | 4496 4616 500532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23566 c Elapsed CPU time: 22.1226 s Remaining CPU time: 157.877 s c =============================================================================== c | 0 | 4496 4617 504882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23565 c Elapsed CPU time: 22.5116 s Remaining CPU time: 157.488 s c =============================================================================== c | 0 | 4496 4618 509232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23564 c Elapsed CPU time: 22.8975 s Remaining CPU time: 157.102 s c =============================================================================== c | 0 | 4496 4619 513582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23563 c Elapsed CPU time: 23.2785 s Remaining CPU time: 156.722 s c =============================================================================== c | 0 | 4496 4620 517932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23562 c Elapsed CPU time: 23.6704 s Remaining CPU time: 156.33 s c =============================================================================== c | 0 | 4496 4621 522282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23561 c Elapsed CPU time: 24.0703 s Remaining CPU time: 155.93 s c =============================================================================== c | 0 | 4496 4622 526632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23559 c Elapsed CPU time: 24.4603 s Remaining CPU time: 155.54 s c =============================================================================== c | 0 | 4496 4623 530982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23558 c Elapsed CPU time: 24.8462 s Remaining CPU time: 155.154 s c =============================================================================== c | 0 | 4496 4624 535332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23555 c Elapsed CPU time: 25.2462 s Remaining CPU time: 154.754 s c =============================================================================== c | 0 | 4496 4625 539682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23554 c Elapsed CPU time: 25.6571 s Remaining CPU time: 154.343 s c =============================================================================== c | 0 | 4496 4626 544032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23553 c Elapsed CPU time: 26.051 s Remaining CPU time: 153.949 s c =============================================================================== c | 0 | 4496 4627 548382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23552 c Elapsed CPU time: 26.449 s Remaining CPU time: 153.551 s c =============================================================================== c | 0 | 4496 4628 552732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23548 c Elapsed CPU time: 26.8459 s Remaining CPU time: 153.154 s c =============================================================================== c | 0 | 4496 4629 557082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23545 c Elapsed CPU time: 27.2559 s Remaining CPU time: 152.744 s c =============================================================================== c | 0 | 4496 4630 561432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23544 c Elapsed CPU time: 27.6688 s Remaining CPU time: 152.331 s c =============================================================================== c | 0 | 4496 4631 565782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23542 c Elapsed CPU time: 28.0847 s Remaining CPU time: 151.915 s c =============================================================================== c | 0 | 4496 4632 570132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23539 c Elapsed CPU time: 28.4847 s Remaining CPU time: 151.515 s c =============================================================================== c | 0 | 4496 4633 574482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23537 c Elapsed CPU time: 28.9096 s Remaining CPU time: 151.09 s c =============================================================================== c | 0 | 4496 4634 578832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23535 c Elapsed CPU time: 29.3325 s Remaining CPU time: 150.667 s c =============================================================================== c | 0 | 4496 4635 583182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23534 c Elapsed CPU time: 29.7405 s Remaining CPU time: 150.26 s c =============================================================================== c | 0 | 4496 4636 587532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23533 c Elapsed CPU time: 30.1574 s Remaining CPU time: 149.843 s c =============================================================================== c | 0 | 4496 4637 591882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23531 c Elapsed CPU time: 30.5814 s Remaining CPU time: 149.419 s c =============================================================================== c | 0 | 4496 4638 596232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23530 c Elapsed CPU time: 31.0073 s Remaining CPU time: 148.993 s c =============================================================================== c | 0 | 4496 4639 600582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23529 c Elapsed CPU time: 31.4292 s Remaining CPU time: 148.571 s c =============================================================================== c | 0 | 4496 4640 604932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23528 c Elapsed CPU time: 31.8612 s Remaining CPU time: 148.139 s c =============================================================================== c | 0 | 4496 4641 609282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23526 c Elapsed CPU time: 32.2951 s Remaining CPU time: 147.705 s c =============================================================================== c | 0 | 4496 4642 613632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23524 c Elapsed CPU time: 32.739 s Remaining CPU time: 147.261 s c =============================================================================== c | 0 | 4496 4643 617982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23523 c Elapsed CPU time: 33.188 s Remaining CPU time: 146.812 s c =============================================================================== c | 0 | 4496 4644 622332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23521 c Elapsed CPU time: 33.6239 s Remaining CPU time: 146.376 s c =============================================================================== c | 0 | 4496 4645 626682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23520 c Elapsed CPU time: 34.0618 s Remaining CPU time: 145.938 s c =============================================================================== c | 0 | 4496 4646 631032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23519 c Elapsed CPU time: 34.5068 s Remaining CPU time: 145.493 s c =============================================================================== c | 0 | 4496 4647 635382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23517 c Elapsed CPU time: 34.9477 s Remaining CPU time: 145.052 s c =============================================================================== c | 0 | 4496 4648 639732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23516 c Elapsed CPU time: 35.4126 s Remaining CPU time: 144.587 s c =============================================================================== c | 0 | 4496 4649 644082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23515 c Elapsed CPU time: 35.8715 s Remaining CPU time: 144.128 s c =============================================================================== c | 0 | 4496 4650 648432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23512 c Elapsed CPU time: 36.3305 s Remaining CPU time: 143.67 s c =============================================================================== c | 0 | 4496 4651 652782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23510 c Elapsed CPU time: 36.7944 s Remaining CPU time: 143.206 s c =============================================================================== c | 0 | 4496 4652 657132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23508 c Elapsed CPU time: 37.2493 s Remaining CPU time: 142.751 s c =============================================================================== c | 0 | 4496 4653 661482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23506 c Elapsed CPU time: 37.7123 s Remaining CPU time: 142.288 s c =============================================================================== c | 0 | 4496 4654 665832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23505 c Elapsed CPU time: 38.1762 s Remaining CPU time: 141.824 s c =============================================================================== c | 0 | 4496 4655 670182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23504 c Elapsed CPU time: 38.6531 s Remaining CPU time: 141.347 s c =============================================================================== c | 0 | 4496 4656 674532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23503 c Elapsed CPU time: 39.135 s Remaining CPU time: 140.865 s c =============================================================================== c | 0 | 4496 4657 678882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23502 c Elapsed CPU time: 39.617 s Remaining CPU time: 140.383 s c =============================================================================== c | 0 | 4496 4658 683232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23501 c Elapsed CPU time: 40.0899 s Remaining CPU time: 139.91 s c =============================================================================== c | 0 | 4496 4659 687582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23498 c Elapsed CPU time: 40.5588 s Remaining CPU time: 139.441 s c =============================================================================== c | 0 | 4496 4660 691932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23497 c Elapsed CPU time: 41.0578 s Remaining CPU time: 138.942 s c =============================================================================== c | 0 | 4496 4661 696282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23496 c Elapsed CPU time: 41.5627 s Remaining CPU time: 138.437 s c =============================================================================== c | 0 | 4496 4662 700632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23495 c Elapsed CPU time: 42.0656 s Remaining CPU time: 137.934 s c =============================================================================== c | 0 | 4496 4663 704982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23494 c Elapsed CPU time: 42.5715 s Remaining CPU time: 137.428 s c =============================================================================== c | 0 | 4496 4664 709332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23493 c Elapsed CPU time: 43.0715 s Remaining CPU time: 136.929 s c =============================================================================== c | 0 | 4496 4665 713682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23492 c Elapsed CPU time: 43.5824 s Remaining CPU time: 136.418 s c =============================================================================== c | 0 | 4496 4666 718032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23491 c Elapsed CPU time: 44.0843 s Remaining CPU time: 135.916 s c =============================================================================== c | 0 | 4496 4667 722382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23490 c Elapsed CPU time: 44.5922 s Remaining CPU time: 135.408 s c =============================================================================== c | 0 | 4496 4668 726732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23489 c Elapsed CPU time: 45.1141 s Remaining CPU time: 134.886 s c =============================================================================== c | 0 | 4496 4669 731082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23488 c Elapsed CPU time: 45.6601 s Remaining CPU time: 134.34 s c =============================================================================== c | 0 | 4496 4670 735432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23487 c Elapsed CPU time: 46.194 s Remaining CPU time: 133.806 s c =============================================================================== c | 0 | 4496 4671 739782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23486 c Elapsed CPU time: 46.7429 s Remaining CPU time: 133.257 s c =============================================================================== c | 0 | 4496 4672 744132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23485 c Elapsed CPU time: 47.2828 s Remaining CPU time: 132.717 s c =============================================================================== c | 0 | 4496 4673 748482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23484 c Elapsed CPU time: 47.8187 s Remaining CPU time: 132.181 s c =============================================================================== c | 0 | 4496 4674 752832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23482 c Elapsed CPU time: 48.3686 s Remaining CPU time: 131.631 s c =============================================================================== c | 0 | 4496 4675 757182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23481 c Elapsed CPU time: 48.9566 s Remaining CPU time: 131.043 s c =============================================================================== c | 0 | 4496 4676 761532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23480 c Elapsed CPU time: 49.5595 s Remaining CPU time: 130.441 s c =============================================================================== c | 0 | 4496 4677 765882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23479 c Elapsed CPU time: 50.1384 s Remaining CPU time: 129.862 s c =============================================================================== c | 0 | 4496 4678 770232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23478 c Elapsed CPU time: 50.7313 s Remaining CPU time: 129.269 s c =============================================================================== c | 0 | 4496 4679 774582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23477 c Elapsed CPU time: 51.3162 s Remaining CPU time: 128.684 s c =============================================================================== c | 0 | 4496 4680 778932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23476 c Elapsed CPU time: 51.8951 s Remaining CPU time: 128.105 s c =============================================================================== c | 0 | 4496 4681 783282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23474 c Elapsed CPU time: 52.487 s Remaining CPU time: 127.513 s c =============================================================================== c | 0 | 4496 4682 787632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23473 c Elapsed CPU time: 53.0799 s Remaining CPU time: 126.92 s c =============================================================================== c | 0 | 4496 4683 791982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23472 c Elapsed CPU time: 53.6668 s Remaining CPU time: 126.333 s c =============================================================================== c | 0 | 4496 4684 796332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23471 c Elapsed CPU time: 54.2717 s Remaining CPU time: 125.728 s c =============================================================================== c | 0 | 4496 4685 800682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23470 c Elapsed CPU time: 54.8707 s Remaining CPU time: 125.129 s c =============================================================================== c | 0 | 4496 4686 805032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23469 c Elapsed CPU time: 55.4546 s Remaining CPU time: 124.545 s c =============================================================================== c | 0 | 4496 4687 809382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23467 c Elapsed CPU time: 56.0615 s Remaining CPU time: 123.939 s c =============================================================================== c | 0 | 4496 4688 813732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23466 c Elapsed CPU time: 56.6524 s Remaining CPU time: 123.348 s c =============================================================================== c | 0 | 4496 4689 818082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23465 c Elapsed CPU time: 57.2563 s Remaining CPU time: 122.744 s c =============================================================================== c | 0 | 4496 4690 822432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23464 c Elapsed CPU time: 57.8422 s Remaining CPU time: 122.158 s c =============================================================================== c | 0 | 4496 4691 826782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23463 c Elapsed CPU time: 58.4401 s Remaining CPU time: 121.56 s c =============================================================================== c | 0 | 4496 4692 831132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23462 c Elapsed CPU time: 59.055 s Remaining CPU time: 120.945 s c =============================================================================== c | 0 | 4496 4693 835482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23460 c Elapsed CPU time: 59.6619 s Remaining CPU time: 120.338 s c =============================================================================== c | 0 | 4496 4694 839832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23459 c Elapsed CPU time: 60.2778 s Remaining CPU time: 119.722 s c =============================================================================== c | 0 | 4496 4695 844182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23458 c Elapsed CPU time: 60.8757 s Remaining CPU time: 119.124 s c =============================================================================== c | 0 | 4496 4696 848532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23456 c Elapsed CPU time: 61.4687 s Remaining CPU time: 118.531 s c =============================================================================== c | 0 | 4496 4697 852882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23453 c Elapsed CPU time: 62.0766 s Remaining CPU time: 117.923 s c =============================================================================== c | 0 | 4496 4698 857232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23451 c Elapsed CPU time: 62.6825 s Remaining CPU time: 117.318 s c =============================================================================== c | 0 | 4496 4699 861582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23450 c Elapsed CPU time: 63.2884 s Remaining CPU time: 116.712 s c =============================================================================== c | 0 | 4496 4700 865932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23449 c Elapsed CPU time: 63.9113 s Remaining CPU time: 116.089 s c =============================================================================== c | 0 | 4496 4701 870282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23448 c Elapsed CPU time: 64.5112 s Remaining CPU time: 115.489 s c =============================================================================== c | 0 | 4496 4702 874632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23447 c Elapsed CPU time: 65.1261 s Remaining CPU time: 114.874 s c =============================================================================== c | 0 | 4496 4703 878982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23443 c Elapsed CPU time: 65.741 s Remaining CPU time: 114.259 s c =============================================================================== c | 0 | 4496 4704 883332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23439 c Elapsed CPU time: 66.3599 s Remaining CPU time: 113.64 s c =============================================================================== c | 0 | 4496 4705 887682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23438 c Elapsed CPU time: 66.9888 s Remaining CPU time: 113.011 s c =============================================================================== c | 0 | 4496 4706 892032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23437 c Elapsed CPU time: 67.6117 s Remaining CPU time: 112.388 s c =============================================================================== c | 0 | 4496 4707 896382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23434 c Elapsed CPU time: 68.2506 s Remaining CPU time: 111.749 s c =============================================================================== c | 0 | 4496 4708 900732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23433 c Elapsed CPU time: 68.9035 s Remaining CPU time: 111.096 s c =============================================================================== c | 0 | 4496 4709 905082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23431 c Elapsed CPU time: 69.5274 s Remaining CPU time: 110.473 s c =============================================================================== c | 0 | 4496 4710 909432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23430 c Elapsed CPU time: 70.1703 s Remaining CPU time: 109.83 s c =============================================================================== c | 0 | 4496 4711 913782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23429 c Elapsed CPU time: 70.8202 s Remaining CPU time: 109.18 s c =============================================================================== c | 0 | 4496 4712 918132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23428 c Elapsed CPU time: 71.4691 s Remaining CPU time: 108.531 s c =============================================================================== c | 0 | 4496 4713 922482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23427 c Elapsed CPU time: 72.139 s Remaining CPU time: 107.861 s c =============================================================================== c | 0 | 4496 4714 926832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23426 c Elapsed CPU time: 72.8009 s Remaining CPU time: 107.199 s c =============================================================================== c | 0 | 4496 4715 931182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23425 c Elapsed CPU time: 73.4558 s Remaining CPU time: 106.544 s c =============================================================================== c | 0 | 4496 4716 935532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23424 c Elapsed CPU time: 74.1157 s Remaining CPU time: 105.884 s c =============================================================================== c | 0 | 4496 4717 939882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23423 c Elapsed CPU time: 74.7966 s Remaining CPU time: 105.203 s c =============================================================================== c | 0 | 4496 4718 944232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23421 c Elapsed CPU time: 75.4715 s Remaining CPU time: 104.528 s c =============================================================================== c | 0 | 4496 4719 948582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23420 c Elapsed CPU time: 76.1544 s Remaining CPU time: 103.846 s c =============================================================================== c | 0 | 4496 4720 952932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23418 c Elapsed CPU time: 76.8203 s Remaining CPU time: 103.18 s c =============================================================================== c | 0 | 4496 4721 957282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23416 c Elapsed CPU time: 77.4932 s Remaining CPU time: 102.507 s c =============================================================================== c | 0 | 4496 4722 961632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23415 c Elapsed CPU time: 78.1911 s Remaining CPU time: 101.809 s c =============================================================================== c | 0 | 4496 4723 965982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23414 c Elapsed CPU time: 78.886 s Remaining CPU time: 101.114 s c =============================================================================== c | 0 | 4496 4724 970332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23412 c Elapsed CPU time: 79.5679 s Remaining CPU time: 100.432 s c =============================================================================== c | 0 | 4496 4725 974682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23408 c Elapsed CPU time: 80.2408 s Remaining CPU time: 99.7592 s c =============================================================================== c | 0 | 4496 4726 979032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23404 c Elapsed CPU time: 80.9157 s Remaining CPU time: 99.0843 s c =============================================================================== c | 0 | 4496 4727 983382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23401 c Elapsed CPU time: 81.5966 s Remaining CPU time: 98.4034 s c =============================================================================== c | 0 | 4496 4728 987732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23400 c Elapsed CPU time: 82.3025 s Remaining CPU time: 97.6975 s c =============================================================================== c | 0 | 4496 4729 992082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23399 c Elapsed CPU time: 82.9804 s Remaining CPU time: 97.0196 s c =============================================================================== c | 0 | 4496 4730 996432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23398 c Elapsed CPU time: 83.7023 s Remaining CPU time: 96.2977 s c =============================================================================== c | 0 | 4496 4731 1000782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23397 c Elapsed CPU time: 84.3852 s Remaining CPU time: 95.6148 s c =============================================================================== c | 0 | 4496 4732 1005132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23395 c Elapsed CPU time: 85.0851 s Remaining CPU time: 94.9149 s c =============================================================================== c | 0 | 4496 4733 1009482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23394 c Elapsed CPU time: 85.789 s Remaining CPU time: 94.211 s c =============================================================================== c | 0 | 4496 4734 1013832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23393 c Elapsed CPU time: 86.4998 s Remaining CPU time: 93.5002 s c =============================================================================== c | 0 | 4496 4735 1018182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23391 c Elapsed CPU time: 87.2007 s Remaining CPU time: 92.7993 s c =============================================================================== c | 0 | 4496 4736 1022532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23390 c Elapsed CPU time: 87.9806 s Remaining CPU time: 92.0194 s c =============================================================================== c | 0 | 4496 4737 1026882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23388 c Elapsed CPU time: 88.7615 s Remaining CPU time: 91.2385 s c =============================================================================== c | 0 | 4496 4738 1031232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23386 c Elapsed CPU time: 89.5264 s Remaining CPU time: 90.4736 s c =============================================================================== c | 0 | 4496 4739 1035582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23384 c Elapsed CPU time: 90.2903 s Remaining CPU time: 89.7097 s c =============================================================================== c | 0 | 4496 4740 1039932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23382 c Elapsed CPU time: 91.0732 s Remaining CPU time: 88.9268 s c =============================================================================== c | 0 | 4496 4741 1044282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23381 c Elapsed CPU time: 91.848 s Remaining CPU time: 88.152 s c =============================================================================== c | 0 | 4496 4742 1048632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23378 c Elapsed CPU time: 92.6059 s Remaining CPU time: 87.3941 s c =============================================================================== c | 0 | 4496 4743 1052982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23377 c Elapsed CPU time: 93.3788 s Remaining CPU time: 86.6212 s c =============================================================================== c | 0 | 4496 4744 1057332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23376 c Elapsed CPU time: 94.1617 s Remaining CPU time: 85.8383 s c =============================================================================== c | 0 | 4496 4745 1061682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23375 c Elapsed CPU time: 94.9446 s Remaining CPU time: 85.0554 s c =============================================================================== c | 0 | 4496 4746 1066032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23374 c Elapsed CPU time: 95.7184 s Remaining CPU time: 84.2816 s c =============================================================================== c | 0 | 4496 4747 1070382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23373 c Elapsed CPU time: 96.5053 s Remaining CPU time: 83.4947 s c =============================================================================== c | 0 | 4496 4748 1074732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23372 c Elapsed CPU time: 97.2952 s Remaining CPU time: 82.7048 s c =============================================================================== c | 0 | 4496 4749 1079082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23371 c Elapsed CPU time: 98.0711 s Remaining CPU time: 81.9289 s c =============================================================================== c | 0 | 4496 4750 1083432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23370 c Elapsed CPU time: 98.859 s Remaining CPU time: 81.141 s c =============================================================================== c | 0 | 4496 4751 1087782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23368 c Elapsed CPU time: 99.6359 s Remaining CPU time: 80.3641 s c =============================================================================== c | 0 | 4496 4752 1092132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23366 c Elapsed CPU time: 100.434 s Remaining CPU time: 79.5663 s c =============================================================================== c | 0 | 4496 4753 1096482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23365 c Elapsed CPU time: 101.235 s Remaining CPU time: 78.7654 s c =============================================================================== c | 0 | 4496 4754 1100832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23364 c Elapsed CPU time: 102.031 s Remaining CPU time: 77.9685 s c =============================================================================== c | 0 | 4496 4755 1105182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23362 c Elapsed CPU time: 102.827 s Remaining CPU time: 77.1726 s c =============================================================================== c | 0 | 4496 4756 1109532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23358 c Elapsed CPU time: 103.609 s Remaining CPU time: 76.3908 s c =============================================================================== c | 0 | 4496 4757 1113882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23356 c Elapsed CPU time: 104.397 s Remaining CPU time: 75.6029 s c =============================================================================== c | 0 | 4496 4758 1118232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23353 c Elapsed CPU time: 105.202 s Remaining CPU time: 74.798 s c =============================================================================== c | 0 | 4496 4759 1122582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23352 c Elapsed CPU time: 105.984 s Remaining CPU time: 74.0161 s c =============================================================================== c | 0 | 4496 4760 1126932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23350 c Elapsed CPU time: 106.791 s Remaining CPU time: 73.2092 s c =============================================================================== c | 0 | 4496 4761 1131282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23347 c Elapsed CPU time: 107.583 s Remaining CPU time: 72.4174 s c =============================================================================== c | 0 | 4496 4762 1135632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23346 c Elapsed CPU time: 108.402 s Remaining CPU time: 71.5985 s c =============================================================================== c | 0 | 4496 4763 1139982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23345 c Elapsed CPU time: 109.211 s Remaining CPU time: 70.7886 s c =============================================================================== c | 0 | 4496 4764 1144332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23344 c Elapsed CPU time: 110.035 s Remaining CPU time: 69.9647 s c =============================================================================== c | 0 | 4496 4765 1148682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23343 c Elapsed CPU time: 110.871 s Remaining CPU time: 69.1289 s c =============================================================================== c | 0 | 4496 4766 1153032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23342 c Elapsed CPU time: 111.682 s Remaining CPU time: 68.318 s c =============================================================================== c | 0 | 4496 4767 1157382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23341 c Elapsed CPU time: 112.504 s Remaining CPU time: 67.4961 s c =============================================================================== c | 0 | 4496 4768 1161732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23340 c Elapsed CPU time: 113.337 s Remaining CPU time: 66.6632 s c =============================================================================== c | 0 | 4496 4769 1166082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23339 c Elapsed CPU time: 114.193 s Remaining CPU time: 65.8074 s c =============================================================================== c | 0 | 4496 4770 1170432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23338 c Elapsed CPU time: 115.026 s Remaining CPU time: 64.9745 s c =============================================================================== c | 0 | 4496 4771 1174782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23337 c Elapsed CPU time: 115.882 s Remaining CPU time: 64.1176 s c =============================================================================== c | 0 | 4496 4772 1179132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23336 c Elapsed CPU time: 116.753 s Remaining CPU time: 63.2468 s c =============================================================================== c | 0 | 4496 4773 1183482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23335 c Elapsed CPU time: 117.626 s Remaining CPU time: 62.3739 s c =============================================================================== c | 0 | 4496 4774 1187832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23334 c Elapsed CPU time: 118.487 s Remaining CPU time: 61.513 s c =============================================================================== c | 0 | 4496 4775 1192182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23333 c Elapsed CPU time: 119.338 s Remaining CPU time: 60.6621 s c =============================================================================== c | 0 | 4496 4776 1196532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23332 c Elapsed CPU time: 120.169 s Remaining CPU time: 59.8313 s c =============================================================================== c | 0 | 4496 4777 1200882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23331 c Elapsed CPU time: 121.014 s Remaining CPU time: 58.9864 s c =============================================================================== c | 0 | 4496 4778 1205232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23330 c Elapsed CPU time: 121.866 s Remaining CPU time: 58.1335 s c =============================================================================== c | 0 | 4496 4779 1209582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23328 c Elapsed CPU time: 122.719 s Remaining CPU time: 57.2807 s c =============================================================================== c | 0 | 4496 4780 1213932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23327 c Elapsed CPU time: 123.585 s Remaining CPU time: 56.4148 s c =============================================================================== c | 0 | 4496 4781 1218282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23326 c Elapsed CPU time: 124.452 s Remaining CPU time: 55.5479 s c =============================================================================== c | 0 | 4496 4782 1222632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23324 c Elapsed CPU time: 125.354 s Remaining CPU time: 54.6461 s c =============================================================================== c | 0 | 4496 4783 1226982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23323 c Elapsed CPU time: 126.254 s Remaining CPU time: 53.7462 s c =============================================================================== c | 1 | 4496 4784 1231332 | 5000 1 4290 | 0.000 % | c =============================================================================== c New solution: 23322 c Elapsed CPU time: 127.123 s Remaining CPU time: 52.8773 s c =============================================================================== c | 1 | 4496 4785 1235682 | 5000 1 4290 | 0.000 % | c =============================================================================== c New solution: 23320 c Elapsed CPU time: 128.075 s Remaining CPU time: 51.9255 s c =============================================================================== c | 2 | 4496 4786 1240032 | 5000 2 2146 | 0.000 % | c =============================================================================== c New solution: 23319 c Elapsed CPU time: 128.982 s Remaining CPU time: 51.0176 s c =============================================================================== c | 2 | 4496 4787 1244382 | 5000 2 2146 | 0.000 % | c =============================================================================== c New solution: 23318 c Elapsed CPU time: 129.874 s Remaining CPU time: 50.1257 s c =============================================================================== c | 2 | 4496 4788 1248732 | 5000 2 2146 | 0.000 % | c =============================================================================== c New solution: 23317 c Elapsed CPU time: 130.813 s Remaining CPU time: 49.1869 s c =============================================================================== c | 2 | 4496 4789 1253082 | 5000 2 2146 | 0.000 % | c =============================================================================== c New solution: 23316 c Elapsed CPU time: 131.798 s Remaining CPU time: 48.202 s c =============================================================================== c | 3 | 4496 4790 1257432 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23315 c Elapsed CPU time: 132.752 s Remaining CPU time: 47.2482 s c =============================================================================== c | 3 | 4496 4791 1261782 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23314 c Elapsed CPU time: 133.731 s Remaining CPU time: 46.2693 s c =============================================================================== c | 3 | 4496 4792 1266132 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23313 c Elapsed CPU time: 134.72 s Remaining CPU time: 45.2805 s c =============================================================================== c | 3 | 4496 4793 1270482 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23312 c Elapsed CPU time: 135.657 s Remaining CPU time: 44.3426 s c =============================================================================== c | 3 | 4496 4794 1274832 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23311 c Elapsed CPU time: 136.638 s Remaining CPU time: 43.3618 s c =============================================================================== c | 3 | 4496 4795 1279182 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23310 c Elapsed CPU time: 137.6 s Remaining CPU time: 42.3999 s c =============================================================================== c | 3 | 4496 4796 1283532 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23309 c Elapsed CPU time: 138.615 s Remaining CPU time: 41.3851 s c =============================================================================== c | 3 | 4496 4797 1287882 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23308 c Elapsed CPU time: 139.559 s Remaining CPU time: 40.4412 s c =============================================================================== c | 3 | 4496 4798 1292232 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23307 c Elapsed CPU time: 140.511 s Remaining CPU time: 39.4894 s c =============================================================================== c | 3 | 4496 4799 1296582 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23306 c Elapsed CPU time: 141.475 s Remaining CPU time: 38.5245 s c =============================================================================== c | 3 | 4496 4800 1300932 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23305 c Elapsed CPU time: 142.448 s Remaining CPU time: 37.5517 s c =============================================================================== c | 3 | 4496 4801 1305282 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23304 c Elapsed CPU time: 143.393 s Remaining CPU time: 36.6068 s c =============================================================================== c | 3 | 4496 4802 1309632 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23303 c Elapsed CPU time: 144.324 s Remaining CPU time: 35.6759 s c =============================================================================== c | 3 | 4496 4803 1313982 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23302 c Elapsed CPU time: 145.265 s Remaining CPU time: 34.7351 s c =============================================================================== c | 3 | 4496 4804 1318332 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23301 c Elapsed CPU time: 146.251 s Remaining CPU time: 33.7492 s c =============================================================================== c | 3 | 4496 4805 1322682 | 5000 3 2860 | 0.000 % | c =============================================================================== c New solution: 23300 c Elapsed CPU time: 147.24 s Remaining CPU time: 32.7604 s c =============================================================================== c | 4 | 4496 4806 1327032 | 5000 4 2146 | 0.000 % | c =============================================================================== c New solution: 23299 c Elapsed CPU time: 148.195 s Remaining CPU time: 31.8045 s c =============================================================================== c | 4 | 4496 4807 1331382 | 5000 4 2146 | 0.000 % | c =============================================================================== c New solution: 23298 c Elapsed CPU time: 149.153 s Remaining CPU time: 30.8467 s c =============================================================================== c | 5 | 4496 4808 1335732 | 5000 5 1717 | 0.000 % | c =============================================================================== c New solution: 23297 c Elapsed CPU time: 150.083 s Remaining CPU time: 29.9168 s c =============================================================================== c | 5 | 4496 4809 1340082 | 5000 5 1717 | 0.000 % | c =============================================================================== c New solution: 23296 c Elapsed CPU time: 151.066 s Remaining CPU time: 28.934 s c =============================================================================== c | 5 | 4496 4810 1344432 | 5000 5 1717 | 0.000 % | c =============================================================================== c New solution: 23295 c Elapsed CPU time: 152.029 s Remaining CPU time: 27.9711 s c =============================================================================== c | 5 | 4496 4811 1348782 | 5000 5 1717 | 0.000 % | c =============================================================================== c New solution: 23294 c Elapsed CPU time: 153.042 s Remaining CPU time: 26.9583 s c =============================================================================== c | 7 | 4496 4812 1353132 | 5000 7 2451 | 0.000 % | c =============================================================================== c New solution: 23293 c Elapsed CPU time: 154.06 s Remaining CPU time: 25.9404 s c =============================================================================== c | 7 | 4496 4813 1357482 | 5000 7 2451 | 0.000 % | c =============================================================================== c New solution: 23292 c Elapsed CPU time: 155.074 s Remaining CPU time: 24.9256 s c =============================================================================== c | 7 | 4496 4814 1361832 | 5000 7 2451 | 0.000 % | c =============================================================================== c New solution: 23291 c Elapsed CPU time: 156.162 s Remaining CPU time: 23.8377 s c =============================================================================== c | 7 | 4496 4815 1366182 | 5000 7 2451 | 0.000 % | c =============================================================================== c New solution: 23290 c Elapsed CPU time: 157.279 s Remaining CPU time: 22.7209 s c =============================================================================== c | 7 | 4496 4816 1370532 | 5000 7 2451 | 0.000 % | c =============================================================================== c New solution: 23289 c Elapsed CPU time: 158.398 s Remaining CPU time: 21.6021 s c =============================================================================== c | 9 | 4496 4817 1374882 | 5000 9 2859 | 0.000 % | c =============================================================================== c New solution: 23288 c Elapsed CPU time: 159.538 s Remaining CPU time: 20.4623 s c =============================================================================== c | 9 | 4496 4818 1379232 | 5000 9 2859 | 0.000 % | c =============================================================================== c New solution: 23287 c Elapsed CPU time: 160.574 s Remaining CPU time: 19.4264 s c =============================================================================== c | 9 | 4496 4819 1383582 | 5000 9 2859 | 0.000 % | c =============================================================================== c New solution: 23286 c Elapsed CPU time: 161.641 s Remaining CPU time: 18.3586 s c =============================================================================== c | 9 | 4496 4820 1387932 | 5000 9 2859 | 0.000 % | c =============================================================================== c New solution: 23285 c Elapsed CPU time: 162.674 s Remaining CPU time: 17.3257 s c =============================================================================== c | 10 | 4496 4821 1392282 | 5000 10 3001 | 0.000 % | c =============================================================================== c New solution: 23284 c Elapsed CPU time: 163.757 s Remaining CPU time: 16.2429 s c =============================================================================== c | 10 | 4496 4822 1396632 | 5000 10 3001 | 0.000 % | c =============================================================================== c New solution: 23283 c Elapsed CPU time: 164.812 s Remaining CPU time: 15.1881 s c =============================================================================== c | 10 | 4496 4823 1400982 | 5000 10 3001 | 0.000 % | c =============================================================================== c New solution: 23282 c Elapsed CPU time: 165.928 s Remaining CPU time: 14.0722 s c =============================================================================== c | 10 | 4496 4824 1405332 | 5000 10 3001 | 0.000 % | c =============================================================================== c New solution: 23281 c Elapsed CPU time: 167.041 s Remaining CPU time: 12.9594 s c =============================================================================== c | 10 | 4496 4825 1409682 | 5000 10 3001 | 0.000 % | c =============================================================================== c New solution: 23280 c Elapsed CPU time: 168.137 s Remaining CPU time: 11.8626 s c =============================================================================== c | 10 | 4496 4826 1414032 | 5000 10 3001 | 0.000 % | c =============================================================================== c New solution: 23279 c Elapsed CPU time: 169.251 s Remaining CPU time: 10.7487 s c =============================================================================== c | 15 | 4496 4827 1418382 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23278 c Elapsed CPU time: 170.291 s Remaining CPU time: 9.70889 s c =============================================================================== c | 15 | 4496 4828 1422732 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23277 c Elapsed CPU time: 171.365 s Remaining CPU time: 8.63505 s c =============================================================================== c | 15 | 4496 4829 1427082 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23276 c Elapsed CPU time: 172.425 s Remaining CPU time: 7.57521 s c =============================================================================== c | 15 | 4496 4830 1431432 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23275 c Elapsed CPU time: 173.481 s Remaining CPU time: 6.51937 s c =============================================================================== c | 15 | 4496 4831 1435782 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23274 c Elapsed CPU time: 174.561 s Remaining CPU time: 5.43854 s c =============================================================================== c | 15 | 4496 4832 1440132 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23273 c Elapsed CPU time: 175.677 s Remaining CPU time: 4.32271 s c =============================================================================== c | 15 | 4496 4833 1444482 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23272 c Elapsed CPU time: 176.771 s Remaining CPU time: 3.22887 s c =============================================================================== c | 15 | 4496 4834 1448832 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23271 c Elapsed CPU time: 177.832 s Remaining CPU time: 2.16804 s c =============================================================================== c | 15 | 4496 4835 1453182 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23270 c Elapsed CPU time: 178.878 s Remaining CPU time: 1.12219 s c =============================================================================== c | 15 | 4496 4836 1457532 | 5000 15 3429 | 0.000 % | c =============================================================================== c New solution: 23269 c Elapsed CPU time: 179.932 s Remaining CPU time: 0.068354 s c =============================================================================== c | 15 | 4496 4837 1461882 | 5000 15 3429 | 0.000 % | c There are 4 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 180 9203 13397 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 196 9215 13424 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 215 9224 13461 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 239 9242 13505 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 250 9252 13525 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 256 9258 13539 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 270 9267 13576 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 277 9272 13588 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 282 9277 13596 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 288 9281 13612 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 300 9292 13631 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 315 9305 13661 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 327 9316 13690 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 333 9320 13705 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 346 9330 13730 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 351 9335 13738 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 370 9350 13776 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 388 9366 13814 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 412 9385 13864 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 426 9397 13897 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 445 9412 13939 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 460 9425 13965 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 467 9430 13979 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 479 9441 13998 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 492 9451 14029 | 5000 0 nan | 0.000 % | c ===============================================================================