c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 700 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 700 | c | Number Clauses: 700 | 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 | 700 700 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 700 701 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 700 702 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 700 703 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 700 704 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 700 705 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 700 706 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 700 707 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 700 708 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 700 709 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 700 710 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 700 711 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 700 712 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 700 713 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 700 714 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 700 715 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 700 716 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 700 717 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 700 718 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 700 719 14100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 700 720 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 700 721 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 700 722 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 700 723 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 700 724 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 700 725 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 700 726 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 700 727 18900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 700 728 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 700 729 20100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 700 730 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 700 731 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 700 732 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 700 733 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 700 734 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 700 735 23700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 700 736 24300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 700 737 24900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 700 738 25500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 700 739 26100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 700 740 26700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 700 741 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 700 742 27900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 700 743 28500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 700 744 29100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 700 745 29700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 700 746 30300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 700 747 30900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 700 748 31500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 700 749 32100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 700 750 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 700 751 33300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 700 752 33900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 700 753 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 0 | 700 754 35100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 700 755 35700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 0 | 700 756 36300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 700 757 36900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 700 758 37500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 700 759 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 0 | 700 760 38700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 700 761 39300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 700 762 39900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 700 763 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 700 764 41100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 700 765 41700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 700 766 42300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 0 | 700 767 42900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 700 768 43500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 0 | 700 769 44100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 0 | 700 770 44700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 0 | 700 771 45300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 700 772 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 0 | 700 773 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 0 | 700 774 47100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 0 | 700 775 47700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 0 | 700 776 48300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 0 | 700 777 48900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 0 | 700 778 49500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 0 | 700 779 50100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 700 780 50700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 0 | 700 781 51300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 0 | 700 782 51900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 0 | 700 783 52500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 0 | 700 784 53100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s c =============================================================================== c | 0 | 700 785 53700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 700 786 54300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 700 787 54900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.475927 s Remaining CPU time: 179.524 s c =============================================================================== c | 0 | 700 788 55500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 0 | 700 789 56100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 0 | 700 790 56700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 0 | 700 791 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 0 | 700 792 57900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.537918 s Remaining CPU time: 179.462 s c =============================================================================== c | 0 | 700 793 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 0 | 700 794 59100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 0 | 700 795 59700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 0 | 700 796 60300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 0 | 700 797 60900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 0 | 700 798 61500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 0 | 700 799 62100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 0 | 700 800 62700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s c =============================================================================== c | 0 | 700 801 63300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 0 | 700 802 63900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 0 | 700 803 64500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 2 | 700 804 65100 | 5000 2 501 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 2 | 700 805 65700 | 5000 2 501 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 2 | 700 806 66300 | 5000 2 501 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 2 | 700 807 66900 | 5000 2 501 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 2 | 700 808 67500 | 5000 2 501 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 2 | 700 809 68100 | 5000 2 501 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 3 | 700 810 68700 | 5000 3 336 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 3 | 700 811 69300 | 5000 3 336 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 5 | 700 812 69900 | 5000 5 203 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 5 | 700 813 70500 | 5000 5 203 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.879866 s Remaining CPU time: 179.12 s c =============================================================================== c | 5 | 700 814 71100 | 5000 5 203 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.899863 s Remaining CPU time: 179.1 s c =============================================================================== c | 6 | 700 815 71700 | 5000 6 170 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 6 | 700 816 72300 | 5000 6 170 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.938857 s Remaining CPU time: 179.061 s c =============================================================================== c | 6 | 700 817 72900 | 5000 6 170 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 6 | 700 818 73500 | 5000 6 170 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 6 | 700 819 74100 | 5000 6 170 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.998848 s Remaining CPU time: 179.001 s c =============================================================================== c | 6 | 700 820 74700 | 5000 6 170 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 6 | 700 821 75300 | 5000 6 170 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 7 | 700 822 75900 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 7 | 700 823 76500 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 7 | 700 824 77100 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 7 | 700 825 77700 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 10 | 700 826 78300 | 5000 10 106 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 1.14482 s Remaining CPU time: 178.855 s c =============================================================================== c | 11 | 700 827 78900 | 5000 11 140 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 12 | 700 828 79500 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 1.18882 s Remaining CPU time: 178.811 s c =============================================================================== c | 12 | 700 829 80100 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 1.21182 s Remaining CPU time: 178.788 s c =============================================================================== c | 12 | 700 830 80700 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 1.23481 s Remaining CPU time: 178.765 s c =============================================================================== c | 12 | 700 831 81300 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 12 | 700 832 81900 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 1.2808 s Remaining CPU time: 178.719 s c =============================================================================== c | 12 | 700 833 82500 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s c =============================================================================== c | 12 | 700 834 83100 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 1.3248 s Remaining CPU time: 178.675 s c =============================================================================== c | 12 | 700 835 83700 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 1.35079 s Remaining CPU time: 178.649 s c =============================================================================== c | 12 | 700 836 84300 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 12 | 700 837 84900 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 1.40179 s Remaining CPU time: 178.598 s c =============================================================================== c | 12 | 700 838 85500 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 12 | 700 839 86100 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 1.45278 s Remaining CPU time: 178.547 s c =============================================================================== c | 12 | 700 840 86700 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 1.47778 s Remaining CPU time: 178.522 s c =============================================================================== c | 12 | 700 841 87300 | 5000 12 129 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 1.50477 s Remaining CPU time: 178.495 s c =============================================================================== c | 14 | 700 842 87900 | 5000 14 112 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 1.53277 s Remaining CPU time: 178.467 s c =============================================================================== c | 15 | 700 843 88500 | 5000 15 135 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s c =============================================================================== c | 15 | 700 844 89100 | 5000 15 135 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 1.58276 s Remaining CPU time: 178.417 s c =============================================================================== c | 15 | 700 845 89700 | 5000 15 135 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 15 | 700 846 90300 | 5000 15 135 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 1.63475 s Remaining CPU time: 178.365 s c =============================================================================== c | 16 | 700 847 90900 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 1.65875 s Remaining CPU time: 178.341 s c =============================================================================== c | 16 | 700 848 91500 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 1.68474 s Remaining CPU time: 178.315 s c =============================================================================== c | 16 | 700 849 92100 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 1.71274 s Remaining CPU time: 178.287 s c =============================================================================== c | 16 | 700 850 92700 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 1.73974 s Remaining CPU time: 178.26 s c =============================================================================== c | 18 | 700 851 93300 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 1.76773 s Remaining CPU time: 178.232 s c =============================================================================== c | 18 | 700 852 93900 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 1.79373 s Remaining CPU time: 178.206 s c =============================================================================== c | 18 | 700 853 94500 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 1.82072 s Remaining CPU time: 178.179 s c =============================================================================== c | 18 | 700 854 95100 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 1.85072 s Remaining CPU time: 178.149 s c =============================================================================== c | 18 | 700 855 95700 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 1.88071 s Remaining CPU time: 178.119 s c =============================================================================== c | 18 | 700 856 96300 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 18 | 700 857 96900 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 1.93971 s Remaining CPU time: 178.06 s c =============================================================================== c | 20 | 700 858 97500 | 5000 20 103 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 1.9667 s Remaining CPU time: 178.033 s c =============================================================================== c | 20 | 700 859 98100 | 5000 20 103 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 20 | 700 860 98700 | 5000 20 103 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 2.02469 s Remaining CPU time: 177.975 s c =============================================================================== c | 20 | 700 861 99300 | 5000 20 103 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 2.05369 s Remaining CPU time: 177.946 s c =============================================================================== c | 21 | 700 862 99900 | 5000 21 99 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 2.08168 s Remaining CPU time: 177.918 s c =============================================================================== c | 21 | 700 863 100500 | 5000 21 99 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 2.11268 s Remaining CPU time: 177.887 s c =============================================================================== c | 22 | 700 864 101100 | 5000 22 94 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 2.14167 s Remaining CPU time: 177.858 s c =============================================================================== c | 22 | 700 865 101700 | 5000 22 94 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 2.16967 s Remaining CPU time: 177.83 s c =============================================================================== c | 23 | 700 866 102300 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 2.19667 s Remaining CPU time: 177.803 s c =============================================================================== c | 23 | 700 867 102900 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 2.22566 s Remaining CPU time: 177.774 s c =============================================================================== c | 23 | 700 868 103500 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 2.25466 s Remaining CPU time: 177.745 s c =============================================================================== c | 23 | 700 869 104100 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 2.28365 s Remaining CPU time: 177.716 s c =============================================================================== c | 23 | 700 870 104700 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 2.31265 s Remaining CPU time: 177.687 s c =============================================================================== c | 23 | 700 871 105300 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 2.34264 s Remaining CPU time: 177.657 s c =============================================================================== c | 23 | 700 872 105900 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 2.37264 s Remaining CPU time: 177.627 s c =============================================================================== c | 27 | 700 873 106500 | 5000 27 110 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 2.40263 s Remaining CPU time: 177.597 s c =============================================================================== c | 29 | 700 874 107100 | 5000 29 103 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 2.43263 s Remaining CPU time: 177.567 s c =============================================================================== c | 30 | 700 875 107700 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 2.46263 s Remaining CPU time: 177.537 s c =============================================================================== c | 30 | 700 876 108300 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 2.49362 s Remaining CPU time: 177.506 s c =============================================================================== c | 30 | 700 877 108900 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 2.52462 s Remaining CPU time: 177.475 s c =============================================================================== c | 30 | 700 878 109500 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 2.55661 s Remaining CPU time: 177.443 s c =============================================================================== c | 30 | 700 879 110100 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 2.58661 s Remaining CPU time: 177.413 s c =============================================================================== c | 30 | 700 880 110700 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 2.6186 s Remaining CPU time: 177.381 s c =============================================================================== c | 30 | 700 881 111300 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 2.6496 s Remaining CPU time: 177.35 s c =============================================================================== c | 30 | 700 882 111900 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 2.68159 s Remaining CPU time: 177.318 s c =============================================================================== c | 30 | 700 883 112500 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 2.71259 s Remaining CPU time: 177.287 s c =============================================================================== c | 30 | 700 884 113100 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 2.74458 s Remaining CPU time: 177.255 s c =============================================================================== c | 30 | 700 885 113700 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 2.77758 s Remaining CPU time: 177.222 s c =============================================================================== c | 30 | 700 886 114300 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 2.81157 s Remaining CPU time: 177.188 s c =============================================================================== c | 30 | 700 887 114900 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 2.84357 s Remaining CPU time: 177.156 s c =============================================================================== c | 30 | 700 888 115500 | 5000 30 100 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 2.87656 s Remaining CPU time: 177.123 s c =============================================================================== c | 31 | 700 889 116100 | 5000 31 97 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 2.90956 s Remaining CPU time: 177.09 s c =============================================================================== c | 31 | 700 890 116700 | 5000 31 97 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 2.94155 s Remaining CPU time: 177.058 s c =============================================================================== c | 32 | 700 891 117300 | 5000 32 94 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 2.97455 s Remaining CPU time: 177.025 s c =============================================================================== c | 33 | 700 892 117900 | 5000 33 104 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 3.00654 s Remaining CPU time: 176.993 s c =============================================================================== c | 34 | 700 893 118500 | 5000 34 113 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 3.04154 s Remaining CPU time: 176.958 s c =============================================================================== c | 37 | 700 894 119100 | 5000 37 116 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 3.07453 s Remaining CPU time: 176.925 s c =============================================================================== c | 37 | 700 895 119700 | 5000 37 116 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 3.10953 s Remaining CPU time: 176.89 s c =============================================================================== c | 39 | 700 896 120300 | 5000 39 120 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 3.14452 s Remaining CPU time: 176.855 s c =============================================================================== c | 40 | 700 897 120900 | 5000 40 127 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 3.17852 s Remaining CPU time: 176.821 s c =============================================================================== c | 41 | 700 898 121500 | 5000 41 134 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 3.21351 s Remaining CPU time: 176.786 s c =============================================================================== c | 41 | 700 899 122100 | 5000 41 134 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 3.24851 s Remaining CPU time: 176.751 s c =============================================================================== c | 42 | 700 900 122700 | 5000 42 131 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 3.2845 s Remaining CPU time: 176.715 s c =============================================================================== c | 43 | 700 901 123300 | 5000 43 138 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 3.31849 s Remaining CPU time: 176.682 s c =============================================================================== c | 43 | 700 902 123900 | 5000 43 138 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 3.35449 s Remaining CPU time: 176.646 s c =============================================================================== c | 44 | 700 903 124500 | 5000 44 144 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 3.39048 s Remaining CPU time: 176.61 s c =============================================================================== c | 45 | 700 904 125100 | 5000 45 149 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 3.42748 s Remaining CPU time: 176.573 s c =============================================================================== c | 46 | 700 905 125700 | 5000 46 155 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 3.46347 s Remaining CPU time: 176.537 s c =============================================================================== c | 46 | 700 906 126300 | 5000 46 155 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 3.50047 s Remaining CPU time: 176.5 s c =============================================================================== c | 47 | 700 907 126900 | 5000 47 160 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 3.53746 s Remaining CPU time: 176.463 s c =============================================================================== c | 48 | 700 908 127500 | 5000 48 165 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 3.57446 s Remaining CPU time: 176.426 s c =============================================================================== c | 49 | 700 909 128100 | 5000 49 170 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 3.61145 s Remaining CPU time: 176.389 s c =============================================================================== c | 49 | 700 910 128700 | 5000 49 170 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 3.65044 s Remaining CPU time: 176.35 s c =============================================================================== c | 50 | 700 911 129300 | 5000 50 174 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 3.68844 s Remaining CPU time: 176.312 s c =============================================================================== c | 52 | 700 912 129900 | 5000 52 175 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 3.72543 s Remaining CPU time: 176.275 s c =============================================================================== c | 54 | 700 913 130500 | 5000 54 176 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 3.76343 s Remaining CPU time: 176.237 s c =============================================================================== c | 55 | 700 914 131100 | 5000 55 180 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 3.80042 s Remaining CPU time: 176.2 s c =============================================================================== c | 56 | 700 915 131700 | 5000 56 184 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 3.83942 s Remaining CPU time: 176.161 s c =============================================================================== c | 58 | 700 916 132300 | 5000 58 184 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 3.87841 s Remaining CPU time: 176.122 s c =============================================================================== c | 63 | 700 917 132900 | 5000 63 177 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 3.9164 s Remaining CPU time: 176.084 s c =============================================================================== c | 64 | 700 918 133500 | 5000 64 174 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 3.9544 s Remaining CPU time: 176.046 s c =============================================================================== c | 69 | 700 919 134100 | 5000 69 164 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 3.99339 s Remaining CPU time: 176.007 s c =============================================================================== c | 72 | 700 920 134700 | 5000 72 159 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 4.03239 s Remaining CPU time: 175.968 s c =============================================================================== c | 72 | 700 921 135300 | 5000 72 159 | 0.000 % | c | 172 | 700 921 135300 | 5500 172 289 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 4.13837 s Remaining CPU time: 175.862 s c =============================================================================== c | 174 | 700 922 135900 | 5000 174 286 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 4.17736 s Remaining CPU time: 175.823 s c =============================================================================== c | 175 | 700 923 136500 | 5000 175 285 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 4.21736 s Remaining CPU time: 175.783 s c =============================================================================== c | 177 | 700 924 137100 | 5000 177 281 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 4.25635 s Remaining CPU time: 175.744 s c =============================================================================== c | 177 | 700 925 137700 | 5000 177 281 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 4.29435 s Remaining CPU time: 175.706 s c =============================================================================== c | 177 | 700 926 138300 | 5000 177 281 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 4.33434 s Remaining CPU time: 175.666 s c =============================================================================== c | 178 | 700 927 138900 | 5000 178 280 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 4.37434 s Remaining CPU time: 175.626 s c =============================================================================== c | 178 | 700 928 139500 | 5000 178 280 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 4.41533 s Remaining CPU time: 175.585 s c =============================================================================== c | 178 | 700 929 140100 | 5000 178 280 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 4.45532 s Remaining CPU time: 175.545 s c =============================================================================== c | 178 | 700 930 140700 | 5000 178 280 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 4.49532 s Remaining CPU time: 175.505 s c =============================================================================== c | 178 | 700 931 141300 | 5000 178 280 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 4.53631 s Remaining CPU time: 175.464 s c =============================================================================== c | 180 | 700 932 141900 | 5000 180 277 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 4.5763 s Remaining CPU time: 175.424 s c =============================================================================== c | 180 | 700 933 142500 | 5000 180 277 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 4.6173 s Remaining CPU time: 175.383 s c =============================================================================== c | 180 | 700 934 143100 | 5000 180 277 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 4.65929 s Remaining CPU time: 175.341 s c =============================================================================== c | 181 | 700 935 143700 | 5000 181 275 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 4.70029 s Remaining CPU time: 175.3 s c =============================================================================== c | 181 | 700 936 144300 | 5000 181 275 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 4.74228 s Remaining CPU time: 175.258 s c =============================================================================== c | 183 | 700 937 144900 | 5000 183 273 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 4.78227 s Remaining CPU time: 175.218 s c =============================================================================== c | 183 | 700 938 145500 | 5000 183 273 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 4.82327 s Remaining CPU time: 175.177 s c =============================================================================== c | 186 | 700 939 146100 | 5000 186 269 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 4.86526 s Remaining CPU time: 175.135 s c =============================================================================== c | 186 | 700 940 146700 | 5000 186 269 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 4.90525 s Remaining CPU time: 175.095 s c =============================================================================== c | 187 | 700 941 147300 | 5000 187 267 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 4.94625 s Remaining CPU time: 175.054 s c =============================================================================== c | 190 | 700 942 147900 | 5000 190 263 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 4.98824 s Remaining CPU time: 175.012 s c =============================================================================== c | 194 | 700 943 148500 | 5000 194 258 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 5.03024 s Remaining CPU time: 174.97 s c =============================================================================== c | 196 | 700 944 149100 | 5000 196 256 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 5.07323 s Remaining CPU time: 174.927 s c =============================================================================== c | 197 | 700 945 149700 | 5000 197 255 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 5.11522 s Remaining CPU time: 174.885 s c =============================================================================== c | 197 | 700 946 150300 | 5000 197 255 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 5.16021 s Remaining CPU time: 174.84 s c =============================================================================== c | 197 | 700 947 150900 | 5000 197 255 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 5.20021 s Remaining CPU time: 174.8 s c =============================================================================== c | 200 | 700 948 151500 | 5000 200 254 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 5.2422 s Remaining CPU time: 174.758 s c =============================================================================== c | 216 | 700 949 152100 | 5000 216 237 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 5.29919 s Remaining CPU time: 174.701 s c =============================================================================== c | 248 | 700 950 152700 | 5000 248 251 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 5.34219 s Remaining CPU time: 174.658 s c =============================================================================== c | 249 | 700 951 153300 | 5000 249 250 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 5.38618 s Remaining CPU time: 174.614 s c =============================================================================== c | 250 | 700 952 153900 | 5000 250 249 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 5.42817 s Remaining CPU time: 174.572 s c =============================================================================== c | 250 | 700 953 154500 | 5000 250 249 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 5.47217 s Remaining CPU time: 174.528 s c =============================================================================== c | 253 | 700 954 155100 | 5000 253 247 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 5.51516 s Remaining CPU time: 174.485 s c =============================================================================== c | 253 | 700 955 155700 | 5000 253 247 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 5.55915 s Remaining CPU time: 174.441 s c =============================================================================== c | 253 | 700 956 156300 | 5000 253 247 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 5.60215 s Remaining CPU time: 174.398 s c =============================================================================== c | 255 | 700 957 156900 | 5000 255 245 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 5.64614 s Remaining CPU time: 174.354 s c =============================================================================== c | 259 | 700 958 157500 | 5000 259 241 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 5.69113 s Remaining CPU time: 174.309 s c =============================================================================== c | 259 | 700 959 158100 | 5000 259 241 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 5.73513 s Remaining CPU time: 174.265 s c =============================================================================== c | 259 | 700 960 158700 | 5000 259 241 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 5.78012 s Remaining CPU time: 174.22 s c =============================================================================== c | 259 | 700 961 159300 | 5000 259 241 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 5.82511 s Remaining CPU time: 174.175 s c =============================================================================== c | 259 | 700 962 159900 | 5000 259 241 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 5.87011 s Remaining CPU time: 174.13 s c =============================================================================== c | 259 | 700 963 160500 | 5000 259 241 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 5.9141 s Remaining CPU time: 174.086 s c =============================================================================== c | 270 | 700 964 161100 | 5000 270 232 | 0.000 % | c | 370 | 700 964 161100 | 5500 370 258 | 0.000 % | c | 521 | 700 964 161100 | 6050 521 193 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 6.08108 s Remaining CPU time: 173.919 s c =============================================================================== c | 521 | 700 965 161700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 6.12707 s Remaining CPU time: 173.873 s c =============================================================================== c | 521 | 700 966 162300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 6.17406 s Remaining CPU time: 173.826 s c =============================================================================== c | 521 | 700 967 162900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 6.22005 s Remaining CPU time: 173.78 s c =============================================================================== c | 521 | 700 968 163500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 6.26605 s Remaining CPU time: 173.734 s c =============================================================================== c | 521 | 700 969 164100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 6.31304 s Remaining CPU time: 173.687 s c =============================================================================== c | 521 | 700 970 164700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 6.35903 s Remaining CPU time: 173.641 s c =============================================================================== c | 521 | 700 971 165300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 6.40603 s Remaining CPU time: 173.594 s c =============================================================================== c | 521 | 700 972 165900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 6.45202 s Remaining CPU time: 173.548 s c =============================================================================== c | 521 | 700 973 166500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 6.49901 s Remaining CPU time: 173.501 s c =============================================================================== c | 521 | 700 974 167100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 6.546 s Remaining CPU time: 173.454 s c =============================================================================== c | 521 | 700 975 167700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 6.593 s Remaining CPU time: 173.407 s c =============================================================================== c | 521 | 700 976 168300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 6.63999 s Remaining CPU time: 173.36 s c =============================================================================== c | 521 | 700 977 168900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 6.68598 s Remaining CPU time: 173.314 s c =============================================================================== c | 521 | 700 978 169500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 6.73298 s Remaining CPU time: 173.267 s c =============================================================================== c | 521 | 700 979 170100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 6.78097 s Remaining CPU time: 173.219 s c =============================================================================== c | 521 | 700 980 170700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 6.82796 s Remaining CPU time: 173.172 s c =============================================================================== c | 521 | 700 981 171300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 6.87495 s Remaining CPU time: 173.125 s c =============================================================================== c | 521 | 700 982 171900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 6.92295 s Remaining CPU time: 173.077 s c =============================================================================== c | 521 | 700 983 172500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 6.97094 s Remaining CPU time: 173.029 s c =============================================================================== c | 521 | 700 984 173100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 7.01893 s Remaining CPU time: 172.981 s c =============================================================================== c | 521 | 700 985 173700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 7.06693 s Remaining CPU time: 172.933 s c =============================================================================== c | 521 | 700 986 174300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 7.11492 s Remaining CPU time: 172.885 s c =============================================================================== c | 521 | 700 987 174900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 7.16191 s Remaining CPU time: 172.838 s c =============================================================================== c | 521 | 700 988 175500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 7.2109 s Remaining CPU time: 172.789 s c =============================================================================== c | 521 | 700 989 176100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 7.2589 s Remaining CPU time: 172.741 s c =============================================================================== c | 521 | 700 990 176700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 7.30689 s Remaining CPU time: 172.693 s c =============================================================================== c | 521 | 700 991 177300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 7.35488 s Remaining CPU time: 172.645 s c =============================================================================== c | 521 | 700 992 177900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 7.40287 s Remaining CPU time: 172.597 s c =============================================================================== c | 521 | 700 993 178500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 7.45187 s Remaining CPU time: 172.548 s c =============================================================================== c | 521 | 700 994 179100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 7.49986 s Remaining CPU time: 172.5 s c =============================================================================== c | 521 | 700 995 179700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 7.54885 s Remaining CPU time: 172.451 s c =============================================================================== c | 521 | 700 996 180300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 7.59784 s Remaining CPU time: 172.402 s c =============================================================================== c | 521 | 700 997 180900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 7.64584 s Remaining CPU time: 172.354 s c =============================================================================== c | 521 | 700 998 181500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 7.69483 s Remaining CPU time: 172.305 s c =============================================================================== c | 521 | 700 999 182100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 7.74382 s Remaining CPU time: 172.256 s c =============================================================================== c | 521 | 700 1000 182700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 7.79382 s Remaining CPU time: 172.206 s c =============================================================================== c | 521 | 700 1001 183300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 7.84281 s Remaining CPU time: 172.157 s c =============================================================================== c | 521 | 700 1002 183900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 7.8928 s Remaining CPU time: 172.107 s c =============================================================================== c | 521 | 700 1003 184500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 7.94179 s Remaining CPU time: 172.058 s c =============================================================================== c | 521 | 700 1004 185100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 7.99179 s Remaining CPU time: 172.008 s c =============================================================================== c | 521 | 700 1005 185700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 8.04178 s Remaining CPU time: 171.958 s c =============================================================================== c | 521 | 700 1006 186300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 8.09177 s Remaining CPU time: 171.908 s c =============================================================================== c | 521 | 700 1007 186900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 8.14176 s Remaining CPU time: 171.858 s c =============================================================================== c | 521 | 700 1008 187500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 8.19175 s Remaining CPU time: 171.808 s c =============================================================================== c | 521 | 700 1009 188100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 8.24175 s Remaining CPU time: 171.758 s c =============================================================================== c | 521 | 700 1010 188700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 8.29274 s Remaining CPU time: 171.707 s c =============================================================================== c | 521 | 700 1011 189300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 8.34273 s Remaining CPU time: 171.657 s c =============================================================================== c | 521 | 700 1012 189900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 8.39372 s Remaining CPU time: 171.606 s c =============================================================================== c | 521 | 700 1013 190500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 8.44372 s Remaining CPU time: 171.556 s c =============================================================================== c | 521 | 700 1014 191100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 8.49371 s Remaining CPU time: 171.506 s c =============================================================================== c | 521 | 700 1015 191700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 8.5447 s Remaining CPU time: 171.455 s c =============================================================================== c | 521 | 700 1016 192300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 8.59669 s Remaining CPU time: 171.403 s c =============================================================================== c | 521 | 700 1017 192900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 8.64768 s Remaining CPU time: 171.352 s c =============================================================================== c | 521 | 700 1018 193500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 8.69768 s Remaining CPU time: 171.302 s c =============================================================================== c | 521 | 700 1019 194100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 8.74867 s Remaining CPU time: 171.251 s c =============================================================================== c | 521 | 700 1020 194700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 8.79766 s Remaining CPU time: 171.202 s c =============================================================================== c | 521 | 700 1021 195300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 8.84765 s Remaining CPU time: 171.152 s c =============================================================================== c | 521 | 700 1022 195900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 8.89865 s Remaining CPU time: 171.101 s c =============================================================================== c | 521 | 700 1023 196500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 8.94764 s Remaining CPU time: 171.052 s c =============================================================================== c | 521 | 700 1024 197100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 8.99763 s Remaining CPU time: 171.002 s c =============================================================================== c | 521 | 700 1025 197700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 9.04862 s Remaining CPU time: 170.951 s c =============================================================================== c | 521 | 700 1026 198300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 9.09962 s Remaining CPU time: 170.9 s c =============================================================================== c | 521 | 700 1027 198900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 9.14961 s Remaining CPU time: 170.85 s c =============================================================================== c | 521 | 700 1028 199500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 9.1986 s Remaining CPU time: 170.801 s c =============================================================================== c | 521 | 700 1029 200100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 9.24859 s Remaining CPU time: 170.751 s c =============================================================================== c | 521 | 700 1030 200700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 9.29759 s Remaining CPU time: 170.702 s c =============================================================================== c | 521 | 700 1031 201300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 9.34858 s Remaining CPU time: 170.651 s c =============================================================================== c | 521 | 700 1032 201900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 9.39957 s Remaining CPU time: 170.6 s c =============================================================================== c | 521 | 700 1033 202500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 9.44856 s Remaining CPU time: 170.551 s c =============================================================================== c | 521 | 700 1034 203100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 9.49956 s Remaining CPU time: 170.5 s c =============================================================================== c | 521 | 700 1035 203700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 9.55155 s Remaining CPU time: 170.448 s c =============================================================================== c | 521 | 700 1036 204300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 9.60154 s Remaining CPU time: 170.398 s c =============================================================================== c | 521 | 700 1037 204900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 9.65153 s Remaining CPU time: 170.348 s c =============================================================================== c | 521 | 700 1038 205500 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 9.70252 s Remaining CPU time: 170.297 s c =============================================================================== c | 521 | 700 1039 206100 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 9.75352 s Remaining CPU time: 170.246 s c =============================================================================== c | 521 | 700 1040 206700 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 9.80251 s Remaining CPU time: 170.197 s c =============================================================================== c | 521 | 700 1041 207300 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 9.8535 s Remaining CPU time: 170.146 s c =============================================================================== c | 521 | 700 1042 207900 | 5000 521 193 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 9.93549 s Remaining CPU time: 170.065 s c =============================================================================== c | 534 | 700 1043 208500 | 5000 534 195 | 0.000 % | c | 634 | 700 1043 208500 | 5500 634 204 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 10.0715 s Remaining CPU time: 169.929 s c =============================================================================== c | 689 | 700 1044 209100 | 5000 689 191 | 0.000 % | c | 792 | 700 1044 209100 | 5500 792 201 | 0.000 % | c | 942 | 700 1044 209100 | 6050 942 175 | 0.000 % | c | 1172 | 700 1044 209100 | 6655 1172 193 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 10.9603 s Remaining CPU time: 169.04 s c =============================================================================== c | 1201 | 700 1045 209700 | 5000 1201 189 | 0.000 % | c | 1301 | 700 1045 209700 | 5500 1301 195 | 0.000 % | c | 1451 | 700 1045 209700 | 6050 1451 198 | 0.000 % | c | 1678 | 700 1045 209700 | 6655 1678 178 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 11.4583 s Remaining CPU time: 168.542 s c =============================================================================== c | 1931 | 700 1046 210300 | 5000 1931 188 | 0.000 % | c | 2032 | 700 1046 210300 | 5500 2032 181 | 0.000 % | c | 2184 | 700 1046 210300 | 6050 2184 186 | 0.000 % | c | 2409 | 700 1046 210300 | 6655 2409 172 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 12.0022 s Remaining CPU time: 167.998 s c =============================================================================== c | 2411 | 700 1047 210900 | 5000 2411 173 | 0.000 % | c | 2511 | 700 1047 210900 | 5500 2511 176 | 0.000 % | c | 2661 | 700 1047 210900 | 6050 2661 168 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 12.5661 s Remaining CPU time: 167.434 s c =============================================================================== c | 2830 | 700 1048 211500 | 5000 2830 174 | 0.000 % | c | 2933 | 700 1048 211500 | 5500 2933 169 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 12.7081 s Remaining CPU time: 167.292 s c =============================================================================== c | 2946 | 700 1049 212100 | 5000 2946 170 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 12.7601 s Remaining CPU time: 167.24 s c =============================================================================== c | 2946 | 700 1050 212700 | 5000 2946 170 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 12.8181 s Remaining CPU time: 167.182 s c =============================================================================== c | 3012 | 700 1051 213300 | 5000 3012 167 | 0.000 % | c | 3113 | 700 1051 213300 | 5500 3113 170 | 0.000 % | c | 3263 | 700 1051 213300 | 6050 3263 171 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 13.126 s Remaining CPU time: 166.874 s c =============================================================================== c | 3325 | 700 1052 213900 | 5000 3325 168 | 0.000 % | c | 3427 | 700 1052 213900 | 5500 3427 171 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 13.441 s Remaining CPU time: 166.559 s c =============================================================================== c | 3533 | 700 1053 214500 | 5000 3533 167 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 13.5529 s Remaining CPU time: 166.447 s c =============================================================================== c | 3568 | 700 1054 215100 | 5000 3568 168 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 13.6059 s Remaining CPU time: 166.394 s c =============================================================================== c | 3590 | 700 1055 215700 | 5000 3590 167 | 0.000 % | c | 3690 | 700 1055 215700 | 5500 3690 169 | 0.000 % | c | 3842 | 700 1055 215700 | 6050 3842 164 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 13.8559 s Remaining CPU time: 166.144 s c =============================================================================== c | 3866 | 700 1056 216300 | 5000 3866 165 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 13.9049 s Remaining CPU time: 166.095 s c =============================================================================== c | 3870 | 700 1057 216900 | 5000 3870 164 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 13.9549 s Remaining CPU time: 166.045 s c =============================================================================== c | 3883 | 700 1058 217500 | 5000 3883 164 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 14.0179 s Remaining CPU time: 165.982 s c =============================================================================== c | 3898 | 700 1059 218100 | 5000 3898 164 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 14.0689 s Remaining CPU time: 165.931 s c =============================================================================== c | 3910 | 700 1060 218700 | 5000 3910 164 | 0.000 % | c | 4010 | 700 1060 218700 | 5500 4010 166 | 0.000 % | c | 4160 | 700 1060 218700 | 6050 4160 161 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 14.3128 s Remaining CPU time: 165.687 s c =============================================================================== c | 4174 | 700 1061 219300 | 5000 4174 161 | 0.000 % | c | 4274 | 700 1061 219300 | 5500 4274 162 | 0.000 % | c | 4424 | 700 1061 219300 | 6050 4424 157 | 0.000 % | c | 4650 | 700 1061 219300 | 6655 4650 162 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 15.0927 s Remaining CPU time: 164.907 s c =============================================================================== c | 4908 | 700 1062 219900 | 5000 4908 158 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 15.1477 s Remaining CPU time: 164.852 s c =============================================================================== c | 4950 | 700 1063 220500 | 5000 4950 157 | 0.000 % | c | 5051 | 700 1063 220500 | 5500 5051 159 | 0.000 % | c | 5201 | 700 1063 220500 | 6050 5201 156 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 15.7686 s Remaining CPU time: 164.231 s c =============================================================================== c | 5376 | 700 1064 221100 | 5000 5376 158 | 0.000 % | c | 5477 | 700 1064 221100 | 5500 2789 132 | 0.000 % | c | 5627 | 700 1064 221100 | 6050 2939 127 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 16.0126 s Remaining CPU time: 163.987 s c =============================================================================== c | 5652 | 700 1065 221700 | 5000 2964 128 | 0.000 % | c | 5752 | 700 1065 221700 | 5500 3064 125 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 16.3665 s Remaining CPU time: 163.633 s c =============================================================================== c | 5854 | 700 1066 222300 | 5000 3166 129 | 0.000 % | c | 5954 | 700 1066 222300 | 5500 3266 128 | 0.000 % | c | 6104 | 700 1066 222300 | 6050 3416 128 | 0.000 % | c | 6329 | 700 1066 222300 | 6655 3641 133 | 0.000 % | c | 6666 | 700 1066 222300 | 7320 3978 133 | 0.000 % | c | 7172 | 700 1066 222300 | 8052 4484 142 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 17.8753 s Remaining CPU time: 162.125 s c =============================================================================== c | 7850 | 700 1067 222900 | 5000 5162 150 | 0.000 % | c | 7951 | 700 1067 222900 | 5500 2682 154 | 0.000 % | c | 8102 | 700 1067 222900 | 6050 2833 159 | 0.000 % | c | 8327 | 700 1067 222900 | 6655 3058 157 | 0.000 % | c | 8666 | 700 1067 222900 | 7320 3397 164 | 0.000 % | c | 9172 | 700 1067 222900 | 8052 3903 170 | 0.000 % | c | 9931 | 700 1067 222900 | 8857 4662 179 | 0.000 % | c | 11070 | 700 1067 222900 | 9743 5801 188 | 0.000 % | c | 12778 | 700 1067 222900 | 10717 7509 199 | 0.000 % | c | 15340 | 700 1067 222900 | 11789 10071 206 | 0.000 % | c | 19184 | 700 1067 222900 | 12968 7898 226 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 30.5434 s Remaining CPU time: 149.457 s c =============================================================================== c | 22271 | 700 1068 223500 | 5000 10985 230 | 0.000 % | c | 22371 | 700 1068 223500 | 5500 2847 213 | 0.000 % | c | 22521 | 700 1068 223500 | 6050 2997 213 | 0.000 % | c | 22746 | 700 1068 223500 | 6655 3222 210 | 0.000 % | c | 23083 | 700 1068 223500 | 7320 3559 212 | 0.000 % | c | 23589 | 700 1068 223500 | 8052 4065 214 | 0.000 % | c | 24348 | 700 1068 223500 | 8857 4824 216 | 0.000 % | c | 25487 | 700 1068 223500 | 9743 5963 219 | 0.000 % | c | 27195 | 700 1068 223500 | 10717 7671 220 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 36.7954 s Remaining CPU time: 143.205 s c =============================================================================== c | 29408 | 700 1069 224100 | 5000 9884 225 | 0.000 % | c | 29508 | 700 1069 224100 | 5500 5042 217 | 0.000 % | c | 29658 | 700 1069 224100 | 6050 5192 218 | 0.000 % | c | 29883 | 700 1069 224100 | 6655 5417 217 | 0.000 % | c | 30220 | 700 1069 224100 | 7320 5754 218 | 0.000 % | c | 30727 | 700 1069 224100 | 8052 6261 217 | 0.000 % | c | 31486 | 700 1069 224100 | 8857 7020 217 | 0.000 % | c | 32625 | 700 1069 224100 | 9743 8159 219 | 0.000 % | c | 34333 | 700 1069 224100 | 10717 9867 219 | 0.000 % | c | 36896 | 700 1069 224100 | 11789 6940 219 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 44.3373 s Remaining CPU time: 135.663 s c =============================================================================== c | 38470 | 700 1070 224700 | 5000 8514 218 | 0.000 % | c | 38570 | 700 1070 224700 | 5500 4357 215 | 0.000 % | c | 38720 | 700 1070 224700 | 6050 4507 216 | 0.000 % | c | 38945 | 700 1070 224700 | 6655 4732 210 | 0.000 % | c | 39284 | 700 1070 224700 | 7320 5071 210 | 0.000 % | c | 39790 | 700 1070 224700 | 8052 5577 209 | 0.000 % | c | 40549 | 700 1070 224700 | 8857 6336 209 | 0.000 % | c | 41688 | 700 1070 224700 | 9743 7475 210 | 0.000 % | c | 43396 | 700 1070 224700 | 10717 9183 214 | 0.000 % | c | 45960 | 700 1070 224700 | 11789 6261 217 | 0.000 % | c | 49804 | 700 1070 224700 | 12968 10105 222 | 0.000 % | c | 55571 | 700 1070 224700 | 14265 9261 225 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 61.5386 s Remaining CPU time: 118.461 s c =============================================================================== c | 58945 | 700 1071 225300 | 5000 12635 226 | 0.000 % | c | 59046 | 700 1071 225300 | 5500 3260 207 | 0.000 % | c | 59196 | 700 1071 225300 | 6050 3410 202 | 0.000 % | c | 59421 | 700 1071 225300 | 6655 3635 202 | 0.000 % | c | 59758 | 700 1071 225300 | 7320 3972 204 | 0.000 % | c | 60264 | 700 1071 225300 | 8052 4478 206 | 0.000 % | c | 61023 | 700 1071 225300 | 8857 5237 208 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 63.9993 s Remaining CPU time: 116.001 s c =============================================================================== c | 61648 | 700 1072 225900 | 5000 5862 209 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 64.0743 s Remaining CPU time: 115.926 s c =============================================================================== c | 61674 | 700 1073 226500 | 5000 2957 192 | 0.000 % | c | 61774 | 700 1073 226500 | 5500 3057 193 | 0.000 % | c | 61924 | 700 1073 226500 | 6050 3207 190 | 0.000 % | c | 62149 | 700 1073 226500 | 6655 3432 185 | 0.000 % | c | 62487 | 700 1073 226500 | 7320 3770 173 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 64.5892 s Remaining CPU time: 115.411 s c =============================================================================== c | 62506 | 700 1074 227100 | 5000 3789 173 | 0.000 % | c | 62607 | 700 1074 227100 | 5500 3890 169 | 0.000 % | c | 62759 | 700 1074 227100 | 6050 4042 172 | 0.000 % | c | 62984 | 700 1074 227100 | 6655 4267 167 | 0.000 % | c | 63321 | 700 1074 227100 | 7320 4604 172 | 0.000 % | c | 63828 | 700 1074 227100 | 8052 5111 167 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 65.819 s Remaining CPU time: 114.181 s c =============================================================================== c | 63918 | 700 1075 227700 | 5000 5201 168 | 0.000 % | c | 64019 | 700 1075 227700 | 5500 2702 127 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 66.036 s Remaining CPU time: 113.964 s c =============================================================================== c | 64066 | 700 1076 228300 | 5000 2749 128 | 0.000 % | c | 64166 | 700 1076 228300 | 5500 2849 125 | 0.000 % | c | 64317 | 700 1076 228300 | 6050 3000 131 | 0.000 % | c | 64542 | 700 1076 228300 | 6655 3225 124 | 0.000 % | c | 64880 | 700 1076 228300 | 7320 3563 135 | 0.000 % | c | 65386 | 700 1076 228300 | 8052 4069 142 | 0.000 % | c | 66146 | 700 1076 228300 | 8857 4829 152 | 0.000 % | c | 67285 | 700 1076 228300 | 9743 5968 163 | 0.000 % | c | 68995 | 700 1076 228300 | 10717 7678 177 | 0.000 % | c | 71558 | 700 1076 228300 | 11789 10241 190 | 0.000 % | c | 75403 | 700 1076 228300 | 12968 8072 221 | 0.000 % | c | 81169 | 700 1076 228300 | 14265 7227 218 | 0.000 % | c | 89818 | 700 1076 228300 | 15692 8619 224 | 0.000 % | c | 102792 | 700 1076 228300 | 17261 13611 229 | 0.000 % | c | 122253 | 700 1076 228300 | 18987 15555 230 | 0.000 % | c | 151445 | 700 1076 228300 | 20886 15893 230 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 100 1683 2718 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 682 1685 44394 | 5000 0 nan | 0.000 % | c | 101 | 682 1685 44394 | 5500 101 66 | 31.181 % | c | 252 | 682 1685 44394 | 6050 252 47 | 31.181 % | c | 477 | 682 1685 44394 | 6655 477 40 | 31.182 % | c | 814 | 680 1685 44394 | 7320 160 14 | 31.383 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1520 1686 216186 | 5000 0 nan | 0.000 % | c | 101 | 1520 1686 216186 | 5500 101 61 | 1.618 % | c | 252 | 1520 1686 216186 | 6050 252 42 | 1.618 % | c | 478 | 1520 1686 216186 | 6655 478 39 | 1.618 % | c | 815 | 1520 1686 216186 | 7320 815 29 | 1.618 % | c | 1323 | 1520 1686 216186 | 8052 1323 23 | 1.618 % | c | 2082 | 1520 1686 216186 | 8857 2082 20 | 1.618 % | c | 3221 | 1520 1686 216186 | 9743 3221 18 | 1.618 % | c | 4930 | 1520 1686 216186 | 10717 4930 16 | 1.618 % | c | 7494 | 1520 1686 216186 | 11789 7494 16 | 1.618 % | c | 11338 | 1520 1686 216186 | 12968 11338 15 | 1.618 % | c | 17104 | 1520 1686 216186 | 14265 10601 14 | 1.618 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2141 1688 232406 | 5000 0 nan | 0.000 % | c | 102 | 2141 1688 232406 | 5500 102 43 | 0.000 % | c | 252 | 2141 1688 232406 | 6050 252 30 | 0.000 % | c | 478 | 2141 1688 232406 | 6655 478 29 | 0.000 % | c | 815 | 2141 1688 232406 | 7320 815 27 | 0.000 % | c | 1321 | 2141 1688 232406 | 8052 1321 24 | 0.000 % | c | 2084 | 2141 1688 232406 | 8857 2084 21 | 0.000 % | c | 3223 | 2141 1688 232406 | 9743 3223 19 | 0.000 % | c | 4932 | 2141 1688 232406 | 10717 4932 19 | 0.000 % | c | 7494 | 2141 1688 232406 | 11789 7494 18 | 0.000 % | c | 11339 | 2141 1688 232406 | 12968 11339 21 | 0.000 % | c | 17105 | 2141 1688 232406 | 14265 10601 20 | 0.000 % | c | 25756 | 2141 1688 232406 | 15692 12095 18 | 0.000 % | c | 38732 | 2141 1688 232406 | 17261 9350 22 | 0.000 % | c | 58196 | 2141 1688 232406 | 18987 11523 18 | 0.000 % | c | 87389 | 2141 1688 232406 | 20886 12187 16 | 0.000 % | c | 131178 | 2141 1688 232406 | 22974 14160 20 | 0.000 % | c | 196865 | 2141 1688 232406 | 25272 22269 19 | 0.000 % | c | 295391 | 2141 1688 232406 | 27799 18829 16 | 0.000 % | c | 443181 | 2140 1688 232406 | 30579 26793 17 | 0.047 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2740 1689 233604 | 5000 0 nan | 0.000 % | c | 101 | 2740 1689 233604 | 5500 101 63 | 0.000 % | c | 252 | 2740 1689 233604 | 6050 252 54 | 0.000 % | c | 477 | 2740 1689 233604 | 6655 477 63 | 0.000 % | c | 820 | 2740 1689 233604 | 7320 820 76 | 0.000 % | c | 1326 | 2740 1689 233604 | 8052 1326 64 | 0.000 % | c | 2086 | 2740 1689 233604 | 8857 2086 51 | 0.000 % | c | 3226 | 2740 1689 233604 | 9743 3226 44 | 0.000 % | c | 4935 | 2740 1689 233604 | 10717 4935 39 | 0.000 % | c | 7499 | 2740 1689 233604 | 11789 7499 36 | 0.000 % | c | 11344 | 2740 1689 233604 | 12968 11344 33 | 0.000 % | c | 17110 | 2740 1689 233604 | 14265 10495 33 | 0.000 % | c | 25761 | 2740 1689 233604 | 15692 11911 31 | 0.000 % | c | 38735 | 2740 1689 233604 | 17261 9022 40 | 0.000 % | c | 58196 | 2740 1689 233604 | 18987 11128 30 | 0.000 % | c | 87390 | 2740 1689 233604 | 20886 11800 42 | 0.000 % | c | 131179 | 2740 1689 233604 | 22974 13487 29 | 0.000 % | c | 196863 | 2740 1689 233604 | 25272 21314 31 | 0.000 % | c | 295390 | 2740 1689 233604 | 27799 16666 35 | 0.000 % | c | 443180 | 2740 1689 233604 | 30579 26924 30 | 0.000 % |