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 | 4493 4503 13346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23750 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 4493 4504 17696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23740 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 4493 4505 22046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23735 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 4493 4506 26396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23734 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 4493 4507 30746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23733 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 1 | 4493 4508 35096 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23732 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 1 | 4493 4509 39446 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23731 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 1 | 4493 4510 43796 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23730 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 1 | 4493 4511 48146 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23729 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 1 | 4493 4512 52496 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23728 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 1 | 4493 4513 56846 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23727 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 1 | 4493 4514 61196 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23726 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 1 | 4493 4515 65546 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23725 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 1 | 4493 4516 69896 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23723 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 1 | 4493 4517 74246 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23722 c Elapsed CPU time: 1.19182 s Remaining CPU time: 178.808 s c =============================================================================== c | 1 | 4493 4518 78596 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23721 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s c =============================================================================== c | 1 | 4493 4519 82946 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23719 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 1 | 4493 4520 87296 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23718 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 1 | 4493 4521 91646 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23717 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 1 | 4493 4522 95996 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23712 c Elapsed CPU time: 1.67274 s Remaining CPU time: 178.327 s c =============================================================================== c | 1 | 4493 4523 100346 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23711 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s c =============================================================================== c | 1 | 4493 4524 104696 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23710 c Elapsed CPU time: 1.88071 s Remaining CPU time: 178.119 s c =============================================================================== c | 1 | 4493 4525 109046 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23709 c Elapsed CPU time: 1.9847 s Remaining CPU time: 178.015 s c =============================================================================== c | 1 | 4493 4526 113396 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23707 c Elapsed CPU time: 2.09868 s Remaining CPU time: 177.901 s c =============================================================================== c | 1 | 4493 4527 117746 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23706 c Elapsed CPU time: 2.20866 s Remaining CPU time: 177.791 s c =============================================================================== c | 1 | 4493 4528 122096 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23704 c Elapsed CPU time: 2.32765 s Remaining CPU time: 177.672 s c =============================================================================== c | 1 | 4493 4529 126446 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23703 c Elapsed CPU time: 2.44263 s Remaining CPU time: 177.557 s c =============================================================================== c | 1 | 4493 4530 130796 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23702 c Elapsed CPU time: 2.56361 s Remaining CPU time: 177.436 s c =============================================================================== c | 1 | 4493 4531 135146 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23701 c Elapsed CPU time: 2.68459 s Remaining CPU time: 177.315 s c =============================================================================== c | 1 | 4493 4532 139496 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23700 c Elapsed CPU time: 2.80057 s Remaining CPU time: 177.199 s c =============================================================================== c | 1 | 4493 4533 143846 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23697 c Elapsed CPU time: 2.92955 s Remaining CPU time: 177.07 s c =============================================================================== c | 1 | 4493 4534 148196 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23696 c Elapsed CPU time: 3.05754 s Remaining CPU time: 176.942 s c =============================================================================== c | 1 | 4493 4535 152546 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23695 c Elapsed CPU time: 3.19151 s Remaining CPU time: 176.808 s c =============================================================================== c | 1 | 4493 4536 156896 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23694 c Elapsed CPU time: 3.32849 s Remaining CPU time: 176.672 s c =============================================================================== c | 1 | 4493 4537 161246 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23693 c Elapsed CPU time: 3.46947 s Remaining CPU time: 176.531 s c =============================================================================== c | 1 | 4493 4538 165596 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23692 c Elapsed CPU time: 3.60245 s Remaining CPU time: 176.398 s c =============================================================================== c | 1 | 4493 4539 169946 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23688 c Elapsed CPU time: 3.73643 s Remaining CPU time: 176.264 s c =============================================================================== c | 1 | 4493 4540 174296 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23687 c Elapsed CPU time: 3.88541 s Remaining CPU time: 176.115 s c =============================================================================== c | 1 | 4493 4541 178646 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23686 c Elapsed CPU time: 4.04038 s Remaining CPU time: 175.96 s c =============================================================================== c | 1 | 4493 4542 182996 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23684 c Elapsed CPU time: 4.19336 s Remaining CPU time: 175.807 s c =============================================================================== c | 1 | 4493 4543 187346 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23683 c Elapsed CPU time: 4.34334 s Remaining CPU time: 175.657 s c =============================================================================== c | 1 | 4493 4544 191696 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23681 c Elapsed CPU time: 4.50031 s Remaining CPU time: 175.5 s c =============================================================================== c | 1 | 4493 4545 196046 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23680 c Elapsed CPU time: 4.65829 s Remaining CPU time: 175.342 s c =============================================================================== c | 1 | 4493 4546 200396 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23679 c Elapsed CPU time: 4.80427 s Remaining CPU time: 175.196 s c =============================================================================== c | 1 | 4493 4547 204746 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23678 c Elapsed CPU time: 4.96624 s Remaining CPU time: 175.034 s c =============================================================================== c | 1 | 4493 4548 209096 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23677 c Elapsed CPU time: 5.12522 s Remaining CPU time: 174.875 s c =============================================================================== c | 1 | 4493 4549 213446 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23676 c Elapsed CPU time: 5.29719 s Remaining CPU time: 174.703 s c =============================================================================== c | 1 | 4493 4550 217796 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23675 c Elapsed CPU time: 5.45717 s Remaining CPU time: 174.543 s c =============================================================================== c | 1 | 4493 4551 222146 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23674 c Elapsed CPU time: 5.61914 s Remaining CPU time: 174.381 s c =============================================================================== c | 1 | 4493 4552 226496 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23673 c Elapsed CPU time: 5.78412 s Remaining CPU time: 174.216 s c =============================================================================== c | 1 | 4493 4553 230846 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23672 c Elapsed CPU time: 5.95609 s Remaining CPU time: 174.044 s c =============================================================================== c | 1 | 4493 4554 235196 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23671 c Elapsed CPU time: 6.14506 s Remaining CPU time: 173.855 s c =============================================================================== c | 1 | 4493 4555 239546 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23670 c Elapsed CPU time: 6.31404 s Remaining CPU time: 173.686 s c =============================================================================== c | 1 | 4493 4556 243896 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23669 c Elapsed CPU time: 6.48901 s Remaining CPU time: 173.511 s c =============================================================================== c | 1 | 4493 4557 248246 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23668 c Elapsed CPU time: 6.65399 s Remaining CPU time: 173.346 s c =============================================================================== c | 1 | 4493 4558 252596 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23667 c Elapsed CPU time: 6.83496 s Remaining CPU time: 173.165 s c =============================================================================== c | 1 | 4493 4559 256946 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23666 c Elapsed CPU time: 7.02293 s Remaining CPU time: 172.977 s c =============================================================================== c | 1 | 4493 4560 261296 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23665 c Elapsed CPU time: 7.2099 s Remaining CPU time: 172.79 s c =============================================================================== c | 1 | 4493 4561 265646 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23664 c Elapsed CPU time: 7.39588 s Remaining CPU time: 172.604 s c =============================================================================== c | 1 | 4493 4562 269996 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23663 c Elapsed CPU time: 7.58185 s Remaining CPU time: 172.418 s c =============================================================================== c | 1 | 4493 4563 274346 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23662 c Elapsed CPU time: 7.78282 s Remaining CPU time: 172.217 s c =============================================================================== c | 1 | 4493 4564 278696 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23661 c Elapsed CPU time: 8.02178 s Remaining CPU time: 171.978 s c =============================================================================== c | 1 | 4493 4565 283046 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23660 c Elapsed CPU time: 8.27274 s Remaining CPU time: 171.727 s c =============================================================================== c | 1 | 4493 4566 287396 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23659 c Elapsed CPU time: 8.50271 s Remaining CPU time: 171.497 s c =============================================================================== c | 1 | 4493 4567 291746 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23658 c Elapsed CPU time: 8.73367 s Remaining CPU time: 171.266 s c =============================================================================== c | 1 | 4493 4568 296096 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23657 c Elapsed CPU time: 8.97164 s Remaining CPU time: 171.028 s c =============================================================================== c | 1 | 4493 4569 300446 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23656 c Elapsed CPU time: 9.2086 s Remaining CPU time: 170.791 s c =============================================================================== c | 1 | 4493 4570 304796 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23655 c Elapsed CPU time: 9.44756 s Remaining CPU time: 170.552 s c =============================================================================== c | 1 | 4493 4571 309146 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23654 c Elapsed CPU time: 9.67953 s Remaining CPU time: 170.32 s c =============================================================================== c | 1 | 4493 4572 313496 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23653 c Elapsed CPU time: 9.92049 s Remaining CPU time: 170.08 s c =============================================================================== c | 1 | 4493 4573 317846 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23652 c Elapsed CPU time: 10.1615 s Remaining CPU time: 169.839 s c =============================================================================== c | 1 | 4493 4574 322196 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23651 c Elapsed CPU time: 10.4044 s Remaining CPU time: 169.596 s c =============================================================================== c | 1 | 4493 4575 326546 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23650 c Elapsed CPU time: 10.6434 s Remaining CPU time: 169.357 s c =============================================================================== c | 1 | 4493 4576 330896 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23649 c Elapsed CPU time: 10.8973 s Remaining CPU time: 169.103 s c =============================================================================== c | 1 | 4493 4577 335246 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23648 c Elapsed CPU time: 11.1503 s Remaining CPU time: 168.85 s c =============================================================================== c | 1 | 4493 4578 339596 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23647 c Elapsed CPU time: 11.4013 s Remaining CPU time: 168.599 s c =============================================================================== c | 1 | 4493 4579 343946 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23646 c Elapsed CPU time: 11.6402 s Remaining CPU time: 168.36 s c =============================================================================== c | 1 | 4493 4580 348296 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23645 c Elapsed CPU time: 11.8962 s Remaining CPU time: 168.104 s c =============================================================================== c | 1 | 4493 4581 352646 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23644 c Elapsed CPU time: 12.1352 s Remaining CPU time: 167.865 s c =============================================================================== c | 1 | 4493 4582 356996 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23643 c Elapsed CPU time: 12.3941 s Remaining CPU time: 167.606 s c =============================================================================== c | 1 | 4493 4583 361346 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23642 c Elapsed CPU time: 12.6631 s Remaining CPU time: 167.337 s c =============================================================================== c | 1 | 4493 4584 365696 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23641 c Elapsed CPU time: 12.945 s Remaining CPU time: 167.055 s c =============================================================================== c | 1 | 4493 4585 370046 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23640 c Elapsed CPU time: 13.226 s Remaining CPU time: 166.774 s c =============================================================================== c | 1 | 4493 4586 374396 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23639 c Elapsed CPU time: 13.5059 s Remaining CPU time: 166.494 s c =============================================================================== c | 1 | 4493 4587 378746 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23638 c Elapsed CPU time: 13.7759 s Remaining CPU time: 166.224 s c =============================================================================== c | 1 | 4493 4588 383096 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23637 c Elapsed CPU time: 14.0529 s Remaining CPU time: 165.947 s c =============================================================================== c | 1 | 4493 4589 387446 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23636 c Elapsed CPU time: 14.3088 s Remaining CPU time: 165.691 s c =============================================================================== c | 1 | 4493 4590 391796 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23635 c Elapsed CPU time: 14.5608 s Remaining CPU time: 165.439 s c =============================================================================== c | 1 | 4493 4591 396146 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23634 c Elapsed CPU time: 14.8167 s Remaining CPU time: 165.183 s c =============================================================================== c | 1 | 4493 4592 400496 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23632 c Elapsed CPU time: 15.1017 s Remaining CPU time: 164.898 s c =============================================================================== c | 1 | 4493 4593 404846 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23631 c Elapsed CPU time: 15.3707 s Remaining CPU time: 164.629 s c =============================================================================== c | 1 | 4493 4594 409196 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23630 c Elapsed CPU time: 15.6436 s Remaining CPU time: 164.356 s c =============================================================================== c | 1 | 4493 4595 413546 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23629 c Elapsed CPU time: 15.9196 s Remaining CPU time: 164.08 s c =============================================================================== c | 1 | 4493 4596 417896 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23628 c Elapsed CPU time: 16.2555 s Remaining CPU time: 163.744 s c =============================================================================== c | 1 | 4493 4597 422246 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23627 c Elapsed CPU time: 16.5885 s Remaining CPU time: 163.412 s c =============================================================================== c | 1 | 4493 4598 426596 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23626 c Elapsed CPU time: 16.9164 s Remaining CPU time: 163.084 s c =============================================================================== c | 1 | 4493 4599 430946 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23625 c Elapsed CPU time: 17.2494 s Remaining CPU time: 162.751 s c =============================================================================== c | 1 | 4493 4600 435296 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23624 c Elapsed CPU time: 17.5663 s Remaining CPU time: 162.434 s c =============================================================================== c | 1 | 4493 4601 439646 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23622 c Elapsed CPU time: 17.8783 s Remaining CPU time: 162.122 s c =============================================================================== c | 1 | 4493 4602 443996 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23621 c Elapsed CPU time: 18.1952 s Remaining CPU time: 161.805 s c =============================================================================== c | 1 | 4493 4603 448346 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23620 c Elapsed CPU time: 18.5072 s Remaining CPU time: 161.493 s c =============================================================================== c | 1 | 4493 4604 452696 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23619 c Elapsed CPU time: 18.8581 s Remaining CPU time: 161.142 s c =============================================================================== c | 1 | 4493 4605 457046 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23618 c Elapsed CPU time: 19.2131 s Remaining CPU time: 160.787 s c =============================================================================== c | 1 | 4493 4606 461396 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23617 c Elapsed CPU time: 19.583 s Remaining CPU time: 160.417 s c =============================================================================== c | 1 | 4493 4607 465746 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23616 c Elapsed CPU time: 19.93 s Remaining CPU time: 160.07 s c =============================================================================== c | 1 | 4493 4608 470096 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23615 c Elapsed CPU time: 20.3369 s Remaining CPU time: 159.663 s c =============================================================================== c | 1 | 4493 4609 474446 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23614 c Elapsed CPU time: 20.7298 s Remaining CPU time: 159.27 s c =============================================================================== c | 1 | 4493 4610 478796 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23613 c Elapsed CPU time: 21.1278 s Remaining CPU time: 158.872 s c =============================================================================== c | 1 | 4493 4611 483146 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23612 c Elapsed CPU time: 21.4717 s Remaining CPU time: 158.528 s c =============================================================================== c | 1 | 4493 4612 487496 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23611 c Elapsed CPU time: 21.7997 s Remaining CPU time: 158.2 s c =============================================================================== c | 1 | 4493 4613 491846 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23610 c Elapsed CPU time: 22.1296 s Remaining CPU time: 157.87 s c =============================================================================== c | 1 | 4493 4614 496196 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23609 c Elapsed CPU time: 22.4356 s Remaining CPU time: 157.564 s c =============================================================================== c | 1 | 4493 4615 500546 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23608 c Elapsed CPU time: 22.7635 s Remaining CPU time: 157.236 s c =============================================================================== c | 1 | 4493 4616 504896 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23607 c Elapsed CPU time: 23.0825 s Remaining CPU time: 156.918 s c =============================================================================== c | 1 | 4493 4617 509246 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23606 c Elapsed CPU time: 23.4134 s Remaining CPU time: 156.587 s c =============================================================================== c | 1 | 4493 4618 513596 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23605 c Elapsed CPU time: 23.7504 s Remaining CPU time: 156.25 s c =============================================================================== c | 1 | 4493 4619 517946 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23604 c Elapsed CPU time: 24.1073 s Remaining CPU time: 155.893 s c =============================================================================== c | 1 | 4493 4620 522296 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23603 c Elapsed CPU time: 24.4863 s Remaining CPU time: 155.514 s c =============================================================================== c | 1 | 4493 4621 526646 | 5000 1 4348 | 0.000 % | c =============================================================================== c New solution: 23602 c Elapsed CPU time: 24.8362 s Remaining CPU time: 155.164 s c =============================================================================== c | 2 | 4493 4622 530996 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23601 c Elapsed CPU time: 25.1912 s Remaining CPU time: 154.809 s c =============================================================================== c | 2 | 4493 4623 535346 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23600 c Elapsed CPU time: 25.5691 s Remaining CPU time: 154.431 s c =============================================================================== c | 2 | 4493 4624 539696 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23599 c Elapsed CPU time: 25.9371 s Remaining CPU time: 154.063 s c =============================================================================== c | 2 | 4493 4625 544046 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23598 c Elapsed CPU time: 26.301 s Remaining CPU time: 153.699 s c =============================================================================== c | 2 | 4493 4626 548396 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23597 c Elapsed CPU time: 26.7199 s Remaining CPU time: 153.28 s c =============================================================================== c | 2 | 4493 4627 552746 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23596 c Elapsed CPU time: 27.1299 s Remaining CPU time: 152.87 s c =============================================================================== c | 2 | 4493 4628 557096 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23595 c Elapsed CPU time: 27.5098 s Remaining CPU time: 152.49 s c =============================================================================== c | 2 | 4493 4629 561446 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23594 c Elapsed CPU time: 27.9188 s Remaining CPU time: 152.081 s c =============================================================================== c | 2 | 4493 4630 565796 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23593 c Elapsed CPU time: 28.3227 s Remaining CPU time: 151.677 s c =============================================================================== c | 2 | 4493 4631 570146 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23592 c Elapsed CPU time: 28.7156 s Remaining CPU time: 151.284 s c =============================================================================== c | 2 | 4493 4632 574496 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23591 c Elapsed CPU time: 29.0966 s Remaining CPU time: 150.903 s c =============================================================================== c | 2 | 4493 4633 578846 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23590 c Elapsed CPU time: 29.5025 s Remaining CPU time: 150.497 s c =============================================================================== c | 2 | 4493 4634 583196 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23589 c Elapsed CPU time: 29.9055 s Remaining CPU time: 150.095 s c =============================================================================== c | 2 | 4493 4635 587546 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23588 c Elapsed CPU time: 30.3124 s Remaining CPU time: 149.688 s c =============================================================================== c | 2 | 4493 4636 591896 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23587 c Elapsed CPU time: 30.7063 s Remaining CPU time: 149.294 s c =============================================================================== c | 2 | 4493 4637 596246 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23586 c Elapsed CPU time: 31.1123 s Remaining CPU time: 148.888 s c =============================================================================== c | 2 | 4493 4638 600596 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23585 c Elapsed CPU time: 31.5632 s Remaining CPU time: 148.437 s c =============================================================================== c | 2 | 4493 4639 604946 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23584 c Elapsed CPU time: 31.9901 s Remaining CPU time: 148.01 s c =============================================================================== c | 2 | 4493 4640 609296 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23583 c Elapsed CPU time: 32.3901 s Remaining CPU time: 147.61 s c =============================================================================== c | 2 | 4493 4641 613646 | 5000 2 4338 | 0.000 % | c =============================================================================== c New solution: 23582 c Elapsed CPU time: 32.777 s Remaining CPU time: 147.223 s c =============================================================================== c | 3 | 4493 4642 617996 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23581 c Elapsed CPU time: 33.183 s Remaining CPU time: 146.817 s c =============================================================================== c | 3 | 4493 4643 622346 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23580 c Elapsed CPU time: 33.5569 s Remaining CPU time: 146.443 s c =============================================================================== c | 3 | 4493 4644 626696 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23579 c Elapsed CPU time: 33.9388 s Remaining CPU time: 146.061 s c =============================================================================== c | 3 | 4493 4645 631046 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23578 c Elapsed CPU time: 34.3248 s Remaining CPU time: 145.675 s c =============================================================================== c | 3 | 4493 4646 635396 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23577 c Elapsed CPU time: 34.7337 s Remaining CPU time: 145.266 s c =============================================================================== c | 3 | 4493 4647 639746 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23576 c Elapsed CPU time: 35.1207 s Remaining CPU time: 144.879 s c =============================================================================== c | 3 | 4493 4648 644096 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23575 c Elapsed CPU time: 35.5036 s Remaining CPU time: 144.496 s c =============================================================================== c | 3 | 4493 4649 648446 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23574 c Elapsed CPU time: 35.9005 s Remaining CPU time: 144.099 s c =============================================================================== c | 3 | 4493 4650 652796 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23573 c Elapsed CPU time: 36.3355 s Remaining CPU time: 143.665 s c =============================================================================== c | 3 | 4493 4651 657146 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23572 c Elapsed CPU time: 36.7494 s Remaining CPU time: 143.251 s c =============================================================================== c | 3 | 4493 4652 661496 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23571 c Elapsed CPU time: 37.1454 s Remaining CPU time: 142.855 s c =============================================================================== c | 3 | 4493 4653 665846 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23570 c Elapsed CPU time: 37.5953 s Remaining CPU time: 142.405 s c =============================================================================== c | 3 | 4493 4654 670196 | 5000 3 4333 | 0.000 % | c =============================================================================== c New solution: 23569 c Elapsed CPU time: 38.0302 s Remaining CPU time: 141.97 s c =============================================================================== c | 4 | 4493 4655 674546 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23568 c Elapsed CPU time: 38.4831 s Remaining CPU time: 141.517 s c =============================================================================== c | 4 | 4493 4656 678896 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23567 c Elapsed CPU time: 38.9901 s Remaining CPU time: 141.01 s c =============================================================================== c | 4 | 4493 4657 683246 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23566 c Elapsed CPU time: 39.455 s Remaining CPU time: 140.545 s c =============================================================================== c | 4 | 4493 4658 687596 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23565 c Elapsed CPU time: 39.9669 s Remaining CPU time: 140.033 s c =============================================================================== c | 4 | 4493 4659 691946 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23564 c Elapsed CPU time: 40.4748 s Remaining CPU time: 139.525 s c =============================================================================== c | 4 | 4493 4660 696296 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23563 c Elapsed CPU time: 40.9818 s Remaining CPU time: 139.018 s c =============================================================================== c | 4 | 4493 4661 700646 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23562 c Elapsed CPU time: 41.5057 s Remaining CPU time: 138.494 s c =============================================================================== c | 4 | 4493 4662 704996 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23561 c Elapsed CPU time: 42.0086 s Remaining CPU time: 137.991 s c =============================================================================== c | 4 | 4493 4663 709346 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23560 c Elapsed CPU time: 42.4655 s Remaining CPU time: 137.534 s c =============================================================================== c | 4 | 4493 4664 713696 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23559 c Elapsed CPU time: 42.9315 s Remaining CPU time: 137.069 s c =============================================================================== c | 4 | 4493 4665 718046 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23558 c Elapsed CPU time: 43.4194 s Remaining CPU time: 136.581 s c =============================================================================== c | 4 | 4493 4666 722396 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23557 c Elapsed CPU time: 43.8673 s Remaining CPU time: 136.133 s c =============================================================================== c | 4 | 4493 4667 726746 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23556 c Elapsed CPU time: 44.3053 s Remaining CPU time: 135.695 s c =============================================================================== c | 4 | 4493 4668 731096 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23555 c Elapsed CPU time: 44.7412 s Remaining CPU time: 135.259 s c =============================================================================== c | 4 | 4493 4669 735446 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23554 c Elapsed CPU time: 45.1751 s Remaining CPU time: 134.825 s c =============================================================================== c | 4 | 4493 4670 739796 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23553 c Elapsed CPU time: 45.6491 s Remaining CPU time: 134.351 s c =============================================================================== c | 4 | 4493 4671 744146 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23552 c Elapsed CPU time: 46.108 s Remaining CPU time: 133.892 s c =============================================================================== c | 4 | 4493 4672 748496 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23551 c Elapsed CPU time: 46.5579 s Remaining CPU time: 133.442 s c =============================================================================== c | 4 | 4493 4673 752846 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23550 c Elapsed CPU time: 47.0338 s Remaining CPU time: 132.966 s c =============================================================================== c | 4 | 4493 4674 757196 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23549 c Elapsed CPU time: 47.5188 s Remaining CPU time: 132.481 s c =============================================================================== c | 4 | 4493 4675 761546 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23548 c Elapsed CPU time: 47.9777 s Remaining CPU time: 132.022 s c =============================================================================== c | 4 | 4493 4676 765896 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23547 c Elapsed CPU time: 48.4606 s Remaining CPU time: 131.539 s c =============================================================================== c | 4 | 4493 4677 770246 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23546 c Elapsed CPU time: 48.9466 s Remaining CPU time: 131.053 s c =============================================================================== c | 4 | 4493 4678 774596 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23545 c Elapsed CPU time: 49.4235 s Remaining CPU time: 130.577 s c =============================================================================== c | 4 | 4493 4679 778946 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23544 c Elapsed CPU time: 49.8864 s Remaining CPU time: 130.114 s c =============================================================================== c | 4 | 4493 4680 783296 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23543 c Elapsed CPU time: 50.3533 s Remaining CPU time: 129.647 s c =============================================================================== c | 4 | 4493 4681 787646 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23542 c Elapsed CPU time: 50.8323 s Remaining CPU time: 129.168 s c =============================================================================== c | 4 | 4493 4682 791996 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23541 c Elapsed CPU time: 51.3132 s Remaining CPU time: 128.687 s c =============================================================================== c | 4 | 4493 4683 796346 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23540 c Elapsed CPU time: 51.7821 s Remaining CPU time: 128.218 s c =============================================================================== c | 4 | 4493 4684 800696 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23539 c Elapsed CPU time: 52.2581 s Remaining CPU time: 127.742 s c =============================================================================== c | 4 | 4493 4685 805046 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23538 c Elapsed CPU time: 52.783 s Remaining CPU time: 127.217 s c =============================================================================== c | 4 | 4493 4686 809396 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23537 c Elapsed CPU time: 53.3039 s Remaining CPU time: 126.696 s c =============================================================================== c | 4 | 4493 4687 813746 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23536 c Elapsed CPU time: 53.8508 s Remaining CPU time: 126.149 s c =============================================================================== c | 4 | 4493 4688 818096 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23535 c Elapsed CPU time: 54.3847 s Remaining CPU time: 125.615 s c =============================================================================== c | 4 | 4493 4689 822446 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23534 c Elapsed CPU time: 54.9057 s Remaining CPU time: 125.094 s c =============================================================================== c | 4 | 4493 4690 826796 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23533 c Elapsed CPU time: 55.4206 s Remaining CPU time: 124.579 s c =============================================================================== c | 4 | 4493 4691 831146 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23532 c Elapsed CPU time: 55.9735 s Remaining CPU time: 124.027 s c =============================================================================== c | 4 | 4493 4692 835496 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 23531 c Elapsed CPU time: 56.4974 s Remaining CPU time: 123.503 s c =============================================================================== c | 6 | 4493 4693 839846 | 5000 6 4325 | 0.000 % | c =============================================================================== c New solution: 23530 c Elapsed CPU time: 57.0633 s Remaining CPU time: 122.937 s c =============================================================================== c | 7 | 4493 4694 844196 | 5000 7 4323 | 0.000 % | c =============================================================================== c New solution: 23529 c Elapsed CPU time: 57.5882 s Remaining CPU time: 122.412 s c =============================================================================== c | 7 | 4493 4695 848546 | 5000 7 4323 | 0.000 % | c =============================================================================== c New solution: 23528 c Elapsed CPU time: 58.1282 s Remaining CPU time: 121.872 s c =============================================================================== c | 7 | 4493 4696 852896 | 5000 7 4323 | 0.000 % | c =============================================================================== c New solution: 23527 c Elapsed CPU time: 58.7101 s Remaining CPU time: 121.29 s c =============================================================================== c | 7 | 4493 4697 857246 | 5000 7 4323 | 0.000 % | c =============================================================================== c New solution: 23526 c Elapsed CPU time: 59.264 s Remaining CPU time: 120.736 s c =============================================================================== c | 8 | 4493 4698 861596 | 5000 8 4321 | 0.000 % | c =============================================================================== c New solution: 23525 c Elapsed CPU time: 59.7979 s Remaining CPU time: 120.202 s c =============================================================================== c | 8 | 4493 4699 865946 | 5000 8 4321 | 0.000 % | c =============================================================================== c New solution: 23524 c Elapsed CPU time: 60.3008 s Remaining CPU time: 119.699 s c =============================================================================== c | 8 | 4493 4700 870296 | 5000 8 4321 | 0.000 % | c =============================================================================== c New solution: 23523 c Elapsed CPU time: 60.8178 s Remaining CPU time: 119.182 s c =============================================================================== c | 8 | 4493 4701 874646 | 5000 8 4321 | 0.000 % | c =============================================================================== c New solution: 23522 c Elapsed CPU time: 61.3417 s Remaining CPU time: 118.658 s c =============================================================================== c | 8 | 4493 4702 878996 | 5000 8 4321 | 0.000 % | c =============================================================================== c New solution: 23521 c Elapsed CPU time: 61.8556 s Remaining CPU time: 118.144 s c =============================================================================== c | 8 | 4493 4703 883346 | 5000 8 4321 | 0.000 % | c =============================================================================== c New solution: 23520 c Elapsed CPU time: 62.3965 s Remaining CPU time: 117.603 s c =============================================================================== c | 8 | 4493 4704 887696 | 5000 8 4321 | 0.000 % | c =============================================================================== c New solution: 23519 c Elapsed CPU time: 62.9514 s Remaining CPU time: 117.049 s c =============================================================================== c | 8 | 4493 4705 892046 | 5000 8 4321 | 0.000 % | c =============================================================================== c New solution: 23518 c Elapsed CPU time: 63.5243 s Remaining CPU time: 116.476 s c =============================================================================== c | 8 | 4493 4706 896396 | 5000 8 4321 | 0.000 % | c =============================================================================== c New solution: 23517 c Elapsed CPU time: 64.0823 s Remaining CPU time: 115.918 s c =============================================================================== c | 9 | 4493 4707 900746 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23516 c Elapsed CPU time: 64.6452 s Remaining CPU time: 115.355 s c =============================================================================== c | 9 | 4493 4708 905096 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23515 c Elapsed CPU time: 65.2041 s Remaining CPU time: 114.796 s c =============================================================================== c | 9 | 4493 4709 909446 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23514 c Elapsed CPU time: 65.754 s Remaining CPU time: 114.246 s c =============================================================================== c | 9 | 4493 4710 913796 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23513 c Elapsed CPU time: 66.3649 s Remaining CPU time: 113.635 s c =============================================================================== c | 9 | 4493 4711 918146 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23512 c Elapsed CPU time: 67.0638 s Remaining CPU time: 112.936 s c =============================================================================== c | 9 | 4493 4712 922496 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23511 c Elapsed CPU time: 67.6837 s Remaining CPU time: 112.316 s c =============================================================================== c | 9 | 4493 4713 926846 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23510 c Elapsed CPU time: 68.2766 s Remaining CPU time: 111.723 s c =============================================================================== c | 9 | 4493 4714 931196 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23509 c Elapsed CPU time: 68.8865 s Remaining CPU time: 111.113 s c =============================================================================== c | 9 | 4493 4715 935546 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23508 c Elapsed CPU time: 69.4744 s Remaining CPU time: 110.526 s c =============================================================================== c | 9 | 4493 4716 939896 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23507 c Elapsed CPU time: 70.0793 s Remaining CPU time: 109.921 s c =============================================================================== c | 9 | 4493 4717 944246 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23506 c Elapsed CPU time: 70.6823 s Remaining CPU time: 109.318 s c =============================================================================== c | 9 | 4493 4718 948596 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23505 c Elapsed CPU time: 71.3042 s Remaining CPU time: 108.696 s c =============================================================================== c | 9 | 4493 4719 952946 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23504 c Elapsed CPU time: 71.9701 s Remaining CPU time: 108.03 s c =============================================================================== c | 9 | 4493 4720 957296 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23503 c Elapsed CPU time: 72.636 s Remaining CPU time: 107.364 s c =============================================================================== c | 9 | 4493 4721 961646 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23502 c Elapsed CPU time: 73.2639 s Remaining CPU time: 106.736 s c =============================================================================== c | 9 | 4493 4722 965996 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23501 c Elapsed CPU time: 73.9018 s Remaining CPU time: 106.098 s c =============================================================================== c | 9 | 4493 4723 970346 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23500 c Elapsed CPU time: 74.5367 s Remaining CPU time: 105.463 s c =============================================================================== c | 9 | 4493 4724 974696 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23499 c Elapsed CPU time: 75.1726 s Remaining CPU time: 104.827 s c =============================================================================== c | 9 | 4493 4725 979046 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23498 c Elapsed CPU time: 75.8155 s Remaining CPU time: 104.185 s c =============================================================================== c | 9 | 4493 4726 983396 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23497 c Elapsed CPU time: 76.4754 s Remaining CPU time: 103.525 s c =============================================================================== c | 9 | 4493 4727 987746 | 5000 9 4320 | 0.000 % | c =============================================================================== c New solution: 23496 c Elapsed CPU time: 77.1433 s Remaining CPU time: 102.857 s c =============================================================================== c | 10 | 4493 4728 992096 | 5000 10 4319 | 0.000 % | c =============================================================================== c New solution: 23495 c Elapsed CPU time: 77.8532 s Remaining CPU time: 102.147 s c =============================================================================== c | 10 | 4493 4729 996446 | 5000 10 4319 | 0.000 % | c =============================================================================== c New solution: 23494 c Elapsed CPU time: 78.5481 s Remaining CPU time: 101.452 s c =============================================================================== c | 10 | 4493 4730 1000796 | 5000 10 4319 | 0.000 % | c =============================================================================== c New solution: 23493 c Elapsed CPU time: 79.185 s Remaining CPU time: 100.815 s c =============================================================================== c | 10 | 4493 4731 1005146 | 5000 10 4319 | 0.000 % | c =============================================================================== c New solution: 23492 c Elapsed CPU time: 79.8439 s Remaining CPU time: 100.156 s c =============================================================================== c | 10 | 4493 4732 1009496 | 5000 10 4319 | 0.000 % | c =============================================================================== c New solution: 23491 c Elapsed CPU time: 80.5108 s Remaining CPU time: 99.4892 s c =============================================================================== c | 13 | 4493 4733 1013846 | 5000 13 4316 | 0.000 % | c =============================================================================== c New solution: 23490 c Elapsed CPU time: 81.1867 s Remaining CPU time: 98.8133 s c =============================================================================== c | 18 | 4493 4734 1018196 | 5000 18 4312 | 0.000 % | c =============================================================================== c New solution: 23489 c Elapsed CPU time: 81.9485 s Remaining CPU time: 98.0515 s c =============================================================================== c | 22 | 4493 4735 1022546 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23488 c Elapsed CPU time: 82.6394 s Remaining CPU time: 97.3606 s c =============================================================================== c | 22 | 4493 4736 1026896 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23487 c Elapsed CPU time: 83.3143 s Remaining CPU time: 96.6857 s c =============================================================================== c | 22 | 4493 4737 1031246 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23486 c Elapsed CPU time: 83.9592 s Remaining CPU time: 96.0408 s c =============================================================================== c | 22 | 4493 4738 1035596 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23485 c Elapsed CPU time: 84.6151 s Remaining CPU time: 95.3849 s c =============================================================================== c | 22 | 4493 4739 1039946 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23484 c Elapsed CPU time: 85.258 s Remaining CPU time: 94.742 s c =============================================================================== c | 22 | 4493 4740 1044296 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23483 c Elapsed CPU time: 85.8909 s Remaining CPU time: 94.1091 s c =============================================================================== c | 22 | 4493 4741 1048646 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23482 c Elapsed CPU time: 86.5198 s Remaining CPU time: 93.4802 s c =============================================================================== c | 22 | 4493 4742 1052996 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23481 c Elapsed CPU time: 87.1488 s Remaining CPU time: 92.8512 s c =============================================================================== c | 22 | 4493 4743 1057346 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23480 c Elapsed CPU time: 87.7707 s Remaining CPU time: 92.2293 s c =============================================================================== c | 22 | 4493 4744 1061696 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23479 c Elapsed CPU time: 88.4316 s Remaining CPU time: 91.5684 s c =============================================================================== c | 22 | 4493 4745 1066046 | 5000 22 4311 | 0.000 % | c =============================================================================== c New solution: 23478 c Elapsed CPU time: 89.0825 s Remaining CPU time: 90.9175 s c =============================================================================== c | 23 | 4493 4746 1070396 | 5000 23 4310 | 0.000 % | c =============================================================================== c New solution: 23477 c Elapsed CPU time: 89.6964 s Remaining CPU time: 90.3036 s c =============================================================================== c | 23 | 4493 4747 1074746 | 5000 23 4310 | 0.000 % | c =============================================================================== c New solution: 23476 c Elapsed CPU time: 90.3333 s Remaining CPU time: 89.6667 s c =============================================================================== c | 23 | 4493 4748 1079096 | 5000 23 4310 | 0.000 % | c =============================================================================== c New solution: 23475 c Elapsed CPU time: 90.9572 s Remaining CPU time: 89.0428 s c =============================================================================== c | 23 | 4493 4749 1083446 | 5000 23 4310 | 0.000 % | c =============================================================================== c New solution: 23474 c Elapsed CPU time: 91.6141 s Remaining CPU time: 88.3859 s c =============================================================================== c | 24 | 4493 4750 1087796 | 5000 24 4310 | 0.000 % | c =============================================================================== c New solution: 23473 c Elapsed CPU time: 92.343 s Remaining CPU time: 87.657 s c =============================================================================== c | 25 | 4493 4751 1092146 | 5000 25 4310 | 0.000 % | c =============================================================================== c New solution: 23472 c Elapsed CPU time: 93.0349 s Remaining CPU time: 86.9651 s c =============================================================================== c | 25 | 4493 4752 1096496 | 5000 25 4310 | 0.000 % | c =============================================================================== c New solution: 23471 c Elapsed CPU time: 93.7467 s Remaining CPU time: 86.2533 s c =============================================================================== c | 25 | 4493 4753 1100846 | 5000 25 4310 | 0.000 % | c =============================================================================== c New solution: 23470 c Elapsed CPU time: 94.4166 s Remaining CPU time: 85.5834 s c =============================================================================== c | 25 | 4493 4754 1105196 | 5000 25 4310 | 0.000 % | c =============================================================================== c New solution: 23469 c Elapsed CPU time: 95.0645 s Remaining CPU time: 84.9355 s c =============================================================================== c | 25 | 4493 4755 1109546 | 5000 25 4310 | 0.000 % | c =============================================================================== c New solution: 23468 c Elapsed CPU time: 95.6975 s Remaining CPU time: 84.3025 s c =============================================================================== c | 25 | 4493 4756 1113896 | 5000 25 4310 | 0.000 % | c =============================================================================== c New solution: 23467 c Elapsed CPU time: 96.3933 s Remaining CPU time: 83.6067 s c =============================================================================== c | 25 | 4493 4757 1118246 | 5000 25 4310 | 0.000 % | c =============================================================================== c New solution: 23466 c Elapsed CPU time: 97.1282 s Remaining CPU time: 82.8718 s c =============================================================================== c | 25 | 4493 4758 1122596 | 5000 25 4310 | 0.000 % | c =============================================================================== c New solution: 23465 c Elapsed CPU time: 97.8531 s Remaining CPU time: 82.1469 s c =============================================================================== c | 26 | 4493 4759 1126946 | 5000 26 4309 | 0.000 % | c =============================================================================== c New solution: 23464 c Elapsed CPU time: 98.547 s Remaining CPU time: 81.453 s c =============================================================================== c | 26 | 4493 4760 1131296 | 5000 26 4309 | 0.000 % | c =============================================================================== c New solution: 23463 c Elapsed CPU time: 99.2239 s Remaining CPU time: 80.7761 s c =============================================================================== c | 26 | 4493 4761 1135646 | 5000 26 4309 | 0.000 % | c =============================================================================== c New solution: 23462 c Elapsed CPU time: 99.8608 s Remaining CPU time: 80.1392 s c =============================================================================== c | 26 | 4493 4762 1139996 | 5000 26 4309 | 0.000 % | c =============================================================================== c New solution: 23461 c Elapsed CPU time: 100.561 s Remaining CPU time: 79.4393 s c =============================================================================== c | 27 | 4493 4763 1144346 | 5000 27 4309 | 0.000 % | c =============================================================================== c New solution: 23460 c Elapsed CPU time: 101.217 s Remaining CPU time: 78.7834 s c =============================================================================== c | 30 | 4493 4764 1148696 | 5000 30 4308 | 0.000 % | c =============================================================================== c New solution: 23459 c Elapsed CPU time: 101.892 s Remaining CPU time: 78.1085 s c =============================================================================== c | 30 | 4493 4765 1153046 | 5000 30 4308 | 0.000 % | c =============================================================================== c New solution: 23458 c Elapsed CPU time: 102.553 s Remaining CPU time: 77.4466 s c =============================================================================== c | 30 | 4493 4766 1157396 | 5000 30 4308 | 0.000 % | c =============================================================================== c New solution: 23457 c Elapsed CPU time: 103.212 s Remaining CPU time: 76.7877 s c =============================================================================== c | 32 | 4493 4767 1161746 | 5000 32 4307 | 0.000 % | c =============================================================================== c New solution: 23456 c Elapsed CPU time: 103.914 s Remaining CPU time: 76.0858 s c =============================================================================== c | 33 | 4493 4768 1166096 | 5000 33 4307 | 0.000 % | c =============================================================================== c New solution: 23455 c Elapsed CPU time: 104.59 s Remaining CPU time: 75.4099 s c =============================================================================== c | 33 | 4493 4769 1170446 | 5000 33 4307 | 0.000 % | c =============================================================================== c New solution: 23454 c Elapsed CPU time: 105.244 s Remaining CPU time: 74.756 s c =============================================================================== c | 33 | 4493 4770 1174796 | 5000 33 4307 | 0.000 % | c =============================================================================== c New solution: 23453 c Elapsed CPU time: 105.951 s Remaining CPU time: 74.0491 s c =============================================================================== c | 37 | 4493 4771 1179146 | 5000 37 4306 | 0.000 % | c =============================================================================== c New solution: 23452 c Elapsed CPU time: 106.607 s Remaining CPU time: 73.3932 s c =============================================================================== c | 37 | 4493 4772 1183496 | 5000 37 4306 | 0.000 % | c =============================================================================== c New solution: 23451 c Elapsed CPU time: 107.318 s Remaining CPU time: 72.6823 s c =============================================================================== c | 37 | 4493 4773 1187846 | 5000 37 4306 | 0.000 % | c =============================================================================== c New solution: 23450 c Elapsed CPU time: 108.128 s Remaining CPU time: 71.8724 s c =============================================================================== c | 39 | 4493 4774 1192196 | 5000 39 4306 | 0.000 % | c =============================================================================== c New solution: 23449 c Elapsed CPU time: 108.871 s Remaining CPU time: 71.1286 s c =============================================================================== c | 39 | 4493 4775 1196546 | 5000 39 4306 | 0.000 % | c =============================================================================== c New solution: 23448 c Elapsed CPU time: 109.61 s Remaining CPU time: 70.3897 s c =============================================================================== c | 39 | 4493 4776 1200896 | 5000 39 4306 | 0.000 % | c =============================================================================== c New solution: 23447 c Elapsed CPU time: 110.411 s Remaining CPU time: 69.5888 s c =============================================================================== c | 43 | 4493 4777 1205246 | 5000 43 4305 | 0.000 % | c =============================================================================== c New solution: 23446 c Elapsed CPU time: 111.15 s Remaining CPU time: 68.8499 s c =============================================================================== c | 45 | 4493 4778 1209596 | 5000 45 4305 | 0.000 % | c =============================================================================== c New solution: 23445 c Elapsed CPU time: 111.826 s Remaining CPU time: 68.174 s c =============================================================================== c | 45 | 4493 4779 1213946 | 5000 45 4305 | 0.000 % | c =============================================================================== c New solution: 23444 c Elapsed CPU time: 112.562 s Remaining CPU time: 67.4381 s c =============================================================================== c | 46 | 4493 4780 1218296 | 5000 46 4305 | 0.000 % | c =============================================================================== c New solution: 23443 c Elapsed CPU time: 113.282 s Remaining CPU time: 66.7182 s c =============================================================================== c | 46 | 4493 4781 1222646 | 5000 46 4305 | 0.000 % | c =============================================================================== c New solution: 23442 c Elapsed CPU time: 113.999 s Remaining CPU time: 66.0013 s c =============================================================================== c | 46 | 4493 4782 1226996 | 5000 46 4305 | 0.000 % | c =============================================================================== c New solution: 23441 c Elapsed CPU time: 114.743 s Remaining CPU time: 65.2574 s c =============================================================================== c | 47 | 4493 4783 1231346 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23440 c Elapsed CPU time: 115.497 s Remaining CPU time: 64.5026 s c =============================================================================== c | 47 | 4493 4784 1235696 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23439 c Elapsed CPU time: 116.215 s Remaining CPU time: 63.7847 s c =============================================================================== c | 47 | 4493 4785 1240046 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23438 c Elapsed CPU time: 116.931 s Remaining CPU time: 63.0688 s c =============================================================================== c | 47 | 4493 4786 1244396 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23437 c Elapsed CPU time: 117.692 s Remaining CPU time: 62.3079 s c =============================================================================== c | 47 | 4493 4787 1248746 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23436 c Elapsed CPU time: 118.399 s Remaining CPU time: 61.601 s c =============================================================================== c | 47 | 4493 4788 1253096 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23435 c Elapsed CPU time: 119.126 s Remaining CPU time: 60.8741 s c =============================================================================== c | 47 | 4493 4789 1257446 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23434 c Elapsed CPU time: 119.85 s Remaining CPU time: 60.1502 s c =============================================================================== c | 47 | 4493 4790 1261796 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23433 c Elapsed CPU time: 120.596 s Remaining CPU time: 59.4043 s c =============================================================================== c | 47 | 4493 4791 1266146 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23432 c Elapsed CPU time: 121.329 s Remaining CPU time: 58.6714 s c =============================================================================== c | 47 | 4493 4792 1270496 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23431 c Elapsed CPU time: 122.092 s Remaining CPU time: 57.9076 s c =============================================================================== c | 47 | 4493 4793 1274846 | 5000 47 4305 | 0.000 % | c =============================================================================== c New solution: 23430 c Elapsed CPU time: 122.869 s Remaining CPU time: 57.1307 s c =============================================================================== c | 49 | 4493 4794 1279196 | 5000 49 4304 | 0.000 % | c =============================================================================== c New solution: 23429 c Elapsed CPU time: 123.63 s Remaining CPU time: 56.3698 s c =============================================================================== c | 49 | 4493 4795 1283546 | 5000 49 4304 | 0.000 % | c =============================================================================== c New solution: 23428 c Elapsed CPU time: 124.387 s Remaining CPU time: 55.6129 s c =============================================================================== c | 49 | 4493 4796 1287896 | 5000 49 4304 | 0.000 % | c =============================================================================== c New solution: 23427 c Elapsed CPU time: 125.139 s Remaining CPU time: 54.861 s c =============================================================================== c | 49 | 4493 4797 1292246 | 5000 49 4304 | 0.000 % | c =============================================================================== c New solution: 23426 c Elapsed CPU time: 125.947 s Remaining CPU time: 54.0531 s c =============================================================================== c | 49 | 4493 4798 1296596 | 5000 49 4304 | 0.000 % | c =============================================================================== c New solution: 23425 c Elapsed CPU time: 126.758 s Remaining CPU time: 53.2423 s c =============================================================================== c | 49 | 4493 4799 1300946 | 5000 49 4304 | 0.000 % | c =============================================================================== c New solution: 23424 c Elapsed CPU time: 127.605 s Remaining CPU time: 52.3954 s c =============================================================================== c | 53 | 4493 4800 1305296 | 5000 53 4304 | 0.000 % | c =============================================================================== c New solution: 23423 c Elapsed CPU time: 128.562 s Remaining CPU time: 51.4375 s c =============================================================================== c | 61 | 4493 4801 1309646 | 5000 61 4302 | 0.000 % | c =============================================================================== c New solution: 23422 c Elapsed CPU time: 129.432 s Remaining CPU time: 50.5677 s c =============================================================================== c | 64 | 4493 4802 1313996 | 5000 64 4302 | 0.000 % | c =============================================================================== c New solution: 23421 c Elapsed CPU time: 130.234 s Remaining CPU time: 49.7658 s c =============================================================================== c | 67 | 4493 4803 1318346 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23420 c Elapsed CPU time: 131.032 s Remaining CPU time: 48.9679 s c =============================================================================== c | 67 | 4493 4804 1322696 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23419 c Elapsed CPU time: 131.848 s Remaining CPU time: 48.152 s c =============================================================================== c | 67 | 4493 4805 1327046 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23418 c Elapsed CPU time: 132.638 s Remaining CPU time: 47.3622 s c =============================================================================== c | 67 | 4493 4806 1331396 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23417 c Elapsed CPU time: 133.399 s Remaining CPU time: 46.6013 s c =============================================================================== c | 67 | 4493 4807 1335746 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23416 c Elapsed CPU time: 134.159 s Remaining CPU time: 45.8414 s c =============================================================================== c | 67 | 4493 4808 1340096 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23415 c Elapsed CPU time: 134.954 s Remaining CPU time: 45.0455 s c =============================================================================== c | 67 | 4493 4809 1344446 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23414 c Elapsed CPU time: 135.837 s Remaining CPU time: 44.1627 s c =============================================================================== c | 67 | 4493 4810 1348796 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23413 c Elapsed CPU time: 136.751 s Remaining CPU time: 43.2488 s c =============================================================================== c | 67 | 4493 4811 1353146 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23412 c Elapsed CPU time: 137.645 s Remaining CPU time: 42.3549 s c =============================================================================== c | 67 | 4493 4812 1357496 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23411 c Elapsed CPU time: 138.65 s Remaining CPU time: 41.3501 s c =============================================================================== c | 67 | 4493 4813 1361846 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23410 c Elapsed CPU time: 139.601 s Remaining CPU time: 40.3992 s c =============================================================================== c | 67 | 4493 4814 1366196 | 5000 67 4302 | 0.000 % | c =============================================================================== c New solution: 23409 c Elapsed CPU time: 140.607 s Remaining CPU time: 39.3934 s c =============================================================================== c | 70 | 4493 4815 1370546 | 5000 70 4301 | 0.000 % | c =============================================================================== c New solution: 23408 c Elapsed CPU time: 141.538 s Remaining CPU time: 38.4615 s c =============================================================================== c | 71 | 4493 4816 1374896 | 5000 71 4301 | 0.000 % | c =============================================================================== c New solution: 23407 c Elapsed CPU time: 142.504 s Remaining CPU time: 37.4957 s c =============================================================================== c | 72 | 4493 4817 1379246 | 5000 72 4301 | 0.000 % | c =============================================================================== c New solution: 23406 c Elapsed CPU time: 143.441 s Remaining CPU time: 36.5588 s c =============================================================================== c | 72 | 4493 4818 1383596 | 5000 72 4301 | 0.000 % | c =============================================================================== c New solution: 23405 c Elapsed CPU time: 144.362 s Remaining CPU time: 35.6379 s c =============================================================================== c | 72 | 4493 4819 1387946 | 5000 72 4301 | 0.000 % | c =============================================================================== c New solution: 23404 c Elapsed CPU time: 145.301 s Remaining CPU time: 34.6991 s c =============================================================================== c | 73 | 4493 4820 1392296 | 5000 73 4301 | 0.000 % | c =============================================================================== c New solution: 23403 c Elapsed CPU time: 146.235 s Remaining CPU time: 33.7652 s c =============================================================================== c | 74 | 4493 4821 1396646 | 5000 74 4301 | 0.000 % | c =============================================================================== c New solution: 23402 c Elapsed CPU time: 147.167 s Remaining CPU time: 32.8334 s c =============================================================================== c | 76 | 4493 4822 1400996 | 5000 76 4301 | 0.000 % | c =============================================================================== c New solution: 23401 c Elapsed CPU time: 148.029 s Remaining CPU time: 31.9705 s c =============================================================================== c | 77 | 4493 4823 1405346 | 5000 77 4245 | 0.000 % | c =============================================================================== c New solution: 23400 c Elapsed CPU time: 148.905 s Remaining CPU time: 31.0946 s c =============================================================================== c | 77 | 4493 4824 1409696 | 5000 77 4245 | 0.000 % | c =============================================================================== c New solution: 23399 c Elapsed CPU time: 149.843 s Remaining CPU time: 30.1568 s c =============================================================================== c | 77 | 4493 4825 1414046 | 5000 77 4245 | 0.000 % | c =============================================================================== c New solution: 23398 c Elapsed CPU time: 150.758 s Remaining CPU time: 29.2419 s c =============================================================================== c | 77 | 4493 4826 1418396 | 5000 77 4245 | 0.000 % | c =============================================================================== c New solution: 23397 c Elapsed CPU time: 151.669 s Remaining CPU time: 28.3311 s c =============================================================================== c | 77 | 4493 4827 1422746 | 5000 77 4245 | 0.000 % | c =============================================================================== c New solution: 23396 c Elapsed CPU time: 152.535 s Remaining CPU time: 27.4652 s c =============================================================================== c | 77 | 4493 4828 1427096 | 5000 77 4245 | 0.000 % | c =============================================================================== c New solution: 23395 c Elapsed CPU time: 153.45 s Remaining CPU time: 26.5503 s c =============================================================================== c | 77 | 4493 4829 1431446 | 5000 77 4245 | 0.000 % | c =============================================================================== c New solution: 23394 c Elapsed CPU time: 154.284 s Remaining CPU time: 25.7165 s c =============================================================================== c | 79 | 4493 4830 1435796 | 5000 79 4246 | 0.000 % | c =============================================================================== c New solution: 23393 c Elapsed CPU time: 155.232 s Remaining CPU time: 24.7676 s c =============================================================================== c | 80 | 4493 4831 1440146 | 5000 80 4247 | 0.000 % | c =============================================================================== c New solution: 23392 c Elapsed CPU time: 156.195 s Remaining CPU time: 23.8047 s c =============================================================================== c | 80 | 4493 4832 1444496 | 5000 80 4247 | 0.000 % | c =============================================================================== c New solution: 23391 c Elapsed CPU time: 157.116 s Remaining CPU time: 22.8839 s c =============================================================================== c | 80 | 4493 4833 1448846 | 5000 80 4247 | 0.000 % | c =============================================================================== c New solution: 23390 c Elapsed CPU time: 158.018 s Remaining CPU time: 21.982 s c =============================================================================== c | 81 | 4493 4834 1453196 | 5000 81 4247 | 0.000 % | c =============================================================================== c New solution: 23389 c Elapsed CPU time: 158.941 s Remaining CPU time: 21.0592 s c =============================================================================== c | 81 | 4493 4835 1457546 | 5000 81 4247 | 0.000 % | c =============================================================================== c New solution: 23388 c Elapsed CPU time: 159.827 s Remaining CPU time: 20.1733 s c =============================================================================== c | 81 | 4493 4836 1461896 | 5000 81 4247 | 0.000 % | c =============================================================================== c New solution: 23387 c Elapsed CPU time: 160.709 s Remaining CPU time: 19.2914 s c =============================================================================== c | 81 | 4493 4837 1466246 | 5000 81 4247 | 0.000 % | c =============================================================================== c New solution: 23386 c Elapsed CPU time: 161.57 s Remaining CPU time: 18.4296 s c =============================================================================== c | 86 | 4493 4838 1470596 | 5000 86 4250 | 0.000 % | c =============================================================================== c New solution: 23385 c Elapsed CPU time: 162.469 s Remaining CPU time: 17.5307 s c =============================================================================== c | 86 | 4493 4839 1474946 | 5000 86 4250 | 0.000 % | c =============================================================================== c New solution: 23384 c Elapsed CPU time: 163.46 s Remaining CPU time: 16.5399 s c =============================================================================== c | 86 | 4493 4840 1479296 | 5000 86 4250 | 0.000 % | c =============================================================================== c New solution: 23383 c Elapsed CPU time: 164.455 s Remaining CPU time: 15.545 s c =============================================================================== c | 89 | 4493 4841 1483646 | 5000 89 4251 | 0.000 % | c =============================================================================== c New solution: 23382 c Elapsed CPU time: 165.427 s Remaining CPU time: 14.5731 s c =============================================================================== c | 90 | 4493 4842 1487996 | 5000 90 4251 | 0.000 % | c =============================================================================== c New solution: 23381 c Elapsed CPU time: 166.429 s Remaining CPU time: 13.5713 s c =============================================================================== c | 92 | 4493 4843 1492346 | 5000 92 4252 | 0.000 % | c =============================================================================== c New solution: 23380 c Elapsed CPU time: 167.415 s Remaining CPU time: 12.5855 s c =============================================================================== c | 92 | 4493 4844 1496696 | 5000 92 4252 | 0.000 % | c =============================================================================== c New solution: 23379 c Elapsed CPU time: 168.328 s Remaining CPU time: 11.6716 s c =============================================================================== c | 95 | 4493 4845 1501046 | 5000 95 4253 | 0.000 % | c =============================================================================== c New solution: 23378 c Elapsed CPU time: 169.259 s Remaining CPU time: 10.7407 s c =============================================================================== c | 95 | 4493 4846 1505396 | 5000 95 4253 | 0.000 % | c =============================================================================== c New solution: 23377 c Elapsed CPU time: 170.245 s Remaining CPU time: 9.75488 s c =============================================================================== c | 105 | 4493 4847 1509746 | 5000 105 4256 | 0.000 % | c =============================================================================== c New solution: 23376 c Elapsed CPU time: 171.21 s Remaining CPU time: 8.79003 s c =============================================================================== c | 105 | 4493 4848 1514096 | 5000 105 4256 | 0.000 % | c =============================================================================== c New solution: 23375 c Elapsed CPU time: 172.135 s Remaining CPU time: 7.86517 s c =============================================================================== c | 105 | 4493 4849 1518446 | 5000 105 4256 | 0.000 % | c =============================================================================== c New solution: 23374 c Elapsed CPU time: 173.018 s Remaining CPU time: 6.9823 s c =============================================================================== c | 105 | 4493 4850 1522796 | 5000 105 4256 | 0.000 % | c =============================================================================== c New solution: 23373 c Elapsed CPU time: 174.084 s Remaining CPU time: 5.91646 s c =============================================================================== c | 108 | 4493 4851 1527146 | 5000 108 4257 | 0.000 % | c =============================================================================== c New solution: 23372 c Elapsed CPU time: 175.197 s Remaining CPU time: 4.80264 s c =============================================================================== c | 109 | 4493 4852 1531496 | 5000 109 4257 | 0.000 % | c =============================================================================== c New solution: 23371 c Elapsed CPU time: 176.237 s Remaining CPU time: 3.76279 s c =============================================================================== c | 110 | 4493 4853 1535846 | 5000 110 4258 | 0.000 % | c =============================================================================== c New solution: 23370 c Elapsed CPU time: 177.217 s Remaining CPU time: 2.78294 s c =============================================================================== c | 110 | 4493 4854 1540196 | 5000 110 4258 | 0.000 % | c =============================================================================== c New solution: 23369 c Elapsed CPU time: 178.183 s Remaining CPU time: 1.81709 s c =============================================================================== c | 128 | 4493 4855 1544546 | 5000 128 4228 | 0.000 % | c =============================================================================== c New solution: 23368 c Elapsed CPU time: 179.216 s Remaining CPU time: 0.784245 s c =============================================================================== c | 129 | 4493 4856 1548896 | 5000 129 4228 | 0.000 % | c =============================================================================== c New solution: 23367 c Elapsed CPU time: 180.258 s Remaining CPU time: -0.257596 s c =============================================================================== c | 129 | 4493 4857 1553246 | 5000 129 4228 | 0.000 % | c There are 7 assigned variables. 1 in cost function.