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.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 700 701 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 700 702 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 700 703 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 700 704 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 700 705 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 700 706 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 700 707 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 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.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 700 711 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 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.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 700 716 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 700 717 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 700 718 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 700 719 14100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 700 720 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 700 721 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 700 722 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 700 723 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 700 724 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 700 725 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 700 726 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 700 727 18900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 700 728 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 700 729 20100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 700 730 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 700 731 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 700 732 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 700 733 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 700 734 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 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.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 700 738 25500 | 5000 1 567 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 700 739 26100 | 5000 1 567 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 700 740 26700 | 5000 1 567 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 700 741 27300 | 5000 1 567 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 1 | 700 742 27900 | 5000 1 567 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 2 | 700 743 28500 | 5000 2 286 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 3 | 700 744 29100 | 5000 3 191 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 4 | 700 745 29700 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 4 | 700 746 30300 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 4 | 700 747 30900 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 4 | 700 748 31500 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 4 | 700 749 32100 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 4 | 700 750 32700 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 4 | 700 751 33300 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 5 | 700 752 33900 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 5 | 700 753 34500 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 5 | 700 754 35100 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 5 | 700 755 35700 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 5 | 700 756 36300 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 5 | 700 757 36900 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 5 | 700 758 37500 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 5 | 700 759 38100 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 6 | 700 760 38700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 7 | 700 761 39300 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 7 | 700 762 39900 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 7 | 700 763 40500 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 7 | 700 764 41100 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 7 | 700 765 41700 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 7 | 700 766 42300 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 7 | 700 767 42900 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 7 | 700 768 43500 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 7 | 700 769 44100 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 8 | 700 770 44700 | 5000 8 142 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 8 | 700 771 45300 | 5000 8 142 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 8 | 700 772 45900 | 5000 8 142 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 8 | 700 773 46500 | 5000 8 142 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 8 | 700 774 47100 | 5000 8 142 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 9 | 700 775 47700 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 9 | 700 776 48300 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 9 | 700 777 48900 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 9 | 700 778 49500 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 9 | 700 779 50100 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 9 | 700 780 50700 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 9 | 700 781 51300 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 9 | 700 782 51900 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 9 | 700 783 52500 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 9 | 700 784 53100 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 9 | 700 785 53700 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 9 | 700 786 54300 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 9 | 700 787 54900 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 9 | 700 788 55500 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 10 | 700 789 56100 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 11 | 700 790 56700 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 11 | 700 791 57300 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 11 | 700 792 57900 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 11 | 700 793 58500 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 11 | 700 794 59100 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 11 | 700 795 59700 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 13 | 700 796 60300 | 5000 13 168 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 14 | 700 797 60900 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 14 | 700 798 61500 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 14 | 700 799 62100 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s c =============================================================================== c | 14 | 700 800 62700 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 14 | 700 801 63300 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 14 | 700 802 63900 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 14 | 700 803 64500 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 14 | 700 804 65100 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 14 | 700 805 65700 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s c =============================================================================== c | 14 | 700 806 66300 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 14 | 700 807 66900 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.672897 s Remaining CPU time: 179.327 s c =============================================================================== c | 14 | 700 808 67500 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 14 | 700 809 68100 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 14 | 700 810 68700 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 14 | 700 811 69300 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 14 | 700 812 69900 | 5000 14 156 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.744886 s Remaining CPU time: 179.255 s c =============================================================================== c | 15 | 700 813 70500 | 5000 15 146 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 15 | 700 814 71100 | 5000 15 146 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 15 | 700 815 71700 | 5000 15 146 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 15 | 700 816 72300 | 5000 15 146 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 15 | 700 817 72900 | 5000 15 146 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 15 | 700 818 73500 | 5000 15 146 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 15 | 700 819 74100 | 5000 15 146 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 16 | 700 820 74700 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 16 | 700 821 75300 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 16 | 700 822 75900 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 16 | 700 823 76500 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.91486 s Remaining CPU time: 179.085 s c =============================================================================== c | 16 | 700 824 77100 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.931858 s Remaining CPU time: 179.068 s c =============================================================================== c | 16 | 700 825 77700 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 16 | 700 826 78300 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 16 | 700 827 78900 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.98285 s Remaining CPU time: 179.017 s c =============================================================================== c | 16 | 700 828 79500 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s c =============================================================================== c | 16 | 700 829 80100 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 16 | 700 830 80700 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 1.03484 s Remaining CPU time: 178.965 s c =============================================================================== c | 16 | 700 831 81300 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 1.05384 s Remaining CPU time: 178.946 s c =============================================================================== c | 16 | 700 832 81900 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s c =============================================================================== c | 17 | 700 833 82500 | 5000 17 130 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 1.08983 s Remaining CPU time: 178.91 s c =============================================================================== c | 17 | 700 834 83100 | 5000 17 130 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 1.10983 s Remaining CPU time: 178.89 s c =============================================================================== c | 17 | 700 835 83700 | 5000 17 130 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 1.12783 s Remaining CPU time: 178.872 s c =============================================================================== c | 19 | 700 836 84300 | 5000 19 117 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 19 | 700 837 84900 | 5000 19 117 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 20 | 700 838 85500 | 5000 20 111 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 20 | 700 839 86100 | 5000 20 111 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 1.20582 s Remaining CPU time: 178.794 s c =============================================================================== c | 21 | 700 840 86700 | 5000 21 107 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 21 | 700 841 87300 | 5000 21 107 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 1.24681 s Remaining CPU time: 178.753 s c =============================================================================== c | 22 | 700 842 87900 | 5000 22 102 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 1.26681 s Remaining CPU time: 178.733 s c =============================================================================== c | 23 | 700 843 88500 | 5000 23 118 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 1.2878 s Remaining CPU time: 178.712 s c =============================================================================== c | 24 | 700 844 89100 | 5000 24 132 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 25 | 700 845 89700 | 5000 25 145 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 1.3308 s Remaining CPU time: 178.669 s c =============================================================================== c | 26 | 700 846 90300 | 5000 26 157 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 27 | 700 847 90900 | 5000 27 168 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 1.37179 s Remaining CPU time: 178.628 s c =============================================================================== c | 27 | 700 848 91500 | 5000 27 168 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 27 | 700 849 92100 | 5000 27 168 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 1.41379 s Remaining CPU time: 178.586 s c =============================================================================== c | 28 | 700 850 92700 | 5000 28 179 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 29 | 700 851 93300 | 5000 29 188 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 1.45578 s Remaining CPU time: 178.544 s c =============================================================================== c | 29 | 700 852 93900 | 5000 29 188 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 1.47778 s Remaining CPU time: 178.522 s c =============================================================================== c | 33 | 700 853 94500 | 5000 33 181 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 1.49877 s Remaining CPU time: 178.501 s c =============================================================================== c | 33 | 700 854 95100 | 5000 33 181 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 1.52177 s Remaining CPU time: 178.478 s c =============================================================================== c | 33 | 700 855 95700 | 5000 33 181 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 1.54377 s Remaining CPU time: 178.456 s c =============================================================================== c | 33 | 700 856 96300 | 5000 33 181 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 1.56576 s Remaining CPU time: 178.434 s c =============================================================================== c | 35 | 700 857 96900 | 5000 35 171 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 1.58876 s Remaining CPU time: 178.411 s c =============================================================================== c | 35 | 700 858 97500 | 5000 35 171 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 35 | 700 859 98100 | 5000 35 171 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 1.63575 s Remaining CPU time: 178.364 s c =============================================================================== c | 35 | 700 860 98700 | 5000 35 171 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 1.65875 s Remaining CPU time: 178.341 s c =============================================================================== c | 35 | 700 861 99300 | 5000 35 171 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 36 | 700 862 99900 | 5000 36 167 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 1.70674 s Remaining CPU time: 178.293 s c =============================================================================== c | 37 | 700 863 100500 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 37 | 700 864 101100 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 1.75273 s Remaining CPU time: 178.247 s c =============================================================================== c | 37 | 700 865 101700 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s c =============================================================================== c | 37 | 700 866 102300 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 1.80073 s Remaining CPU time: 178.199 s c =============================================================================== c | 37 | 700 867 102900 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 1.82372 s Remaining CPU time: 178.176 s c =============================================================================== c | 37 | 700 868 103500 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 1.84872 s Remaining CPU time: 178.151 s c =============================================================================== c | 37 | 700 869 104100 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 1.87372 s Remaining CPU time: 178.126 s c =============================================================================== c | 37 | 700 870 104700 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 1.89871 s Remaining CPU time: 178.101 s c =============================================================================== c | 37 | 700 871 105300 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 37 | 700 872 105900 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 1.9467 s Remaining CPU time: 178.053 s c =============================================================================== c | 37 | 700 873 106500 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s c =============================================================================== c | 37 | 700 874 107100 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 1.9957 s Remaining CPU time: 178.004 s c =============================================================================== c | 37 | 700 875 107700 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 2.02069 s Remaining CPU time: 177.979 s c =============================================================================== c | 37 | 700 876 108300 | 5000 37 162 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 2.04669 s Remaining CPU time: 177.953 s c =============================================================================== c | 38 | 700 877 108900 | 5000 38 159 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 2.07168 s Remaining CPU time: 177.928 s c =============================================================================== c | 38 | 700 878 109500 | 5000 38 159 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s c =============================================================================== c | 38 | 700 879 110100 | 5000 38 159 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 38 | 700 880 110700 | 5000 38 159 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 2.14867 s Remaining CPU time: 177.851 s c =============================================================================== c | 38 | 700 881 111300 | 5000 38 159 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 2.17567 s Remaining CPU time: 177.824 s c =============================================================================== c | 38 | 700 882 111900 | 5000 38 159 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 2.20167 s Remaining CPU time: 177.798 s c =============================================================================== c | 39 | 700 883 112500 | 5000 39 155 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 2.22666 s Remaining CPU time: 177.773 s c =============================================================================== c | 39 | 700 884 113100 | 5000 39 155 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 2.25366 s Remaining CPU time: 177.746 s c =============================================================================== c | 39 | 700 885 113700 | 5000 39 155 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 2.28065 s Remaining CPU time: 177.719 s c =============================================================================== c | 41 | 700 886 114300 | 5000 41 148 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 2.30665 s Remaining CPU time: 177.693 s c =============================================================================== c | 42 | 700 887 114900 | 5000 42 145 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 42 | 700 888 115500 | 5000 42 145 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 2.36264 s Remaining CPU time: 177.637 s c =============================================================================== c | 42 | 700 889 116100 | 5000 42 145 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 2.38964 s Remaining CPU time: 177.61 s c =============================================================================== c | 42 | 700 890 116700 | 5000 42 145 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 2.41763 s Remaining CPU time: 177.582 s c =============================================================================== c | 42 | 700 891 117300 | 5000 42 145 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 2.44563 s Remaining CPU time: 177.554 s c =============================================================================== c | 42 | 700 892 117900 | 5000 42 145 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 2.47362 s Remaining CPU time: 177.526 s c =============================================================================== c | 43 | 700 893 118500 | 5000 43 142 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 2.50062 s Remaining CPU time: 177.499 s c =============================================================================== c | 43 | 700 894 119100 | 5000 43 142 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 2.52861 s Remaining CPU time: 177.471 s c =============================================================================== c | 43 | 700 895 119700 | 5000 43 142 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 2.55561 s Remaining CPU time: 177.444 s c =============================================================================== c | 44 | 700 896 120300 | 5000 44 139 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 2.58361 s Remaining CPU time: 177.416 s c =============================================================================== c | 45 | 700 897 120900 | 5000 45 145 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 2.6126 s Remaining CPU time: 177.387 s c =============================================================================== c | 46 | 700 898 121500 | 5000 46 150 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 2.6426 s Remaining CPU time: 177.357 s c =============================================================================== c | 47 | 700 899 122100 | 5000 47 156 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 2.67259 s Remaining CPU time: 177.327 s c =============================================================================== c | 48 | 700 900 122700 | 5000 48 161 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 2.70059 s Remaining CPU time: 177.299 s c =============================================================================== c | 48 | 700 901 123300 | 5000 48 161 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 2.72959 s Remaining CPU time: 177.27 s c =============================================================================== c | 50 | 700 902 123900 | 5000 50 163 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 2.75958 s Remaining CPU time: 177.24 s c =============================================================================== c | 50 | 700 903 124500 | 5000 50 163 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 2.78858 s Remaining CPU time: 177.211 s c =============================================================================== c | 52 | 700 904 125100 | 5000 52 157 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 2.81757 s Remaining CPU time: 177.182 s c =============================================================================== c | 52 | 700 905 125700 | 5000 52 157 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 2.84757 s Remaining CPU time: 177.152 s c =============================================================================== c | 52 | 700 906 126300 | 5000 52 157 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 2.87756 s Remaining CPU time: 177.122 s c =============================================================================== c | 52 | 700 907 126900 | 5000 52 157 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 2.90556 s Remaining CPU time: 177.094 s c =============================================================================== c | 52 | 700 908 127500 | 5000 52 157 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 2.93555 s Remaining CPU time: 177.064 s c =============================================================================== c | 52 | 700 909 128100 | 5000 52 157 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 2.96655 s Remaining CPU time: 177.033 s c =============================================================================== c | 53 | 700 910 128700 | 5000 53 154 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 2.99754 s Remaining CPU time: 177.002 s c =============================================================================== c | 53 | 700 911 129300 | 5000 53 154 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 3.02754 s Remaining CPU time: 176.972 s c =============================================================================== c | 53 | 700 912 129900 | 5000 53 154 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 3.05953 s Remaining CPU time: 176.94 s c =============================================================================== c | 53 | 700 913 130500 | 5000 53 154 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 3.08853 s Remaining CPU time: 176.911 s c =============================================================================== c | 53 | 700 914 131100 | 5000 53 154 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 3.11952 s Remaining CPU time: 176.88 s c =============================================================================== c | 54 | 700 915 131700 | 5000 54 152 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 3.14952 s Remaining CPU time: 176.85 s c =============================================================================== c | 55 | 700 916 132300 | 5000 55 149 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 3.18152 s Remaining CPU time: 176.818 s c =============================================================================== c | 55 | 700 917 132900 | 5000 55 149 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 3.21151 s Remaining CPU time: 176.788 s c =============================================================================== c | 56 | 700 918 133500 | 5000 56 147 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 3.24351 s Remaining CPU time: 176.756 s c =============================================================================== c | 56 | 700 919 134100 | 5000 56 147 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 3.2755 s Remaining CPU time: 176.724 s c =============================================================================== c | 56 | 700 920 134700 | 5000 56 147 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 3.3085 s Remaining CPU time: 176.692 s c =============================================================================== c | 56 | 700 921 135300 | 5000 56 147 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 3.34149 s Remaining CPU time: 176.659 s c =============================================================================== c | 56 | 700 922 135900 | 5000 56 147 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 3.37249 s Remaining CPU time: 176.628 s c =============================================================================== c | 56 | 700 923 136500 | 5000 56 147 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 3.40548 s Remaining CPU time: 176.595 s c =============================================================================== c | 56 | 700 924 137100 | 5000 56 147 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 3.43848 s Remaining CPU time: 176.562 s c =============================================================================== c | 58 | 700 925 137700 | 5000 58 142 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 3.47147 s Remaining CPU time: 176.529 s c =============================================================================== c | 60 | 700 926 138300 | 5000 60 138 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 3.50447 s Remaining CPU time: 176.496 s c =============================================================================== c | 60 | 700 927 138900 | 5000 60 138 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 3.53746 s Remaining CPU time: 176.463 s c =============================================================================== c | 61 | 700 928 139500 | 5000 61 142 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 3.56946 s Remaining CPU time: 176.431 s c =============================================================================== c | 61 | 700 929 140100 | 5000 61 142 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 3.60145 s Remaining CPU time: 176.399 s c =============================================================================== c | 61 | 700 930 140700 | 5000 61 142 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 3.63445 s Remaining CPU time: 176.366 s c =============================================================================== c | 62 | 700 931 141300 | 5000 62 140 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 3.66744 s Remaining CPU time: 176.333 s c =============================================================================== c | 66 | 700 932 141900 | 5000 66 138 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 3.71843 s Remaining CPU time: 176.282 s c =============================================================================== c | 110 | 700 933 142500 | 5000 110 230 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 3.75243 s Remaining CPU time: 176.248 s c =============================================================================== c | 117 | 700 934 143100 | 5000 117 217 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 3.78642 s Remaining CPU time: 176.214 s c =============================================================================== c | 119 | 700 935 143700 | 5000 119 214 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 3.81942 s Remaining CPU time: 176.181 s c =============================================================================== c | 124 | 700 936 144300 | 5000 124 206 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 3.85341 s Remaining CPU time: 176.147 s c =============================================================================== c | 127 | 700 937 144900 | 5000 127 202 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 3.88841 s Remaining CPU time: 176.112 s c =============================================================================== c | 132 | 700 938 145500 | 5000 132 208 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 3.9234 s Remaining CPU time: 176.077 s c =============================================================================== c | 136 | 700 939 146100 | 5000 136 210 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 3.9624 s Remaining CPU time: 176.038 s c =============================================================================== c | 153 | 700 940 146700 | 5000 153 210 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 4.00039 s Remaining CPU time: 176 s c =============================================================================== c | 164 | 700 941 147300 | 5000 164 220 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 4.03839 s Remaining CPU time: 175.962 s c =============================================================================== c | 175 | 700 942 147900 | 5000 175 220 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 4.07238 s Remaining CPU time: 175.928 s c =============================================================================== c | 177 | 700 943 148500 | 5000 177 218 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 4.11137 s Remaining CPU time: 175.889 s c =============================================================================== c | 189 | 700 944 149100 | 5000 189 222 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 4.14937 s Remaining CPU time: 175.851 s c =============================================================================== c | 194 | 700 945 149700 | 5000 194 222 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 4.18436 s Remaining CPU time: 175.816 s c =============================================================================== c | 198 | 700 946 150300 | 5000 198 222 | 0.000 % | c | 298 | 700 946 150300 | 5500 298 269 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 4.28435 s Remaining CPU time: 175.716 s c =============================================================================== c | 314 | 700 947 150900 | 5000 314 257 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 4.32134 s Remaining CPU time: 175.679 s c =============================================================================== c | 331 | 700 948 151500 | 5000 331 248 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 4.35634 s Remaining CPU time: 175.644 s c =============================================================================== c | 331 | 700 949 152100 | 5000 331 248 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 4.39133 s Remaining CPU time: 175.609 s c =============================================================================== c | 332 | 700 950 152700 | 5000 332 248 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 4.42733 s Remaining CPU time: 175.573 s c =============================================================================== c | 332 | 700 951 153300 | 5000 332 248 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 4.46332 s Remaining CPU time: 175.537 s c =============================================================================== c | 335 | 700 952 153900 | 5000 335 248 | 0.000 % | c | 435 | 700 952 153900 | 5500 435 273 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 4.56031 s Remaining CPU time: 175.44 s c =============================================================================== c | 436 | 700 953 154500 | 5000 436 272 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 4.5953 s Remaining CPU time: 175.405 s c =============================================================================== c | 437 | 700 954 155100 | 5000 437 271 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 4.6303 s Remaining CPU time: 175.37 s c =============================================================================== c | 437 | 700 955 155700 | 5000 437 271 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 4.66329 s Remaining CPU time: 175.337 s c =============================================================================== c | 437 | 700 956 156300 | 5000 437 271 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 4.69928 s Remaining CPU time: 175.301 s c =============================================================================== c | 437 | 700 957 156900 | 5000 437 271 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 4.73528 s Remaining CPU time: 175.265 s c =============================================================================== c | 442 | 700 958 157500 | 5000 442 269 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 4.77227 s Remaining CPU time: 175.228 s c =============================================================================== c | 449 | 700 959 158100 | 5000 449 265 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 4.80827 s Remaining CPU time: 175.192 s c =============================================================================== c | 454 | 700 960 158700 | 5000 454 262 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 4.84526 s Remaining CPU time: 175.155 s c =============================================================================== c | 475 | 700 961 159300 | 5000 475 252 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 4.93625 s Remaining CPU time: 175.064 s c =============================================================================== c | 525 | 700 962 159900 | 5000 525 261 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 4.97624 s Remaining CPU time: 175.024 s c =============================================================================== c | 535 | 700 963 160500 | 5000 535 256 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 5.01724 s Remaining CPU time: 174.983 s c =============================================================================== c | 536 | 700 964 161100 | 5000 536 256 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 5.05723 s Remaining CPU time: 174.943 s c =============================================================================== c | 541 | 700 965 161700 | 5000 541 253 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 5.09722 s Remaining CPU time: 174.903 s c =============================================================================== c | 542 | 700 966 162300 | 5000 542 253 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 5.13822 s Remaining CPU time: 174.862 s c =============================================================================== c | 546 | 700 967 162900 | 5000 546 251 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 5.17821 s Remaining CPU time: 174.822 s c =============================================================================== c | 548 | 700 968 163500 | 5000 548 250 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 5.2302 s Remaining CPU time: 174.77 s c =============================================================================== c | 582 | 700 969 164100 | 5000 582 255 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 5.2712 s Remaining CPU time: 174.729 s c =============================================================================== c | 586 | 700 970 164700 | 5000 586 253 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 5.31119 s Remaining CPU time: 174.689 s c =============================================================================== c | 590 | 700 971 165300 | 5000 590 252 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 5.35219 s Remaining CPU time: 174.648 s c =============================================================================== c | 590 | 700 972 165900 | 5000 590 252 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 5.39318 s Remaining CPU time: 174.607 s c =============================================================================== c | 603 | 700 973 166500 | 5000 603 247 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 5.43517 s Remaining CPU time: 174.565 s c =============================================================================== c | 607 | 700 974 167100 | 5000 607 247 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 5.48017 s Remaining CPU time: 174.52 s c =============================================================================== c | 621 | 700 975 167700 | 5000 621 245 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 5.52216 s Remaining CPU time: 174.478 s c =============================================================================== c | 623 | 700 976 168300 | 5000 623 245 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 5.56415 s Remaining CPU time: 174.436 s c =============================================================================== c | 624 | 700 977 168900 | 5000 624 245 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 5.60915 s Remaining CPU time: 174.391 s c =============================================================================== c | 631 | 700 978 169500 | 5000 631 245 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 5.65114 s Remaining CPU time: 174.349 s c =============================================================================== c | 631 | 700 979 170100 | 5000 631 245 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 5.68914 s Remaining CPU time: 174.311 s c =============================================================================== c | 633 | 700 980 170700 | 5000 633 244 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 5.73113 s Remaining CPU time: 174.269 s c =============================================================================== c | 644 | 700 981 171300 | 5000 644 240 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 5.79112 s Remaining CPU time: 174.209 s c =============================================================================== c | 669 | 700 982 171900 | 5000 669 244 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 5.83711 s Remaining CPU time: 174.163 s c =============================================================================== c | 692 | 700 983 172500 | 5000 692 236 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 5.8841 s Remaining CPU time: 174.116 s c =============================================================================== c | 697 | 700 984 173100 | 5000 697 237 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 5.9301 s Remaining CPU time: 174.07 s c =============================================================================== c | 698 | 700 985 173700 | 5000 698 237 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 5.99709 s Remaining CPU time: 174.003 s c =============================================================================== c | 762 | 700 986 174300 | 5000 762 244 | 0.000 % | c | 863 | 700 986 174300 | 5500 863 220 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 6.08207 s Remaining CPU time: 173.918 s c =============================================================================== c | 863 | 700 987 174900 | 5000 863 220 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 6.12407 s Remaining CPU time: 173.876 s c =============================================================================== c | 864 | 700 988 175500 | 5000 864 220 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 6.21206 s Remaining CPU time: 173.788 s c =============================================================================== c | 902 | 700 989 176100 | 5000 902 224 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 6.25505 s Remaining CPU time: 173.745 s c =============================================================================== c | 920 | 700 990 176700 | 5000 920 220 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 6.32004 s Remaining CPU time: 173.68 s c =============================================================================== c | 970 | 700 991 177300 | 5000 970 225 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 6.36203 s Remaining CPU time: 173.638 s c =============================================================================== c | 978 | 700 992 177900 | 5000 978 224 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 6.40403 s Remaining CPU time: 173.596 s c =============================================================================== c | 980 | 700 993 178500 | 5000 980 223 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 6.44602 s Remaining CPU time: 173.554 s c =============================================================================== c | 982 | 700 994 179100 | 5000 982 223 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 6.48801 s Remaining CPU time: 173.512 s c =============================================================================== c | 993 | 700 995 179700 | 5000 993 220 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 6.54 s Remaining CPU time: 173.46 s c =============================================================================== c | 1009 | 700 996 180300 | 5000 1009 222 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 6.582 s Remaining CPU time: 173.418 s c =============================================================================== c | 1060 | 700 997 180900 | 5000 1060 213 | 0.000 % | c | 1161 | 700 997 180900 | 5500 1161 221 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 6.71298 s Remaining CPU time: 173.287 s c =============================================================================== c | 1193 | 700 998 181500 | 5000 1193 216 | 0.000 % | c | 1294 | 700 998 181500 | 5500 1294 223 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 6.89295 s Remaining CPU time: 173.107 s c =============================================================================== c | 1333 | 700 999 182100 | 5000 1333 218 | 0.000 % | c | 1435 | 700 999 182100 | 5500 1435 224 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 7.09292 s Remaining CPU time: 172.907 s c =============================================================================== c | 1440 | 700 1000 182700 | 5000 1440 223 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 7.13392 s Remaining CPU time: 172.866 s c =============================================================================== c | 1457 | 700 1001 183300 | 5000 1457 221 | 0.000 % | c | 1557 | 700 1001 183300 | 5500 1557 227 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 7.2419 s Remaining CPU time: 172.758 s c =============================================================================== c | 1566 | 700 1002 183900 | 5000 1566 225 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 7.28189 s Remaining CPU time: 172.718 s c =============================================================================== c | 1570 | 700 1003 184500 | 5000 1570 225 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 7.32289 s Remaining CPU time: 172.677 s c =============================================================================== c | 1573 | 700 1004 185100 | 5000 1573 224 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 7.36888 s Remaining CPU time: 172.631 s c =============================================================================== c | 1584 | 700 1005 185700 | 5000 1584 225 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 7.41087 s Remaining CPU time: 172.589 s c =============================================================================== c | 1586 | 700 1006 186300 | 5000 1586 225 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 7.45187 s Remaining CPU time: 172.548 s c =============================================================================== c | 1587 | 700 1007 186900 | 5000 1587 224 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 7.50786 s Remaining CPU time: 172.492 s c =============================================================================== c | 1629 | 700 1008 187500 | 5000 1629 225 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 7.54785 s Remaining CPU time: 172.452 s c =============================================================================== c | 1642 | 700 1009 188100 | 5000 1642 224 | 0.000 % | c | 1745 | 700 1009 188100 | 5500 1745 228 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 7.65984 s Remaining CPU time: 172.34 s c =============================================================================== c | 1749 | 700 1010 188700 | 5000 1749 228 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 7.70083 s Remaining CPU time: 172.299 s c =============================================================================== c | 1751 | 700 1011 189300 | 5000 1751 227 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 7.74182 s Remaining CPU time: 172.258 s c =============================================================================== c | 1759 | 700 1012 189900 | 5000 1759 226 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 7.78582 s Remaining CPU time: 172.214 s c =============================================================================== c | 1767 | 700 1013 190500 | 5000 1767 226 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 7.8568 s Remaining CPU time: 172.143 s c =============================================================================== c | 1834 | 700 1014 191100 | 5000 1834 228 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 7.8978 s Remaining CPU time: 172.102 s c =============================================================================== c | 1865 | 700 1015 191700 | 5000 1865 224 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 7.96079 s Remaining CPU time: 172.039 s c =============================================================================== c | 1908 | 700 1016 192300 | 5000 1908 226 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 8.00678 s Remaining CPU time: 171.993 s c =============================================================================== c | 1958 | 700 1017 192900 | 5000 1958 221 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 8.10677 s Remaining CPU time: 171.893 s c =============================================================================== c | 1998 | 700 1018 193500 | 5000 1998 222 | 0.000 % | c | 2099 | 700 1018 193500 | 5500 2099 213 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 8.37973 s Remaining CPU time: 171.62 s c =============================================================================== c | 2213 | 700 1019 194100 | 5000 2213 217 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 8.42372 s Remaining CPU time: 171.576 s c =============================================================================== c | 2252 | 700 1020 194700 | 5000 2252 214 | 0.000 % | c | 2352 | 700 1020 194700 | 5500 2352 217 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 8.61169 s Remaining CPU time: 171.388 s c =============================================================================== c | 2383 | 700 1021 195300 | 5000 2383 215 | 0.000 % | c | 2483 | 700 1021 195300 | 5500 2483 218 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 8.76467 s Remaining CPU time: 171.235 s c =============================================================================== c | 2505 | 700 1022 195900 | 5000 2505 216 | 0.000 % | c | 2605 | 700 1022 195900 | 5500 2605 219 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 8.89965 s Remaining CPU time: 171.1 s c =============================================================================== c | 2706 | 700 1023 196500 | 5000 2706 212 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 8.97264 s Remaining CPU time: 171.027 s c =============================================================================== c | 2719 | 700 1024 197100 | 5000 2719 212 | 0.000 % | c | 2819 | 700 1024 197100 | 5500 2819 206 | 0.000 % | c | 2971 | 700 1024 197100 | 6050 2971 210 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 9.35258 s Remaining CPU time: 170.647 s c =============================================================================== c | 2974 | 700 1025 197700 | 5000 2974 209 | 0.000 % | c | 3074 | 700 1025 197700 | 5500 3074 205 | 0.000 % | c | 3225 | 700 1025 197700 | 6050 3225 198 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 9.58254 s Remaining CPU time: 170.417 s c =============================================================================== c | 3280 | 700 1026 198300 | 5000 3280 199 | 0.000 % | c | 3381 | 700 1026 198300 | 5500 3381 194 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 9.81851 s Remaining CPU time: 170.181 s c =============================================================================== c | 3492 | 700 1027 198900 | 5000 3492 197 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 9.8605 s Remaining CPU time: 170.139 s c =============================================================================== c | 3502 | 700 1028 199500 | 5000 3502 197 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 9.90249 s Remaining CPU time: 170.098 s c =============================================================================== c | 3512 | 700 1029 200100 | 5000 3512 196 | 0.000 % | c | 3612 | 700 1029 200100 | 5500 3612 198 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 10.0205 s Remaining CPU time: 169.98 s c =============================================================================== c | 3708 | 700 1030 200700 | 5000 3708 194 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 10.1645 s Remaining CPU time: 169.836 s c =============================================================================== c | 3766 | 700 1031 201300 | 5000 3766 195 | 0.000 % | c | 3866 | 700 1031 201300 | 5500 3866 191 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 10.2844 s Remaining CPU time: 169.716 s c =============================================================================== c | 3901 | 700 1032 201900 | 5000 3901 192 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 10.3474 s Remaining CPU time: 169.653 s c =============================================================================== c | 3949 | 700 1033 202500 | 5000 3949 192 | 0.000 % | c | 4049 | 700 1033 202500 | 5500 4049 193 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 10.4754 s Remaining CPU time: 169.525 s c =============================================================================== c | 4096 | 700 1034 203100 | 5000 4096 191 | 0.000 % | c | 4196 | 700 1034 203100 | 5500 4196 193 | 0.000 % | c | 4346 | 700 1034 203100 | 6050 4346 189 | 0.000 % | c | 4571 | 700 1034 203100 | 6655 4571 187 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 10.8773 s Remaining CPU time: 169.123 s c =============================================================================== c | 4597 | 700 1035 203700 | 5000 4597 186 | 0.000 % | c | 4699 | 700 1035 203700 | 5500 4699 188 | 0.000 % | c | 4849 | 700 1035 203700 | 6050 4849 183 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 11.1383 s Remaining CPU time: 168.862 s c =============================================================================== c | 4865 | 700 1036 204300 | 5000 4865 184 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 11.1843 s Remaining CPU time: 168.816 s c =============================================================================== c | 4934 | 700 1037 204900 | 5000 4934 181 | 0.000 % | c | 5036 | 700 1037 204900 | 5500 5036 183 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 11.4083 s Remaining CPU time: 168.592 s c =============================================================================== c | 5049 | 700 1038 205500 | 5000 5049 183 | 0.000 % | c | 5150 | 700 1038 205500 | 5500 2626 144 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 11.5412 s Remaining CPU time: 168.459 s c =============================================================================== c | 5171 | 700 1039 206100 | 5000 2647 143 | 0.000 % | c | 5271 | 700 1039 206100 | 5500 2747 147 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 11.6862 s Remaining CPU time: 168.314 s c =============================================================================== c | 5357 | 700 1040 206700 | 5000 2833 144 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 11.7342 s Remaining CPU time: 168.266 s c =============================================================================== c | 5362 | 700 1041 207300 | 5000 2838 144 | 0.000 % | c | 5462 | 700 1041 207300 | 5500 2938 148 | 0.000 % | c | 5613 | 700 1041 207300 | 6050 3089 143 | 0.000 % | c | 5838 | 700 1041 207300 | 6655 3314 151 | 0.000 % | c | 6175 | 700 1041 207300 | 7320 3651 141 | 0.000 % | c | 6682 | 700 1041 207300 | 8052 4158 157 | 0.000 % | c | 7441 | 700 1041 207300 | 8857 4917 164 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 14.0409 s Remaining CPU time: 165.959 s c =============================================================================== c | 7571 | 700 1042 207900 | 5000 5047 165 | 0.000 % | c | 7671 | 700 1042 207900 | 5500 2624 171 | 0.000 % | c | 7822 | 700 1042 207900 | 6050 2775 175 | 0.000 % | c | 8047 | 700 1042 207900 | 6655 3000 180 | 0.000 % | c | 8384 | 700 1042 207900 | 7320 3337 187 | 0.000 % | c | 8891 | 700 1042 207900 | 8052 3844 195 | 0.000 % | c | 9650 | 700 1042 207900 | 8857 4603 204 | 0.000 % | c | 10789 | 700 1042 207900 | 9743 5742 215 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 17.3274 s Remaining CPU time: 162.673 s c =============================================================================== c | 12000 | 700 1043 208500 | 5000 6953 222 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 17.3824 s Remaining CPU time: 162.618 s c =============================================================================== c | 12014 | 700 1044 209100 | 5000 3491 237 | 0.000 % | c | 12114 | 700 1044 209100 | 5500 3591 237 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 17.5093 s Remaining CPU time: 162.491 s c =============================================================================== c | 12156 | 700 1045 209700 | 5000 3633 235 | 0.000 % | c | 12256 | 700 1045 209700 | 5500 3733 236 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 17.7293 s Remaining CPU time: 162.271 s c =============================================================================== c | 12345 | 700 1046 210300 | 5000 3822 231 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 17.7733 s Remaining CPU time: 162.227 s c =============================================================================== c | 12346 | 700 1047 210900 | 5000 3823 231 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 17.8343 s Remaining CPU time: 162.166 s c =============================================================================== c | 12371 | 700 1048 211500 | 5000 3848 231 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 17.8793 s Remaining CPU time: 162.121 s c =============================================================================== c | 12392 | 700 1049 212100 | 5000 3869 230 | 0.000 % | c | 12492 | 700 1049 212100 | 5500 3969 231 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 18.0243 s Remaining CPU time: 161.976 s c =============================================================================== c | 12514 | 700 1050 212700 | 5000 3991 230 | 0.000 % | c | 12615 | 700 1050 212700 | 5500 4092 230 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 18.2072 s Remaining CPU time: 161.793 s c =============================================================================== c | 12688 | 700 1051 213300 | 5000 4165 227 | 0.000 % | c | 12789 | 700 1051 213300 | 5500 4266 228 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 18.5092 s Remaining CPU time: 161.491 s c =============================================================================== c | 12909 | 700 1052 213900 | 5000 4386 222 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 18.6862 s Remaining CPU time: 161.314 s c =============================================================================== c | 12976 | 700 1053 214500 | 5000 4453 223 | 0.000 % | c | 13076 | 700 1053 214500 | 5500 4553 219 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 18.9161 s Remaining CPU time: 161.084 s c =============================================================================== c | 13138 | 700 1054 215100 | 5000 4615 219 | 0.000 % | c | 13238 | 700 1054 215100 | 5500 4715 218 | 0.000 % | c | 13388 | 700 1054 215100 | 6050 4865 213 | 0.000 % | c | 13615 | 700 1054 215100 | 6655 5092 215 | 0.000 % | c | 13952 | 700 1054 215100 | 7320 5429 215 | 0.000 % | c | 14459 | 700 1054 215100 | 8052 5936 211 | 0.000 % | c | 15218 | 700 1054 215100 | 8857 6695 216 | 0.000 % | c | 16357 | 700 1054 215100 | 9743 7834 216 | 0.000 % | c | 18065 | 700 1054 215100 | 10717 9542 222 | 0.000 % | c | 20628 | 700 1054 215100 | 11789 6617 234 | 0.000 % | c | 24472 | 700 1054 215100 | 12968 10461 236 | 0.000 % | c | 30238 | 700 1054 215100 | 14265 9617 240 | 0.000 % | c | 38887 | 700 1054 215100 | 15692 10991 239 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 43.0934 s Remaining CPU time: 136.907 s c =============================================================================== c | 42954 | 700 1055 215700 | 5000 15058 240 | 0.000 % | c | 43054 | 700 1055 215700 | 5500 3865 219 | 0.000 % | c | 43204 | 700 1055 215700 | 6050 4015 219 | 0.000 % | c | 43429 | 700 1055 215700 | 6655 4240 217 | 0.000 % | c | 43766 | 700 1055 215700 | 7320 4577 217 | 0.000 % | c | 44272 | 700 1055 215700 | 8052 5083 219 | 0.000 % | c | 45031 | 700 1055 215700 | 8857 5842 214 | 0.000 % | c | 46170 | 700 1055 215700 | 9743 6981 215 | 0.000 % | c | 47878 | 700 1055 215700 | 10717 8689 216 | 0.000 % | c | 50440 | 700 1055 215700 | 11789 5762 217 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 53.0409 s Remaining CPU time: 126.959 s c =============================================================================== c | 53836 | 700 1056 216300 | 5000 9158 227 | 0.000 % | c | 53938 | 700 1056 216300 | 5500 4681 218 | 0.000 % | c | 54089 | 700 1056 216300 | 6050 4832 219 | 0.000 % | c | 54314 | 700 1056 216300 | 6655 5057 216 | 0.000 % | c | 54651 | 700 1056 216300 | 7320 5394 212 | 0.000 % | c | 55157 | 700 1056 216300 | 8052 5900 213 | 0.000 % | c | 55916 | 700 1056 216300 | 8857 6659 212 | 0.000 % | c | 57055 | 700 1056 216300 | 9743 7798 216 | 0.000 % | c | 58763 | 700 1056 216300 | 10717 9506 219 | 0.000 % | c | 61325 | 700 1056 216300 | 11789 6582 227 | 0.000 % | c | 65169 | 700 1056 216300 | 12968 10426 234 | 0.000 % | c | 70936 | 700 1056 216300 | 14265 9574 239 | 0.000 % | c | 79585 | 700 1056 216300 | 15692 10951 243 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 76.8613 s Remaining CPU time: 103.139 s c =============================================================================== c | 81245 | 700 1057 216900 | 5000 12611 244 | 0.000 % | c | 81347 | 700 1057 216900 | 5500 3255 221 | 0.000 % | c | 81497 | 700 1057 216900 | 6050 3405 223 | 0.000 % | c | 81722 | 700 1057 216900 | 6655 3630 211 | 0.000 % | c | 82059 | 700 1057 216900 | 7320 3967 215 | 0.000 % | c | 82565 | 700 1057 216900 | 8052 4473 214 | 0.000 % | c | 83324 | 700 1057 216900 | 8857 5232 216 | 0.000 % | c | 84464 | 700 1057 216900 | 9743 6372 215 | 0.000 % | c | 86172 | 700 1057 216900 | 10717 8080 218 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 81.1867 s Remaining CPU time: 98.8133 s c =============================================================================== c | 87175 | 700 1058 217500 | 5000 9083 220 | 0.000 % | c | 87275 | 700 1058 217500 | 5500 4642 216 | 0.000 % | c | 87425 | 700 1058 217500 | 6050 4792 217 | 0.000 % | c | 87650 | 700 1058 217500 | 6655 5017 217 | 0.000 % | c | 87987 | 700 1058 217500 | 7320 5354 218 | 0.000 % | c | 88493 | 700 1058 217500 | 8052 5860 221 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 83.0394 s Remaining CPU time: 96.9606 s c =============================================================================== c | 89125 | 700 1059 218100 | 5000 6492 221 | 0.000 % | c | 89226 | 700 1059 218100 | 5500 3347 213 | 0.000 % | c | 89377 | 700 1059 218100 | 6050 3498 214 | 0.000 % | c | 89602 | 700 1059 218100 | 6655 3723 215 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 83.8203 s Remaining CPU time: 96.1797 s c =============================================================================== c | 89867 | 700 1060 218700 | 5000 3988 215 | 0.000 % | c | 89968 | 700 1060 218700 | 5500 4089 216 | 0.000 % | c | 90119 | 700 1060 218700 | 6050 4240 216 | 0.000 % | c | 90344 | 700 1060 218700 | 6655 4465 217 | 0.000 % | c | 90681 | 700 1060 218700 | 7320 4802 212 | 0.000 % | c | 91188 | 700 1060 218700 | 8052 5309 213 | 0.000 % | c | 91947 | 700 1060 218700 | 8857 6068 214 | 0.000 % | c | 93086 | 700 1060 218700 | 9743 7207 219 | 0.000 % | c | 94794 | 700 1060 218700 | 10717 8915 220 | 0.000 % | c | 97356 | 700 1060 218700 | 11789 5988 220 | 0.000 % | c | 101200 | 700 1060 218700 | 12968 9832 230 | 0.000 % | c | 106966 | 700 1060 218700 | 14265 8981 236 | 0.000 % | c | 115615 | 700 1060 218700 | 15692 10360 234 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 107.69 s Remaining CPU time: 72.3104 s c =============================================================================== c | 119097 | 700 1061 219300 | 5000 13842 237 | 0.000 % | c | 119199 | 700 1061 219300 | 5500 3563 221 | 0.000 % | c | 119349 | 700 1061 219300 | 6050 3713 220 | 0.000 % | c | 119575 | 700 1061 219300 | 6655 3939 221 | 0.000 % | c | 119912 | 700 1061 219300 | 7320 4276 220 | 0.000 % | c | 120419 | 700 1061 219300 | 8052 4783 220 | 0.000 % | c | 121179 | 700 1061 219300 | 8857 5543 220 | 0.000 % | c | 122318 | 700 1061 219300 | 9743 6682 220 | 0.000 % | c | 124026 | 700 1061 219300 | 10717 8390 226 | 0.000 % | c | 126588 | 700 1061 219300 | 11789 10952 228 | 0.000 % | c | 130432 | 700 1061 219300 | 12968 8776 230 | 0.000 % | c | 136198 | 700 1061 219300 | 14265 7924 232 | 0.000 % | c | 144848 | 700 1061 219300 | 15692 9315 239 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 129.981 s Remaining CPU time: 50.0188 s c =============================================================================== c | 147681 | 700 1062 219900 | 5000 12148 238 | 0.000 % | c | 147781 | 700 1062 219900 | 5500 3137 215 | 0.000 % | c | 147931 | 700 1062 219900 | 6050 3287 210 | 0.000 % | c | 148157 | 700 1062 219900 | 6655 3513 210 | 0.000 % | c | 148494 | 700 1062 219900 | 7320 3850 214 | 0.000 % | c | 149000 | 700 1062 219900 | 8052 4356 211 | 0.000 % | c | 149760 | 700 1062 219900 | 8857 5116 216 | 0.000 % | c | 150899 | 700 1062 219900 | 9743 6255 218 | 0.000 % | c | 152609 | 700 1062 219900 | 10717 7965 223 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 135.799 s Remaining CPU time: 44.2006 s c =============================================================================== c | 155142 | 700 1063 220500 | 5000 10498 226 | 0.000 % | c | 155242 | 700 1063 220500 | 5500 2725 207 | 0.000 % | c | 155393 | 700 1063 220500 | 6050 2876 208 | 0.000 % | c | 155618 | 700 1063 220500 | 6655 3101 210 | 0.000 % | c | 155955 | 700 1063 220500 | 7320 3438 213 | 0.000 % | c | 156461 | 700 1063 220500 | 8052 3944 216 | 0.000 % | c | 157220 | 700 1063 220500 | 8857 4703 218 | 0.000 % | c | 158359 | 700 1063 220500 | 9743 5842 221 | 0.000 % | c | 160067 | 700 1063 220500 | 10717 7550 224 | 0.000 % | c | 162629 | 700 1063 220500 | 11789 10112 226 | 0.000 % | c | 166473 | 700 1063 220500 | 12968 7927 222 | 0.000 % | c | 172241 | 700 1063 220500 | 14265 7087 222 | 0.000 % | c | 180890 | 700 1063 220500 | 15692 8473 229 | 0.000 % | c | 193864 | 700 1063 220500 | 17261 13458 237 | 0.000 % | c | 213325 | 700 1063 220500 | 18987 15393 240 | 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 1666 2706 | 5000 0 nan | 0.000 % | c | 101 | 98 1666 2706 | 5500 101 36 | 86.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 676 1667 34770 | 5000 0 nan | 0.000 % | c | 104 | 676 1667 34770 | 5500 104 49 | 31.579 % | c | 254 | 676 1667 34770 | 6050 254 35 | 31.579 % | c | 479 | 676 1667 34770 | 6655 479 29 | 31.579 % | c | 816 | 676 1667 34770 | 7320 816 26 | 31.579 % | c | 1323 | 675 1667 34770 | 8052 823 25 | 31.680 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1533 1669 210197 | 5000 0 nan | 0.000 % | c | 100 | 1533 1669 210197 | 5500 100 37 | 1.415 % | c | 251 | 1533 1669 210197 | 6050 251 21 | 1.415 % | c | 476 | 1533 1669 210197 | 6655 476 19 | 1.415 % | c | 814 | 1533 1669 210197 | 7320 814 19 | 1.415 % | c | 1320 | 1533 1669 210197 | 8052 1320 20 | 1.415 % | c | 2081 | 1533 1669 210197 | 8857 2081 21 | 1.415 % | c | 3220 | 1533 1669 210197 | 9743 3220 18 | 1.415 % | c | 4928 | 1533 1669 210197 | 10717 4928 17 | 1.415 % | c | 7490 | 1533 1669 210197 | 11789 7490 15 | 1.415 % | c | 11334 | 1533 1669 210197 | 12968 11334 14 | 1.415 % | c | 17101 | 1532 1669 210197 | 14265 9014 12 | 1.479 % | c | 25752 | 1529 1669 210197 | 15692 8540 11 | 1.672 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2150 1670 224010 | 5000 0 nan | 0.000 % | c | 100 | 2150 1670 224010 | 5500 100 37 | 0.047 % | c | 254 | 2150 1670 224010 | 6050 254 22 | 0.047 % | c | 479 | 2150 1670 224010 | 6655 479 21 | 0.047 % | c | 817 | 2150 1670 224010 | 7320 817 22 | 0.047 % | c | 1324 | 2150 1670 224010 | 8052 1324 21 | 0.047 % | c | 2083 | 2150 1670 224010 | 8857 2083 20 | 0.047 % | c | 3222 | 2150 1670 224010 | 9743 3222 21 | 0.047 % | c | 4931 | 2150 1670 224010 | 10717 4931 20 | 0.047 % | c | 7496 | 2150 1670 224010 | 11789 7496 20 | 0.047 % | c | 11341 | 2150 1670 224010 | 12968 11341 19 | 0.047 % | c | 17107 | 2150 1670 224010 | 14265 10604 19 | 0.047 % | c | 25759 | 2150 1670 224010 | 15692 12111 21 | 0.047 % | c | 38736 | 2150 1670 224010 | 17261 9376 22 | 0.047 % | c | 58197 | 2150 1670 224010 | 18987 11552 17 | 0.047 % | c | 87389 | 2150 1670 224010 | 20886 12215 17 | 0.047 % | c | 131179 | 2150 1670 224010 | 22974 14167 19 | 0.047 % | c | 196863 | 2150 1670 224010 | 25272 22355 20 | 0.047 % | c | 295389 | 2149 1670 224010 | 27799 24204 17 | 0.093 % | c | 443178 | 2144 1670 224010 | 30579 17911 16 | 0.325 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2748 1672 225808 | 5000 0 nan | 0.000 % | c | 100 | 2748 1672 225808 | 5500 100 54 | 0.000 % | c | 251 | 2748 1672 225808 | 6050 251 27 | 0.000 % | c | 477 | 2748 1672 225808 | 6655 477 42 | 0.000 % | c | 814 | 2748 1672 225808 | 7320 814 35 | 0.000 % | c | 1320 | 2748 1672 225808 | 8052 1320 35 | 0.000 % | c | 2081 | 2748 1672 225808 | 8857 2081 34 | 0.000 % | c | 3223 | 2748 1672 225808 | 9743 3223 36 | 0.000 % | c | 4932 | 2748 1672 225808 | 10717 4932 46 | 0.000 % | c | 7494 | 2748 1672 225808 | 11789 7494 45 | 0.000 % | c | 11338 | 2748 1672 225808 | 12968 11338 43 | 0.000 % | c | 17105 | 2748 1672 225808 | 14265 10588 41 | 0.000 % | c | 25754 | 2748 1672 225808 | 15692 12079 39 | 0.000 % | c | 38728 | 2748 1672 225808 | 17261 9320 31 | 0.000 % | c | 58189 | 2748 1672 225808 | 18987 11423 34 | 0.000 % | c | 87386 | 2748 1672 225808 | 20886 11974 39 | 0.000 % | c | 131175 | 2748 1672 225808 | 22974 13894 36 | 0.000 % | c | 196859 | 2748 1672 225808 | 25272 21703 38 | 0.000 % | c | 295387 | 2748 1672 225808 | 27799 15292 40 | 0.000 % | c | 443178 | 2748 1672 225808 | 30579 21730 35 | 0.000 % |